{"id":"https://openalex.org/W7148700643","doi":"https://doi.org/10.48550/arxiv.2604.01519","title":"DQC1-completeness of normalized trace estimation for functions of log-local Hamiltonians","display_name":"DQC1-completeness of normalized trace estimation for functions of log-local Hamiltonians","publication_year":2026,"publication_date":"2026-04-02","ids":{"openalex":"https://openalex.org/W7148700643","doi":"https://doi.org/10.48550/arxiv.2604.01519"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.01519","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01519","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.01519","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043930796","display_name":"Zhengfeng Ji","orcid":"https://orcid.org/0000-0002-7659-3178"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ji, Zhengfeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132908551","display_name":"Tongyang Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Tongyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044887714","display_name":"Changpeng Shao","orcid":"https://orcid.org/0000-0002-3008-7296"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shao, Changpeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132885496","display_name":"Xinzhao Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Xinzhao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5087474240","display_name":"Yuxin Zhang","orcid":"https://orcid.org/0000-0002-4409-7030"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yuxin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.7671999931335449,"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.7671999931335449,"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.15629999339580536,"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.01140000019222498,"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/trace","display_name":"TRACE (psycholinguistics)","score":0.5716999769210815},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.5284000039100647},{"id":"https://openalex.org/keywords/approximation-theory","display_name":"Approximation theory","score":0.47369998693466187},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.46860000491142273},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.45419999957084656},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.45320001244544983},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.45249998569488525},{"id":"https://openalex.org/keywords/hamiltonian","display_name":"Hamiltonian (control theory)","score":0.444599986076355},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43459999561309814},{"id":"https://openalex.org/keywords/approximation-error","display_name":"Approximation error","score":0.43070000410079956}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7585999965667725},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5716999769210815},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5284000039100647},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.5041000247001648},{"id":"https://openalex.org/C145242015","wikidata":"https://www.wikidata.org/wiki/Q774123","display_name":"Approximation theory","level":2,"score":0.47369998693466187},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.46860000491142273},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.45419999957084656},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.45320001244544983},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.45249998569488525},{"id":"https://openalex.org/C130787639","wikidata":"https://www.wikidata.org/wiki/Q5645293","display_name":"Hamiltonian (control theory)","level":2,"score":0.444599986076355},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43459999561309814},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.43070000410079956},{"id":"https://openalex.org/C131229623","wikidata":"https://www.wikidata.org/wiki/Q977297","display_name":"Trace class","level":3,"score":0.40709999203681946},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3855000138282776},{"id":"https://openalex.org/C156760230","wikidata":"https://www.wikidata.org/wiki/Q1969650","display_name":"Trigonometric polynomial","level":3,"score":0.3725999891757965},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.36489999294281006},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3617999851703644},{"id":"https://openalex.org/C129785596","wikidata":"https://www.wikidata.org/wiki/Q619511","display_name":"Chebyshev polynomials","level":2,"score":0.3578000068664551},{"id":"https://openalex.org/C21424316","wikidata":"https://www.wikidata.org/wiki/Q718621","display_name":"Chebyshev filter","level":2,"score":0.34850001335144043},{"id":"https://openalex.org/C29001434","wikidata":"https://www.wikidata.org/wiki/Q8084","display_name":"Trigonometry","level":2,"score":0.33880001306533813},{"id":"https://openalex.org/C178009071","wikidata":"https://www.wikidata.org/wiki/Q93344","display_name":"Trigonometric functions","level":2,"score":0.3246999979019165},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3212999999523163},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32019999623298645},{"id":"https://openalex.org/C92043244","wikidata":"https://www.wikidata.org/wiki/Q7269023","display_name":"Quantum complexity theory","level":4,"score":0.31439998745918274},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C85384003","wikidata":"https://www.wikidata.org/wiki/Q5421525","display_name":"Exponential polynomial","level":3,"score":0.30730000138282776},{"id":"https://openalex.org/C19754495","wikidata":"https://www.wikidata.org/wiki/Q3435924","display_name":"Computational problem","level":2,"score":0.3034000098705292},{"id":"https://openalex.org/C25878781","wikidata":"https://www.wikidata.org/wiki/Q1473607","display_name":"Degree of a polynomial","level":3,"score":0.2906999886035919},{"id":"https://openalex.org/C53638454","wikidata":"https://www.wikidata.org/wiki/Q4446020","display_name":"Exponential sum","level":3,"score":0.28360000252723694},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.27900001406669617},{"id":"https://openalex.org/C110342517","wikidata":"https://www.wikidata.org/wiki/Q1129902","display_name":"Constant coefficients","level":2,"score":0.27059999108314514},{"id":"https://openalex.org/C171326582","wikidata":"https://www.wikidata.org/wiki/Q1052508","display_name":"Chebyshev nodes","level":3,"score":0.26600000262260437},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.2533000111579895},{"id":"https://openalex.org/C117148685","wikidata":"https://www.wikidata.org/wiki/Q6865376","display_name":"Minimax approximation algorithm","level":2,"score":0.2529999911785126},{"id":"https://openalex.org/C75235859","wikidata":"https://www.wikidata.org/wiki/Q582659","display_name":"Exponential growth","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.01519","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01519","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.01519","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01519","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"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":{"We":[0,41,93],"study":[1],"the":[2,7,25,70,101,111,124,128,136,140,144,153,162,191],"computational":[3],"complexity":[4,30,104,145,155],"of":[5,38,74,83,105,123,146],"estimating":[6,56],"normalized":[8,147],"trace":[9,121,148],"$2^{-n}Tr[f(A)]$":[10,57],"for":[11,34,79,119],"a":[12,35,47,66,80,115,120,173],"log-local":[13],"Hamiltonian":[14],"$A$":[15,98],"acting":[16],"on":[17,69],"$n$":[18],"qubits.":[19],"This":[20,76],"problem":[21,107,126],"arises":[22],"naturally":[23],"in":[24,110,127],"DQC1":[26,129,158],"model,":[27],"yet":[28],"its":[29],"is":[31,46,63,99,108],"only":[32],"understood":[33],"limited":[36],"class":[37,82],"functions":[39],"$f(x)$.":[40,75],"show":[42],"that":[43,96,176],"if":[44],"$f(x)$":[45],"continuous":[48],"function":[49],"with":[50],"approximate":[51,112,137],"degree":[52,138],"$\u03a9({\\rm":[53],"poly}(n))$,":[54],"then":[55],"up":[58],"to":[59],"constant":[60],"additive":[61],"error":[62,73],"DQC1-complete,":[64],"under":[65],"technical":[67],"condition":[68,77],"polynomial":[71,187],"approximation":[72,188],"holds":[78],"broad":[81],"functions,":[84,88],"including":[85,190],"exponentials,":[86],"trigonometric":[87],"logarithms,":[89],"and":[90,184],"inverse-type":[91],"functions.":[92],"further":[94],"prove":[95],"when":[97],"sparse,":[100],"classical":[102,163],"query":[103,130],"this":[106],"exponential":[109,167],"degree,":[113],"assuming":[114],"conjectured":[116],"lower":[117],"bound":[118],"variant":[122],"$k$-Forrelation":[125],"model.":[131],"Together,":[132],"these":[133],"results":[134],"identify":[135],"as":[139],"key":[141],"parameter":[142],"governing":[143],"estimation:":[149],"it":[150],"characterizes":[151],"both":[152],"quantum":[154],"(via":[156],"efficient":[157],"algorithms)":[159],"and,":[160],"conditionally,":[161],"hardness,":[164],"yielding":[165],"an":[166],"quantum-classical":[168],"separation.":[169],"Our":[170],"proof":[171],"develops":[172],"unified":[174],"framework":[175],"cleanly":[177],"combines":[178],"circuit-to-Hamiltonian":[179],"constructions,":[180],"periodic":[181],"Jacobi":[182],"operators,":[183],"tools":[185],"from":[186],"theory,":[189],"Chebyshev":[192],"equioscillation":[193],"theorem.":[194]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-04T00:00:00"}