Dembo–Cover–Thomas conjecture and related projection inequalities

For every integer n≥2n\ge 2, every pair of full-dimensional zonoids K,L⊂RnK,L\subset\mathbb{R}^n, and every u∈Sn−1u\in S^{n-1}, one has

∣K+L∣∣Pu⊥(K+L)∣≥∣K∣∣Pu⊥K∣+∣L∣∣Pu⊥L∣,\frac{|K+L|}{|P_{u^\perp}(K+L)|} \ge \frac{|K|}{|P_{u^\perp}K|} + \frac{|L|}{|P_{u^\perp}L|},

where Pu⊥P_{u^\perp} denotes orthogonal projection onto u⊥u^\perp and ∣⋅∣|\cdot| denotes volume.

References

Progress summary

Refreshed
Claimed solved

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 n≥3n\ge 3, without resolving every conjecture-motivated variant.

Known results

  • The inequality holds for arbitrary convex bodies in dimension 22 but is false in general for every n≥3n\ge 3; it holds for zonoids in dimension 33 in a restricted form (2022).
  • A 2026 manuscript gives an explicit three-dimensional zonoid counterexample and extends it to every n>3n>3 by taking products with a cube.
  • The same manuscript proves certain degree or codegree at most 33 cases and reports failure of a weaker related conjecture for zonoids in every n≥4n\ge 4.

2026 determinant and projection counterexamples

A manuscript titled Volume and Projection Inequalities II: Determinants and LpL_p-Sums claims that the stated strong inequality fails in dimensions n≥2n\ge 2 for 1<p<21<p<2, 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 n≥3n\ge 3, with the two-dimensional case known to hold, while related formulations and the latest LpL_p claims remain unverified or unresolved.

Sources

Solutions 0

No solutions have been posted yet.