algorithms-optimization / Game theory

Improving Randomized Metric Distortion to 2.3282

In metric social choice, voters rank candidates by distance in an unknown metric space, while a randomized voting rule must use only these rankings. The paper introduces random-size stable lotteries and proves that, by mixing a suitably chosen random-size stable lottery with Integrated Veto, one obtains a randomized voting rule with metric distortion at most 11641/5000=2.328211641/5000=2.3282. This improves the previous best upper bound of 2.52.5. The proof combines infinite-dimensional conic linear-programming duality, heuristic nonlinear optimization, and exact rational verification using polynomial nonnegativity in the Bernstein basis.

18Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algorithms-optimizationAug 29, 2026Significance 18/100Registry: unreviewed

Improving Randomized Metric Distortion to 2.3282

Prior state unknownproved

The paper proves that there exists a randomized voting rule using only ordinal rankings with metric distortion at most 11641/5000=2.328211641/5000=2.3282. This improves the previous best upper bound of 2.52.5 and closes about 44%44\% of the gap to the known asymptotic lower bound of approximately 2.11262.1126. It does not determine the optimal randomized metric distortion: for m4m\ge4, the exact optimum and its asymptotic limit remain o…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

In metric social choice, voters rank candidates by distance in an unknown metric space, while a randomized voting rule must use only these rankings. The paper introduces random-size stable lotteries and proves that, by mixing a suitably chosen random-size stable lottery with Integrated Veto, one obtains a randomized voting rule with metric distortion at most 11641/5000=2.328211641/5000=2.3282. This improves the previous best upper bound of 2.52.5. The proof combines infinite-dimensional conic linear-programming duality, heuristic nonlinear optimization, and exact rational verification using polynomial nonnegativity in the Bernstein basis.

The paper proves that there exists a randomized voting rule using only ordinal rankings with metric distortion at most 11641/5000=2.328211641/5000=2.3282. This improves the previous best upper bound of 2.52.5 and closes about 44%44\% of the gap to the known asymptotic lower bound of approximately 2.11262.1126. It does not determine the optimal randomized metric distortion: for m4m\ge4, the exact optimum and its asymptotic limit remain open.

Recorded attempts

Evidence graph

Connected research record

  • In metric social choice, voters rank candidates by distance in an unknown metric space, while a randomized voting rule must use only these rankings. The paper introduces random-size stable lotteries and proves that, by…

    parent of · claim · theorem

  • Improving Randomized Metric Distortion to 2.3282

    parent of · event · claim reported

Improving Randomized Metric Distortion to 2.3282 — Mathematical Frontier Network