Result 221, Probability and statistical mechanics

The Mézard–Parisi formula for diluted spin glasses

Proves the Mézard–Parisi hierarchical cavity formula for Poisson-diluted even-arity Ising models satisfying the Panchenko–Talagrand factorization and positivity assumptions, with only first-moment integrability. The limiting free energy equals the infimum over finite-depth hierarchical trial laws. This includes the Viana–Bray model, symmetric diluted even-spin models, and weighted soft even-K satisfiability.

Lean formalization Reasoning summary (PDF) Proof

The bigger picture

Why it matters

Spin glasses model systems of two-state spins whose random interactions can favor conflicting arrangements. A proposed exact formula describes their large-system free energy through a hierarchy of probabilistic descriptions, connecting microscopic disorder to collective behavior.

What changes?

The unreviewed manuscript reports this formula for Poisson-diluted Ising models: spins have two states, and randomly counted interactions involve an even number of spins. The result requires the Panchenko–Talagrand factorization and positivity assumptions, plus only finite first moments of interaction strengths and external fields. Within this class, the limiting pressure, a free-energy quantity per spin, equals the infimum of a trial functional over all finite hierarchy depths and trial laws, meaning probabilistic descriptions organized into nested levels.

What does that help mathematicians do?

The equality makes the hierarchical description exact for this thermodynamic quantity, rather than merely a source of bounds. Each admissible trial gives an upper bound on the limiting pressure, and finite-depth trials can approach it arbitrarily closely. Researchers can therefore study the pressure through these trial laws without an unavoidable gap. This does not assert that any one fixed depth suffices or provide an efficient optimization procedure.

Are there practical applications?

Its immediate value is foundational for statistical mechanics: it characterizes the limiting pressure for models including Viana–Bray and symmetric diluted even-spin systems. The stated coverage also includes weighted soft satisfiability models with an even number of variables per clause, connecting the formula to random constraint systems. That is not a demonstrated fast method for solving satisfiability instances.

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 Mézard–Parisi formula for diluted spin glasses

September 23, 2026 36 pages

We prove the Mézard–Parisi hierarchical cavity formula for diluted even-arity Ising models in the Panchenko–Talagrand class. This resolves the variational equality conjecture for that class: the limiting pressure equals the infimum of the trial functional over all finite hierarchy depths and trial laws. Only first moments of the interaction and external field are required.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:The-Mezard-Parisi-formula-for-diluted-spin-glasses-September-23-2026,
  author = {{OpenAI}},
  title = {{The M{\'e}zard--Parisi formula for diluted spin glasses}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-Mezard-Parisi-formula-for-diluted-spin-glasses-September-23-2026/paper.pdf}{OAI:The-Mezard-Parisi-formula-for-diluted-spin-glasses-September-23-2026}},
  year = {2026}
}

Lean formalization

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

The Mézard–Parisi formula for diluted spin glasses

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

Scope

The formalization proves the Mézard–Parisi hierarchical cavity formula for diluted even-arity Ising models in the Panchenko–Talagrand class. Under the class's factorization, independence, integrability, and positivity assumptions, the finite-system pressure converges to the infimum of the trial functional over all finite hierarchy depths and trial laws. The arity is any even integer at least two and the interaction density is positive.

Comparator links

Result Comparator statement
Mézard–Parisi variational equality for diluted even-arity spin glasses DilutedSpin.lean

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 8 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.