{"id":"https://openalex.org/W7211893374","doi":"https://doi.org/10.48550/arxiv.2609.04497","title":"The Deterministic Hare Core Is Nonempty for Nine-Seat Approval Elections","display_name":"The Deterministic Hare Core Is Nonempty for Nine-Seat Approval Elections","publication_year":2026,"publication_date":"2026-09-03","ids":{"openalex":"https://openalex.org/W7211893374","doi":"https://doi.org/10.48550/arxiv.2609.04497"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.04497","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.04497","pdf_url":"https://arxiv.org/pdf/2609.04497","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.04497","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5150579055","display_name":"Jiarui Fang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Fang, Jiarui","raw_affiliation_strings":["Boston University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5150579055"],"corresponding_institution_ids":["https://openalex.org/I111088046"],"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/T10991","display_name":"Game Theory and Voting Systems","score":0.9994999766349792,"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.9994999766349792,"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/T10108","display_name":"Electoral Systems and Political Participation","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":9.999999747378752e-05,"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/approval-voting","display_name":"approval voting","score":0.6620000004768372},{"id":"https://openalex.org/keywords/core-stability","display_name":"core stability","score":0.7080000042915344},{"id":"https://openalex.org/keywords/committee-elections","display_name":"committee elections","score":0.6439999938011169},{"id":"https://openalex.org/keywords/response-chains","display_name":"response chains","score":0.3840000033378601},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.5619999766349792}],"concepts":[{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.777899980545044},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6549999713897705},{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.6345000267028809},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.569599986076355},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.5604000091552734},{"id":"https://openalex.org/C520049643","wikidata":"https://www.wikidata.org/wiki/Q189760","display_name":"Voting","level":3,"score":0.534600019454956},{"id":"https://openalex.org/C117354338","wikidata":"https://www.wikidata.org/wiki/Q1165112","display_name":"Singleton","level":3,"score":0.49380001425743103},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4643000066280365},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.4327999949455261},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4011000096797943},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.3831999897956848},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.37689998745918274},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.3156000077724457},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3140000104904175},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2888999879360199},{"id":"https://openalex.org/C153668964","wikidata":"https://www.wikidata.org/wiki/Q27636","display_name":"Majority rule","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2815999984741211},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.26510000228881836}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.04497","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.04497","pdf_url":"https://arxiv.org/pdf/2609.04497","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.04497","doi":"https://doi.org/10.48550/arxiv.2609.04497","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.04497","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.04497","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.04497","pdf_url":"https://arxiv.org/pdf/2609.04497","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7211893374.pdf","grobid_xml":"https://content.openalex.org/works/W7211893374.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W2944024625","https://openalex.org/W4414359824","https://openalex.org/W7138163581","https://openalex.org/W7160615479","https://openalex.org/W7162071444"],"related_works":["https://openalex.org/W7160615479","https://openalex.org/W4414359824","https://openalex.org/W7211865840","https://openalex.org/W7212240682","https://openalex.org/W7116277099","https://openalex.org/W7212108565","https://openalex.org/W7206156778","https://openalex.org/W7221042863","https://openalex.org/W2991301029","https://openalex.org/W7204772548"],"abstract_inverted_index":{"Core":[0],"stability":[1],"gives":[2],"approval-based":[3],"committee":[4,43,162],"elections":[5],"a":[6,34,47,131],"strong":[7],"form":[8],"of":[9,22,134],"coalitional":[10],"proportionality,":[11],"but":[12,153],"deterministic":[13,35,157],"existence":[14,159],"is":[15,45,107],"not":[16,155],"known":[17],"for":[18,160],"an":[19,41,67,119],"arbitrary":[20,161],"number":[21],"seats.":[23],"We":[24],"prove":[25],"that":[26,44,59],"every":[27,88,98],"finite":[28],"election":[29],"with":[30],"nine":[31],"seats":[32],"has":[33],"Hare-quota":[36],"core":[37,55,158],"committee.":[38],"Starting":[39],"from":[40],"eight-seat":[42],"both":[46],"global":[48],"Proportional":[49],"Approval":[50],"Voting":[51],"(PAV)":[52],"maximizer":[53],"and":[54,65,96,130,141],"stable,":[56],"we":[57],"suppose":[58],"all":[60],"one-candidate":[61],"extensions":[62],"are":[63,74],"blocked":[64],"extract":[66],"inclusion-minimal":[68],"closed":[69],"response":[70,105],"system.":[71],"Singleton":[72],"responses":[73],"eliminated":[75],"by":[76,94],"exact":[77,120],"equality":[78],"rigidity.":[79],"For":[80],"the":[81,150],"remaining":[82],"responses,":[83],"rational":[84],"Farkas":[85],"certificates":[86],"bound":[87],"nonpositive":[89],"PAV":[90],"add-marginal":[91],"drift":[92,100],"below":[93],"$-n/189$":[95],"force":[97],"successor":[99],"above":[101],"$n/126$.":[102],"The":[103,115,147],"uniform":[104],"chain":[106],"irreducible,":[108],"so":[109],"stationarity":[110],"makes":[111],"these":[112,145],"bounds":[113],"incompatible.":[114],"computer-assisted":[116],"component":[117],"comprises":[118],"pointwise":[121],"check":[122],"over":[123],"7,356":[124],"voter":[125],"types,":[126],"36":[127],"one-blocker":[128],"cells,":[129],"symmetry-complete":[132],"family":[133],"19":[135],"two-blocker":[136],"motifs.":[137],"Exact":[138],"certificate":[139],"archives":[140],"standard-library":[142],"verifiers":[143],"support":[144],"checks.":[146],"theorem":[148],"settles":[149],"nine-seat":[151],"case":[152],"does":[154],"decide":[156],"size.":[163]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-08T00:00:00"}