arxiv: 2604.00635 · v2 · submitted 2026-04-01 · 🧮 math.PR · math-ph· math.MP· nlin.SI

Recognition: 2 theorem links

· Lean Theorem

Large deviations of the periodic Toda chain

Tamara Grava , Alice Guionnet , Karol K. Kozlowski , Alex Little

Authors on Pith no claims yet

Pith reviewed 2026-05-13 22:21 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.MPnlin.SI

keywords large deviationsperiodic Toda chainspectral measureLax matrixgeneralized Gibbs ensembleseparation of variablesintegrable systems

0 comments

The pith

The spectral measure of the Lax matrix for the periodic Toda chain obeys a large deviation principle under generalized Gibbs measures.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves that the empirical spectral measure of the Lax matrix attached to the periodic Toda chain of N particles satisfies a large deviation principle when the system is distributed according to a generalized Gibbs measure. The principle is established both for the zero-total-momentum case and for the case in which momentum is allowed to fluctuate. The rate function that governs the deviations is identified as a direct generalization of the system's free energy. The argument is carried out in the separated-variables coordinates that straighten the equations of motion, rather than in the original particle coordinates. The result supplies the missing large-deviation ingredient needed to pass to the thermodynamic limit for dynamical correlation functions inside generalized Gibbs ensembles.

Core claim

The central claim is that the spectral measure of the Lax matrix of the periodic Toda chain satisfies a large deviation principle whose rate function generalizes the free energy of the system. The principle holds uniformly in N for both the constrained-momentum and fluctuating-momentum versions of the generalized Gibbs measure. The proof proceeds directly from the representation of the partition function in the classical separation-of-variables variables that rectify the Toda flow, without passing through the original particle positions.

What carries the argument

The large deviation principle for the empirical spectral measure of the Lax matrix, established via the separated-variables representation of the generalized Gibbs partition function.

Load-bearing premise

The generalized Gibbs measure is normalizable on the phase space and the separation-of-variables map introduces no singularities that would invalidate the upper and lower large-deviation bounds.

What would settle it

For large but finite N, direct Monte Carlo sampling of the generalized Gibbs measure that produces an empirical spectral measure whose large-deviation cost lies outside the interval predicted by the rate function by an amount larger than the typical 1/N fluctuation.

Figures

Figures reproduced from arXiv: 2604.00635 by Alex Little, Alice Guionnet, Karol K. Kozlowski, Tamara Grava.

**Figure 1.** Figure 1: This figure illustrates the setting for N = 5. The intervals in green correspond to the domains where the variables µk, k ∈ [[ 1 ; 4 ]] are located. row and column. Since L2(aN , bN ) is an (N − 1) × (N − 1) submatrix of L ±(aN , bN ), its spectrum must interlace with the spectra of L ±(aN , bN ) as follows: λ + N > λ− N ≥ µN−1 ≥ λ − N−1 > λ+ N−1 ≥ µN−2 ≥ λ + N−2 > . . . (1.16) In particular, the coordinat… view at source ↗

read the original abstract

This work establishes a large deviation principle for the spectral measure of the Lax matrix associated to the periodic Toda chain of $N$ particles, subject to a generalised Gibbs measure. This large deviation principle is governed by a rate function which can be regarded as a generalisation of the free energy of the system. Such a large deviation principle is proven both for the model when the momentum is constrained to be zero and when it is allowed to fluctuate. Moreover, the large deviation principle is proven directly at the level of the representation of the generalised Gibbs partition function given in terms of the variables realising the classical separation of variables, \textit{i.e.} rectifying the equations of motion. As such, this work paves the way towards the computation of the thermodynamic limit of dynamical correlation functions in the Toda chain subject to generalised Gibbs ensemble statistics.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a direct large-deviation principle for the spectral measure of the periodic Toda chain under generalized Gibbs measures, proved by change of variables in the separation-of-variables coordinates.

read the letter

