MathematicsTheoretical result
Existence of the Core in Approval-Based Committee Elections
About this illustration
Searching for a committee no group blocks
The groups suggest voters with different approvals; the central seats suggest a selected committee. The contours evoke the paper's entropy-like objective. This image explains the stability idea, not a computed election, a proof certificate, or a result for a particular electorate.
Source · Abstract · core committee and entropy-like objectiveThe idea, in plain language
Every approval election may have a stable committee
- What it is
- A paper claims every approval-based committee election has a stable, group-fair committee, found in polynomial time.
- Who did it
- Patrick Becker, Matthias Greger, and Dominik Peters.
- What it could mean
- A question about whether a group can always be fairly represented may gain an unexpected affirmative answer and a concrete method for finding the committee.
The claim
What the paper says.
The inspected abstract says every approval-based committee-election instance has a core committee and presents a polynomial-time method through an entropy-like objective over committees and payment systems. The authors report GPT-6 Astra obtained the proof; Epoch independently identifies this manuscript as resolving its counterexample task. The manuscript's source date remains September 10; this is a September 25 recovery intake, not a new release.
Why we tracked this work
a source-backed theorem and constructive proof method, now reconciled to Epoch AI's announcement. Intake does not independently establish the objective, local-optimum argument, or polynomial-time complexity claim.
Why it matters
Enabling Social choice · Algorithms · AI-assisted proof
What could change?
Voters can form groups that prefer another committee. The paper claims there is always a committee no sufficiently entitled group can jointly block, and gives a method to find one efficiently.
If it holds up
It would settle a central existence question in approval-based multi-winner voting and supply a polynomial-time constructive route.
If it does not
A counterexample or gap would clarify which fairness rule or local-search step breaks.
The evidence
What is on the record?
Discovery recorded. State of Proof has not yet examined this claim.
- Source
- Existence of the Core in Approval-Based Committee Elections Mathematical research record · Source record; see version
- Version
- submitted 2026-09-10 17:57:06 UTC
- Evidence reported
- Manuscript; independent examination not started
- Available artifacts
- arXiv provides PDF, experimental HTML, and TeX source for a 20-page manuscript. The inspected sources do not identify a proof-assistant package, executable implementation, or certificate release. No artifact was downloaded, executed, or replayed.
- Highest-risk dependency
- The theorem's stability and complexity conclusions depend on exact blocking inequalities, committee size, payment-system definitions, and the claimed local-search structure. A benchmark announcement cannot substitute for checking those formal dependencies.
What comes next
The next independent check.
Source-lock the approval, blocking, and core definitions; trace the entropy-like objective and proof that each local optimum lies in the core; inspect how local search and the stated polynomial bound are obtained without changing the election model.
How validation works