{"id":"https://openalex.org/W7129306813","doi":"https://doi.org/10.48550/arxiv.2602.14379","title":"Fine-Grained Complexity for Quantum Problems from Size-Preserving Circuit-to-Hamiltonian Constructions","display_name":"Fine-Grained Complexity for Quantum Problems from Size-Preserving Circuit-to-Hamiltonian Constructions","publication_year":2026,"publication_date":"2026-02-16","ids":{"openalex":"https://openalex.org/W7129306813","doi":"https://doi.org/10.48550/arxiv.2602.14379"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.14379","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073409230","display_name":"Nai Hui Chia","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chia, Nai-Hui","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068517100","display_name":"Atsuya Hasegawa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hasegawa, Atsuya","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126230713","display_name":"Fran\u00e7ois Le Gall","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gall, Fran\u00e7ois Le","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":4,"corresponding_author_ids":["https://openalex.org/A5073409230"],"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.9812999963760376,"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.9812999963760376,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.007899999618530273,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.00139999995008111,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hamiltonian","display_name":"Hamiltonian (control theory)","score":0.6747000217437744},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.6169000267982483},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5586000084877014},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.5401999950408936},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.492900013923645},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4530999958515167},{"id":"https://openalex.org/keywords/adiabatic-quantum-computation","display_name":"Adiabatic quantum computation","score":0.4438000023365021},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.43560001254081726},{"id":"https://openalex.org/keywords/subspace-topology","display_name":"Subspace topology","score":0.4262999892234802}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7249000072479248},{"id":"https://openalex.org/C130787639","wikidata":"https://www.wikidata.org/wiki/Q5645293","display_name":"Hamiltonian (control theory)","level":2,"score":0.6747000217437744},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.6169000267982483},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5586000084877014},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.5401999950408936},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.492900013923645},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4625999927520752},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4530999958515167},{"id":"https://openalex.org/C192353077","wikidata":"https://www.wikidata.org/wiki/Q4682635","display_name":"Adiabatic quantum computation","level":4,"score":0.4438000023365021},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.43560001254081726},{"id":"https://openalex.org/C32834561","wikidata":"https://www.wikidata.org/wiki/Q660730","display_name":"Subspace topology","level":2,"score":0.4262999892234802},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.4034999907016754},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.34150001406669617},{"id":"https://openalex.org/C192122513","wikidata":"https://www.wikidata.org/wiki/Q2835770","display_name":"Quantum phase estimation algorithm","level":5,"score":0.3352000117301941},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.33000001311302185},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.32690000534057617},{"id":"https://openalex.org/C41241483","wikidata":"https://www.wikidata.org/wiki/Q7269015","display_name":"Quantum capacity","level":5,"score":0.3082999885082245},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.30820000171661377},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.3028999865055084},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.2978000044822693},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2935999929904938},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2921000123023987},{"id":"https://openalex.org/C92043244","wikidata":"https://www.wikidata.org/wiki/Q7269023","display_name":"Quantum complexity theory","level":4,"score":0.2919999957084656},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.2757999897003174},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.26330000162124634},{"id":"https://openalex.org/C59500034","wikidata":"https://www.wikidata.org/wiki/Q1464944","display_name":"Quantum Fourier transform","level":5,"score":0.257099986076355},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2551000118255615},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.2526000142097473},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.14379","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.14379","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.14379","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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.14379","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"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":{"The":[0],"local":[1],"Hamiltonian":[2,30,215],"(LH)":[3],"problem":[4,9,31],"is":[5,116],"the":[6,28,46,63,75,100,124,127,135,170,183,194,201,222,227],"canonical":[7],"$\\mathsf{QMA}$-complete":[8],"introduced":[10],"by":[11,173],"Kitaev.":[12],"In":[13],"this":[14],"paper,":[15],"we":[16,25,89,192],"show":[17,26,134],"its":[18],"hardness":[19,139],"in":[20,39,56,155,182],"a":[21,150,204,213],"very":[22],"strong":[23],"sense:":[24],"that":[27,74,153,199],"3-local":[29],"on":[32,209,217,226],"$n$":[33],"qubits":[34,211],"cannot":[35,52,84],"be":[36,53,85,119],"solved":[37,54],"classically":[38],"time":[40,57,157],"$O(2^{(1-\\varepsilon)n})$":[41],"for":[42,59,82,98,158],"any":[43,60],"$\\varepsilon>0$":[44,61],"under":[45,62],"Strong":[47,65],"Exponential-Time":[48,66],"Hypothesis":[49,67],"(SETH),":[50],"and":[51,79,137,168,177],"quantumly":[55],"$O(2^{(1-\\varepsilon)n/2})$":[58],"Quantum":[64],"(QSETH).":[68],"These":[69],"lower":[70,96,166,190],"bounds":[71,97,167],"give":[72],"evidence":[73],"currently":[76],"known":[77,117],"classical":[78],"quantum":[80,101,151,206],"algorithms":[81],"LH":[83],"significantly":[86],"improved.":[87],"Furthermore,":[88],"are":[90],"able":[91],"to":[92,118,121,140],"demonstrate":[93],"fine-grained":[94,189],"complexity":[95],"approximating":[99],"partition":[102],"function":[103],"(QPF)":[104],"with":[105,113,143],"an":[106,159],"arbitrary":[107,160],"constant":[108,144],"relative":[109,114,145,162],"error.":[110,146],"Approximating":[111],"QPF":[112,142],"error":[115],"equivalent":[120],"approximately":[122],"counting":[123],"dimension":[125],"of":[126,130,203],"solution":[128],"subspace":[129],"$\\mathsf{QMA}$":[131],"problems.":[132],"We":[133,147],"SETH":[136],"QSETH":[138],"estimate":[141],"then":[148],"provide":[149],"algorithm":[152,172],"runs":[154],"$O(\\sqrt{2^n})$":[156],"$1/\\mathrm{poly}(n)$":[161],"error,":[163],"matching":[164],"our":[165,188],"improving":[169],"state-of-the-art":[171],"Bravyi,":[174],"Chowdhury,":[175],"Gosset,":[176],"Wocjan":[178],"(Nature":[179],"Physics":[180],"2022)":[181],"low-temperature":[184],"regime.":[185],"To":[186],"prove":[187],"bounds,":[191],"introduce":[193],"first":[195],"size-preserving":[196],"circuit-to-Hamiltonian":[197],"construction":[198,224],"encodes":[200],"computation":[202],"$T$-time":[205],"circuit":[207],"acting":[208,216],"$N$":[210],"into":[212],"$(d+1)$-local":[214],"$N+O(T^{1/d})$":[218],"qubits.":[219,233],"This":[220],"improves":[221],"standard":[223],"based":[225],"unary":[228],"clock,":[229],"which":[230],"uses":[231],"$N+O(T)$":[232]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-18T00:00:00"}