Result 339, Differential geometry

Katok's entropy rigidity conjecture

Proves Katok's entropy rigidity conjecture for closed connected Riemannian manifolds of dimension at least three with strictly negative sectional curvature: normalized Liouville measure maximizes entropy for the geodesic flow if and only if the metric is locally symmetric.

Proof

The bigger picture

Why it matters

Can the complexity of motion determine the geometry of a space? The manuscript reports that, for a broad class of negatively curved spaces, an entropy-maximizing natural distribution of geodesic motion precisely identifies local symmetry.

What changes?

The claim concerns closed (compact, without boundary), connected smooth Riemannian manifolds of dimension at least three with strictly negative sectional curvature. Their unit-speed geodesic flow follows paths that are locally shortest. Normalized Liouville measure is the natural probability distribution on positions and unit directions. The manuscript says this measure maximizes entropy among invariant probability measures exactly when the metric is locally symmetric, meaning local reflections about points preserve distances. This includes all rank-one symmetric types, at arbitrary scale.

What does that help mathematicians do?

Entropy measures the rate at which the flow produces dynamical information. The claimed equivalence would let researchers deduce local symmetry from entropy maximization alone, within the stated class. Conversely, any metric in this class that lacks local symmetry must admit an invariant probability distribution with strictly greater entropy than Liouville measure. This rules out natural volume as the most dynamically complex distribution on those spaces.

Are there practical applications?

The immediate value is foundational: the result links a statistical property of geodesic motion to rigid geometric structure. It would give researchers studying negatively curved spaces a criterion for distinguishing locally symmetric metrics from other metrics through their dynamics. The supplied abstract describes no direct computational or physical application.

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

Entropy equality and local symmetry in negative curvature

September 23, 2026 66 pages

For every closed connected smooth Riemannian manifold of dimension at least three with strictly negative sectional curvature, we prove that normalized Liouville measure has maximal entropy for the unit-speed geodesic flow if and only if the metric is locally symmetric. This resolves Katok's entropy rigidity conjecture positively in these dimensions, including all rank-one symmetric types at arbitrary scale.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Entropy-equality-and-local-symmetry-in-negative-curvature-September-23-2026,
  author = {{OpenAI}},
  title = {{Entropy equality and local symmetry in negative curvature}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Entropy-equality-and-local-symmetry-in-negative-curvature-September-23-2026/paper.pdf}{OAI:Entropy-equality-and-local-symmetry-in-negative-curvature-September-23-2026}},
  year = {2026}
}

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.