Result 354, Differential geometry

The isoperimetric profile of the cubic three-torus

Determines the isoperimetric profile of the unit cubic flat three-torus and classifies every finite-perimeter minimizer: balls, circular tubes around shortest closed geodesics, coordinate slabs, and their complements. The transition volumes are 4π/814\pi/81 and 1/π1/\pi, with exactly the adjacent two types minimizing at each transition.

Lean formalization Proof

The bigger picture

Why it matters

In a unit cube with opposite faces identified, what shape encloses a given volume with the least boundary area? The manuscript reports a complete answer, showing how the optimal shape changes as the enclosed volume grows.

What changes?

The isoperimetric profile is that minimum area as a function of volume. For the three-dimensional cubic flat torus, the manuscript classifies all finite-perimeter minimizers, meaning optimal regions with finite boundary area: balls, circular tubes around shortest closed geodesics (shortest straight loops), coordinate slabs, and complements. Up to half the total volume, the transitions occur at 4 times pi divided by 81 and 1 divided by pi. At each transition, exactly the two adjacent types minimize.

What does that help mathematicians do?

Thus small volumes favor balls, intermediate volumes tubes, and volumes nearer one-half slabs between parallel coordinate planes. Taking complements supplies the corresponding answers above one-half. The classification rules out any additional type of finite-perimeter region as a better or equally good competitor. Researchers thereby obtain both a sharp boundary-area bound at every volume and a description of every region attaining it.

Are there practical applications?

Its immediate value is foundational: it describes exactly how volume and boundary area compete in this periodic three-dimensional geometry. The profile provides a precise reference for studying geometric minimization problems, while the equality classification distinguishes genuine optima from shapes that merely look plausible.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

The Isoperimetric Conjecture for the Cubic Flat Three-Torus

September 24, 2026 30 pages

We prove the isoperimetric conjecture for the cubic flat three-torus and classify all minimizers, including the equality cases at the transition volumes 4π/814\pi/81 and 1/π1/\pi. The minimizing regions are balls, circular tubes about shortest closed geodesics, coordinate slabs, and their complements.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:The-Isoperimetric-Conjecture-for-the-Cubic-Flat-Three-Torus-September-24-2026,
  author = {{OpenAI}},
  title = {{The Isoperimetric Conjecture for the Cubic Flat Three-Torus}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-Isoperimetric-Conjecture-for-the-Cubic-Flat-Three-Torus-September-24-2026/article.pdf}{OAI:The-Isoperimetric-Conjecture-for-the-Cubic-Flat-Three-Torus-September-24-2026}},
  year = {2026}
}

Lean formalization

OpenAI's note on what the formalization covers, from lean/docs/354.md.

The isoperimetric profile of the cubic three-torus

The following describes the scope of the Lean formalization related to the following accompanying paper(s):

Scope

The formalization determines the isoperimetric profile and all minimizers in the unit cubic flat three-torus. At every volume 0<V<10<V<1, a minimizer exists, and the minimizers, up to null-set changes, are exactly balls, circular tubes about shortest closed geodesics, coordinate slabs, and their complements in the appropriate volume ranges.

The classification includes all equality cases at the transition volumes 4π/814\pi/81 and 1/π1/\pi, and every minimizer has the stated candidate-profile perimeter.

Comparator links

Result Comparator statement
Isoperimetric profile and all minimizers in the cubic flat three-torus CubicTorus.lean

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 9 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.