The main result is a large deviation principle for the empirical spectral measure of the Lax matrix in the periodic Toda chain, under generalized Gibbs measures. They prove the LDP both when total momentum is fixed at zero and when it can fluctuate, and they do the argument directly by pushing the measure forward through the classical separation-of-variables map that linearizes the flow. That direct route is the clearest new piece; earlier large-deviation work on integrable chains tended to go through approximations or indirect representations, so working at the rectifying coordinates themselves is a concrete technical step forward. The rate function is framed as a natural extension of the free energy, which lines up with what one would expect for these ensembles and should be usable for thermodynamic-limit calculations of correlations later on. The abstract is explicit that the proof stays inside the SoV representation of the partition function, which keeps the argument self-contained. The potential soft spot is whether the SoV map is regular enough on the relevant compact sets for the upper and lower bounds to transfer without extra error terms or boundary corrections. The stress-test note flags exactly this point and says the paper claims the bounds hold, so the details on continuity and Jacobian control will be the main thing to verify in the full text. If those estimates close cleanly, the result looks solid. This is for people working on integrable systems and large deviations in statistical mechanics of chains. A reader who needs tools for rare spectral configurations under GGM statistics will get direct value from the setup. I would bring it to a reading group to walk through the change-of-variables argument. It deserves peer review; the claim is specific, the method is direct, and the potential application to correlation functions is clear enough that referees should check the technical transfer.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes a large deviation principle for the spectral measure of the Lax matrix associated to the periodic Toda chain of N particles under a generalized Gibbs measure. The LDP is proven directly in the separation-of-variables coordinates that rectify the equations of motion, for both the zero-momentum constraint and the case of fluctuating momentum. The rate function is presented as a generalization of the free energy, with the explicit aim of enabling thermodynamic limits for dynamical correlation functions.

Significance. If the result holds, the work supplies a direct, change-of-variables proof of an LDP for the empirical spectral measure in an integrable system under GGM statistics. This is significant because it works at the level of the linearized SoV coordinates rather than through indirect approximations, and treats both momentum cases explicitly. The approach strengthens the foundation for computing dynamical quantities in the thermodynamic limit and provides a parameter-free derivation of the rate function.

major comments (2)

[§3, Theorem 3.2] §3, Theorem 3.2 (zero-momentum case): the transfer of the LDP upper bound through the SoV map requires explicit control on the Jacobian determinant and continuity on compact subsets of the phase space; the manuscript provides no quantitative estimates on the distortion near the boundaries of the Toda spectral curve, which is load-bearing for closing the large-deviation inequality without additional error terms.
[§4.1, Eq. (4.3)] §4.1, Eq. (4.3) (fluctuating-momentum case): the exponential tightness argument for the push-forward measure relies on the GGM being defined without singularities in the SoV variables, yet no verification is given that the partition function remains finite when the momentum fluctuates; this affects whether the rate function is a good rate function on the space of probability measures.

minor comments (2)

[§2.1] The definition of the generalized Gibbs measure in §2.1 should explicitly display the form of the action variables to make the change-of-variables step transparent.
[§1.3] Notation for the Lax matrix eigenvalues in §1.3 is introduced without a reference to the standard periodic Toda Lax pair; adding the explicit matrix form would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments, which have helped us improve the clarity and rigor of the proofs. We address each major comment below.

read point-by-point responses

Referee: [§3, Theorem 3.2] §3, Theorem 3.2 (zero-momentum case): the transfer of the LDP upper bound through the SoV map requires explicit control on the Jacobian determinant and continuity on compact subsets of the phase space; the manuscript provides no quantitative estimates on the distortion near the boundaries of the Toda spectral curve, which is load-bearing for closing the large-deviation inequality without additional error terms.

Authors: We agree that explicit quantitative control on the Jacobian is required to transfer the LDP upper bound rigorously. The SoV map is a smooth diffeomorphism on the interior of the phase space, with boundaries corresponding to measure-zero sets under the GGM. In the revised manuscript we have inserted a new lemma (Lemma 3.4) that supplies uniform bounds on the Jacobian determinant and on the modulus of continuity of the inverse map on compact subsets of the spectral curve, away from the degenerate loci. These estimates close the upper bound without residual error terms. revision: yes
Referee: [§4.1, Eq. (4.3)] §4.1, Eq. (4.3) (fluctuating-momentum case): the exponential tightness argument for the push-forward measure relies on the GGM being defined without singularities in the SoV variables, yet no verification is given that the partition function remains finite when the momentum fluctuates; this affects whether the rate function is a good rate function on the space of probability measures.

Authors: The finiteness of the partition function for fluctuating momentum follows from the explicit product representation in SoV coordinates together with the exponential decay of the GGM weights. We have added a short verification paragraph immediately after Eq. (4.3) showing that the integral over the total momentum variable converges absolutely, confirming that the resulting rate function is a good rate function on the space of probability measures. revision: yes

Circularity Check

0 steps flagged

Direct SoV change-of-variables proof is self-contained

full rationale

The paper derives the LDP for the empirical spectral measure by pushing the generalised Gibbs measure forward through the classical separation-of-variables map that rectifies the Toda flow. This is presented as a direct argument at the level of the SoV coordinates themselves, without any reduction of the rate function to a fitted quantity, self-referential definition, or load-bearing self-citation chain. The abstract and description explicitly state that both zero-momentum and fluctuating-momentum cases are handled directly in these coordinates, and no ansatz smuggling or renaming of known results is indicated. The derivation therefore remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are stated. Typical background assumptions for such proofs (existence of the Gibbs measure, analyticity of the Lax spectrum) are not detailed here.

