1 · The essentials
This work studies a mathematical model of many interacting objects, each of which can take one of two values. Their interactions are random, but are built by randomly rotating a matrix with a prescribed list of eigenvalues. The manuscript gives an exact formula for the limiting pressure, a quantity describing the model’s overall statistical behavior as its size grows. The result applies at every fixed positive temperature, provided the eigenvalues approach a bounded limiting distribution and their extremes approach its edges. The pressure approaches the formula both on average and with probability one. The manuscript also treats suitable fixed external fields and obtains the lowest-energy limit without an external field by letting temperature tend to zero. The main result has a Lean formalization, although the supplied material does not specify its detailed scope.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine keeping a fixed set of settings on a mixing desk while randomly changing how its channels are connected to a collection of two-position switches. The result describes a large-system quantity despite those random connections, provided the settings settle into a bounded distribution and no extreme settings remain beyond its edges.
Why it matters
The formula covers every fixed temperature, rather than only a restricted temperature range. Agreement between convergence on average and convergence with probability one gives two complementary senses in which the limiting pressure is determined. The zero-temperature conclusion also connects this description to the zero-field ground-state energy.
2 · Going further
The model is an Ising spin glass whose coupling matrix is a Haar-random orthogonal rotation of a deterministic spectrum. Its empirical spectral distribution must converge to a compactly supported law, and its smallest and largest eigenvalues must converge to the corresponding support edges. Under these assumptions, the main result gives the limiting pressure at every fixed temperature as a variational formula, with convergence both in expectation and almost surely.
The manuscript also gives the limiting pressure in deterministic external fields whose empirical laws converge in first-moment transport distance. In zero field, it derives a formula for the limiting ground-state energy by taking temperature to zero. These are distinct extensions: the external-field statement has its own convergence hypothesis, while the ground-state statement is explicitly restricted to zero field.
The supplied abstract states the variational characterization but does not display the formula or describe the argument establishing it. Its only explicit description of a derivation is the passage to zero temperature for the ground-state energy. Only the main manuscript is supplied, so no relationship to companion manuscripts can be described from this material. The main result has a Lean formalization; the supplied information does not identify which additional claims are covered.
Useful notions
- Two-valued Ising spins
- Eigenvalues and orthogonal matrices
- Probability distributions and convergence
- Statistical-mechanical pressure
- Variational formulas
What was known before / what is new
Before
The supplied material places the problem in the study of Ising spin glasses with Haar orthogonal eigenvectors. It does not identify earlier pressure formulas, prior temperature restrictions, or a historical open problem, so no more specific account of previous results is available here.
New
The main manuscript presents an exact variational formula for the limiting pressure at every fixed temperature under the stated spectral assumptions. It gives convergence both almost surely and in expectation. It also presents a deterministic-external-field extension and a zero-field ground-state energy formula obtained through a zero-temperature limit.
Limits and assumptions
The result requires a deterministic spectrum converging to a compactly supported law, Haar orthogonal eigenvectors, and extreme eigenvalues converging to the support edges; it does not assert a result for arbitrary coupling matrices or spectra with asymptotic outliers. The external-field extension requires convergence of the empirical field laws in first-moment transport distance. The ground-state conclusion is stated only for zero field. The main result has a Lean formalization, but the supplied material does not specify whether the external-field or ground-state claims are included. The abstract provides neither the explicit variational formula nor its argument, and it names no remaining open problems.
Mini glossary
- Ising spin glass —
- A model of two-valued spins with random interactions.
- Haar orthogonal rotation —
- A random orthogonal change of coordinates whose distribution is unchanged by fixed orthogonal rotations.
- Empirical spectral distribution —
- The probability distribution formed by assigning equal weight to each eigenvalue of a matrix.
- Variational formula —
- An expression that specifies a quantity through an optimization over allowed choices.
- Almost-sure convergence —
- Convergence that holds with probability one.
- Ground-state energy —
- The lowest energy available to the model.
Keywords : Ising spin glasses · Orthogonal invariance · 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)
Gives an exact variational formula for the limiting pressure of orthogonally invariant Ising spin glasses at every fixed temperature, both almost surely and in expectation. The coupling matrix is a Haar-random rotation of a deterministic spectrum converging to a compactly supported law, with extreme eigenvalues converging to its support edges. The zero-field ground-state energy follows as temperature tends to zero.
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
All-temperature pressure for orthogonally invariant Ising spin glasses
25/09/2026We determine the limiting pressure of an Ising spin glass with Haar orthogonal eigenvectors, a compact limiting spectral law, and no asymptotic outliers, at every fixed temperature. The pressure converges in expectation and almost surely to a variational formula. We also give the limiting pressure with deterministic external fields whose empirical laws converge in first-moment transport distance, and derive a formula for the zero-field ground-state energy by taking temperature to zero.