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.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Existence of the Core in Approval-Based Committee Elections ↗See the proposed checks
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.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
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.
Read the source · Abstract · core committee and entropy-like objective ↗- What it claims
- 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 this could matter
- Every approval election may have a stable committee 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.
- Impact horizon
- Enabling · Social choice · Algorithms · AI-assisted proof
- Version
- submitted 2026-09-10 17:57:06 UTC
- Why we tracked it
- 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.
- 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.
- 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.
- Current boundary
- Intake record only; examination not started.