{"id":"https://openalex.org/W7212308336","doi":"https://doi.org/10.48550/arxiv.2609.10783","title":"A 50-Vertex Cubic Counterexample to the Domination-versus-Edge-Domination Conjecture","display_name":"A 50-Vertex Cubic Counterexample to the Domination-versus-Edge-Domination Conjecture","publication_year":2026,"publication_date":"2026-09-09","ids":{"openalex":"https://openalex.org/W7212308336","doi":"https://doi.org/10.48550/arxiv.2609.10783"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.10783","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.10783","pdf_url":"https://arxiv.org/pdf/2609.10783","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/2609.10783","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020582687","display_name":"Koyar Afrasyab","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Afrasyab, Koyar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5020582687"],"corresponding_institution_ids":[],"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9976000189781189,"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.9976000189781189,"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/T12541","display_name":"Graph Labeling and Dimension Problems","score":0.0007999999797903001,"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.000699999975040555,"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/domination-number","display_name":"domination number","score":0.953000009059906},{"id":"https://openalex.org/keywords/cubic-graphs","display_name":"cubic graphs","score":0.6840000152587891},{"id":"https://openalex.org/keywords/counterexample","display_name":"counterexample","score":0.6959999799728394},{"id":"https://openalex.org/keywords/maximal-matching","display_name":"maximal matching","score":0.7940000295639038},{"id":"https://openalex.org/keywords/independent-domination","display_name":"independent domination","score":0.8130000233650208},{"id":"https://openalex.org/keywords/set-cover","display_name":"set cover","score":0.6639999747276306},{"id":"https://openalex.org/keywords/exact-enumeration","display_name":"exact enumeration","score":0.5289999842643738},{"id":"https://openalex.org/keywords/dominating-sets","display_name":"dominating sets","score":0.49900001287460327},{"id":"https://openalex.org/keywords/domination-in-graphs","display_name":"graph domination","score":0.3070000112056732}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8499000072479248},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7886999845504761},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.7178999781608582},{"id":"https://openalex.org/C100500283","wikidata":"https://www.wikidata.org/wiki/Q1374495","display_name":"Cubic graph","level":5,"score":0.7121999859809875},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6467000246047974},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5613999962806702},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4203999936580658},{"id":"https://openalex.org/C146661039","wikidata":"https://www.wikidata.org/wiki/Q2915204","display_name":"Dominating set","level":4,"score":0.3831000030040741},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.34279999136924744},{"id":"https://openalex.org/C122818955","wikidata":"https://www.wikidata.org/wiki/Q1060343","display_name":"Independent set","level":3,"score":0.3287000060081482},{"id":"https://openalex.org/C28093856","wikidata":"https://www.wikidata.org/wiki/Q835614","display_name":"Petersen graph","level":5,"score":0.3278999924659729},{"id":"https://openalex.org/C56783289","wikidata":"https://www.wikidata.org/wiki/Q3115556","display_name":"Distance-regular graph","level":5,"score":0.3237999975681305},{"id":"https://openalex.org/C140752511","wikidata":"https://www.wikidata.org/wiki/Q905837","display_name":"Graph minor","level":5,"score":0.3118000030517578},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3009999990463257},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.28630000352859497},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.2831999957561493},{"id":"https://openalex.org/C123482549","wikidata":"https://www.wikidata.org/wiki/Q826467","display_name":"Regular graph","level":5,"score":0.2815999984741211},{"id":"https://openalex.org/C149530733","wikidata":"https://www.wikidata.org/wiki/Q5597091","display_name":"Graph power","level":4,"score":0.275299996137619},{"id":"https://openalex.org/C168291704","wikidata":"https://www.wikidata.org/wiki/Q902252","display_name":"Complement graph","level":5,"score":0.27469998598098755},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.25619998574256897}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.10783","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.10783","pdf_url":"https://arxiv.org/pdf/2609.10783","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.2609.10783","doi":"https://doi.org/10.48550/arxiv.2609.10783","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.10783","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.10783","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.10783","pdf_url":"https://arxiv.org/pdf/2609.10783","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":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7212308336.pdf","grobid_xml":"https://content.openalex.org/works/W7212308336.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1988133548","https://openalex.org/W1995459638","https://openalex.org/W2108796545","https://openalex.org/W2112825968","https://openalex.org/W2153219831","https://openalex.org/W2947846483","https://openalex.org/W2954758564","https://openalex.org/W3047592838","https://openalex.org/W7201958472","https://openalex.org/W7204155576"],"related_works":["https://openalex.org/W7204155576","https://openalex.org/W2954758564","https://openalex.org/W1560405150","https://openalex.org/W2040451587","https://openalex.org/W7039206483","https://openalex.org/W7096382196","https://openalex.org/W2096167042","https://openalex.org/W2999072196","https://openalex.org/W7202115727","https://openalex.org/W4389430278"],"abstract_inverted_index":{"Baste,":[0],"Furst,":[1],"Henning,":[2],"Mohr,":[3],"and":[4,25,95,158,176,180,196],"Rautenbach":[5],"conjectured":[6,226],"that":[7,42,60,215],"every":[8,216],"finite":[9,137],"regular":[10],"graph":[11,59,75,199,218],"of":[12,36,99,121],"positive":[13],"degree":[14],"satisfies":[15,224],"\\(\u03b3(G)":[16,78,109],"\\leq":[17,71],"\u03b3_e(G)\\),":[18],"where":[19],"\\(\u03b3\\)":[20],"is":[21,27,45,53,102,135,186,208,230],"the":[22,28,33,43,66,106,122,132,141,161,170,205,225,228],"domination":[23,30],"number":[24],"\\(\u03b3_e\\)":[26],"edge":[29],"number,":[31],"equivalently":[32],"minimum":[34],"cardinality":[35],"a":[37,54,91,96,114,128,136,166,181,197],"maximal":[38],"matching.":[39],"We":[40,145],"show":[41],"conjecture":[44,207],"false":[46],"already":[47],"for":[48],"cubic":[49,58,217,233],"graphs.":[50],"The":[51,85,172],"counterexample":[52],"previously":[55],"public":[56],"50-vertex":[57],"had":[61],"been":[62],"used":[63],"to":[64],"refute":[65],"stronger":[67],"independent-domination":[68],"inequality":[69],"\\(i(G)":[70],"\u03b3_e(G)\\).":[72,84],"For":[73,105],"this":[74],"we":[76,112],"prove":[77],"=":[79,83,88,149],"16":[80,101],">":[81],"15":[82],"equality":[86],"\\(\u03b3_e(G)":[87],"15\\)":[89],"has":[90],"short":[92,182],"counting":[93],"proof,":[94],"dominating":[97,130],"set":[98],"order":[100],"displayed":[103],"explicitly.":[104],"lower":[107,156],"bound":[108],"\\geq":[110],"16\\),":[111],"give":[113],"self-contained":[115],"exact":[116],"reduction:":[117],"after":[118],"fixing":[119],"which":[120],"20":[123],"clause":[124,151],"vertices":[125,223],"lie":[126],"in":[127,169,188],"putative":[129],"set,":[131],"remaining":[133],"problem":[134,139],"set-cover":[138],"on":[140,219],"30":[142],"literal":[143],"vertices.":[144],"enumerate":[146],"all":[147],"\\(2^{20}":[148],"1,048,576\\)":[150],"subsets,":[152],"derive":[153],"two":[154],"explicit":[155],"bounds,":[157],"solve":[159],"exactly":[160],"5,931":[162],"residual":[163],"cases":[164],"by":[165],"recurrence":[167],"stated":[168],"paper.":[171],"complete":[173],"case":[174],"counts":[175],"minima":[177],"are":[178],"displayed,":[179],"standard-library":[183],"Python":[184],"implementation":[185],"included":[187],"an":[189],"appendix.":[190],"A":[191],"separate":[192],"893,049-node":[193],"proof-tree":[194],"certificate":[195],"direct":[198],"search":[200],"provide":[201],"independent":[202],"verification.":[203],"Thus":[204],"regular-graph":[206],"disproved.":[209],"Combined":[210],"with":[211],"Gupta's":[212],"recent":[213],"theorem":[214],"at":[220],"most":[221],"48":[222],"inequality,":[227],"example":[229],"order-minimal":[231],"among":[232],"counterexamples.":[234]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-12T00:00:00"}