PreprintarXiv licencearXiv
On the Propeller Conjecture
Abstract
We simplify and improve OpenAI's proof of the propeller conjecture of Khot and Naor from 2008: the sum of the squared lengths of the Gaussian moments of any partition of Euclidean space is at most 9/(8π). We show equality only occurs for three 120 degree sectors in the plane (up to symmetries, measure zero changes, and taking orthogonal cross products with Euclidean space). We also remove computer assistance from the three-dimensional case of the conjecture, which previously used an epsilon net traversal.
Related
BibTeX
@misc{heilman2026propeller,
title = {{On the Propeller Conjecture}},
author = {Steven Heilman},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.32158},
eprint = {2610.32158},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.32158},
}
RIS
TY - UNPB
TI - On the Propeller Conjecture
AU - Steven Heilman
PY - 2026
DA - 2026/10/23
PB - arXiv
DO - 10.48550/arxiv.2610.32158
UR - https://arxiv.org/abs/2610.32158
AB - We simplify and improve OpenAI's proof of the propeller conjecture of Khot and Naor from 2008: the sum of the squared lengths of the Gaussian moments of any partition of Euclidean space is at most 9/(8π). We show equality only occurs for three 120 degree sectors in the plane (up to symmetries, measure zero changes, and taking orthogonal cross products with Euclidean space). We also remove computer assistance from the three-dimensional case of the conjecture, which previously used an epsilon net traversal.
ER -