Abstract
We study properties of Hamiltonian integrable systems with random initial data by considering their Lax representation. Specifically, we investigate the spectral behaviour of the corresponding Lax matrices when the number N of degrees of freedom of the system goes to infinity and the initial data is sampled according to a properly chosen Gibbs measure. We give an exact description of the limit density of states for the exponential Toda lattice and the Volterra lattice in terms of the Laguerre and antisymmetric Gaussian \(\beta \)-ensemble in the high temperature regime. For generalizations of the Volterra lattice to short range interactions, called INB additive and multiplicative lattices, the focusing Ablowitz–Ladik lattice and the focusing Schur flow, we derive numerically the density of states. For all these systems, we obtain explicitly the density of states in the ground states.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this manuscript, we study properties of Hamiltonian integrable systems with random initial data by analysing the spectral properties of their Lax matrices considered as random matrices.
One of the first investigations in this direction was made in [14, 15], where the authors considered random Lax matrices of various Calogero–Moser systems, and computed their joint eigenvalues densities. More recently, this idea gained new attention thanks to the work of Spohn [56], where the author connected the spectrum of the random Lax matrix of the Toda lattice with the sparse matrix of the Gaussian \(\beta \)-ensemble [20] at high temperature [6]. Later, the Lax matrix of the defocusing Ablowitz–Ladik lattice [52, 55] with random initial data was connected with the sparse matrix of the circular \(\beta \)-ensemble [42] in the high temperature limit [36] by two of the present authors [31], and, independently, by Spohn [57]. In the same work, Spohn also considered the defocusing Schur flow [30], and he connected it to the Jacobi \(\beta \)-ensemble [20] in the high temperature regime [7]. Further developments on this subject were also presented in [33, 48]. We mention also the work [61], where the author studied the statistical properties of the energy level of a quantum integrable system analysing the eigenvalues of the Lax operator.
Classically, from the seminal paper of Liouville [44], an integrable system is understood as a Hamiltonian system possessing enough first integrals such that the motion of the system is regular and predictable [8]. In the modern geometrical setting [10, 54], we say that given a Poisson manifold \(\mathcal P\) of dimension n, with local coordinates \(\textbf{a}=(a_1,\dots , a_n)\), and Poisson bracket \(\left\{ .\, ,. \right\} \) of rank 2r, the flow generated by a scalar smooth function \(H=H(\textbf{a})\):
is integrable if it possesses \(k=n-r\) functionally independent first integrals in involution with respect to the given Poisson bracket.
Finding first integrals is often a complicated task, and during the past decades several algorithms to construct them have been developed. One of the most effective methods to produce first integrals of a given mechanical system is the so-called Lax pair representation.Footnote 1 The concept of Lax pair originates from the work of P. D. Lax on the theory of PDEs [43], see also [3, 62]. In the finite dimensional setting, the construction runs as follows [9, 11]: assume there are \(N\times N \) matrices, \(L=L(\textbf{a})\) and \(A=A(\textbf{a})\) with \(N=N(n)\) and such that the equation
is equivalent to the Hamiltonian flow (1). Then the matrices L and A are a Lax pair for the Hamiltonian system and the matrix L is called Lax matrix. The main consequence of the Lax equation (2) is that the eigenvalues of L are first integrals of the Hamiltonian flow (1). So, provided that we can prove these eigenvalues give enough functionally independent quantities in involution, we can infer the integrability of Hamilton’s equations (1) through the Lax pair.
The fact that in many cases an integrable system is equivalent to a matrix relation gives the connection with random matrix theory. Indeed, when the initial data \(\textbf{a}(0)\) is chosen randomly, the Lax matrix \(L=L(\textbf{a}(0))\) becomes a random matrix. To define a random initial data, we consider invariant measures with respect to the Hamiltonian flow. In general, such objects have the form
where the positive density \(m(\textbf{a})\) is such that the measure \(\textrm{d}\mu \in L^{1}(\mathcal {P})\). Hamiltonian systems have a natural invariant measure, the so called Gibbs measure [41] obtained from the Hamiltonian itself
with normalization constant \(Z_{H}\)
so that \(\textrm{d}\mu _H\) becomes effectively a probability measure. If the measure is not normalizable in the whole phase space \(\mathcal P\), one needs to restrict the measure to a suitable submanifold \(\mathcal M\). Because of the integrability of the system, we can consider a more general probability measure, called generalized Gibbs measure
where \(\beta _1\), ..., \(\beta _k\) are constants and \(H_{1}\), ..., \(H_{k}\) are the first integrals. As above, we assume that the normalization constant \(Z_{G}\) is finite,
In this manuscript, we explore the behaviour of the spectrum of the Lax matrices of various relevant integrable systems when the number of degrees of freedom \(N\rightarrow \infty \), and the initial data is sampled according to a properly chosen Gibbs measure. Our main result is that we can compute the density of states for the Lax matrix of the exponential Toda lattice and the Volterra lattice. This is done through a one-to-one correspondence with the Laguerre \(\beta \)-ensemble at high temperature and with the antisymmetric Gaussian \(\beta \)-ensemble at high temperature, respectively. These are two known classes of random matrix ensembles, see [21, 27, 47] respectively. We consider other relevant cases of integrable systems, namely the focusing Ablowitz–Ladik lattice [1, 2], the focusing Schur flow, and a class of integrable generalization of the Volterra lattice to short range interactions, called the Itoh–Narita–Bogoyavleskii (INB) additive and multiplicative lattices [17]. In these cases the corresponding random Lax matrices are not symmetric nor self-adjoint and we derive numerically their density of states that has support in the complex plane. Interesting patterns of the density of states emerge as we vary the parameters of the system. Finally, for all the integrable systems analysed in this manuscript, we are able to compute the density of states in the low-temperature limit, namely in the ground state.
This manuscript is organized as follows. In Sect. 2 we give an introduction to the basic tools of the integrable system theory needed in this manuscript. Next, we study the density of states of the random Lax matrices of the exponential Toda lattice, the Volterra lattice, the INB lattices, the Ablowitz–Ladik lattice, and the Schur flow in Sects. 3, 4, 5, 6, and 7 respectively. Finally, in Sect. 8 we give some conclusions and an outlook for future developments on this topic.
2 Preliminaries
In this section, we recall some standard tools to study Hamiltonian integrable systems that we need throughout the manuscript . For further details, we refer to various textbooks and monographs [9,10,11, 54].
A Poisson manifold is a pair \((\mathcal P,\, \left\{ .\,,. \right\} )\) where \(\mathcal P\) is a n-dimensional differentiable manifold and \(\left\{ .\,,. \right\} \) is an antisymmetric bilinear operation on the space \({\mathcal C}^\infty (\mathcal P)\) of smooth functions over \(\mathcal P\),
such that for all functions \(f,g,h\in {\mathcal C}^\infty (\mathcal P)\), it satisfies:
-
1.
the Jacobi identity
$$\begin{aligned} \{\{ f, g\}, h\} + \{\{ h, f\}, g\} + \{\{ g, h\}, f\} =0, \end{aligned}$$ -
2.
the Leibniz rule
$$\begin{aligned} \{ hf, g\}=h\{ f, g\}+\{ h, g\}f. \end{aligned}$$(4)
The operator \(\left\{ .\,,. \right\} \) is called a Poisson bracket. When there is no risk of confusion, we simply denote a Poisson manifold by \(\mathcal P\), where the Poisson bracket is assumed to be fixed and given.
In local coordinates \(\textbf{a}=\left( a_{1},\dots ,a_{n} \right) \) the Poisson bracket is specified by an antisymmetric (2, 0) tensor \(\pi ^{ij}(\varvec{a})\), the Poisson tensor, acting on the coordinates as
The Jacobi identity on the coordinates is equivalent to the relation
where we are summing over repeated indices. In an open subset of \(\mathcal P\) the Poisson tensor has a fixed even rank \(2r\le n\). By antisymmetry, it follows that the Poisson tensor can be non-degenerate, meaning that \(\det \pi (\varvec{a})\ne 0\), only if the dimension n of the base space is even, namely \(n=2N\).
Given a function \(H(\textbf{a})\in {\mathcal C}^\infty (\mathcal P)\), it generates a set of so-called Hamilton’s equations through the relation
The function H itself is called a Hamiltonian. The previous set of equations defines a continuum time flow from an initial condition \(\textbf{a}(0)\in \mathcal P\) to its time evolution \(t>0\), namely \(\Phi _{t}:\textbf{a}(0)\rightarrow \textbf{a}(t)\). A function \(K=K(\varvec{a})\) is constant under evolution \(\Phi _{t}\) if and only if
In this case the quantity K is called a first integral or a constant of motion. The notion of Liouville integrability is strictly related to the number of first integrals and the rank of the associated Poisson tensor.
Definition 1
(Liouville integrability) A Hamiltonian system (5) on a Poisson manifold \( \mathcal P\) of rank \(2r\le n\) is Liouville integrable if there are \(k=n-r\) first integrals \(H_{1}\), ..., \(H_{k}\) in involution
and functionally independent, namely
in a dense subset of \(\mathcal P\).
As discussed in the Introduction, random initial data are obtained from an invariant measure \(\textrm{d}\mu \) of the form (3). More precisely, this means that the measure of every subset \(S\subset \mathcal P\) with respect to \(\textrm{d}\mu \) is preserved under the time-evolution \(\Phi _t\),
Interpreting the evolution as a coordinate transformation, we have
where \(\Phi _t^*(\textrm{d}\mu )\) is the pull-back of \(\textrm{d}\mu \) through \(\Phi _{t}\). This shows that the condition (6) is satisfied if \(\Phi _t^*(\textrm{d}\mu )= \textrm{d}\mu \). In coordinates, for a measure written in the form (3), namely \(\textrm{d}\mu =m\left( \textbf{a}\right) \textrm{d} a_{1}\wedge \dots \wedge \textrm{d} a_{n},\) the invariance of the measure with respect to the Hamiltonian flow is expressed by the condition
where \({{\,\textrm{div}\,}}\) is the usual euclidean divergence, see e.g. [34, Chapter 1]. The vector field \(\textbf{f}_H\) is specified by the Hamiltonian H via the relation \((\textbf{f}_H)_i=\{a_i,H\}\). The condition (7) can be written in the form
From formula (8) we immediately have two important consequences.
-
If the Hamiltonian vector field is divergence free, like in the case of a canonical Poisson bracket, it follows that the Euclidean measure
$$\begin{aligned} \textrm{d}\mu _{0} = \textrm{d} a_{1} \wedge \textrm{d} a_{2} \wedge \dots \wedge \textrm{d} a_{n} \end{aligned}$$(9)is an invariant measure.
-
If K is a first integral and m is the density of an invariant measure, then from the Leibniz rule (4) it follows that
$$\begin{aligned} \widetilde{m} := f(K)m \end{aligned}$$(10)is the density of another invariant measure for every scalar function \(f\in \mathcal {C}^{\infty }(\mathcal {P})\), such that \(\int \limits _{\mathcal {P}} \widetilde{m} < {\infty } \).
In all the examples of this manuscript, the Hamiltonian vector fields are divergence free, so we will be allowed to consider the generalized Gibbs ensemble described in the Introduction where \(\textrm{d}\mu =\textrm{d}\mu _0\) the Euclidean measure in (9).
3 Laguerre \(\beta \)-Ensemble and the Exponential Toda Lattice
In this section, we introduce an integrable model that we call exponential Toda lattice, since it resembles the well-know Toda lattice. We construct the Lax pair for this system, and we define its generalized Gibbs measure. Finally, we compute the mean density of states of the Lax matrix.
The exponential Toda lattice is the Hamiltonian system on \(\mathcal P=\mathbb {R}^{2N}\) with canonical Poisson bracket described by the Hamiltonian
We consider periodic boundary conditions
and \(\Delta \ge 0\) is an arbitrary constant. The equations of motion are given in Hamiltonian form as
The system possesses two trivial constants of motion,
the first one due to periodicity, the second one due to the translational invariance of the Hamiltonian (11). In order to obtain a Lax pair for this system we introduce, in the spirit of Flaschka and Manakov [25, 26, 45], the variables
where we notice that \(\prod _{j=1}^Ny_j=e^{-\frac{\Delta }{2}}\). In these variables, the Hamiltonian (11) and the constants of motion (13) transform into
The Hamilton’s equations (12) become
where \(x_{N+1}=x_1, \, y_0 = y_N\).
One can explicitly construct a Lax pair for this system. Let us introduce the matrix \(E_{r,s}\), defined as \(\left( E_{r,s}\right) _{ij}=\delta ^i_r \delta ^j_s\). Set
where, accounting for periodic boundary conditions, indices are taken modulo N, so that \(E_{i,j+N} = E_{i+N,j}= E_{i,j}\) for all \(i,j \in \mathbb {Z}\). For example, the matrix L in (15) has the explicit form
The system of equations (14) then admits the Lax representation
Hence, the quantities \(H_m = \text {Tr}\left( L^{m-1}\right) \), \(m=2,\ldots ,N+1\) are constants of motion as well as the eigenvalues of L. For the exponential Toda lattice, we define the generalized Gibbs ensemble as
where \(\beta ,\eta ,\theta >0\), the Hamiltonians \(H_E\), \(H_0\) and \(H_1\) are defined in (11) and (13) respectively, \(Z_N^{E}\) is the normalization constant, \(\textrm{d}\textbf{r}= \textrm{d}r_1\ldots \textrm{d}r_N\) and analogously for \(\textrm{d}\textbf{p}\). We notice that according to this measure, all the variables are independent, moreover all \(p_j\) are identically distributed, and so are the \(r_j\). After introducing the variables \((\textbf{r},\textbf{p})\rightarrow (\textbf{x},\textbf{y})\), the previous measure turns into
Let \(\chi _{2\alpha }\) be the chi-distribution, defined by its density
here \(\Gamma \) is the classical gamma function [53, Sect. 5]. Then, the variables \(x_j\) and \(y_j\) in the Gibbs measure (17) are independent random variables with scaled chi-distribution, respectively \(f_{2\eta }(\sqrt{2\beta }x_j)\sqrt{2\beta }\textrm{d}x_j\) and \(f_{2\theta }(\sqrt{2\beta }y_j)\sqrt{2\beta } \textrm{d}y_j\).
The Lax matrix L in (16) becomes a random matrix when the entries are sampled according to (17). Such random matrix can be linked to the so-called Laguerre \(\alpha \)-ensemble [47]. The connection is obtained noticing that the matrix L admits the following decomposition
where \(B^\intercal \) is the matrix transpose. On the other hand, the Laguerre \(\alpha \)-ensemble is given by the set of matrices
here \(\text{0 }_{{\small N\times (M-N)}}\) is the zero matrix of dimension \(N\times (M-N)\). The variables \(x_n,y_n\) are distributed according to chi-distribution
Thus, the following entry wise measure on the matrices \(B_{\alpha ,\gamma }\) can be defined,
We observe that the matrix B in (18) has the same form of \(B_{\alpha ,\gamma }\) in (20), with the addition of the corner element \(y_N E_{1,N}\). Furthermore, the rescaling of the variables \((x_j,y_j)\mapsto \frac{1}{\sqrt{2\beta }}(x_j,y_j)\) in (17), amounts to the matrix rescaling \(B\mapsto \frac{1}{\sqrt{2\beta }}B\), and comparing with (21) we see that \(\frac{1}{\sqrt{2\beta }}B\) is a rank one perturbation of the matrix \(B_{\theta ,\frac{\theta }{\eta }}\).
We are interested in studying the density of states \( \nu _{ET}\) for the Lax matrix L when the entries are distributed according to the Gibbs measure \(\textrm{d}\mu _{ET}\) in (17). The density of states \(\nu _{ET}\) is obtained from the weak convergence of the empirical measure of the Lax matrix L, namely
where \(\lambda _j\) are the eigenvalues of L and \(\delta _x\) is the Dirac delta function centered at x.
In order to study the density of states of the exponential Toda lattice, we need the following result proved in [47].
Theorem 1
(cf. [47], Theorem 1.1) Consider the matrix \(L_{\alpha ,\gamma } = B_{\alpha ,\gamma }B_{\alpha ,\gamma }^\intercal \) distributed according to \(\textrm{d}\mu _{B_{\alpha ,\gamma }}\) in (21). Then, its mean density of states \(\nu _{L_{\alpha ,\gamma }}\) takes the form
where
and here \(\psi (v,w;z)\) is the Tricomi’s confluent hypergeometric function (see Appendix 2).
Remark 1
The proof of theorem 1 has been obtained by comparing the Laguerre \(\alpha \)-ensemble (19) with the Laguerre \(\beta \)-ensemble at high temperature [7].
The following corollary follows.
Corollary 1
Consider the Lax matrix \(L=BB^\intercal \) in (18) of the exponential Toda lattice with Hamiltonian (11) and endow the entries of the matrix B in (18) with the Gibbs measure \(\mu _{ET}\) (17). Then, the density of states \(\nu _{ET}\) of the Lax matrix \(L=BB^\intercal \) takes the form
where the density \( \mu _{\alpha ,\gamma }\) is defined in (23).
Proof
First, we notice that by virtue of general theory, see [12, Theorem A.43], we can restrict to the case \(y_N = 0\) in (17). As observed above, performing the change of variables \((x_j,y_j)\mapsto \frac{1}{\sqrt{2\beta }}(x_j,y_j)\), which amounts to rescale \(B\mapsto \frac{1}{\sqrt{2\beta }}B\), one has that the matrix entries of \(\frac{1}{\sqrt{2\beta }}B\) are distributed as the matrix entries of \(B_{\theta ,\frac{\theta }{\eta }}\). Applying Theorem 1 we obtain the claim.
3.1 Parameter Limit
In this section, we examine the low-temperature limit of the Hamiltonian system (11). Namely, we want to compute the eigenvalues of the Lax matrix L in (15) in the limit \(\beta ,\theta ,\eta \rightarrow \infty \), in such a way that
where \(\widetilde{\eta }\) and \(\widetilde{\theta }\) are in compact sets of \( \mathbb {R}_+\).
Since all \(x_j\) and \(y_j\) are independent random variables, we just have to consider the weak limit of the rescaled chi-distributions, respectively
We explicitly work out one of the cases above.
We consider a continuous and bounded function \(h\;:\; \mathbb {R}_+ \rightarrow \mathbb {R}\) and evaluate the limit
The last identity has been obtained by applying the Laplace method (see [49]) and observing that the minimizer of the term \(2\widetilde{\eta }\log (x) - x^2\) in the exponent of the integral is \(x_0 = \sqrt{\widetilde{\eta }}\).
As a consequence, we conclude that \( x_j \rightharpoonup \sqrt{\widetilde{\eta }}\) and \( y_j \rightharpoonup \sqrt{\widetilde{\theta }}\), \(j=1,\ldots ,N\) as \(\beta \rightarrow \infty \), where with \(\rightharpoonup \) we denote the weak convergence. The previous limit implies that the measure \(\nu _{ET}\) in (24) weakly converges, in the low temperature limit, to the density of states of the matrix \(L_\infty \)
Indeed, the fact that L is tridiagonal with iid entries along the diagonals, implies its k-th moment depends on a multiple of k number of variables only; specifically looking back at the Lax matrix L in (16)
for some function \(f(\cdot )\) of its entries. Then, passing to the density of states (22) and renaming the iid variables, the scaling factor N identically cancels out and moments converge,
So the eigenvalues density converges as well, since the eigenvalues are a function of the moments. In particular, this also shows that the two limit commute in taking the density of states at low temperature,
since the limits can be passed directly to the variables \(x_i,y_i\).
The matrix \(L_\infty \) is a circulant matrix, so its eigenvalues can be computed explicitly [32] as
From this explicit expression, it follows that the density of states of \(L_\infty \) is
here \(\mathbb {1}_{(c_-,c_+)}\) is the indicator function of the set \((c_-,c_+)\). In particular, this measure belongs to the class of Arcsin distributions. Thus, we proved the following result.
Proposition 1
Consider the random Lax matrix L in (15) sampled from the Gibbs ensemble \(\textrm{d}\mu _{ET}\) (17) of the exponential Toda lattice (14). The density of states of the matrix L in the low-temperature limit, i.e. when \(\beta ,\theta ,\eta \rightarrow \infty \) in such a way that \(\eta = \widetilde{\eta }\beta ,\, \theta = \widetilde{\theta }\beta \), with \(\widetilde{\eta },\widetilde{\theta }\) in compact subsets of \( \mathbb {R}_+\), is the Arcsin distribution given by (25).
4 Volterra Lattice
The Volterra lattice, also known as the discrete KdV equation, describes the motion of N particles on the line with equations
It was originally introduced by Volterra to study population evolution in a hierarchical system of competing species. It was first solved by Kac and van Moerbeke in [40] using a discrete version of inverse scattering due to Flaschka [25]. Equations (26) can be considered as a finite-dimensional approximation of the Korteweg-de Vries equation.
The phase space is \(\mathbb {R}_+^N\) and we consider periodic boundary conditions \(a_j=a_{j+N}\) for all \(j\in \mathbb {Z}\). The Volterra lattice is a reduction of the second flow of the Toda lattice [40]. Indeed, the latter is described by the dynamical system
and Eq. (26) are recovered just by setting \(b_j\equiv 0\). The Hamiltonian structure of the equations follows from the one of the Toda lattice. On the phase space \(\mathbb {R}^N_+\) we introduce the Poisson bracket
and the Hamiltonian \(H_1 = \sum _{j=1}^N a_j\,\) so that the equations of motion (26) can be written in the Hamiltonian form
An elementary constant of motion for the system is \(H_0 = \prod _{j=1}^N a_j\) that is independent of \(H_1\).
The Volterra lattice is a completely integrable system, and it admits several equivalent Lax representations, see e.g. [40, 50]. The classical one reads
where
where we recall that the matrix \(E_{r,s}\) is defined as \(\left( E_{r,s}\right) _{ij}=\delta ^i_r \delta ^j_s\) and \(E_{j+N,i} =E_{j,i+N} = E_{j,i}\). There exists also a symmetric formulation due to Moser [50],
which assumes that all \(a_j > 0\).
Furthermore, we point out that there exists also an antisymmetric formulation for this Lax pair, indeed a straightforward computation yields
Proposition 2
Let \(a_j > 0\) for all \(j=1,\ldots ,N\). Then, the dynamical system (26) admits an antisymmetric Lax matrix \(L_3\) with companion matrix \(A_3\), namely the equations of motion are equivalent to \(\dot{L_3} = \left[ A_3,L_3\right] \) with
4.1 Gibbs Ensemble
We introduce a Gibbs ensemble for the Volterra lattice (26) by observing that its vector field \(f_j=a_j \left( a_{j+1} - a_{j-1} \right) \) is divergence free, due to the periodic boundary conditions. Therefore, an invariant measure can be obtained from (10). We use \( H_0 = \prod _{j=1}^N a_j,\) and \(H_1 = \sum _{j=1}^N a_j\) as constants of motion to construct the invariant measure
where
and \(\Gamma \left( \eta \right) \) is the Euler gamma function [53, §5]. We notice that according to this measure, all the variables are independent and identically distributed (i.i.d.).
Next we want to characterize the density of states of the antisymmetric Lax \(L_3\) of the Volterra lattice given in Proposition 2. Among the three Lax matrices of the Volterra lattice, the matrix \(L_3\) is particularly useful since it allows us to connect the Volterra lattice with a specific \(\alpha \)-ensemble, namely the antisymmetric Gaussian \(\alpha \)-ensemble. The antisymmetric Gaussian \(\alpha \)-ensemble, see [27], is the family of random antisymmetric tridiagonal matrices
where \(y_i\) are i.i.d. random variables with density
which is just a rescaled chi-distribution. Even though we use a different expression of the chi-distribution with respect to Sect. 3, we keep the same notation \( f_{2\alpha }(y)\) for the density that will be used only in this section. This distribution induces a measure on the entries of the matrix \(L_{\alpha }\), namely
In [27] the authors studied this matrix ensemble in connection with the antisymmetric Gaussian \(\beta \)-ensemble introduced by Dumitriu and Forrester [21] in the high temperature regime, and computed explicitly its density of states \( \nu _{L_{\alpha }}(x)\), defined as
where \(\lambda _j\) are the eigenvalues of \(L_\alpha \). Since the matrix \(L_\alpha \) is antisymmetric with real entries, its eigenvalues are purely imaginary numbers.
Theorem 2
(cf. [27]) The density of states of the random matrix \(L_\alpha \) in (32), is explicitly given by
where
here \(\Gamma (x)\) is the gamma function and \(W_{k,\mu }(z)\) is the Whittaker function (see Appendix 2) .
Remark 2
The proof of Theorem 2 has been obtained in [27] by comparing the antisymmetric Gaussian \(\alpha \)-ensemble (32) with the antisymmetric Gaussian \(\beta \)-ensemble at high temperature, which was considered in the same paper.
We notice that performing the change of coordinates \(a_j = x_j^2\), the Gibbs ensemble (30) reads:
which, up to a rescaling \(x_j \rightarrow x_j/\sqrt{\beta }\) and for the extra term \(x_N\) in the probability distribution, is exactly the distribution (33) of the matrix \(L_\alpha \). Furthermore, the matrix \(L_3\) is a 2 rank perturbation of the matrix \(L_\alpha \). Therefore, by a corollary of [12, Theorem A.41] and Theorem 2, we obtain the following.
Corollary 2
Consider the matrix \(L_3\) in (29) endowed with the Gibbs measure \(\textrm{d}\mu _{\text {Volt}}\) (30). Then, the density of states of the matrix \( L_3\) is explicitly given by
where \(\theta _\alpha (x)\) is given in (34).
4.2 Parameter Limit
As for the case of exponential Toda (14), in this section we consider the low-temperature regime of the Volterra lattice, namely the limit \(\eta ,\beta \rightarrow \infty \), in such a way that \(\eta = \beta \widetilde{\eta }\), with \(\widetilde{\eta }\) in a compact set of \( \mathbb {R}_+\), and we compute the density of states of the matrix \( L_3\) (28) in this regime.
Applying the same techniques of Sect. 3.1, we conclude that the density of states of the matrix \( L_3\) in the low-temperature limit coincides with the one of the matrix \(L_\infty \), where
Since the matrix \(L_\infty \) is circulant, we can readily compute its eigenvalues as
From this explicit formula, it follows that the density of states of the matrix \( L_\infty \) reads
Such measure coincides with the measure \( \nu _{L^\alpha }\) in the low-temperature limit, and it belongs to the class of Arcsin distributions. Thus, we just proved the following.
Proposition 3
Consider the Gibbs ensemble \(\textrm{d}\mu _{Volt}\) of the Volterra lattice (30), in the low-temperature limit, i.e. \(\beta ,\eta \rightarrow \infty \), in such a way that \(\eta = \widetilde{\eta }\beta \), where \(\widetilde{\eta }\) is in a compact subset of \(\mathbb {R}_+\). Then, the density of states \(\nu _{\text {Volt}}\) of the Lax matrix \(L_3\) in (28) converges, in this regime, to
5 Generalization of the Volterra Lattice: The INB k-Lattices
The Volterra lattice (26) can be generalized in a variety of ways. The most natural ones are two families of lattices described in [17] (see also [16, 39, 51] ) which include short range interactions. The first family is called additive Itoh–Narita–Bogoyavleskii (INB) k-lattice and is defined by the equations
The second family is called the multiplicative Itoh–Narita–Bogoyavleskii (INB) k-lattice and is defined by the equations
In both cases we consider the periodicity condition \(a_{j+N}=a_{j}\) holds.
Setting \(k=1\), we recover from both lattices the Volterra one (26). Further generalizations of the INB lattice were recently considered in [24].
A crucial difference in the two models is that in the additive lattice (35) the interaction is on arbitrary number of points, but the non-linearity is still quadratic like the original Volterra lattice (26); on the other hand , the multiplicative lattice (36) admits non-linearity of arbitrary order. Moreover, both families admit the KdV equation as continuum limits, see [17].
As mentioned earlier, the additive INB k-lattice is an integrable system for all \(k\in \mathbb {N}\) and \(i\in \mathbb {Z}\), since they all admit a Lax pair formulation (2). For the additive INB lattice (35), it reads
we recall that we are always considering periodic boundary conditions, so for all \(j \in \mathbb {Z}\), \(a_{j+N} = a_j\) and \(E_{i,j+N} =E_{i+N,j} = E_{i,j}\). The constants of motion obtained through this Lax pair are in involution with respect to the Poisson bracket
Then, the additive INB k-lattice (35) can be written as
where the Hamiltonian function \(H_{1}=\sum _{j=1}^{N} a_{j}\) is the same as in equation (27). In the same way, it is possible to prove that the function \(H_{0}=\prod _{j=1}^{N}a_{j}\) is a first integral for the additive INB k-lattice (35) as well.
Similarly, the multiplicative INB k-lattices can be endowed with a Lax Pair for all \(k\in \mathbb {N}\), therefore it is another example of integrable systems. Specifically, for the periodic case we presented in equation (36), the Lax pair reads
We notice that both \(H_1 = \sum _{j=1}^Na_j\), and \(H_0 = \prod _{j=1}^N a_j\) are constants of motion for these systems, for all \(k \in \mathbb {N}\).
Remark 3
For fixed k, there exists a transformation that maps the multiplicative INB k-lattice to the additive one. Namely, consider the system (36) and define the new set of variables
where the indices are taken modulo N. Then, it is immediate to see that
which in turn, due to telescopic summations, implies
which is (35). The transformation (39) is invertible only when k and N are co-prime, for a more detailed discussion see [17].
5.1 Gibbs Ensemble
We want to introduce an invariant measure for the INB lattices (35) and (36). Since \(H_0 = \prod _{j=1}^N a_j\) and \(H_1 = \sum _{j=1}^N a_j\) are constants of motion for all the INB lattices, and both systems are divergence free, in view of (10) we can consider as invariant measure the same one that we used for the Volterra lattice, namely
where the normalization constant \(Z_{N}^{\text {INB}}(\beta ,\eta )\) has the value given in equation (31). For example the random Lax matrix \(L^{(+,k)}\) takes the form
where the \(\chi ^2_{2\eta }\) distribution has density \(\frac{ a^{2\eta -1}}{2^\eta \Gamma (\eta )}e^{-\frac{a}{2}}\), and are in position \((i,i+k)\). Unlike the Lax matrix of the Volterra lattice, the Lax matrices of these generalizations lack of a known random matrix model to compare with. For this reason, we present numerical investigations of the density of states for these random Lax matrices for several values of the parameters \(k, \eta \) and \(\beta \), see Figs. 2 and 3. We notice that, for both the additive lattice and the multiplicative one, the density of states seems to possess a discrete rotational symmetry. In this spirit, we prove the following
Lemma 1
Fix \(\ell \in \mathbb {N}\). Then for N large enough
if \(\ell \) is not an integer multiple of \(k+1\).
Proof
We prove the statement for the additive case, the proof in the multiplicative one is analogous.
The main idea is to relate each addendum appearing in \(\text {Tr}\left( (L^{(+,k)})^\ell \right) \) to a specific path in the \(\mathbb {Z}^2\) plane, and prove that such a path exists if and only if \(\ell = m(k+1)\) for some \(m \in \mathbb {N}\). In particular, we can focus on the first element of the diagonal of \((L^{(+,k)})^\ell \), write \((L^{(+,k)})^\ell (1,1)\), since all the other ones can be recovered shifting the indices. First, we write \((L^{(+,k)})^\ell (1,1)\) as
We notice that, due to the structure of \(L^{(+,k)}\), if \(L^{(+,k)}(1,i_1)\cdots L^{(+,k)}(i_{\ell -1},1)\) is not zero, then either \(i_{s+1} = i_{s}+1\) or \(i_{s+1} = i_s -k \) modulo N. Now, consider paths in the \(\mathbb {Z}^2\) plane from the point (0, 0) to \((\ell ,0)\), such that the only permitted steps are the up step (1, 1) and the down step \((1,-k)\). Since these paths resemble the classical Dyck paths, we call them (1, k)-Dyck paths of length \(\ell \). Given a non-zero element of the product in (41), we can construct the corresponding path in the following way. We start at (0, 0), then if \(\vert i_1-1\vert = 1\) we make an up step of height 1, otherwise we make a down step of height k, and so on.
For each path, let n be the number of up steps and m the number of down steps, then
since there is a total of \(\ell \) step, and the path has to go back to height 0. Thus, we deduce that
and the claim is proven.
Remark 4
The previous result implies that the only non-zero moments of the densities of states \(\nu _{\text {INB},+,k}, \nu _{\text {INB},\times ,k}\), provided they exist, are the ones which are an integer multiple of \(k+1\).
Another interesting feature of these measures is that their supports seem to be exponentially localized to one dimensional contours. Specifically, it appears that the supports are the two hypotrochoids \(\gamma _{+,k},\, \gamma _{\times ,k}\), respectively
This feature is highlighted in Figs. 2 and 3, where we plot the empirical density of states and the corresponding hypotrochoid. This characteristic is important since this type of curves are also related to the density of some cyclic digraph, see [5], and may serve as a link between these two topics.
All these observations lead us to formulate the following conjecture
Conjecture 1
Consider the two matrices \(L^{(+,k)},\, L^{(\times ,k)}\) as in (37), (38) both endowed with the probability distribution \(\textrm{d}\mu _{\text {INB}}\) (40). Then, the densities of states \(\nu ^{\gamma ,\beta }_{\text {INB},+,k}\) and \( \nu ^{\gamma ,\beta }_{\text {INB},\times ,k}\) exist, and have a discrete rotational symmetry, namely
Moreover, the densities are exponentially localized in a neighbourhood of the two hypotrochoids \(\gamma _{+,k}(t,\eta ,\beta ) \) and \(\gamma _{\times ,k}(t,\eta ,\beta )\) in (42) respectively.
5.2 Parameter Limit
As in the previous cases, although we are not able to give an explicit formula for the density of states of the INB lattices for general \(\beta ,\eta \), we can characterize this measure in the low-temperature limit. Specifically, we consider the limit as \(\beta ,\eta \rightarrow \infty \) in such a way that \(\eta = \widetilde{\eta }\beta \), with \(\widetilde{\eta }\) in a compact set of \(\mathbb {R}_+\), and we compute the density of states of the matrices \(L^{(+,k)}, L^{(\times ,k)}\), endowed with the probability inherited from \(\textrm{d}\mu _{\text {INB}}\) (40), in this limit.
The procedure is the same as in the case of Volterra (see Section 4.2). Indeed, following the same line, we can conclude that the densities of states \(\nu ^{\infty }_{\text {INB},+,k}\) and \(\nu ^\infty _{\text {INB},\times , k}\) coincide with the densities of \(\mathfrak {L}^{(+)}\) and \(\mathfrak {L}^{(\times )}\) respectively, where
We notice that both matrices are circulant, thus we can compute their eigenvalues explicitly as
here \(j = 1, \ldots , N\). Thus, in the large N limit, we deduce that the support of the measures \(\nu ^{\infty }_{\text {INB}+,k}\) and \(\nu ^\infty _{\text {INB}\times , k}\) are the hypotrochoids
and the limiting eigenvalue densities are
We summarize these results in the following Proposition.
Proposition 4
The densities of states of the Lax matrices \(L^{(+,k)}\) and \( L^{(\times ,k)}\) in (37) and (38) endowed with the Gibbs measure \(\textrm{d}\mu _{\text {INB}}\) in (40), in the low temperature limit, i.e. when \(\eta ,\,\beta \rightarrow \infty \), in such a way that \(\eta = \widetilde{\eta }\beta \), with \(\widetilde{\eta }\) in a compact set of \(\mathbb {R}_+\), are given respectively by \(\nu ^{\infty }_{\text {INB}+,k}\) and \(\nu ^{\infty }_{\text {INB}\times ,k}\) in (43).
Remark 5
When the parameters satisfy the relation \(\widetilde{\eta }k<1\), the curve \( \gamma _{+,k}(t,\widetilde{\eta },1)\) is not self-intersecting, while for \(\widetilde{\eta }k>1\) the curve is self-intersecting. For \(\widetilde{\eta }k=1\) it has cusp singularities [19]. The limiting shape of the support as \(\widetilde{\eta }\rightarrow 0\) is a circle.
The same considerations are true for the curve \(\gamma _{\times ,k}(t,\widetilde{\eta })\) upon substitution \(\widetilde{\eta }\mapsto 1/\widetilde{\eta }\). We also observe that the density of states \(\nu ^{\infty }_{\text {INB}+,k}\) ( \(\nu ^{\infty }_{\text {INB}\times ,k}\)) in equation (43) is an Arcsin distribution for \(\widetilde{\eta }=\frac{1}{k}\) (\(\widetilde{\eta }=k\)) and the edges correspond to the cusps of the curve \(\gamma _{+,k}(t,\widetilde{\eta })\) ( \(\gamma _{\times ,k}(t,\widetilde{\eta })\)).
6 The Focusing Ablowitz–Ladik Lattice
The focusing Ablowitz–Ladik lattice is the following system of spatial discrete differential equations
where \(a_j\in \mathbb {C},\, j=1,\ldots ,N\), \(N\ge 3\), and we consider periodic boundary conditions \(a_{j+N} = a_j\) for all \(j\in \mathbb {Z}\). This equation was introduced by Ablowitz and Ladik [1, 2], by searching integrable spatial discretization of the cubic non-linear Schrödinger Equation (NLS) for the complex function \(\psi (x,t)\), \(x\in \mathbb {R}\), \(t\in \mathbb {R}^+\)
In contrast with what happens in the defocusing case, the particles \((a_1,\dots , a_N)\) are free to explore the whole \(\mathbb {C}^N\), which is the phase space of the system.
On the space \(\mathcal {C}^\infty (\mathbb {C}^N)\) we consider the Poisson bracket [23, 28]
We notice that the phase shift \(a_j(t) \rightarrow e^{-2 i t}a_j(t)\) transforms the AL lattice (44) into the equation
which we call the reduced AL equation. We remark that the quantity \( H_0 = 2\ln \left( \prod _{j=1}^N \rho _j^2 \right) \) is the generator of the shift \(a_j(t)\rightarrow e^{-2 i t}a_j(t)\), while \(H_1 = - K^{(1)} - \overline{K^{(1)}}\) with
generates the flow (45). Therefore, we can rewrite the AL equation as
Moreover, it is straightforward to verify that \(\{H_0,H_1\} = 0\). The Poisson bracket induces the symplectic form
that is invariant under the evolution generated by the Hamiltonians \(H_0\) and \(H_1\). Therefore, the volume form
is also invariant. In view of these properties, we can define the Gibbs ensemble for the focusing Ablowitz–Ladik lattice on the phase space \(\mathbb {C}^N\) as
where \(\textbf{a}= (a_1, \ldots , a_N)\), \( \textrm{d}^2 \textbf{a}=\prod _{j=1}^N (i\textrm{d}a_j\wedge \textrm{d}\overline{a}_j)\) and \(Z_{N}^{AL}(\beta )\) is the normalization constant of the system. We notice that according to this measure, all the variables are i.i.d.
Remark 6
The measure with density \(\exp (-\beta H_{AL})\) and \(\beta >0\) is not bounded nor normalizable on the whole phase space. For this reason, we have defined the Gibbs ensemble as in (47). Furthermore, we observe that the measure (47) has a finite number of moments, which implies that the corresponding density of states of the Lax matrix (see (49) below), if it exists, would have a finite number of moments.
The focusing AL lattice is a complete integrable system. Indeed it admits a Lax representation, first obtained by Ablowitz and Ladik from the discretization of the Zakharov–Shabat Lax pair for the focusing non-linear Schrödinger equation [63]. Gesztesy et al. [29] found a different Lax pair for the infinite case of focusing AL lattice, and for its general hierarchy. To adapt their construction, we double the size of the lattice according to the periodic boundary conditions, thus we consider a chain of 2N particles \(a_1, \ldots , a_{2N}\) such that \(a_j = a_{j+N}\) for \(j=1,\ldots , N\). Define the \(2\times 2\) matrix \(\Xi _j\)
and the \(2N\times 2N\) matrices
Now let us define the Lax matrix
that has the structure of a 5-band diagonal matrix
The N-periodic equation (45) is equivalent to the following Lax equation for the matrix \(\mathcal {E}\),
where
where the two projections \(M_+,\,M_-\) are defined for a \(2N\times 2N\) matrix as
We notice that the Lax matrix \(\mathcal {E}\) has a similar structure to the one of the defocusing AL lattice obtained by Nenciu, and Simon [52, 55]. The crucial difference is that while for the defocusing AL lattice the blocks \(\Xi _j \) are unitary matrices, for the focusing lattice this is not the case since \(\Xi _j\Xi _j^{\dagger } \ne I_2\) where \(I_2=\begin{pmatrix}1&{}0\\ 0&{}1\end{pmatrix}\) and \(^\dagger \) stands for hermitian conjugate.
The measure \(\textrm{d}\mu _{AL}\) induces a probability distribution on the entries of the matrix \(\mathcal {E}\), thus it becomes a random matrix. As in the previous cases, one would like to connect the density of states for this random matrix to the density of states of some \(\beta \)-ensemble in the high temperature regime, but, as in the case of the INB lattices, we lack of a matrix representation of some \(\beta \)-ensemble with eigenvalues supported on the plane.
We make the following observations. The matrix \(\Xi _j\) (48) is complex symmetric, and it can be factorized in the form
where the matrices \(U_j = \begin{pmatrix} \frac{a_j}{\sqrt{2}\vert a_j\vert }&{}\quad \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} &{}\quad - \frac{\overline{a_j}}{\sqrt{2}\vert a_j\vert } \end{pmatrix}\) are unitary, \(U_j^{-1} = U_j^{\dagger }\). Thus defining the matrices
we can rewrite the Lax matrix \(\mathcal {E}\) (49) as
where, defining \(c_j:=\frac{\overline{a_j}}{\vert a_j\vert \left( \vert a_j\vert + \sqrt{1+\vert a_j\vert ^2}\right) }\), the matrices \(\Lambda _{\text {odd}} \) and \( \Lambda _{\text {even}} \) are given by
Since we are interested in the distribution of the eigenvalues of \(\mathcal {E}\), it follows from the factorization (51) that we can also consider the matrix \( \Lambda _{\text {odd}} \widetilde{\mathcal {E}}\Lambda _{\text {even}}\widetilde{\mathcal {E}}^\intercal \), where \(\widetilde{\mathcal {E}}= \widetilde{\mathcal {L}}\widetilde{\mathcal {M}}\). The eigenvalues of \(\Lambda _{\text {even}},\Lambda _{\text {odd}}\) come in pairs, such that if \(\lambda \) is an eigenvalue, then also \(-\lambda ^{-1}\) is an eigenvalue. The matrix \(\widetilde{\mathcal {E}}\) is a periodic CMV matrix [18], thus its eigenvalues are on the unit circle.
Thus, we are in a similar setting considered in [35, 59, 60]. Indeed in [59] the authors derived the eigenvalues distribution of \(U\sqrt{D}\) where U is a Haar distributed unitary matrix and D is a fixed diagonal matrix with positive eigenvalues. They show that the density of states is rotational invariant and it is supported on a single ring whose radii \(r_1<r_2\) satisfy the constraint \(d_{min}<r_1<r_2<d_{max}\), where \(d_{min}\) and \(d_{max}\) are the minimum and maximum eigenvalues of D. In [35], the authors considered a similar problem, namely the characterization of the density of states for a matrix of the form UTV, where U, V are independent unitary matrices Haar distributed, and T is a real diagonal matrix independent of U, V. They proved, under some mild conditions, that the density of states of the matrix UTV is radially symmetric and it is supported on a ring.
It is therefore reasonable to expect that the density of states of the random Lax matrix of the Ablowitz–Ladik lattice is rotational invariant, but with unbounded support, indeed the eigenvalues of \(\Lambda _{\text {even}},\Lambda _{\text {odd}}\) could grow to infinity.
To confirm our expectations, we perform several numerical investigations of the eigenvalues of the random Lax matrix of the Ablowitz–Ladik lattice for various values of \(\beta \) (see Figs. 5 and 6). In Fig. 5 the eigenvalue density is shown. As expected, the density seems to be rotational invariant, and concentrated on a ring, exactly as in [35, 59, 60]. For this reason, we investigate the behaviour of the modulus of the eigenvalues, see Fig 6. They seem to be concentrated in a small region, but, in view of Remark 6, we expect that the tails should decay just polynomially fast.
6.1 Parameter Limit
Despite not being able to explicitly compute the density of states for general values of \(\beta \), we can perform such an analysis in the low-temperature limit, namely when \(\beta \rightarrow \infty \).
We notice that, according to (47), all the \(a_j\) are independent. Hence, in order to obtain the density of states in the low-temperature limit, we have to compute the weak limit of the density
Proceeding as in the previous cases, it follows that the following limit holds for all bounded and continuous \(f\;: \overline{\mathbb {D}}\rightarrow \mathbb {R}\):
The previous limit implies that the density of states of the Ablowitz–Ladik lattice in the low temperature limit is equal to the one of \(\widehat{\mathcal {E}}= \widehat{\mathcal {L}}\widehat{\mathcal {M}}\), where \(\widehat{\mathcal {L}},\,\widehat{\mathcal {M}}\) are \(2N\times 2N\) matrices
and \(\widehat{\Xi }\) is defined as the unitary matrix
To compute the density of states for the matrix \(\mathcal {E}\), we notice that both \(\widehat{\mathcal {M}}\), and \(\widehat{\mathcal {L}}\) are permutation matrices. Specifically, we identify them with the following permutations
As a consequence, the matrix \(\widehat{\mathcal {E}}\) itself corresponds to the permutation
This implies that the eigenvalues of \(\widehat{\mathcal {E}}\) are all double, and given by
From this explicit expression of the eigenvalues, it is straightforward to prove that
Thus, we have proved the following
Proposition 5
Consider the Gibbs ensemble \(\textrm{d}\mu _{AL}\) (47) of the focusing Ablowitz–Ladik lattice in the low-temperature limit, i.e. \(\beta \rightarrow \infty \). Then, the density of states \(\nu _{AL}\) of the Lax matrix \(\mathcal {E}\) (49) is given by
7 Schur Flow
The focusing Schur flow, also known as discrete mKdV, is an integrable system deeply related to the Ablowitz–Ladik lattice. Its equations of motion are
where here we consider periodic boundary conditions, \(a_{j} = a_{j+N}\) for all \(j\in \mathbb {Z}\). Notice that if \(a_j(0)\in \mathbb {R}\) for all \(j=1,\ldots ,N\), then \(a_j(t)\in \mathbb {R}\) for all times, implying that \(\mathbb {R}^N\) is an invariant subspace for the dynamics.
Recalling the definition (46) for \(K^{(1)} = \sum _{j=1}^N a_j\overline{a}_{j+1}\) and introducing the Poisson bracket
we can rewrite the equations of motion (52) as
Notice that the quantity \(H_0 = -2\ln \left( \prod _{j=1}^N \rho _j^2\right) \) is a global first integral for the system. Moreover, one can deduce immediately from the equations of motion that \(\mathbb {R}^N\) is invariant for the dynamics. Thus, in view of the Hamiltonian representation and this invariance, we define the Gibbs measure for the Schur flow as
where \(Z_N^S(\beta )\) is the normalization constant of the system,
Remark 7
Similarly to the focusing AL case, the classical Gibbs ensemble is not well-defined on the whole phase space. Indeed, the measure with density \(e^{-\beta H_S}\), \(\beta >0\) cannot be normalized on \(\mathbb {R}^N\).
The Schur flow is a completely integrable system since it admits a Lax formulation. Namely, define the \(2\times 2\) matrix \(\Xi _j\)
and, similarly to the Ablowitz–Ladik case, the \(2N\times 2N\) matrices
Then, the N-periodic equation (52) is equivalent to the following Lax equation for the matrix \(\mathcal {E}\):
where
where the two projection \(+,-\) are defined in (50).
Carrying on with the approach of this article, we study the density of states \(\nu _S\) for the matrix \(\mathcal {E}\) when the entries are distributed according to the measure (53). First, we notice that Remark 6 is valid also in the case of the focusing Schur flow. Moreover, since the variables \(a_j\) are real, we can factorize the matrices \(\Xi _j\) in the following way:
where we note that \(U_{0}^{-1}=U_{0}\), so that the above is a similarity transformation. Thus, defining
we can rewrite the Lax matrix of the Schur flow \(\mathcal {E}\) as
where
As in the case of the Ablowitz–Ladik lattice, since we are interested in just the distribution of the eigenvalues of \(\mathcal {E}\), we can consider the matrix \( \Lambda _{\text {odd}} \widetilde{\mathcal {E}}\Lambda _{\text {even}}\widetilde{\mathcal {E}}^\intercal \), where
As in the AL case, the eigenvalues of \(\Lambda _{\text {even}},\Lambda _{\text {odd}}\) come in pairs, such that if \(\lambda \) is an eigenvalue, then also \(-\lambda ^{-1}\) is an eigenvalue. The main difference with the case of the focusing AL lattice is that in this case the matrix \(\widetilde{\mathcal {E}}\) is deterministic. Thus, one can be led to think that the eigenvalue distribution of the Schur flow would be similar to the one of the AL lattice, but it is not the case. Indeed, we perform several numerical investigations, reported in Fig. 7, which shows that the behaviour of the eigenvalues is different in the two situations.
We notice that a consistent part of the eigenvalues tend to stay close to the real axis, see Fig. 7. This behaviour is also typical of the orthogonal Ginibre ensemble [22]. The main reason is that the eigenvalues of \(\widetilde{\mathcal {E}}\) are not evenly spaced on the unit circle, but they are constrained to the left semicircle, and are more dense nearby \(\pm i\) (see Fig. 8). Indeed we can give an accurate description of the spectrum of this matrix.
More precisely, we have the following.
Proposition 6
Let \(\widetilde{\mathcal {E}}\) be the \(2N \times 2N\) matrix defined in (55). Its eigenvalues are the solutions of the quadratic equations
counting the multiplicity.
Proof
See Appendix 1.
Remark 8
From Eq. (56) we can infer the limiting distributions of the eigenvalues of \(\widetilde{\mathcal {E}}\). We already know all of its eigenvalues lie in the unit circle, hence we can write \(\lambda = e^{i \varphi }\) for some \(\varphi \in [-\pi ,\pi )\). Equation (56) thus becomes
Passing to the limit \(N\rightarrow \infty \), by standard methods, we can compute the limiting density of the argument \(\varphi \) of the eigenvalues as
This behaviour is shown in Fig. 8.
Furthermore, as in the case of the AL lattice, for large \(\beta \) the eigenvalues tend to accumulate on the unit circle, see Fig. 7. In a similar way as done for the focusing AL lattice we conclude that the density of states of the random Lax matrix \(\mathcal {E}\) in (49) with probability distribution entries given by the Gibbs measure \(\textrm{d}\mu _{S}\) in (53), converge in the limit \(\beta \rightarrow \infty \) to the uniform measure on the unit circle.
8 Conclusions and outlook
In this manuscript, we underlined the deep relation between integrable systems and random matrix theory. Specifically, we showed that the exponential Toda lattice, and the Volterra one are related to the Laguerre \(\beta \)-ensemble at high temperature and the antisymmetric Gaussian \(\beta \)-ensemble at high temperature respectively. As we already mentioned in the introduction, these are not isolated and lucky relations, indeed the Toda lattice is related to the Gaussian \(\beta \)-ensemble at high temperature, and the Ablowitz–Ladik one to the Circular \(\beta \) ensemble. Thus, in view of the new relations that we obtained, we conclude that each classical \(\beta \)-ensemble in the high temperature regime is related to some integrable model, see Table 1.
Furthermore, we numerically investigate the additive and multiplicative INB lattices, which are a generalization of the Volterra one. Since the former lattice is related to the antisymmetric Gaussian \(\beta \)-ensemble, it may be possible that the INB lattice could be related to some generalization of the antisymmetric Gaussian \(\beta \)-ensemble themselves.
Finally, we considered the focusing Ablowitz–Ladik lattice and the focusing Schur flow. In view of our numerical investigations, we were able to formulate a precise conjecture regarding the eigenvalues distribution of the focusing Ablowitz–Ladik lattice. Considering the focusing Schur flow, we were not able to formulate a precise conjecture for its eigenvalues distribution. The expectation is that it would be related to the a possible Ginibre \(\beta \)-ensemble.
It would be fascinating to consider the generalized Gibbs ensemble for the exponential Toda lattice and the Volterra one, and prove that both their empirical measures satisfy a Large Deviation principle in the spirit of [33, 48]. Moreover, it would be interesting to apply the theory of Generalized Hydrodynamic [13] to have some insight regarding the behaviour of the correlation functions for these systems.
Notes
Often \(L{\text{- }}A\) pair in the Russian literature.
References
Ablowitz, M.J., Ladik, J.F.: Nonlinear differential–difference equations. J. Math. Phys. 16, 598–603 (1974)
Ablowitz, M.J., Ladik, J.F.: Nonlinear differential–difference equations and Fourier analysis. J. Math. Phys. 17, 1011–1018 (1975)
Ablowitz, M.J., Segur, H.: Solitons and the Inverse Scattering Transform. Society for Industrial and Applied Mathematics, Philadelphia (1981)
Abramowitz, M., Stegun,I.A.: Handbook of mathematical functions with formulas, graphs, and mathematical tables, National Bureau of Standards Applied Mathematics Series, No. 55, U. S. Government Printing Office, Washington, D.C., 1964. For sale by the Superintendent of Documents
Aceituno, P.V., Rogers, T., Schomerus, H.: Universal hypotrochoidic law for random matrices with cyclic correlations. Phys. Rev. E 100, 010302 (2019)
Allez, R., Bouchaud, J.P., Guionnet, A.: Invariant beta ensembles and the Gauss–Wigner crossover. Phys. Rev. Lett. 109, 1–5 (2012)
Allez, R., Bouchaud, J.-P., Majumdar, S.N., Vivo, P.: Invariant \(\beta \)-Wishart ensembles, crossover densities and asymptotic corrections to the Marčenko–Pastur law. J. Phys. A 46, 22 (2013)
Arnold, V.I.: On a theorem of Liouville concerning integrable problems in dynamics. Am. Math. Soc. Transl. 61, 292–296 (1967)
Arnold, V.I.: Dynamical Systems. III. Encyclopaedia of Mathematical Sciences, vol. 3. Springer, Berlin (1987)
Arnold, V.I.: Mathematical Methods of Classical Mechanics Graduate Texts in Mathematics, vol. 60, 2nd edn. Springer, Berlin (1997)
Babelon, O., Bernard, D., Talon, M.: Introduction to Classical Integrable Systems. Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge (2003)
Bai, Z., Silverstein, J.W.: Spectral Analysis of Large Dimensional Random Matrices. Springer Series in Statistics, Springer, New York (2010)
Benjamin, D.: Lecture Notes on Generalised Hydrodynamics. SciPost Phys. Lect. Notes (2020)
Bogomolny, E., Giraud, O., Schmit, C.: Random matrix ensembles associated with lax matrices. Phys. Rev. Lett. 103, 054103 (2009)
Bogomolny, E., Giraud, O., Schmit, C.: Integrable random matrix ensembles. Nonlinearity 24, 3179–3213 (2011)
Bogoyavlensky, O.I.: Integrable discretizations of the KdV equation. Phys. Lett. A 134, 34–38 (1988)
Bogoyavlensky, O.I.: Algebraic constructions of integrable dynamical systems-extensions of the Volterra system. Russ. Math Surv. 46, 1–64 (1991)
Cantero, M.J., Moral, L., Velázquez, L.: Minimal representations of unitary operators and orthogonal polynomials on the unit circle. Linear Algebra Appl. 408, 40–65 (2005)
do Carmo, M.P.: Differential Geometry of Curves and Surfaces: Revised and Updated Dover Books on Mathematics. Dover Publications, Mineola (2016)
Dumitriu, I., Edelman, A.: Matrix models for beta ensembles. J. Math. Phys. 43, 5830–5847 (2002)
Dumitriu, I., Forrester, P.J.: Tridiagonal realization of the antisymmetric Gaussian \(\beta \)-ensemble. J. Math. Phys. 51, 25 (2010)
Edelman, A.: The probability that a random real Gaussian matrix has \(k\) real eigenvalues, related distributions, and the circular law. J. Multivariate Anal. 60, 203–232 (1997)
Ercolani, N.M., Lozano, G.: A bi-Hamiltonian structure for the integrable, discrete non-linear Schrödinger system. Physica D 218, 105–121 (2006)
Evripidou, C.A., Kassotakis, P., Vanhaecke, P.: Integrable deformations of the Bogoyavlenskij–Itoh Lotka–Volterra systems. Regul. Chaotic Dyn. 22, 721–739 (2017)
Flaschka, H.: On the Toda lattice II Inverse-scattering solution. Progr. Theoret. Phys. 51, 703–716 (1974)
Flaschka, H.: The toda lattice I existence of integrals. Phys. Rev. B (3) 9, 1924–1925 (1974)
Forrester, P.J., Mazzuca, G.: The classical \(\beta \)-ensembles with \(\beta \) proportional to \(1/N\): from loop equations to Dyson’s disordered chain. J. Math. Phys. 62, 22 (2021)
Gekhtman, M., Nenciu, I.: Multi-Hamiltonian structure for the finite defocusing Ablowitz–Ladik equation. Commun. Pure Appl. Math. 62, 147–182 (2009)
Gesztesy, F., Holden, H., Michor, J., Teschl, G.: Local conservation laws and the Hamiltonian formalism for the Ablowitz–Ladik hierarchy. Stud. Appl. Math. 120, 361–423 (2008)
Golinskiĭ, L.B.: Schur flows and orthogonal polynomials on the unit circle. Mat. Sb. 197, 41–62 (2006)
Grava, T., Mazzuca, G.: Generalized Gibbs ensemble of the Ablowitz–Ladik lattice, Circular \(\beta \)-ensemble and double confluent Heun equation. arXiv:2107.02303 (2021)
Gray, R.M.: Toeplitz and circulant matrices: A review, foundations and trends®. Commun. Inf. Theory 2, 155–239 (2006)
Guionnet, A., Memin, R.: Large deviations for generalized Gibbs ensembles of the classical Toda chain. arXiv:2103.04858 (2021)
Guionnet, A., Zegarlinski, B.: Lectures on logarithmic Sobolev inequalities. Séminaire de probabilités de Strasbourg 36, 1–134 (2002)
Guionnet, A., Krishnapur, M., Zeitouni, O.: The single ring theorem. Ann. Math. (2) 174, 1189–1217 (2011)
Hardy, A., Lambert, G.: CLT for circular beta-ensembles at high temperature. J. Funct. Anal. 280, 40 (2021)
Harris, C.R., Millman, K.J., van der Walt, S.J., Gommers, R., Virtanen, P., Cournapeau, D., Wieser, E., Taylor, J., Berg, S., Smith, N.J., Kern, R., Picus, M., Hoyer, S., van Kerkwijk, M.H., Brett, M., Haldane, A., del Río, J.F., Wiebe, M., Peterson, P., Gérard-Marchant, P., Sheppard, K., Reddy, T., Weckesser, W., Abbasi, H., Gohlke, C., Oliphant, T.E.: Array programming with NumPy. Nature 585, 357–362 (2020)
Hunter, J.D.: Matplotlib: a 2D graphics environment. Comput. Sci. Eng. 9, 90–95 (2007)
Itoh, Y.: An \(H\)-theorem for a system of competing species. Proc. Jpn. Acad. 51, 374–379 (1975)
Kac, M., van Moerbeke, P.: On an explicitly soluble system of nonlinear differential equations related to certain Toda lattices. Adv. Math. 16, 160–169 (1975)
Khinchin, A.I.: Mathematical Foundations of Statistical Mechanics. Dover Publications, Inc., New York, N.Y. (1949). Translated by G. Gamow
Killip, R., Nenciu, I.: Matrix models for circular ensembles. Int. Math. Res. Not. 2004, 2665–2701 (2004)
Lax, P.D.: Integrals of nonlinear equations of evolution and solitary waves. Commun. Pure Appl. Math. 21, 467–490 (1968)
Liouville, J.: Note sur l’intégration des équations différentielles de la Dynamique, présentée au Bureau des Longitudes le 29 juin 1853. J. Math. Pures Appl. 20, 137–138 (1855)
Manakov, S.V.: Complete integrability and stochastization of discrete dynamical systems. Ž. Èksper. Teoret. Fiz. 67, 543–555 (1974)
Mazzuca, G.: gmazzuca/ramains: Density of states (2022)
Mazzuca, G.: On the mean density of states of some matrices related to the beta ensembles and an application to the Toda lattice. J. Math. Phys. 63, 13 (2022)
Mazzuca, G., Memin, R.: Large deviations for Ablowitz–Ladik lattice, and the Schur flow. arXiv:2201.03429 (2022)
Miller, P.D.: Applied Asymptotic Analysis. Graduate Studies in Mathematics, vol. 75. American Mathematical Society, Providence, RI (2006)
Moser, J.: Three integrable Hamiltonian systems connected with isospectral deformations. Adv. Math. 16, 197–220 (1975)
Narita, K.: Soliton solution to extended Volterra equation. J. Phys. Soc. Jpn. 51, 1682–1685 (1982)
Nenciu, I.: Lax pairs for the Ablowitz–Ladik system via orthogonal polynomials on the unit circle. Int. Math. Res. Not. 2005, 647–686 (2005)
NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.1.0 of 2020-12-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds
Olver, P.J.: Applications of Lie Groups to Differential Equations, 2nd edn. Springer, Berlin (1993)
Simon, B.: Orthogonal Polynomials on the Unit Circle, vol. 54.1 of Colloquium Publications, American Mathematical Society, Providence, Rhode Island (2005)
Spohn, H.: Generalized Gibbs ensembles of the classical Toda chain. J. Stat. Phys. 180, 4–22 (2020)
Spohn, H.: Hydrodynamic equations for the Ablowitz–Ladik discretization of the nonlinear Schroedinger equation. arXiv:2107.04866 (2021)
Waskom, M.L.: Seaborn: statistical data visualization. J. Open Source Softw. 6, 3021 (2021)
Wei, Y., Fyodorov, Y.V.: On the mean density of complex eigenvalues for an ensemble of random matrices with prescribed singular values. J. Phys. A 41, 9 (2008)
Wei, Y., Khoruzhenko, B.A., Fyodorov, Y.V.: Integral formulae for the eigenvalue density of complex random matrices. J. Phys. A 42, 10 (2009)
Yukawa, T.: Lax form of the quantum mechanical eigenvalue problem. Phys. Lett. A 116, 227–230 (1986)
Zaharov, V.E., Manakov, S.V., Novikov, S.P., Pitaevskiĭ, L.P.: Theory of Solitons. The Method of the Inverse Problem. Springer, Cham (1980)
Zakharov, V.E., Shabat, A.B.: Exact theory of two-dimensional self-focusing and one-dimensional self-modulation of waves in nonlinear media. Ž. Èksper. Teoret. Fiz. 61, 118–134 (1971)
Acknowledgements
This work was made in the framework of the Project “Meccanica dei Sistemi discreti” of the GNFM unit of INDAM. This material is based upon work supported by the National Science Foundation under Grant No. DMS-1928930 while the authors participated in a program hosted by the Mathematical Sciences Research Institute in Berkeley, California, during the Fall 20-21 semester “Universality and Integrability in Random Matrix Theory and Interacting Particle Systems”. M.G., T.G. and G.M. acknowledge the Marie Sklodowska-Curie Grant No. 778010 IPaDEGAN and the support of GNFM-INDAM group. TG and GM acknowledge the hospitality and support of the Galileo Galilei Institute, programme "Randomness, Integrability, and Universality". For the numerical simulations that we presented, we made extensive use of the NumPy [37], seaborn [58], and matplotlib [38] libraries.
Funding
Open access funding provided by Royal Institute of Technology. This work was supported bu Marie Sklodowska-Curie Grant No. 778010 IPaDEGAN Moreover, G.M. is financed by the KAM Grant Number 2018.0344.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interest.
Additional information
Communicated by Herbert Spohn.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Proof of Proposition 6
Recall that the matrix \(\widetilde{\mathcal {E}}\) is defined as \(\widetilde{\mathcal {E}}= \widetilde{\mathcal {L}}\widetilde{\mathcal {M}}\) where \(\widetilde{\mathcal {L}}\) and \(\widetilde{\mathcal {M}}\) are as in (54). It is a block circulant matrix, indeed we can write
with
One can immediately check that \(\lambda =\pm i\) are eigenvalues for \(\widetilde{\mathcal {E}}\) with eigenvectors
We now claim that, for fixed N, the remaining eigenvalues have multiplicity 2 and are the \((N-1)\) solutions to \(\Omega \left( \lambda \right) ^N =I_2\), where we defined
Such solutions are obtained by solving the equation
For \(j=0\) the solutions to (57) are \(\pm i\) which we already treated separately. Indeed \(\Omega \left( \pm i \right) \) is not diagonalizable and \(\Omega \left( \pm i \right) ^N \ne I_2\) for every N greater than 0. For any other \(j\in \{1,\dots ,\left\lfloor \frac{N}{2} \right\rfloor \}\), the solutions to (57) are
Since both the real and imaginary part are monotone functions of j, different \(j's\) will correspond to different solutions. Hence, if N is odd, we will have a total of \(N-1\) solutions coming from (58); if N is even one has \(N-2\) distinct solutions coming from the equation in (57) plus the double solution \(\lambda =-1\) obtained for \(j=N/2\).
For a given eigenvalue \(\lambda \), the corresponding independent eigenvectors are
Let us check the correctness of the claim. Write \(\widetilde{\mathcal {E}}v_1 :=(w_1, \dots , w_N)^\intercal \), where \(w_j\) are two-dimensional row vectors, then using the fact that \(\Omega \left( \lambda \right) ^N=I_2\), one can compute for any \(k=1,\dots ,N\),
which shows that \(v_1 \) is an eigenvector with eigenvalue \(\lambda \). The same proof clearly applies to the other eigenvector \(v_2\).
Appendix B: Confluent Hypergeometric Functions
1.1 Appendix B.1: Tricomi Confluent Hypergeometric Function
The Tricomi Confluent Hypergeometric function \(\psi (a,b;z)\), that we introduced in Theorem 1, is defined as the solution of the Kummer’s equation
such that
here \(\delta \) is a small positive constant. The origin is a regular singular point for this equation with indexes 0 and \(1-b\), moreover, this equation has an irregular singularity at infinity of rank one. Usually, \(\psi (a,b;z)\) has a branch point at 0, whose principal branch is the same as \(z^{-a}\), thus it has a cut on the z plane along the interval \((-\infty ,0]\).
1.2 Appendix B.2: Whittaker Function
The Whittaker function \(W_{\mu ,\kappa }(z)\), that we introduced in Theorem 2, is defined as the solution to the Whittaker’s equation
such that
here \(\delta \) is a small positive constant. The Whittaker’s equation is obtained from Kummer’s equation (59) via the substitution \(W = e^{-\frac{z}{2}}z^{\frac{1}{2} + \mu }\psi (a,b;z)\), with \(\kappa = \frac{1}{2}(b-a)\), and \(\mu = \frac{1}{2}(b-1)\). It has a regular singularity at 0 with index \(\frac{1}{2}\pm \mu \), and an irregular singularity at infinity of rank 1. Moreover, the following equality holds
For a more general overview on Confluent Hypergeometric functions, we refer to [53, Sect. 13], and [4, Chapter 13].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Grava, T., Gisonni, M., Gubbiotti, G. et al. Discrete Integrable Systems and Random Lax Matrices. J Stat Phys 190, 10 (2023). https://doi.org/10.1007/s10955-022-03024-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10955-022-03024-z
Keywords
- Integrable systems
- Random matrix theory
- Density of states
- Non-Hermitian random matrix
- Generalized Gibbs ensembles