OpenAI reports an all-temperature pressure formula for orthogonally invariant Ising models

For Ising interactions with Haar orthogonal eigenvectors, empirical eigenvalues converging to a compactly supported law, and extreme eigenvalues converging to the support edges, the normalized pressure converges in expectation and almost surely at every fixed positive temperature to the paper’s overlap-hierarchy variational functional.

Curated contributions 1

Understand the problem ↓

OpenAI reports an all-temperature pressure formula for orthogonally invariant Ising models

  • Mathematics

For Ising interactions with Haar orthogonal eigenvectors, empirical eigenvalues converging to a compactly supported law, and extreme eigenvalues converging to the support edges, the normalized pressure converges in expectation and almost surely at every fixed positive temperature to the paper’s overlap-hierarchy variational functional.

AI involvementAI-led
ImportanceNotable
Technical verificationFormal (Lean 4)
Human understandingFew

Understanding the problem

Read the background

For Ising interactions with Haar orthogonal eigenvectors, empirical eigenvalues converging to a compactly supported law, and extreme eigenvalues converging to the support edges, the normalized pressure converges in expectation and almost surely at every fixed positive temperature to the paper’s overlap-hierarchy variational functional.

Why it matters

If correct, gives an all-temperature variational pressure limit for this invariant spin-glass class.

What counts as progress

Can the pressure of orthogonally invariant Ising spin glasses be determined at every temperature?

Website timeline

Publication dates and editorial changes.