PreprintarXiv licencearXiv
An explicit dimension-free isoperimetric plateau in the cube
Abstract
We prove that, in every dimension, the relative Euclidean isoperimetric profile of the unit cube equals one whenever the prescribed volume differs from one half by at most 6.25×10−12. The only minimizers in this interval are coordinate slabs. This answers Glaudo's question on the existence of a dimension-free central plateau. The proof combines a dimension-free local optimality estimate for slabs, established through BV slicing and a small-support estimate, with a quantitative Gaussian rigidity argument that forces the normal of an approximating half-space to be close to a coordinate direction.
Related
- Isoperimetric Inequalities in the ℓ∞ cube and torus
- Additive energy, Freiman's lemma, and an edge-isoperimetric problem on the boolean cube
- Explicit height bounds on modular polynomials for the elliptic j-invariant, cube root of j, and Weber modular function f
- Generic Uniqueness of Isoperimetric Regions in Arbitrary Dimension
- A sharp minimum for cube-apex bodies in every dimension
BibTeX
@misc{yu2026explicit,
title = {{An explicit dimension-free isoperimetric plateau in the cube}},
author = {Lei Yu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.18351},
eprint = {2610.18351},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.18351},
}
RIS
TY - UNPB
TI - An explicit dimension-free isoperimetric plateau in the cube
AU - Lei Yu
PY - 2026
DA - 2026/10/13
PB - arXiv
DO - 10.48550/arxiv.2610.18351
UR - https://arxiv.org/abs/2610.18351
AB - We prove that, in every dimension, the relative Euclidean isoperimetric profile of the unit cube equals one whenever the prescribed volume differs from one half by at most 6.25×10^−12. The only minimizers in this interval are coordinate slabs. This answers Glaudo's question on the existence of a dimension-free central plateau. The proof combines a dimension-free local optimality estimate for slabs, established through BV slicing and a small-support estimate, with a quantitative Gaussian rigidity argument that forces the normal of an approximating half-space to be close to a coordinate direction.
ER -