{"id":"https://openalex.org/W7161566543","doi":"https://doi.org/10.48550/arxiv.2605.15266","title":"Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation","display_name":"Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation","publication_year":2026,"publication_date":"2026-05-14","ids":{"openalex":"https://openalex.org/W7161566543","doi":"https://doi.org/10.48550/arxiv.2605.15266"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.15266","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.15266","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,"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"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.15266","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048862133","display_name":"Tom Peham","orcid":"https://orcid.org/0000-0003-3434-7881"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peham, Tom","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136369905","display_name":"Matthew Steinberg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Steinberg, Matthew","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136421102","display_name":"Robert Wille","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wille, Robert","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5038849303","display_name":"Sascha Heu\u00dfen","orcid":"https://orcid.org/0000-0002-7581-2148"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Heu\u00dfen, Sascha","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.9549000263214111,"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.9549000263214111,"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.021400000900030136,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.006200000178068876,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/encoder","display_name":"Encoder","score":0.6168000102043152},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.6032000184059143},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5615000128746033},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49230000376701355},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4796999990940094},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.47699999809265137},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.4277999997138977},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.42010000348091125},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.39489999413490295}],"concepts":[{"id":"https://openalex.org/C118505674","wikidata":"https://www.wikidata.org/wiki/Q42586063","display_name":"Encoder","level":2,"score":0.6168000102043152},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6093999743461609},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.6032000184059143},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5615000128746033},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49230000376701355},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4796999990940094},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.47699999809265137},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.4277999997138977},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.42010000348091125},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.39489999413490295},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38760000467300415},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.38429999351501465},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35530000925064087},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.34150001406669617},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.31619998812675476},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.29179999232292175},{"id":"https://openalex.org/C51823790","wikidata":"https://www.wikidata.org/wiki/Q504353","display_name":"Greedy algorithm","level":2,"score":0.28929999470710754},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.2854999899864197},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.2849000096321106},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.27570000290870667},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.26910001039505005},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2678999900817871},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.2581000030040741},{"id":"https://openalex.org/C36941000","wikidata":"https://www.wikidata.org/wiki/Q209455","display_name":"VHDL","level":3,"score":0.25690001249313354}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.15266","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.15266","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,"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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.15266","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.15266","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,"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"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6068733334541321}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Preparing":[0],"arbitrary":[1,82],"logical":[2,69],"states":[3],"is":[4],"a":[5,90,117,161],"central":[6],"primitive":[7],"for":[8,77,81,151],"universal":[9],"fault-tolerant":[10,214],"quantum":[11,170],"computation":[12],"and":[13,45,95,98,124,140,169,175,182,198,217],"the":[14,22,28,49,65,103,109,157,186,207,226],"cost":[15],"of":[16,30,51,67,108,164,190,209,225],"encoded-state":[17,210],"preparation":[18,66,211],"contributes":[19],"directly":[20],"to":[21,41,146,192,200],"overall":[23],"resource":[24],"overhead.":[25],"This":[26],"makes":[27],"synthesis":[29,50,63,88,145],"efficient":[31,79],"general-state":[32],"encoding":[33,111],"circuits":[34,150],"an":[35],"important":[36],"problem,":[37],"particularly":[38],"with":[39,116],"respect":[40],"two-qubit":[42,195],"gate":[43,196],"count":[44,197],"circuit":[46,62],"depth.":[47,203],"Yet":[48],"such":[52,120],"encoders":[53,80,131],"has":[54],"been":[55],"studied":[56],"less":[57],"extensively":[58],"than":[59],"general":[60],"Clifford":[61],"or":[64],"specific":[68],"Pauli-eigenstates.":[70],"In":[71],"this":[72],"work,":[73],"we":[74,127,141],"develop":[75],"methods":[76,159,181,219],"synthesizing":[78],"stabilizer":[83,93,165],"codes.":[84],"We":[85,154],"formulate":[86],"encoder":[87],"as":[89,121,223],"search":[91],"over":[92],"tableaus":[94],"introduce":[96],"greedy":[97],"rollout-based":[99],"algorithms":[100],"that":[101],"exploit":[102],"freedom":[104],"among":[105],"stabilizer-equivalent":[106],"realizations":[107],"same":[110],"isometry.":[112],"For":[113],"code":[114],"families":[115],"modular":[118],"structure,":[119],"generalized":[122],"concatenated":[123],"holographic":[125,168],"codes,":[126,166,174],"show":[128],"how":[129],"large":[130],"can":[132],"be":[133],"assembled":[134],"from":[135,185],"optimized":[136],"local":[137,149],"constituent":[138],"encoders,":[139],"use":[142],"SMT-based":[143],"exact":[144],"obtain":[147],"optimal":[148],"small":[152],"instances.":[153],"further":[155],"evaluate":[156],"proposed":[158],"on":[160],"broad":[162],"set":[163],"including":[167],"low-density":[171],"parity-check":[172],"(qLDPC)":[173],"compare":[176],"them":[177],"against":[178],"recent":[179],"encoder-synthesis":[180],"existing":[183],"constructions":[184],"literature,":[187],"obtaining":[188],"improvements":[189],"up":[191,199],"43%":[193],"in":[194,202,212],"70%":[201],"Our":[204],"results":[205],"support":[206],"optimization":[208],"several":[213],"quantum-computing":[215],"schemes,":[216],"all":[218],"are":[220],"openly":[221],"available":[222],"part":[224],"Munich":[227],"Quantum":[228],"Toolkit.":[229]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-19T00:00:00"}