Source authenticated

The Equality Case of Ehrhart's Volume Conjecture

the equality case; the inequality was settled separately and is tracked on its own entry

Exact FrontierDelta

provedproved

Scope and record

Occurred: Sep 3, 2026

Delta type: REGISTRY REVISION

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: The Equality Case of Ehrhart's Volume Conjecture · Ehrhart equality case

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-5.6 Sol
model · ai model contributor

Fable 5
model · ai model contributor

Danus
model · ai model contributor

Jihao Liu
human · human collaborator

Lineage and corrections

Corrects The Equality Case of Ehrhart's Volume Conjecture

Supersedes The Equality Case of Ehrhart's Volume Conjecture

This event attributed to Fable 5

This event attributed to Danus

The Equality Case of Ehrhart's Volume Conjecture parent of this event

This event attributed to Jihao Liu

Ehrhart conjectured that a full-dimensional compact convex body in Rn\mathbb{R}^n whose barycenter is its unique interior lattice point has volume at most (n+1)n/n!(n+1)^n/n!. With the inequality itself settled, the remaining question was which bodies attain it. Every such body is a unimodular image of the simplex (n+1)Δn(1,,1)(n+1)\Delta_n - (1,\dots,1). parent of this event

VibeMathed record: The Equality Case of Ehrhart's Volume Conjecture evidence for this event

This event attributed to GPT-5.6 Sol

The Equality Case of Ehrhart's Volume Conjecture evidence for this event

Act on this frontier

Verify, challenge, or extend the result.