pith-pipeline@v0.9.0 · 5445 in / 1156 out tokens · 26159 ms · 2026-05-13T22:21:07.907303+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

large deviation principle ... at the level of the representation of the generalised Gibbs partition function given in terms of the variables realising the classical separation of variables
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean J_uniquely_calibrated_via_higher_derivative unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

rate function I[μ] = ∫V dμ − ∫ln(max{0,1+2/ℓ∫ln|x−y|dμ})dμ − Ent[μ]

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Fluctuations for the Toda lattice
math.PR 2026-04 unverdicted novelty 7.0

Currents in the thermal Toda lattice have space-time fluctuations converging to an explicit Gaussian process under diffusive scaling, implying Brownian motion for particle positions and inverse-time decaying correlations.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Asymptotic Scattering Relation for the Toda Lattice

A. Aggarwal. Asymptotic scattering relations for the Toda lattice. arXiv: 2503.08018. 2025

work page internal anchor Pith review Pith/arXiv arXiv 2025
[2]

Aggarwal

A. Aggarwal. Effective velocities in the Toda lattice. arXiv: 2503.11407. 2025

work page arXiv 2025
[3]

Anderson, Alice Guionnet and Ofer Zeitouni.An introduction to ran- dom matrices

Greg W. Anderson, Alice Guionnet and Ofer Zeitouni.An introduction to ran- dom matrices. Vol. 118. Cambridge Studies in Advanced Mathematics. Cam- bridge: Cambridge University Press, 2010

work page 2010
[4]

Cambridge Monographs on Mathematical Physics

Olivier Babelon, Denis Bernard and Michel Talon.Introduction to classical in- tegrable systems. Cambridge Monographs on Mathematical Physics. Cambridge University Press, 2003

work page 2003
[5]

Bastianello et al

A. Bastianello et al. Generalized hydrodynamics of classical integrable field the- ory: the sinh-Gordon model.SciPost Physics4 (2018), p. 045

work page 2018
[6]

A.Bastianelloetal.Introductiontothespecialissueonemergenthydrodynamics in integrable many-body systems.Journal of Statistical Mechanics: Theory and Experiment2022.1 (2022), p. 014001

work page 2022
[7]

Bertini et al

B. Bertini et al. Transport in out-of-equilibriumXXZchains: exact profiles of charges and currents.Physical Review Letters117 (20 2016), p. 207201

work page 2016
[8]

Bonnemain, B

T. Bonnemain, B. Doyon and G. El. Generalized hydrodynamics of the KdV soliton gas.Journal of Physics. A. Mathematical and Theoretical55.37 (2022), p. 374004

work page 2022
[9]

Boyd and Lieven Vandenberghe.Convex optimization

Stephen P. Boyd and Lieven Vandenberghe.Convex optimization. Berichte über verteilte messysteme pt. 1. Cambridge University Press, 2004

work page 2004
[10]

Castro-Alvaredo, B

O. Castro-Alvaredo, B. Doyon and T. Yoshimura. Emergent hydrodynamics in integrable quantum systems out of equilibrium.Physical Review X6 (2016), p. 041065. 96

work page 2016
[11]

D. A. Croydon and M. Sasada. Generalized hydrodynamic limit for the box-ball system.Communications in Mathematical Physics383.1 (2021), pp. 427–463

work page 2021
[12]

Date and S

E. Date and S. Tanaka. Analogue of inverse scattering theory for the discrete Hill’s equation and exact solutions for the periodic Toda lattice.Progress of Theoretical Physics55.2 (1976), pp. 457–465

work page 1976
[13]

Large deviations and applications.Handbook of stochastic analysis and applications

Amir Dembo and Ofer Zeitouni. Large deviations and applications.Handbook of stochastic analysis and applications. New York, NY: Marcel Dekker, 2001, pp. 361–416

work page 2001
[14]

B. Doyon. Generalized hydrodynamics of the classical Toda system.Journal of Mathematical Physics60.7 (2019), pp. 073302, 21

work page 2019
[15]

Dumitriu and A

I. Dumitriu and A. Edelman. Matrix models for beta ensembles.Journal of Mathematical Physics43.11 (2002), pp. 5830–5847

work page 2002
[16]

Ellis.A weak convergence approach to the theory of large deviations

Paul Dupuis and Richard S. Ellis.A weak convergence approach to the theory of large deviations. Wiley Series in Probability and Statistics. Chichester: John Wiley & Sons, 1997

