Dembo–Cover–Thomas conjecture and related projection inequalities
For every integer , every pair of full-dimensional zonoids , and every , one has
where denotes orthogonal projection onto and denotes volume.
References
Primary source
Additional references
Progress summary
A 2026 manuscript claims explicit counterexamples refute the conjecture in three or more dimensions, while the planar case and several related inequalities remain only partly settled.
The Dembo–Cover–Thomas conjecture concerns volume inequalities for Minkowski sums and equivalent projection inequalities. Recent work claims to refute its zonoid projection formulation in dimensions , without resolving every conjecture-motivated variant.
Known results
- The inequality holds for arbitrary convex bodies in dimension but is false in general for every ; it holds for zonoids in dimension in a restricted form (2022).
- A 2026 manuscript gives an explicit three-dimensional zonoid counterexample and extends it to every by taking products with a cube.
- The same manuscript proves certain degree or codegree at most cases and reports failure of a weaker related conjecture for zonoids in every .
2026 determinant and projection counterexamples
A manuscript titled Volume and Projection Inequalities II: Determinants and -Sums claims that the stated strong inequality fails in dimensions for , proves a planar weak inequality, and establishes dimension-dependent validity and failure ranges for determinant-power analogues. These claims are unverified, and the abstract does not assert that every formulation of the Dembo–Cover–Thomas conjecture is resolved.
Current status (as of August 2026): The principal zonoid projection formulation is claimed false for , with the two-dimensional case known to hold, while related formulations and the latest claims remain unverified or unresolved.
Sources
- arxiv.org
- ar5iv.labs.arxiv.org
- arxiv.org
- www-isl.stanford.edu
- mdpi.com
- arxiv.org
- numdam.org
- www-cdn.anthropic.com
- openai.com
- openai.com
- cdn.openai.com
- arxiv.org
- ar5iv.labs.arxiv.org
- export.arxiv.org
- mathstodon.xyz
- www-cdn.anthropic.com
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- cdn.openai.com
- community.openai.com
- quantamagazine.org
Solutions 0
No solutions have been posted yet.