{"id":"https://openalex.org/W7220650191","doi":"https://doi.org/10.48550/arxiv.2610.05214","title":"Cups and Gates II: Operads, twists, and addressable intra-code gates","display_name":"Cups and Gates II: Operads, twists, and addressable intra-code gates","publication_year":2026,"publication_date":"2026-10-04","ids":{"openalex":"https://openalex.org/W7220650191","doi":"https://doi.org/10.48550/arxiv.2610.05214"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.05214","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.05214","pdf_url":"https://arxiv.org/pdf/2610.05214","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.05214","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019795211","display_name":"Nikolas P. Breuckmann","orcid":"https://orcid.org/0000-0002-7211-5515","observed_orcids":["https://orcid.org/0000-0002-7211-5515"]},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Breuckmann, Nikolas P.","raw_affiliation_strings":["School of Mathematics , University of Bristol , Fry Building , Woodland Road , Bristol BS8 1UG , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics , University of Bristol , Fry Building , Woodland Road , Bristol BS8 1UG , United Kingdom","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091559749","display_name":"Margarita D. Davydova","orcid":"https://orcid.org/0000-0001-8482-5832","observed_orcids":["https://orcid.org/0000-0001-8482-5832"]},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Davydova, Margarita","raw_affiliation_strings":["Walter Burke Institute for Theoretical Physics , Department of Physics , and Institute for Quantum Information and Matter , California Institute of Technology , 1200 E California Blvd , Pasadena , CA 91125 , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Walter Burke Institute for Theoretical Physics , Department of Physics , and Institute for Quantum Information and Matter , California Institute of Technology , 1200 E California Blvd , Pasadena , CA 91125 , USA","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002285404","display_name":"Jens Niklas Eberhardt","orcid":"https://orcid.org/0000-0003-0577-9159","observed_orcids":["https://orcid.org/0000-0003-0577-9159"]},"institutions":[{"id":"https://openalex.org/I197323543","display_name":"Johannes Gutenberg University Mainz","ror":"https://ror.org/023b0x485","country_code":"DE","type":"education","lineage":["https://openalex.org/I197323543"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Eberhardt, Jens Niklas","raw_affiliation_strings":["Institut f\u00fcr Mathematik , Johannes Gutenberg University of Mainz , Staudingerweg 9 , Mainz , 55128 , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Mathematik , Johannes Gutenberg University of Mainz , Staudingerweg 9 , Mainz , 55128 , Germany","institution_ids":["https://openalex.org/I197323543"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5157711808","display_name":"Lucas Ferdinand Hallwirth","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I197323543","display_name":"Johannes Gutenberg University Mainz","ror":"https://ror.org/023b0x485","country_code":"DE","type":"education","lineage":["https://openalex.org/I197323543"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hallwirth, Lucas Ferdinand","raw_affiliation_strings":["Institut f\u00fcr Mathematik , Johannes Gutenberg University of Mainz , Staudingerweg 9 , Mainz , 55128 , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Mathematik , Johannes Gutenberg University of Mainz , Staudingerweg 9 , Mainz , 55128 , Germany","institution_ids":["https://openalex.org/I197323543"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028406610","display_name":"Nathanan Tantivasadakarn","orcid":"https://orcid.org/0000-0001-5295-2124","observed_orcids":["https://orcid.org/0000-0001-5295-2124"]},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tantivasadakarn, Nathanan","raw_affiliation_strings":["C. N. Yang Institute for Theoretical Physics , Stony Brook University , Stony Brook , NY 11794 , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"C. N. Yang Institute for Theoretical Physics , Stony Brook University , Stony Brook , NY 11794 , USA","institution_ids":["https://openalex.org/I59553526"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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.9682999849319458,"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.9682999849319458,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.009399999864399433,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11804","display_name":"Quantum many-body systems","score":0.002400000113993883,"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/logic-gates","display_name":"logic gates","score":0.824999988079071},{"id":"https://openalex.org/keywords/cup-product","display_name":"cup product","score":0.9359999895095825},{"id":"https://openalex.org/keywords/twisted-cohomology","display_name":"twisted cohomology","score":0.847000002861023},{"id":"https://openalex.org/keywords/relative-cohomology","display_name":"relative cohomology","score":0.7580000162124634},{"id":"https://openalex.org/keywords/qldpc-codes","display_name":"qLDPC codes","score":0.8579999804496765},{"id":"https://openalex.org/keywords/t-gate","display_name":"T-gate","score":0.5509999990463257},{"id":"https://openalex.org/keywords/single-qubit-rotations","display_name":"single-qubit rotations","score":0.7170000076293945},{"id":"https://openalex.org/keywords/cochain-complexes","display_name":"cochain complexes","score":0.5569999814033508},{"id":"https://openalex.org/keywords/fault-tolerant-quantum-computation","display_name":"fault-tolerant quantum computing","score":0.7940000295639038},{"id":"https://openalex.org/keywords/topological-codes","display_name":"topological codes","score":0.5429999828338623}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6507999897003174},{"id":"https://openalex.org/C136660716","wikidata":"https://www.wikidata.org/wiki/Q7269022","display_name":"Quantum cohomology","level":4,"score":0.5126000046730042},{"id":"https://openalex.org/C78606066","wikidata":"https://www.wikidata.org/wiki/Q1198376","display_name":"Cohomology","level":2,"score":0.490200012922287},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.46720001101493835},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.44519999623298645},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.4178999960422516},{"id":"https://openalex.org/C119238805","wikidata":"https://www.wikidata.org/wiki/Q229102","display_name":"Surjective function","level":2,"score":0.41290000081062317},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.41190001368522644},{"id":"https://openalex.org/C2776545253","wikidata":"https://www.wikidata.org/wiki/Q5464292","display_name":"Folding (DSP implementation)","level":2,"score":0.41190001368522644},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40400001406669617},{"id":"https://openalex.org/C74196217","wikidata":"https://www.wikidata.org/wiki/Q1095535","display_name":"\u010cech cohomology","level":5,"score":0.3662000000476837},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.328000009059906},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.31369999051094055},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.31310001015663147},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31029999256134033},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3037000000476837},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.3010999858379364},{"id":"https://openalex.org/C68365058","wikidata":"https://www.wikidata.org/wiki/Q1179446","display_name":"De Rham cohomology","level":4,"score":0.2858999967575073},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2815999984741211},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C72738302","wikidata":"https://www.wikidata.org/wiki/Q5384738","display_name":"Equivariant cohomology","level":3,"score":0.26989999413490295},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2646999955177307},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2644999921321869},{"id":"https://openalex.org/C155751095","wikidata":"https://www.wikidata.org/wiki/Q1408937","display_name":"Group cohomology","level":3,"score":0.263700008392334}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.05214","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.05214","pdf_url":"https://arxiv.org/pdf/2610.05214","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.05214","doi":"https://doi.org/10.48550/arxiv.2610.05214","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.05214","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.05214","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.05214","pdf_url":"https://arxiv.org/pdf/2610.05214","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/G3871231613","display_name":"Center: Institute for Quantum Information and Matter: IQIM","funder_award_id":"2317110","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6020731938","display_name":null,"funder_award_id":"PHY-2317110","funder_id":"https://openalex.org/F4320334224","funder_display_name":"Institute for Quantum Information and Matter, California Institute of Technology"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309398","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055"},{"id":"https://openalex.org/F4320333666","display_name":"Walter Burke Institute for Theoretical Physics","ror":null},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null},{"id":"https://openalex.org/F4320334224","display_name":"Institute for Quantum Information and Matter, California Institute of Technology","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220650191.pdf","grobid_xml":"https://content.openalex.org/works/W7220650191.grobid-xml"},"referenced_works_count":72,"referenced_works":["https://openalex.org/W1490521149","https://openalex.org/W1504888925","https://openalex.org/W1815802903","https://openalex.org/W1854515685","https://openalex.org/W1885434366","https://openalex.org/W1890785182","https://openalex.org/W1929354142","https://openalex.org/W1985315536","https://openalex.org/W1994895195","https://openalex.org/W2003095492","https://openalex.org/W2009410137","https://openalex.org/W2011867118","https://openalex.org/W2027002875","https://openalex.org/W2034225373","https://openalex.org/W2035286449","https://openalex.org/W2046104355","https://openalex.org/W2054620262","https://openalex.org/W2060532199","https://openalex.org/W2079294297","https://openalex.org/W2094974378","https://openalex.org/W2107817077","https://openalex.org/W2130762722","https://openalex.org/W2136497493","https://openalex.org/W2158891124","https://openalex.org/W2160529420","https://openalex.org/W2177885023","https://openalex.org/W2295938918","https://openalex.org/W2334758110","https://openalex.org/W2512564998","https://openalex.org/W2520649408","https://openalex.org/W2765821071","https://openalex.org/W2957709523","https://openalex.org/W2963760674","https://openalex.org/W3092400753","https://openalex.org/W3112993639","https://openalex.org/W3179080056","https://openalex.org/W3207755657","https://openalex.org/W3216894905","https://openalex.org/W4226483270","https://openalex.org/W4364364852","https://openalex.org/W4386947552","https://openalex.org/W4387142231","https://openalex.org/W4387909106","https://openalex.org/W4391530691","https://openalex.org/W4393898970","https://openalex.org/W4396892871","https://openalex.org/W4403996097","https://openalex.org/W4404089440","https://openalex.org/W4404986875","https://openalex.org/W4405718273","https://openalex.org/W4405920914","https://openalex.org/W4407091856","https://openalex.org/W4408826775","https://openalex.org/W4411320031","https://openalex.org/W4412403257","https://openalex.org/W4414427332","https://openalex.org/W4415286822","https://openalex.org/W4415318241","https://openalex.org/W4416243483","https://openalex.org/W4417210161","https://openalex.org/W4417215380","https://openalex.org/W4417261711","https://openalex.org/W4417322791","https://openalex.org/W4417485410","https://openalex.org/W7117552787","https://openalex.org/W7131891388","https://openalex.org/W7133301739","https://openalex.org/W7148834252","https://openalex.org/W7161743509","https://openalex.org/W7165942044","https://openalex.org/W7214123779","https://openalex.org/W7214163733"],"related_works":["https://openalex.org/W4404089440","https://openalex.org/W4404986875","https://openalex.org/W7163327141","https://openalex.org/W4404356468","https://openalex.org/W7221812330","https://openalex.org/W7167816467","https://openalex.org/W7143522772","https://openalex.org/W7203945023","https://openalex.org/W4413835712","https://openalex.org/W4289713249"],"abstract_inverted_index":{"In":[0,31],"Part":[1],"I,":[2],"we":[3,33,42,58,195],"introduced":[4],"a":[5,35],"general":[6],"framework":[7,62,80],"for":[8],"constructing":[9],"logical":[10,39,92,110],"gates":[11,40,93,116,122],"in":[12,76,123,148,178],"quantum":[13,51,209],"CSS":[14],"codes":[15,125],"from":[16,26,85,155],"cohomology":[17,71,106,131],"invariants,":[18],"focusing":[19],"on":[20,45,117,157],"cup":[21],"products":[22],"and":[23,73,119,121,165,194,207],"their":[24],"generalizations":[25],"topological":[27,127],"to":[28,87,141,173,187,200],"qLDPC":[29,124],"codes.":[30],"particular,":[32],"produced":[34],"family":[36],"of":[37,48,175],"$C^{k-1}Z$":[38],"that":[41,104,140],"called":[43],"copy-cup":[44],"$k$":[46],"copies":[47],"the":[49,135,149,166],"same":[50],"code":[52,67],"implemented":[53],"by":[54,63],"finite-depth":[55],"circuits.":[56],"Here,":[57],"vastly":[59],"extend":[60],"this":[61,197],"introducing":[64],"twists":[65],"incorporating":[66],"automorphisms,":[68],"higher":[69,136],"twisted":[70,137],"operations,":[72,132],"folding":[74],"operations":[75,82,101,153],"relative":[77],"cohomology.":[78],"The":[79],"includes":[81],"lifting":[83],"coefficients":[84],"$\\mathbb{Z}/2$":[86],"$\\mathbb{Z}/2^k$,":[88],"enabling":[89],"all":[90],"diagonal":[91],"such":[94,133],"as":[95,134],"single-qubit":[96],"rotations":[97],"$\\operatorname{R}(2\u03c0/2^k)$.":[98],"Composing":[99],"these":[100,171],"with":[102,159],"maps":[103],"select":[105],"classes":[107],"yields":[108],"addressable":[109,114],"gates.":[111,210],"Examples":[112],"include":[113],"$T$":[115],"three-":[118],"four-tori":[120],"beyond":[126],"ones.":[128],"We":[129,169],"introduce":[130],"Pontryagin":[138],"powers,":[139],"our":[142],"knowledge":[143],"have":[144],"not":[145],"previously":[146],"appeared":[147],"mathematics":[150],"literature.":[151],"These":[152],"arise":[154],"$E_\\infty$-structures":[156],"cochains,":[158],"explicit":[160],"constructions":[161],"using":[162],"cyclic":[163],"resolutions":[164],"surjection":[167],"operad.":[168],"expect":[170,196],"results":[172],"be":[174],"independent":[176],"interest":[177],"homotopy":[179,205],"theory.":[180],"Our":[181],"formalism":[182],"applies":[183],"much":[184],"more":[185],"broadly":[186],"chain":[188],"complexes":[189],"carrying":[190],"suitable":[191],"operadic":[192,198],"structures,":[193],"perspective":[199],"uncover":[201],"further":[202],"connections":[203],"between":[204],"theory":[206],"fault-tolerant":[208]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-07T00:00:00"}