work page 1997
[17]

W. E. Ferguson Jr. The construction of Jacobi and periodic Jacobi matrices with prescribed spectra.Mathematics of Computation35.152 (1980), pp. 1203–1220

work page 1980
[18]

Fermi et al

E. Fermi et al. Studies of nonlinear problems. first appeared in 1955 in los alamos internal report.Lectures on Applied Mathematics15 (1974), pp. 143–156

work page 1955
[19]

Ferrari et al

P. Ferrari et al. Soliton decomposition of the box-ball system.Forum of Math- ematics, Sigma9 (2021), Paper No. e60, 37

work page 2021
[20]

Flaschka

H. Flaschka. On the Toda lattice. II. Inverse-scattering solution.Progress of Theoretical Physics51 (1974), pp. 703–716

work page 1974
[21]

Flaschka and D

H. Flaschka and D. W. McLaughlin. Canonically conjugate variables for the Korteweg-de Vries equation and the Toda lattice with periodic boundary con- ditions.Progress of Theoretical Physics55.2 (1976), pp. 438–456

work page 1976
[22]

García-Zelada

D. García-Zelada. A large deviation principle for empirical measures on Pol- ish spaces: application to singular Gibbs measures on manifolds.Annales de l’Institut Henri Poincaré. Probabilités et Statistiques55.3 (2019), pp. 1377–1401

work page 2019
[23]

Guionnet and R

A. Guionnet and R. Memin. Large deviations for Gibbs ensembles of the classical Toda chain.Electronic Journal of Probability27 (2022), p. 29

work page 2022
[24]

Henrici and T

A. Henrici and T. Kappeler. Global action-angle variables for the periodic Toda lattice.International Mathematics Research Notices2008 (2008), p. 52

work page 2008
[25]

Kac and P

M. Kac and P. van Moerbeke. A complete solution of the periodic Toda problem. Proceedings of the National Academy of Sciences of the United States of America 72.8 (1975), pp. 2879–2880

work page 1975
[26]

E.Korotyaev.Gap-lengthmappingforperiodicJacobimatrices.Russian Journal of Mathematical Physics13.1 (2006), pp. 64–69. 97

work page 2006
[27]

Landau and Evgeny M

Lev D. Landau and Evgeny M. Lifshitz.Statistical physics; volume 5 of course of theoretical physics. Pergamon Press, London-Paris, 1958, p. 432

work page 1958
[28]

S. V. Manakov. Complete integrability and stochastization of discrete dynamical systems.Soviet Physics JETP40.2 (1974), pp. 269–274

work page 1974
[29]

Mazzuca and R

G. Mazzuca and R. Memin. CLT forβ-ensembles at high temperature and for integrable systems: a transfer operator approach.Annales Henri Poincaré26.1 (2025), pp. 245–316

work page 2025
[30]

Mazzuca and R

G. Mazzuca and R. Memin. Large deviations for Ablowitz-Ladik lattice, and the Schur flow.Electronic Journal of Probability28 (2023), Paper No. 55, 29

work page 2023
[31]

van Moerbeke

P. van Moerbeke. The spectrum of Jacobi matrices.Inventiones Mathematicae 37 (1976), pp. 45–81

work page 1976
[32]

Saff and Vilmos Totik

Edward B. Saff and Vilmos Totik. Weighted potentials.Logarithmic Potentials with External Fields. Springer Berlin Heidelberg, 1997, pp. 23–80

work page 1997
[33]

H. Spohn. Generalized Gibbs ensembles of the classical Toda chain.Journal of Statistical Physics180.1-6 (2020), pp. 4–22

work page 2020
[34]

World Scientific, 2024

Herbert Spohn.Hydrodynamic scales of integrable many-body systems. World Scientific, 2024

work page 2024
[35]

Gerard Teschl.Jacobi operators and completely integrable nonlinear lattices. Vol. 72. Mathematical Surveys and Monographs. American Mathematical So- ciety, Providence, RI, 2000

work page 2000
[36]

M. Toda. Wave propagation in anharmonic lattices.Journal of the Physical Society of Japan23 (1967), pp. 501–506

work page 1967
[37]

Morikazu Toda.Theory of nonlinear lattices. Second. Vol. 20. Springer Series in Solid-State Sciences. Springer-Verlag, Berlin, 1989, pp. x+225

work page 1989
[38]

C. N. Yang and C. P. Yang. Thermodynamics of a one-dimensional system of bosons with repulsive delta-interactions.Journal of Mathematical Physics10 (1969), pp. 1115–1122. 98

work page 1969