{"id":"https://openalex.org/W7135018255","doi":"https://doi.org/10.48550/arxiv.2603.10290","title":"Tractable Exclusion Zones for Instant-Runoff Voting on Trees and Beyond","display_name":"Tractable Exclusion Zones for Instant-Runoff Voting on Trees and Beyond","publication_year":2026,"publication_date":"2026-03-11","ids":{"openalex":"https://openalex.org/W7135018255","doi":"https://doi.org/10.48550/arxiv.2603.10290"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.10290","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.10290","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.2603.10290","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086839268","display_name":"Georgios Birmpas","orcid":"https://orcid.org/0000-0003-4733-7885"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Birmpas, Georgios","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114708704","display_name":"Georgios Chionas","orcid":"https://orcid.org/0000-0003-2993-8636"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chionas, Georgios","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064424136","display_name":"Efthyvoulos Drousiotis","orcid":"https://orcid.org/0000-0002-9746-456X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Drousiotis, Efthyvoulos","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021232060","display_name":"Soodeh Habibi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Habibi, Soodeh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066537602","display_name":"Marios Mavronicolas","orcid":"https://orcid.org/0009-0009-0115-3045"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mavronicolas, Marios","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5128909605","display_name":"Paul Spirakis","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Spirakis, Paul","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.8712999820709229,"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.8712999820709229,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.03909999877214432,"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"}},{"id":"https://openalex.org/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.01600000075995922,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4699000120162964},{"id":"https://openalex.org/keywords/vertex","display_name":"Vertex (graph theory)","score":0.4690999984741211},{"id":"https://openalex.org/keywords/voting","display_name":"Voting","score":0.46070000529289246},{"id":"https://openalex.org/keywords/distortion","display_name":"Distortion (music)","score":0.43689998984336853},{"id":"https://openalex.org/keywords/dominating-set","display_name":"Dominating set","score":0.4212999939918518},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.415800005197525},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.39809998869895935},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.3804999887943268},{"id":"https://openalex.org/keywords/majority-rule","display_name":"Majority rule","score":0.3619999885559082}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6262999773025513},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4699000120162964},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.4690999984741211},{"id":"https://openalex.org/C520049643","wikidata":"https://www.wikidata.org/wiki/Q189760","display_name":"Voting","level":3,"score":0.46070000529289246},{"id":"https://openalex.org/C126780896","wikidata":"https://www.wikidata.org/wiki/Q899871","display_name":"Distortion (music)","level":4,"score":0.43689998984336853},{"id":"https://openalex.org/C146661039","wikidata":"https://www.wikidata.org/wiki/Q2915204","display_name":"Dominating set","level":4,"score":0.4212999939918518},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.415800005197525},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4025000035762787},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.39809998869895935},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3804999887943268},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3790000081062317},{"id":"https://openalex.org/C153668964","wikidata":"https://www.wikidata.org/wiki/Q27636","display_name":"Majority rule","level":2,"score":0.3619999885559082},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3569999933242798},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.34610000252723694},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.3271999955177307},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2946999967098236},{"id":"https://openalex.org/C189352744","wikidata":"https://www.wikidata.org/wiki/Q1971461","display_name":"Social choice theory","level":2,"score":0.2944999933242798},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C91154448","wikidata":"https://www.wikidata.org/wiki/Q623818","display_name":"Binary search tree","level":3,"score":0.2883000075817108},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2802000045776367},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.2800999879837036},{"id":"https://openalex.org/C193435613","wikidata":"https://www.wikidata.org/wiki/Q2997928","display_name":"Connected component","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2653000056743622},{"id":"https://openalex.org/C76444178","wikidata":"https://www.wikidata.org/wiki/Q72897900","display_name":"Connectivity","level":3,"score":0.259799987077713},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2583000063896179},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.2583000063896179},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.2572999894618988},{"id":"https://openalex.org/C177067428","wikidata":"https://www.wikidata.org/wiki/Q17013331","display_name":"Feasible region","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.2558000087738037}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.10290","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.10290","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.2603.10290","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.10290","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":[{"score":0.8034780621528625,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Instant-runoff":[0],"voting":[1],"(IRV)":[2],"is":[3,35,97,102,117,151,201,213],"often":[4],"used":[5],"when":[6],"voters":[7],"rank":[8,42],"candidates":[9,43],"rather":[10],"than":[11,177],"choosing":[12],"only":[13,231],"one":[14,32,64,219],"favourite.":[15],"We":[16,51,104,165],"study":[17],"IRV":[18,70,156],"under":[19],"graph-induced":[20],"metric":[21],"preferences":[22],"where":[23],"each":[24],"vertex":[25],"of":[26,218,245,260],"an":[27],"unweighted":[28],"undirected":[29],"graph":[30,200],"hosts":[31],"voter":[33],"and":[34,99],"also":[36,73,166],"a":[37,118,123,133,145,159,172,202,211,256],"possible":[38],"candidate":[39,65,124,150,234],"location.":[40],"Voters":[41],"by":[44,215,229],"shortest-path":[45],"distance":[46],"with":[47],"fixed":[48],"deterministic":[49,197,261],"tie-breaking.":[50],"focus":[52],"on":[53,112,163,192,210,250],"exclusion":[54,194,208,224,248],"zones,":[55],"i.e.,":[56],"sets":[57],"S":[58],"such":[59,142],"that,":[60],"whenever":[61],"at":[62],"least":[63],"lies":[66],"in":[67,75,147,153],"S,":[68],"the":[69,149,154,216,222,237,242],"winner":[71],"must":[72],"lie":[74],"S.":[76],"Such":[77],"zones":[78,249],"serve":[79],"as":[80,265],"robustness":[81],"certificates,":[82],"identifying":[83],"regions":[84],"whose":[85],"participation":[86],"prevents":[87],"outside":[88],"winners":[89],"from":[90,132,185],"emerging.":[91],"For":[92],"general":[93,251],"graphs,":[94,252],"exclusion-zone":[95],"verification":[96],"co-NP-complete":[98],"minimum-zone":[100,169],"computation":[101,170],"NP-hard.":[103],"show":[105,167],"that":[106,140,168,205],"both":[107],"problems":[108],"become":[109],"polynomial-time":[110],"solvable":[111],"trees.":[113,164],"Our":[114],"main":[115],"tool":[116],"membership":[119],"test":[120],"asking":[121],"whether":[122],"can":[125,226],"be":[126,227],"forced":[127],"to":[128,255],"lose":[129],"using":[130],"opponents":[131],"restricted":[134],"region.":[135],"A":[136],"round-1":[137],"reduction":[138],"shows":[139],"any":[141],"loss":[143],"has":[144,171],"witness":[146],"which":[148],"eliminated":[152],"first":[155],"round,":[157],"enabling":[158],"bottom-up":[160],"dynamic":[161],"program":[162],"much":[173,257],"smaller":[174],"search":[175],"space":[176],"its":[178],"definition":[179],"suggests.":[180],"The":[181],"pairwise-loss":[182],"graph,":[183],"obtained":[184],"all":[186],"two-candidate":[187],"elections,":[188],"imposes":[189],"closure":[190,217],"constraints":[191],"every":[193,206],"zone.":[195],"With":[196],"tie-breaking":[198],"this":[199],"tournament,":[203],"implying":[204],"nonempty":[207],"zone":[209,225],"tree":[212],"generated":[214],"vertex.":[220],"Thus,":[221],"minimum":[223,247],"found":[228],"testing":[230],"linearly":[232],"many":[233],"sets.":[235],"On":[236],"opposite":[238],"front,":[239],"we":[240],"refine":[241],"intractability":[243],"range":[244],"computing":[246],"extending":[253],"it":[254],"broader":[258],"class":[259],"elimination":[262],"rules,":[263],"dubbed":[264],"Strong":[266],"Forced":[267],"Elimination.":[268]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-13T00:00:00"}