{"id":"https://openalex.org/W7155047936","doi":"https://doi.org/10.48550/arxiv.2604.18216","title":"A Counterexample to EFX $n \\ge 3$ Agents, $m \\ge n + 5$ Items, Submodular Valuations via SAT-Solving","display_name":"A Counterexample to EFX $n \\ge 3$ Agents, $m \\ge n + 5$ Items, Submodular Valuations via SAT-Solving","publication_year":2026,"publication_date":"2026-04-20","ids":{"openalex":"https://openalex.org/W7155047936","doi":"https://doi.org/10.48550/arxiv.2604.18216"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.18216","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.18216","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"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"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.18216","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087445362","display_name":"Hannaneh Akrami","orcid":"https://orcid.org/0000-0002-9935-5869"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Akrami, Hannaneh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134157711","display_name":"Alexander Mayorov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mayorov, Alexander","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134098317","display_name":"Kurt Mehlhorn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mehlhorn, Kurt","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134156138","display_name":"Shreyas Srinivas","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Srinivas, Shreyas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5046034681","display_name":"Christoph Weidenbach","orcid":"https://orcid.org/0000-0001-6002-0458"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weidenbach, Christoph","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/T10991","display_name":"Game Theory and Voting Systems","score":0.9351999759674072,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10991","display_name":"Game Theory and Voting Systems","score":0.9351999759674072,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.026900000870227814,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.007400000002235174,"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/counterexample","display_name":"Counterexample","score":0.9409000277519226},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.5394999980926514},{"id":"https://openalex.org/keywords/bundle","display_name":"Bundle","score":0.5062000155448914},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5024999976158142},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.45170000195503235},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4146000146865845},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.4075999855995178},{"id":"https://openalex.org/keywords/multiset","display_name":"Multiset","score":0.35519999265670776}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.9409000277519226},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7404000163078308},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.5394999980926514},{"id":"https://openalex.org/C2778134712","wikidata":"https://www.wikidata.org/wiki/Q1047307","display_name":"Bundle","level":2,"score":0.5062000155448914},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5024999976158142},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4578999876976013},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.45170000195503235},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4246000051498413},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4146000146865845},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.4075999855995178},{"id":"https://openalex.org/C2779623528","wikidata":"https://www.wikidata.org/wiki/Q864377","display_name":"Multiset","level":2,"score":0.35519999265670776},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.31679999828338623},{"id":"https://openalex.org/C171988527","wikidata":"https://www.wikidata.org/wiki/Q188276","display_name":"Pigeonhole principle","level":2,"score":0.3100000023841858},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C186027771","wikidata":"https://www.wikidata.org/wiki/Q4008379","display_name":"Valuation (finance)","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.25859999656677246},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.25290000438690186}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.18216","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.18216","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.18216","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.18216","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"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"},"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":{"The":[0,137],"existence":[1,53,123],"of":[2,32,54,121,139,162,186,190],"EFX":[3,17,55,76,108,122,165],"allocations":[4,56,77,154,166],"is":[5,16,142],"a":[6,67,125,130],"central":[7],"open":[8],"problem":[9],"in":[10,63,145],"discrete":[11],"fair":[12,153],"division.":[13],"An":[14],"allocation":[15],"(envy-free":[18],"up":[19],"to":[20,51,169],"any":[21,33],"good)":[22],"if":[23],"no":[24],"agent":[25,28],"envies":[26],"another":[27],"after":[29],"the":[30,37,48,52,119,140],"removal":[31],"single":[34],"good":[35],"from":[36],"other":[38],"agent's":[39],"bundle.":[40],"We":[41,117],"resolve":[42],"this":[43],"longstanding":[44],"question":[45],"by":[46],"providing":[47],"\\textbf{first-ever":[49],"counterexample}":[50],"for":[57,69,81,152],"agents":[58,87,102,157,178],"with":[59,83,100,155,176],"monotone":[60,180],"valuations,":[61],"which":[62],"turn":[64],"immediately":[65],"implies":[66],"counterexample":[68],"submodular":[70],"valuations.":[71],"Specifically,":[72],"we":[73,95,148,171],"show":[74],"that":[75,97,173],"need":[78],"not":[79],"exist":[80],"instances":[82],"$n":[84],"\\ge":[85,90],"3$":[86],"and":[88,103,158,179,195],"$m":[89],"n+5$":[91],"goods.":[92,163],"In":[93],"contrast,":[94],"prove":[96,172],"every":[98,174],"instance":[99,175],"three":[101,156,177],"seven":[104],"goods":[105],"admits":[106,182],"an":[107,159],"allocation.":[109],"Both":[110],"results":[111],"are":[112],"obtained":[113],"via":[114],"SAT":[115,126],"solving.":[116],"encode":[118],"negation":[120],"as":[124],"instance:":[127],"satisfiability":[128],"yields":[129],"counterexample,":[131],"while":[132],"unsatisfiability":[133],"establishes":[134],"universal":[135],"existence.":[136],"correctness":[138],"encoding":[141],"formally":[143],"verified":[144],"Lean.":[146],"Finally,":[147],"establish":[149],"positive":[150],"guarantees":[151],"arbitrary":[160],"number":[161],"Although":[164],"may":[167],"fail":[168],"exist,":[170],"valuations":[181],"at":[183],"least":[184],"one":[185],"two":[187],"natural":[188],"relaxations":[189],"EFX:":[191],"tEFX,":[192],"or":[193],"EF1":[194],"EEFX.":[196]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-22T00:00:00"}