{"id":"https://openalex.org/W4416394469","doi":"https://doi.org/10.48550/arxiv.2510.07495","title":"3-Local Hamiltonian Problem and Constant Relative Error Quantum Partition Function Approximation: $O(2^{\\frac{n}{2}})$ Algorithm Is Nearly Optimal under QSETH","display_name":"3-Local Hamiltonian Problem and Constant Relative Error Quantum Partition Function Approximation: $O(2^{\\frac{n}{2}})$ Algorithm Is Nearly Optimal under QSETH","publication_year":2025,"publication_date":"2025-10-08","ids":{"openalex":"https://openalex.org/W4416394469","doi":"https://doi.org/10.48550/arxiv.2510.07495"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2510.07495","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2510.07495","pdf_url":"https://arxiv.org/pdf/2510.07495","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2510.07495","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000720361","display_name":"Nai-Hui Chia","orcid":"https://orcid.org/0000-0002-4138-7956"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chia, Nai-Hui","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5024143985","display_name":"Yu-Ching Shen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shen, Yu-Ching","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5000720361"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.984499990940094,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.984499990940094,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11804","display_name":"Quantum many-body systems","score":0.003100000089034438,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.002400000113993883,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.6442000269889832},{"id":"https://openalex.org/keywords/hamiltonian","display_name":"Hamiltonian (control theory)","score":0.5551000237464905},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5123999714851379},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4453999996185303},{"id":"https://openalex.org/keywords/approximation-error","display_name":"Approximation error","score":0.40959998965263367},{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.39010000228881836},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.38519999384880066},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.36489999294281006},{"id":"https://openalex.org/keywords/quantum-phase-estimation-algorithm","display_name":"Quantum phase estimation algorithm","score":0.36390000581741333}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7105000019073486},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.6442000269889832},{"id":"https://openalex.org/C130787639","wikidata":"https://www.wikidata.org/wiki/Q5645293","display_name":"Hamiltonian (control theory)","level":2,"score":0.5551000237464905},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5123999714851379},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4453999996185303},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4198000133037567},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.40959998965263367},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.39010000228881836},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.38519999384880066},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.36489999294281006},{"id":"https://openalex.org/C192122513","wikidata":"https://www.wikidata.org/wiki/Q2835770","display_name":"Quantum phase estimation algorithm","level":5,"score":0.36390000581741333},{"id":"https://openalex.org/C192353077","wikidata":"https://www.wikidata.org/wiki/Q4682635","display_name":"Adiabatic quantum computation","level":4,"score":0.3625999987125397},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35429999232292175},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.3472000062465668},{"id":"https://openalex.org/C41241483","wikidata":"https://www.wikidata.org/wiki/Q7269015","display_name":"Quantum capacity","level":5,"score":0.33480000495910645},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.3199000060558319},{"id":"https://openalex.org/C101471828","wikidata":"https://www.wikidata.org/wiki/Q17083575","display_name":"Quantum algorithm for linear systems of equations","level":5,"score":0.3160000145435333},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.30550000071525574},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.30140000581741333},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.29420000314712524},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2831000089645386},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.26429998874664307},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.26330000162124634},{"id":"https://openalex.org/C35995877","wikidata":"https://www.wikidata.org/wiki/Q1065968","display_name":"Partition problem","level":3,"score":0.26179999113082886},{"id":"https://openalex.org/C2778401447","wikidata":"https://www.wikidata.org/wiki/Q7140637","display_name":"Partition function (quantum field theory)","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25619998574256897}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2510.07495","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2510.07495","pdf_url":"https://arxiv.org/pdf/2510.07495","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2510.07495","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2510.07495","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2510.07495","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2510.07495","pdf_url":"https://arxiv.org/pdf/2510.07495","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"investigate":[1],"the":[2,6,12,15,40,69,82,85,118,218,239,247,250,254,258,262],"computational":[3],"complexity":[4,29],"of":[5,14,84,249],"Local":[7],"Hamiltonian":[8,255],"(LH)":[9],"problem":[10],"and":[11,27,38,189,226,238,253],"approximation":[13],"Quantum":[16,120],"Partition":[17],"Function":[18],"(QPF),":[19],"two":[20],"central":[21],"problems":[22,32],"in":[23,61,76,157,179,206,233,261],"quantum":[24,28,50,56,130,194],"many-body":[25],"physics":[26],"theory.":[30],"Both":[31],"are":[33,114],"known":[34,55],"to":[35,174,200,236],"be":[36,155,171],"QMA-hard,":[37],"under":[39,165,187],"widely":[41],"believed":[42],"assumption":[43],"that":[44,111,128,196],"$\\mathsf{BQP}":[45],"\\neq":[46],"\\mathsf{QMA}$,":[47],"no":[48,129],"efficient":[49,95],"algorithm":[51,57,71,131,195],"exits.":[52],"The":[53],"best":[54],"for":[58,67,98,144,160,182,223,244],"LH":[59,135,153,225],"runs":[60],"$O\\bigl(2^{\\frac{n}{2}(1":[62],"-":[63],"o(1))}\\bigr)$":[64],"time,":[65,78,208],"while":[66],"QPF,":[68],"state-of-the-art":[70],"achieves":[72],"relative":[73,177,201],"error":[74,178,202],"$\u03b4$":[75],"$O^\\ast\\bigl(\\frac{1}\u03b4\\sqrt{\\frac{2^n}{Z}}\\bigr)$":[77],"where":[79,246],"$Z$":[80],"denotes":[81],"value":[83],"partition":[86],"function.":[87],"A":[88],"nature":[89],"open":[90],"question":[91],"is":[92],"whether":[93],"more":[94],"algorithms":[96,113],"exist":[97],"both":[99,224],"problems.":[100],"In":[101,147],"this":[102],"work,":[103],"we":[104,126,149,191],"establish":[105],"tight":[106],"conditional":[107,211],"lower":[108,212,221,242],"bounds":[109,222,243],"showing":[110],"these":[112],"nearly":[115],"optimal.":[116],"Under":[117],"plausible":[119],"Strong":[121],"Exponential":[122],"Time":[123],"Hypothesis":[124],"(QSETH),":[125],"prove":[127],"can":[132],"solve":[133],"either":[134],"or":[136],"approximate":[137],"QPF":[138,169,198,227],"significantly":[139],"faster":[140],"than":[141],"$O(2^{n/2})$,":[142],"even":[143],"3-local":[145,152,168],"Hamiltonians.":[146],"particular,":[148],"show:":[150],"1)":[151],"cannot":[154,170],"solved":[156],"time":[158,181],"$O(2^{\\frac{n}{2}(1-\\varepsilon)})$":[159,180,263],"any":[161,175,183],"$\\varepsilon":[162,184],">":[163,185],"0$":[164,186],"QSETH;":[166,188],"2)":[167],"approximated":[172],"up":[173,199],"constant":[176],"3)":[190],"present":[192],"a":[193],"approximates":[197],"$1/2":[203],"+":[204],"1/\\mathrm{poly}(n)$":[205],"$O^\\ast(2^{n/2})$":[207],"matching":[209],"our":[210,215],"bound.":[213],"Notably,":[214],"results":[216],"provide":[217],"first":[219],"fine-grained":[220,241],"with":[228],"fixed":[229],"locality.":[230],"This":[231],"stands":[232],"sharp":[234],"contrast":[235],"QSETH":[237],"trivial":[240],"LH,":[245],"locality":[248],"SAT":[251],"instance":[252],"depends":[256],"on":[257],"parameter":[259],"$\\varepsilon$":[260],"running":[264],"time.":[265]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-11T00:00:00"}