{"id":"https://openalex.org/W7220433609","doi":"https://doi.org/10.48550/arxiv.2610.03655","title":"Breaking the cubic barrier for the inverse-free Solovay-Kitaev algorithm","display_name":"Breaking the cubic barrier for the inverse-free Solovay-Kitaev algorithm","publication_year":2026,"publication_date":"2026-10-02","ids":{"openalex":"https://openalex.org/W7220433609","doi":"https://doi.org/10.48550/arxiv.2610.03655"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.03655","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03655","pdf_url":"https://arxiv.org/pdf/2610.03655","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.03655","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007781126","display_name":"Adam Bouland","orcid":"https://orcid.org/0000-0002-8556-8337","observed_orcids":["https://orcid.org/0000-0002-8556-8337"]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bouland, Adam","raw_affiliation_strings":["Department of Computer Science , Stanford University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5157654086","display_name":"Victor Shyaka","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shyaka, Victor","raw_affiliation_strings":["Department of Computer Science , Stanford University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5157523979","display_name":"Chenyi Zhang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhang, Chenyi","raw_affiliation_strings":["Department of Computer Science , Stanford University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Stanford University","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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.9994999766349792,"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.9994999766349792,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.00019999999494757503,"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/T11804","display_name":"Quantum many-body systems","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-compilation","display_name":"quantum circuit compilation","score":0.7559999823570251},{"id":"https://openalex.org/keywords/pauli-gates","display_name":"Pauli gates","score":0.6949999928474426},{"id":"https://openalex.org/keywords/irrational-rotation","display_name":"irrational rotation","score":0.5929999947547913},{"id":"https://openalex.org/keywords/qubits","display_name":"qubits","score":0.35899999737739563},{"id":"https://openalex.org/keywords/universal-gate-set","display_name":"universal gate set","score":0.7300000190734863}],"concepts":[{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.8325999975204468},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.7056000232696533},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5174999833106995},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5055999755859375},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4957999885082245},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.4334000051021576},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.4327000081539154},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4214000105857849},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4169999957084656},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.3937000036239624},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3912000060081482},{"id":"https://openalex.org/C94931360","wikidata":"https://www.wikidata.org/wiki/Q607728","display_name":"Irrational number","level":2,"score":0.376800000667572},{"id":"https://openalex.org/C59500034","wikidata":"https://www.wikidata.org/wiki/Q1464944","display_name":"Quantum Fourier transform","level":5,"score":0.37459999322891235},{"id":"https://openalex.org/C13533509","wikidata":"https://www.wikidata.org/wiki/Q1064349","display_name":"Deterministic algorithm","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.3425000011920929},{"id":"https://openalex.org/C74050887","wikidata":"https://www.wikidata.org/wiki/Q848368","display_name":"Rotation (mathematics)","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C180347388","wikidata":"https://www.wikidata.org/wiki/Q336233","display_name":"Pauli matrices","level":2,"score":0.32120001316070557},{"id":"https://openalex.org/C110340908","wikidata":"https://www.wikidata.org/wiki/Q131594","display_name":"Pauli exclusion principle","level":2,"score":0.30250000953674316},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.30149999260902405},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C179957908","wikidata":"https://www.wikidata.org/wiki/Q907206","display_name":"POVM","level":5,"score":0.2596000134944916},{"id":"https://openalex.org/C192122513","wikidata":"https://www.wikidata.org/wiki/Q2835770","display_name":"Quantum phase estimation algorithm","level":5,"score":0.25839999318122864},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25780001282691956}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.03655","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03655","pdf_url":"https://arxiv.org/pdf/2610.03655","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.03655","doi":"https://doi.org/10.48550/arxiv.2610.03655","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.03655","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.03655","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03655","pdf_url":"https://arxiv.org/pdf/2610.03655","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G3077665131","display_name":"QLCI-CI: NSF Quantum Leap Challenge Institute for Present and Future Quantum Computing","funder_award_id":"2016245","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7323825548","display_name":"CAREER: New Frontiers of Quantum Pseudorandomness and Complexity","funder_award_id":"2440805","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320332359","display_name":"Office of Science","ror":"https://ror.org/00mmn6b08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220433609.pdf","grobid_xml":"https://content.openalex.org/works/W7220433609.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1480910789","https://openalex.org/W1866699241","https://openalex.org/W2281449802","https://openalex.org/W2778599742","https://openalex.org/W4382141605","https://openalex.org/W7169807257"],"related_works":["https://openalex.org/W4226546286","https://openalex.org/W2753073040","https://openalex.org/W4380680667","https://openalex.org/W4382141605","https://openalex.org/W2950843936","https://openalex.org/W2782664739","https://openalex.org/W7096309917","https://openalex.org/W2974854987","https://openalex.org/W1661198567","https://openalex.org/W2778599742"],"abstract_inverted_index":{"The":[0],"Solovay-Kitaev":[1],"algorithm":[2,55,161,170,210],"states":[3],"that":[4,75,134,247],"it":[5,38,72],"is":[6,39,56,66,73,81,119],"possible":[7,40,82,253],"to":[8,12,41,96,184,197,228],"efficiently":[9,42],"compile":[10,43],"unitaries":[11],"accuracy":[13],"$\u03b5$":[14],"in":[15,83,105],"$\\text{polylog}(1/\u03b5)$":[16],"time":[17],"using":[18],"any":[19,84,113],"universal":[20],"gate":[21,31,45],"set.":[22],"While":[23],"Solovay":[24],"and":[25,35,92,107,178,182,245],"Kitaev's":[26],"initial":[27],"work":[28],"addressed":[29],"inverse-closed":[30],"sets,":[32],"recently":[33],"Bouland":[34,106],"Giurgic\u01ce-Tiron":[36],"showed":[37],"arbitrary":[44],"sets":[46],"without":[47],"inverses.":[48],"However,":[49],"the":[50,60,103,116,139,198,230],"exponent":[51,62,78,104,118,164,212],"of":[52,79,89,138,152,176,222,225,238],"their":[53],"compilation":[54,160,190,231],"high.":[57],"For":[58],"example":[59],"inverse-free":[61,77,117,140,200,255],"for":[63,202,254],"a":[64,87,97,135,153,157,203,208,219],"qubit":[65,154],"over":[67],"$8.62$,":[68],"while":[69],"information":[70],"theoretically":[71],"known":[74],"an":[76,149,163,186],"$3$":[80],"dimension":[85],"by":[86,148],"result":[88,217],"Oszmaniec,":[90],"Sawicki,":[91],"Horodecki.":[93],"This":[94,216],"leads":[95],"natural":[98],"question:":[99],"can":[100],"one":[101],"improve":[102,229],"Giurgic\u01ce-Tiron's":[108],"algorithm?":[109],"And":[110],"are":[111,249],"there":[112,248],"cases":[114],"where":[115,205],"below":[120],"3,":[121],"thus":[122],"surpassing":[123,242],"existing":[124],"information-theoretic":[125,243],"arguments?":[126],"To":[127],"answer":[128],"this":[129],"question,":[130],"we":[131,206],"first":[132],"show":[133],"special":[136],"case":[137,201],"compiling":[141,209,240],"problem":[142],"--":[143],"namely":[144],"Pauli":[145],"gates":[146],"supplemented":[147],"irrational":[150],"rotation":[151],"-":[155],"admits":[156],"highly":[158],"efficient":[159,187],"with":[162,211],"at":[165,213],"most":[166,214],"$\\approx":[167],"2.138$.":[168],"Our":[169,233],"fuses":[171],"ideas":[172,196],"from":[173],"prior":[174],"algorithms":[175,241],"Kuperberg":[177],"Sardharwalla,":[179],"Cubitt,":[180],"Harrow":[181],"Linden":[183],"construct":[185],"``Pauli":[188],"golf''":[189],"routine.":[191],"We":[192],"then":[193],"extend":[194],"these":[195],"general":[199],"qubit,":[204],"give":[207,235],"$2.988$.":[215],"uses":[218],"novel":[220],"form":[221],"approximate":[223],"``aiming''":[224],"unitary":[226],"corrections":[227],"efficiency.":[232],"results":[234],"two":[236],"examples":[237],"quantum":[239],"arguments,":[244],"demonstrate":[246],"many":[250],"efficiency":[251],"gains":[252],"compilation.":[256]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-06T00:00:00"}