{"id":"https://openalex.org/W7149007394","doi":"https://doi.org/10.48550/arxiv.2604.01408","title":"Quantum polymorphism characterisation of commutativity gadgets in all quantum models","display_name":"Quantum polymorphism characterisation of commutativity gadgets in all quantum models","publication_year":2026,"publication_date":"2026-04-01","ids":{"openalex":"https://openalex.org/W7149007394","doi":"https://doi.org/10.48550/arxiv.2604.01408"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.01408","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01408","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.2604.01408","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078069520","display_name":"Eric Culf","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Culf, Eric","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132867359","display_name":"Josse van Dobben de Bruyn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Bruyn, Josse van Dobben","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5013404440","display_name":"Peter Zeman","orcid":"https://orcid.org/0000-0003-0071-9149"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zeman, Peter","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/T10899","display_name":"Advanced Operator Algebra Research","score":0.4643000066280365,"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"}},"topics":[{"id":"https://openalex.org/T10899","display_name":"Advanced Operator Algebra Research","score":0.4643000066280365,"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/T10287","display_name":"Algebraic structures and combinatorial models","score":0.14730000495910645,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.04100000113248825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.786899983882904},{"id":"https://openalex.org/keywords/gadget","display_name":"Gadget","score":0.7457000017166138},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5921000242233276},{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.5382999777793884},{"id":"https://openalex.org/keywords/noncommutative-geometry","display_name":"Noncommutative geometry","score":0.4203000068664551},{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.3853999972343445},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3666999936103821}],"concepts":[{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.786899983882904},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.7457000017166138},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5921000242233276},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5796999931335449},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.5382999777793884},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5041000247001648},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.4203000068664551},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4081000089645386},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.3853999972343445},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3666999936103821},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.34450000524520874},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.3398999869823456},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.3231000006198883},{"id":"https://openalex.org/C92957085","wikidata":"https://www.wikidata.org/wiki/Q1412905","display_name":"Permutation group","level":3,"score":0.3098999857902527},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.30140000581741333},{"id":"https://openalex.org/C180347388","wikidata":"https://www.wikidata.org/wiki/Q336233","display_name":"Pauli matrices","level":2,"score":0.2946999967098236},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.2660999894142151},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.257099986076355}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.01408","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01408","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.2604.01408","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.01408","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Commutativity":[0],"gadgets":[1,28,94,128],"provide":[2],"a":[3,23,49,107,157,167,182,214,218,233,236,239],"technique":[4],"for":[5,26,73],"lifting":[6],"classical":[7,121],"reductions":[8,15],"between":[9,16,35,147,209],"constraint":[10],"satisfaction":[11],"problems":[12],"to":[13,77,112,120,144,163],"quantum-sound":[14],"the":[17,30,41,56,65,70,113,116,135,148,164,187,193,230],"corresponding":[18,79,117,168],"nonlocal":[19],"games.":[20],"We":[21,140],"develop":[22],"general":[24],"framework":[25],"commutativity":[27,53,83,93,108,133,151,159,220,242],"in":[29,96,102],"setting":[31],"of":[32,43,52,81,98,106,115,134,150,156,166,177,232],"quantum":[33,44,59,75,99,118,175,194,224,240],"homomorphisms":[34,76],"finite":[36],"relational":[37,215],"structures.":[38],"Building":[39],"on":[40,229],"notion":[42,51],"homomorphism":[45],"spaces,":[46],"we":[47,68,172,206,212],"introduce":[48],"uniform":[50],"gadget":[54,109,160,221,243],"capturing":[55],"finite-dimensional":[57,219],"quantum,":[58],"approximate,":[60],"and":[61,91,126],"commuting-operator":[62,246],"models.":[63],"In":[64],"robust":[66,82,92,127,158],"setting,":[67],"use":[69,141],"weighted-algebra":[71],"formalism":[72],"approximate":[74,225,241],"capture":[78],"notions":[80],"gadgets.":[84],"Our":[85],"main":[86],"results":[87],"characterize":[88],"both":[89],"non-robust":[90,169],"purely":[95],"terms":[97],"polymorphism":[100,138],"spaces:":[101],"any":[103],"model,":[104],"existence":[105,155,165,231],"is":[110,161],"equivalent":[111,162],"collapse":[114],"polymorphisms":[119,176],"ones":[122],"at":[123],"arity":[124],"$|A|^2$,":[125],"are":[129],"characterized":[130],"by":[131],"stable":[132],"appropriate":[136],"weighted":[137],"algebra.":[139],"this":[142,199],"characterisation":[143],"show":[145],"relations":[146],"classes":[149],"gadget,":[152,226],"notably":[153],"that":[154,174],"one.":[170],"Finally,":[171],"prove":[173],"complete":[178],"graphs":[179],"$K_n$":[180],"have":[181],"very":[183],"special":[184],"structure,":[185],"wherein":[186],"noncommutative":[188],"behaviour":[189],"only":[190],"comes":[191],"from":[192,202],"permutation":[195],"group":[196,204],"$S_n^+$.":[197],"Combining":[198],"with":[200],"techniques":[201],"combinatorial":[203],"theory,":[205],"construct":[207],"separations":[208],"commutativity-gadget":[210],"classes:":[211],"exhibit":[213],"structure":[216,237],"admitting":[217,238],"but":[222,244],"no":[223,245],"and,":[227],"conditional":[228],"non-hyperlinear":[234],"group,":[235],"gadget.":[247]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-04T00:00:00"}