Dice Question Streamline Icon: https://streamlinehq.com

Macbeath point inclusion conjecture

Prove that for every compact convex set K ⊂ R^d with non-empty interior, if p is the Macbeath point of K (the unique maximizer of x ↦ vol(K ∩ (−K + 2x))), then the inclusion K − p ⊂ −d(K − p) holds.

Information Square Streamline Icon: https://streamlinehq.com

Background

Macbeath (1952) showed that for a compact convex set K with non-empty interior, the function f(x) = vol(K ∩ (−K + 2x)) attains its maximum at a unique interior point, here termed the Macbeath point. Centers "deep" inside convex bodies (e.g., John center, barycenter, Santaló point) often play a crucial role in quantitative Carathéodory- and Helly-type results.

The conjectured inclusion characterizes a strong symmetry/dilation property of K around its Macbeath point and, if true, could have implications for volumetric Helly-type results and coarse approximation of convex bodies.

References

Conjecture 2.1. The Macbeath point p of a compact convex set K ⊂ R with non-empty interior satisfies the inclusion K − p ⊂ −d(K − p).

Quantitative Steinitz theorem and polarity (2403.14761 - Ivanov, 21 Mar 2024) in Conjecture 2.1, Section 2