John Ellipsoids of Revolution

• Main Authors: Ivanov, Grigory, Lángi, Zsolt, Naszódi, Márton, Sagmeister, Ádám
• Format: Journal Article
• Language: English
• Published: 03.08.2025
• Subjects: Mathematics - Functional Analysis; Mathematics - Metric Geometry
• DOI: 10.48550/arxiv.2507.06947

Finding a largest Euclidean ball in a given convex body $K \subset \mathbb{R}^d$ and finding a largest volume ellipsoid in $K$ are two problems of fundamentally different nature. The first is a purely Euclidean problem, where we consider scaled copies of the origin-centered closed unit ball, whereas in the second problem, we search among all affine copies of the unit ball. In this paper, we interpolate between these two classical problems by considering ellipsoids of revolution. More generally, we study pairs of convex bodies $K$ and $L$, and seek a largest-volume affine image of $K$ contained within $L$, subject to certain restrictions on the allowed affine transformations. We derive first-order necessary conditions for optimality, generalizing known conditions from the unrestricted affine setting. Using these conditions, we show that an extremal ellipsoid of revolution exhibits properties analogous to those of either the largest-volume ellipsoid or the largest Euclidean ball, depending on whether the ellipsoid is considered along its axis of revolution or along the orthogonal complement of that axis.