Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 088. Petty's projection-volume conjecture and simplex counterexamples
Family claims › Convex and metric geometry · lines 700–705
OpenAI@2026-10-07#rem:oai-088
Proves Petty's projection-volume conjecture in the remaining dimensions : ellipsoids uniquely minimize projection-body volume at fixed body volume. Also establishes the full Lutwak–Petty projection inequalities. In contrast, products of simplices exceed Brannen's proposed simplex maximum for normalized projection-body volume by an exponential factor in every sufficiently large dimension.
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 087. The Mahler conjectures and symplectic width
- remark: Remark: Family 089. Bounded-distortion L 1 embeddings of planar and bounded-treewidth graphs
- remark: Remark: Family 090. Universal optimality of the triangular lattice
- remark: Remark: Family 091. The logarithmic Brunn–Minkowski conjecture
- remark: Remark: Family 092. The optimal order of convex-body covering density
- remark: Remark: Family 093. Dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures
- remark: Remark: Family 094. Subpolynomial dimension reduction in L p
- remark: Remark: Family 095. Hyperbolicity cones without semidefinite lifts