{"id":"https://openalex.org/W4416068471","doi":"https://doi.org/10.48550/arxiv.2509.07835","title":"Existence and nonexistence of commutativity gadgets for entangled CSPs","display_name":"Existence and nonexistence of commutativity gadgets for entangled CSPs","publication_year":2025,"publication_date":"2025-09-09","ids":{"openalex":"https://openalex.org/W4416068471","doi":"https://doi.org/10.48550/arxiv.2509.07835"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2509.07835","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.07835","pdf_url":"https://arxiv.org/pdf/2509.07835","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2509.07835","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/A5059060171","display_name":"Josse van Dobben de Bruyn","orcid":"https://orcid.org/0000-0002-8996-9824"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Bruyn, Josse van Dobben","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089395239","display_name":"Matthijs Vernooij","orcid":"https://orcid.org/0000-0003-1219-0537"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vernooij, Matthijs","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/T10374","display_name":"Advanced Graph Theory Research","score":0.6546000242233276,"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"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.6546000242233276,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.1526000052690506,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.08320000022649765,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/commutative-property","display_name":"Commutative property","score":0.7907000184059143},{"id":"https://openalex.org/keywords/endomorphism","display_name":"Endomorphism","score":0.784500002861023},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.6050000190734863},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4620000123977661},{"id":"https://openalex.org/keywords/automorphism","display_name":"Automorphism","score":0.44589999318122864},{"id":"https://openalex.org/keywords/gadget","display_name":"Gadget","score":0.40860000252723694},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33809998631477356}],"concepts":[{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.7907000184059143},{"id":"https://openalex.org/C116858840","wikidata":"https://www.wikidata.org/wiki/Q1340800","display_name":"Endomorphism","level":2,"score":0.784500002861023},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6972000002861023},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.6050000190734863},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4620000123977661},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4611999988555908},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.44589999318122864},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4397999942302704},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.40860000252723694},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33809998631477356},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.32989999651908875},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.3237000107765198},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.29820001125335693},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C15353042","wikidata":"https://www.wikidata.org/wiki/Q7269009","display_name":"Quantum algebra","level":4,"score":0.26499998569488525},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2509.07835","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.07835","pdf_url":"https://arxiv.org/pdf/2509.07835","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2509.07835","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2509.07835","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":"pmh:oai:arXiv.org:2509.07835","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.07835","pdf_url":"https://arxiv.org/pdf/2509.07835","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"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,62,77,214,225,229],"allow":[2],"NP-hardness":[3],"proofs":[4,17],"for":[5,18,27,29,135,147,170,183,232],"classical":[6],"constraint":[7],"satisfaction":[8],"problems":[9],"(CSPs)":[10],"to":[11,15,84,102,166,175,194],"be":[12,176],"carried":[13],"over":[14,45],"undecidability":[16],"the":[19,36,66,80,92,95,103,158,171,184,239,243,254],"corresponding":[20],"entangled":[21,67],"CSPs.":[22],"This":[23],"has":[24],"been":[25],"done,":[26],"instance,":[28],"NP-complete":[30],"boolean":[31],"CSPs":[32,44,198],"and":[33,40,78,110,191,226,237,242],"3-colouring":[34],"in":[35],"work":[37],"of":[38,94,99,107,151,181,188,197,211,220,223],"Culf":[39],"Mastel.":[41],"For":[42],"many":[43],"larger":[46],"alphabets,":[47],"including":[48],"$k$-colouring":[49,136,153],"when":[50,137],"$k":[51,138],"\\geq":[52,139],"4$,":[53],"it":[54],"is":[55,69,215,230],"not":[56,60,121,201],"known":[57,82],"whether":[58],"or":[59,64],"commutativity":[61,76,124,132,145,204,213,224,228,261],"exist,":[63],"if":[65],"CSP":[68,114],"decidable.":[70],"In":[71,126],"this":[72,89,128,193],"paper,":[73],"we":[74,142,162],"study":[75],"prove":[79,163],"first":[81],"obstruction":[83],"their":[85],"existence.":[86],"We":[87,206],"do":[88,200],"by":[90],"extending":[91,178],"definition":[93],"quantum":[96,104,117,172,185,249],"automorphism":[97,186],"group":[98,187],"a":[100,108,113,123,144,155,179,189,203,247,260],"graph":[101],"endomorphism":[105,118,173,250],"monoid":[106,119,174],"CSP,":[109],"showing":[111],"that":[112,130,199,209,238,256],"with":[115,234],"non-classical":[116],"does":[120],"admit":[122,202,259],"gadget.":[125,205,262],"particular,":[127],"shows":[129],"no":[131,235],"gadget":[133,146],"exists":[134],"4$.":[140],"However,":[141],"construct":[143],"an":[148,164],"alternate":[149],"way":[150],"presenting":[152],"as":[154],"nonlocal":[156],"game,":[157],"oracular":[159,212,227],"setting.":[160],"Furthermore,":[161],"easy":[165],"check":[167],"sufficient":[168],"condition":[169],"non-classical,":[177],"result":[180],"Schmidt":[182],"graph,":[190],"use":[192],"give":[195],"examples":[196],"also":[207],"show":[208],"existence":[210,222],"preserved":[216],"under":[217],"categorical":[218],"powers":[219],"graphs;":[221],"equivalent":[231],"graphs":[233,245],"four-cycle;":[236],"odd":[240,244],"cycles":[241],"have":[246],"commutative":[248],"monoid,":[251],"leaving":[252],"open":[253],"possibility":[255],"they":[257],"might":[258]},"counts_by_year":[],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}