1 · The essentials
This work concerns mathematical models of many interacting spins, each of which has two possible states. The interactions are randomly scattered, and each involves an even number of spins. The main question is how to calculate a quantity called pressure, which summarizes the model as its size grows. The manuscript identifies its limiting value by comparing a family of layered trial descriptions. The formula takes the lowest value obtainable across all finite numbers of layers and all allowed trial descriptions. The result requires specific conditions on the interactions, but only mild requirements on the average sizes of the interactions and external field. The main result has a Lean formalization, though the supplied material does not specify its detailed coverage.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine estimating a complicated household budget using increasingly layered plans: categories, subcategories, and further subdivisions. The formula says that the target value is the lowest value approached by the allowed plans with any finite number of layers—not necessarily a value reached by one particular plan.
Why it matters
The manuscript resolves the variational equality conjecture for the stated Panchenko–Talagrand class: the hierarchical trial formula equals the limiting pressure. The repository summary lists the Viana–Bray model, symmetric diluted even-spin models, and weighted soft even- satisfiability among the included cases. Requiring only first moments keeps the integrability assumptions limited.
2 · Going further
The precise setting is a Poisson-diluted Ising model whose interactions have even arity and satisfy the Panchenko–Talagrand factorization and positivity assumptions. The interaction and external field need only have first moments. The target is the limiting pressure, also described in the repository summary as the limiting free energy.
The Mézard–Parisi hierarchical cavity formula expresses this limit as an infimum of a trial functional over all finite hierarchy depths and all allowed trial laws. Schematically, the equality is , where denotes the limiting pressure, ranges over finite depths, and ranges over the corresponding trial laws. Taking an infimum does not assert that a single finite-depth trial law attains the limiting value.
The abstract describes this equality as resolving the variational equality conjecture for the stated class. Its central construction is the hierarchical cavity trial functional, but the supplied abstract does not describe the steps of the argument or explain how the assumptions enter them. Only the main manuscript is supplied, so no relationship to companion manuscripts can be assessed from this material.
Useful notions
- Two-state spin models
- Random interactions
- Limits as a system grows
- Infima and trial formulas
- First-moment integrability
What was known before / what is new
Before
The source identifies the target as the Mézard–Parisi hierarchical cavity formula and describes its variational equality as a conjecture for the Panchenko–Talagrand class. It does not supply a history of earlier partial results or specify which inequalities were already available.
New
The manuscript establishes equality between the limiting pressure and the infimum over all finite-depth hierarchical trial laws for the stated class. It requires only first moments of the interaction and external field. The main result has a Lean formalization, although the supplied material does not give a claim-by-claim account of its scope.
Limits and assumptions
The result is restricted to Poisson-diluted, even-arity Ising models satisfying the Panchenko–Talagrand factorization and positivity assumptions, with first-moment integrability for both interaction and external field. It does not assert that the infimum is attained at a finite depth. The main result has a Lean formalization, but the supplied material does not specify whether every listed example or subsidiary claim is covered. No further open questions are identified in the supplied abstract, and no conclusion about models outside these hypotheses is given.
Mini glossary
- Ising model —
- A model in which each spin has two possible states.
- Even arity —
- The requirement that each interaction involve an even number of spins.
- Hierarchical trial law —
- A candidate probability description arranged in layers and used to evaluate the trial functional.
- Infimum —
- The greatest lower bound of a collection of values, which need not itself be attained.
- First-moment integrability —
- The requirement that the expected absolute size of a random quantity be finite.
Keywords : Diluted spin glasses · Hierarchical cavity formula · Limiting pressure
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
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.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
The Mézard–Parisi formula for diluted spin glasses
23/09/2026We 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.