{"id":"https://openalex.org/W7170155408","doi":"https://doi.org/10.4230/lipics.ccc.2026.12","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-01-01","ids":{"openalex":"https://openalex.org/W7170155408","doi":"https://doi.org/10.4230/lipics.ccc.2026.12"},"language":"en","primary_location":{"id":"doi:10.4230/lipics.ccc.2026.12","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.12","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.4230/lipics.ccc.2026.12","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":[{"id":"https://openalex.org/I4210094934","display_name":"Kennedy Center","ror":"https://ror.org/00kzzgw26","country_code":"DK","type":"healthcare","lineage":["https://openalex.org/I2802567020","https://openalex.org/I4210094934"]},{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["DK","US"],"is_corresponding":false,"raw_author_name":"Chia, Nai-Hui","raw_affiliation_strings":["Department of Computer Science, Rice University, Houston, TX, USA","Ken Kennedy Institute, Rice University, Houston, TX, USA","Smalley-Curl Institute, Rice University, Houston, TX, USA"],"raw_orcid":"https://orcid.org/0000-0002-4138-7956","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"Ken Kennedy Institute, Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I4210094934","https://openalex.org/I74775410"]},{"raw_affiliation_string":"Smalley-Curl Institute, Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068517100","display_name":"Atsuya Hasegawa","orcid":null},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hasegawa, Atsuya","raw_affiliation_strings":["Graduate School of Mathematics, Nagoya University, Japan"],"raw_orcid":"https://orcid.org/0009-0006-7151-2793","affiliations":[{"raw_affiliation_string":"Graduate School of Mathematics, Nagoya University, Japan","institution_ids":["https://openalex.org/I60134161"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011992745","display_name":"Fran\u00e7ois Le Gall","orcid":"https://orcid.org/0000-0003-3721-6553"},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Le Gall, Fran\u00e7ois","raw_affiliation_strings":["Graduate School of Mathematics, Nagoya University, Japan"],"raw_orcid":"https://orcid.org/0000-0003-3721-6553","affiliations":[{"raw_affiliation_string":"Graduate School of Mathematics, Nagoya University, Japan","institution_ids":["https://openalex.org/I60134161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024143985","display_name":"Yu-Ching Shen","orcid":null},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shen, Yu-Ching","raw_affiliation_strings":["Department of Computer Science, Houston, Rice University, Houston, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Houston, Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/hamiltonian","display_name":"Hamiltonian (control theory)","score":0.670199990272522},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.6227999925613403},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5491999983787537},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.5371999740600586},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5019999742507935},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.462799996137619},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.46209999918937683},{"id":"https://openalex.org/keywords/adiabatic-quantum-computation","display_name":"Adiabatic quantum computation","score":0.4489000141620636},{"id":"https://openalex.org/keywords/subspace-topology","display_name":"Subspace topology","score":0.424699991941452}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7250999808311462},{"id":"https://openalex.org/C130787639","wikidata":"https://www.wikidata.org/wiki/Q5645293","display_name":"Hamiltonian (control theory)","level":2,"score":0.670199990272522},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.6227999925613403},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5491999983787537},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.5371999740600586},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5019999742507935},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48489999771118164},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.462799996137619},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.46209999918937683},{"id":"https://openalex.org/C192353077","wikidata":"https://www.wikidata.org/wiki/Q4682635","display_name":"Adiabatic quantum computation","level":4,"score":0.4489000141620636},{"id":"https://openalex.org/C32834561","wikidata":"https://www.wikidata.org/wiki/Q660730","display_name":"Subspace topology","level":2,"score":0.424699991941452},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.39309999346733093},{"id":"https://openalex.org/C192122513","wikidata":"https://www.wikidata.org/wiki/Q2835770","display_name":"Quantum phase estimation algorithm","level":5,"score":0.3391999900341034},{"id":"https://openalex.org/C92043244","wikidata":"https://www.wikidata.org/wiki/Q7269023","display_name":"Quantum complexity theory","level":4,"score":0.336899995803833},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.335099995136261},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.3262999951839447},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.32249999046325684},{"id":"https://openalex.org/C41241483","wikidata":"https://www.wikidata.org/wiki/Q7269015","display_name":"Quantum capacity","level":5,"score":0.31299999356269836},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3127000033855438},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.31220000982284546},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.30169999599456787},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.3009999990463257},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29420000314712524},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.29010000824928284},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.2870999872684479},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.28610000014305115},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.2757999897003174},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.2572000026702881},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.2558000087738037}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4230/lipics.ccc.2026.12","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.12","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.4230/lipics.ccc.2026.12","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.12","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"local":[1],"Hamiltonian":[2,30,219],"(LH)":[3],"problem":[4,9,31],"is":[5,120],"the":[6,28,48,67,79,104,128,131,139,174,187,198,205,226,231],"canonical":[7],"QMA-complete":[8],"introduced":[10],"by":[11,177],"Kitaev.":[12],"In":[13],"this":[14],"paper,":[15],"we":[16,25,93,196],"show":[17,26,138],"its":[18],"hardness":[19,143],"in":[20,39,58,159,186],"a":[21,154,208,217],"very":[22],"strong":[23],"sense:":[24],"that":[27,78,157,203],"3-local":[29],"on":[32,213,221,230],"n":[33],"qubits":[34,215],"cannot":[35,54,88],"be":[36,55,89,123],"solved":[37,56],"classically":[38],"time":[40,59,161],"O(2^{(1-\u03b5)n})":[41],"for":[42,61,86,102,162],"any":[43,62],"\u03b5":[44,63],">":[45,64],"0":[46,65],"under":[47,66],"Strong":[49,69],"Exponential-Time":[50,70],"Hypothesis":[51,71],"(SETH),":[52],"and":[53,83,141,172,181],"quantumly":[57],"O(2^{(1-\u03b5)n/2})":[60],"Quantum":[68],"(QSETH).":[72],"These":[73],"lower":[74,100,170,194],"bounds":[75,101,171],"give":[76],"evidence":[77],"currently":[80],"known":[81,121],"classical":[82],"quantum":[84,105,155,210],"algorithms":[85],"LH":[87],"significantly":[90],"improved.":[91],"Furthermore,":[92],"are":[94],"able":[95],"to":[96,122,125,144],"demonstrate":[97],"fine-grained":[98,193],"complexity":[99],"approximating":[103],"partition":[106],"function":[107],"(QPF)":[108],"with":[109,117,147],"an":[110,163],"arbitrary":[111,164],"constant":[112,148],"relative":[113,118,149,166],"error.":[114,150],"Approximating":[115],"QPF":[116,146],"error":[119],"equivalent":[124],"approximately":[126],"counting":[127],"dimension":[129],"of":[130,134,207],"solution":[132],"subspace":[133],"QMA":[135],"problems.":[136],"We":[137,151],"SETH":[140],"QSETH":[142],"estimate":[145],"then":[152],"provide":[153],"algorithm":[156,176],"runs":[158],"O(\u221a{2\u207f})":[160],"1/poly(n)":[165],"error,":[167],"matching":[168],"our":[169,192],"improving":[173],"state-of-the-art":[175],"Bravyi,":[178],"Chowdhury,":[179],"Gosset,":[180],"Wocjan":[182],"(Nature":[183],"Physics":[184],"2022)":[185],"low-temperature":[188],"regime.":[189],"To":[190],"prove":[191],"bounds,":[195],"introduce":[197],"first":[199],"size-preserving":[200],"circuit-to-Hamiltonian":[201],"construction":[202,228],"encodes":[204],"computation":[206],"T-time":[209],"circuit":[211],"acting":[212,220],"N":[214],"into":[216],"(d+1)-local":[218],"N+O(T^{1/d})":[222],"qubits.":[223,237],"This":[224],"improves":[225],"standard":[227],"based":[229],"unary":[232],"clock,":[233],"which":[234],"uses":[235],"N+O(T)":[236]},"counts_by_year":[],"updated_date":"2026-07-24T06:07:23.975819","created_date":"2026-07-24T00:00:00"}