{"id":"arxiv/2609.04497","url":"https://arxiv.org/abs/2609.04497","tags":["cs.GT","math.CO"],"score":0,"title":"The Deterministic Hare Core Is Nonempty for Nine-Seat Approval Elections","domain":"cs.GT","source":"arxiv","authors":["Jiarui Fang"],"reviews":0,"subject":"cs.GT","summary":"Core stability gives approval-based committee elections a strong form of coalitional proportionality, but deterministic existence is not known for an arbitrary number of seats. We prove that every finite election with nine seats has a deterministic Hare-quota core committee. Starting from an eight-seat committee that is both a global Proportional Approval Voting (PAV) maximizer and core stable, we suppose that all one-candidate extensions are blocked and extract an inclusion-minimal closed response system. Singleton responses are eliminated by exact equality rigidity. For the remaining…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}