Abstract
We consider the discrete defocusing nonlinear Schrödinger equation in its integrable version, which is called defocusing Ablowitz–Ladik lattice. We consider periodic boundary conditions with period N and initial data sampled according to the Generalized Gibbs ensemble. In this setting, the Lax matrix of the Ablowitz–Ladik lattice is a random CMV-periodic matrix and it is related to the Killip-Nenciu Circular \(\beta \)-ensemble at high-temperature. We obtain the generalized free energy of the Ablowitz–Ladik lattice and the density of states of the random Lax matrix by establishing a mapping to the one-dimensional log-gas. For the Gibbs measure related to the Hamiltonian of the Ablowitz–Ladik flow, we obtain the density of states via a particular solution of the double-confluent Heun equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The defocusing Ablowitz–Ladik (AL) lattice for the complex functions \(\alpha _j(t)\), \(j\in \mathbb {Z}\) and \(t\in \mathbb {R}\), is the system of nonlinear equations
where \(\dot{\alpha }_j =\dfrac{d \alpha _j}{dt}\). We assume N-periodic boundary conditions \(\alpha _{j+N}=\alpha _j\), for all \(j\in \mathbb {Z}\). The AL lattice was introduced by Ablowitz and Ladik [1, 2] as the spatial integrable discretization of the defocusing cubic nonlinear Schrödinger Equation (NLS) for the complex function \(\psi (x,t)\), \(x\in S^1\) and \(t\in \mathbb {R}\):
The cubic NLS equation was proved to be integrable by Zakharov and Shabat [70].
It is straightforward to verify that the quantity
is a constant of motion for the AL lattice, namely \(\dfrac{d}{dt}K^{(0)}=0\). This implies that if \(\vert \alpha _j(0)\vert <1\) for all \(j\in \mathbb {Z}\), then \(\vert \alpha _j(t)\vert <1\) for all \(t>0\). We chose the N-dimensional disc \(\mathbb {D}^N\) as the phase space of the AL lattice, here \(\mathbb {D}=\{z\in \mathbb {C}\,\vert \,\vert z\vert <1\}\). On \( \mathbb {D}^N\) we introduce the symplectic form [23, 30]
The corresponding Poisson bracket is defined for functions \(f,g \in \mathcal {C}^\infty (\mathbb {D}^N)\) as
The phase shift \(\alpha _j(t)\rightarrow e^{-2 i t}\alpha _j(t)\) transforms the AL lattice into the equation
which we call the reduced AL equation. We remark that the quantity \( - 2\ln (K^{(0)})\) is the generator of the shift \(\alpha _j(t)\rightarrow e^{-2 i t}\alpha _j(t)\), while \(H_1 = K^{(1)} + \overline{K^{(1)}}\) with
generates the flow (6). The AL equations (1) have the Hamiltonian structure
Integrability. As we have already said, the AL lattice was discovered by Ablowitz and Ladik by discretizing the \(2\times 2\) Zakharov-Shabat Lax pair [1] of the cubic nonlinear Schrödinger equation. For a comprehensive review see [3]. The integrability of the Ablowitz–Ladik system has also been proved by constructing a bi-Hamiltonian structure [9, 23]. A techniques to calculate the \(\tau \)-function correlators has been introduced in [15].
Using the connection between orthogonal polynomials on the unit circle and the AL lattice, Nenciu and Simon [54, 59] constructed a new Lax pair for the AL lattice that sometimes is referred to as the big Lax pair and which put the AL equation on the same foot as the Toda lattice. The link between orthogonal and biorthogonal polynomials on the unit circle and the Ablowitz-Ladik hierarchy (see also [4, 43]) is the analogue of the celebrated link between the Toda hierarchy and orthogonal polynomials on the real line (see e.g. [19]). This link was also generalized to the non-commutative case [14] (see also [16]). Generalization of this construction to other integrable equations has been considered in [55].
To construct the big Lax pair, we follow [54, 59] and we double the size of the chain according to the periodic boundary conditions, thus we consider a chain of 2N particles \(\alpha _1, \ldots , \alpha _{2N}\) such that \(\alpha _j = \alpha _{j+N}\) for \(j=1,\ldots , N\). Define the \(2\times 2\) unitary matrix \(\Xi _j\)
and the \(2N\times 2N\) matrices
Now let us define the unitary Lax matrix
that has the structure of a 5-band diagonal matrix
The matrix \(\mathcal {E}\) is a periodic CMV matrix (after Cantero Morales and Velsquez [17]). The N-periodic reduced AL Eq. (6) is equivalent to the following Lax equation for the matrix \(\mathcal {E}\):
where \(^\dagger \) stands for hermitian conjugate and
We observe that \((\mathcal {E}^+)^{\dagger }+(\mathcal {E}^{\dagger })^+=\mathcal {E}^{\dagger }\) and \([\mathcal {E},\mathcal {E}^{\dagger }]=0\) because \(\mathcal {E}\) is unitary. Therefore, one can write the Eq. (12) in the equivalent form
The formulation (12) implies that the quantities
are constants of motion for the defocusing AL system. For example
Furthermore, \(K^{(0)}, K^{(1)},\dots , K^{(N-1)}\) are functionally independent and in involution, showing that the N-periodic AL system is integrable [1, 3, 54].
Remark 1
The quantity \(2\Re (K^{(1)})\) generates the reduces AL Eq. (6), while the quantity \(-2\Im (K^{(1)}) \) generates the flow
which is called Schur flow. The Schur flow emerges in [2] as a spatial discretization of the defocusing modified Korteweg–de Vries equation
For the integration of the Schur flow and its relation to orthogonal polynomial on the unit circle see [32, 60].
Generalized Gibbs ensemble for the Ablowitz–Ladik lattice. The symplectic form \(\omega \) in (4) induces on \(\mathbb {D}^N\) the volume form \(\textrm{d}\text{ vol }=\dfrac{1}{K^{(0)}}\textrm{d}^2 {\varvec{\alpha }}\), with \(\textrm{d}^2 {\varvec{\alpha }}=\prod _{j=1}^{N}(i\textrm{d}\alpha _j\wedge \textrm{d}\overline{\alpha }_j\,) \). We observe that \(\int _{\overline{\mathbb {D}}^N}\textrm{d}\text{ vol }=\infty \), however, we can define the Gibbs measure with respect to the Hamiltonian \(H_{AL}\) in (8) [68]:
where \(Z_{\beta }=\int _{\overline{\mathbb {D}}^N}e^{\beta \Re (K^{(1)})}\prod _{j=1}^{N}(1-\vert \alpha _j\vert ^2)^{\beta -1}\textrm{d}^2 {\varvec{\alpha }}<\infty \) is the normalizing constant. The above probability measure is clearly invariant under the Hamiltonian flow \(\alpha _j(0)\rightarrow \alpha _j(t)\) associated to the Ablowitz–Ladik Eq. (1).
Since the Ablowitz–Ladik lattice posses several conserved quantities (15), one can introduce a Generalized Gibbs Ensemble on the phase space \(\mathbb {D}^N\) in the following way. Fix \(\mathbb {N}\ni \kappa \le N-1\) and let us define
where \(\eta _m \in \mathbb {R}\) are called chemical potentials. Then
where \(K^{(m)}\) are the AL conserved quantities (15). The finite volume Generalized Gibbs measure can be written as:
where \(Z^{AL}_N(V,\beta )\) is the partition function of the system:
Choosing the initial data of the Ablowitz–Ladik lattice according to the Generalized Gibbs measure (18), the Lax matrix \(\mathcal {E}\) turns into a random matrix. In [51] Mendl and Sphon study the dynamic of the Ablowitz–Ladik lattice at non-zero temperature. They study numerically correlation functions and in particular, introducing the density \(\delta _j=\Re (\alpha _{j+1}\overline{\alpha }_j)\), they study the density-density correlation function
where \(\mathbb {E}\left[ \cdot \right] \) is the expectation with respect to Gibbs measure (16). They showed numerically that density-density time correlations in thermal equilibrium have symmetrically located peaks, which travel in opposite directions at constant speed, broaden ballistically and decay as \(1/t^{\gamma }\) when \(t\rightarrow \infty \), where the scaling exponent \(\gamma \) is approximately equal to one. This behaviour is believed to be typical of integrable nonlinear systems.
More quantitative results have been obtained for linear (integrable) systems and for the Toda lattice. It was shown in [34] that the fastest peaks of the correlation functions of harmonic oscillators with short range interactions have a Airy type scaling. Regarding nonlinear integrable systems in [61] Spohn was able to connect the Gibbs ensemble of the Toda lattice to the Dumitriu-Edelman \(\beta \)-ensemble [21]. In this way, the generalized Gibbs free energy of the Toda chain turns out to be related to the \(\beta \)-ensembles of random matrix theory in the mean-field regime [7, 22]. The behaviour of the correlation functions of the Toda chains has been derived by applying the theory of generalized hydrodynamic [20, 62]. We mention also the recent work [36], where the authors derive a large deviation principle for the mean density of states for the Generalized Gibbs measure of the Toda lattice.
2 Statement of the Results
In this manuscript we derive the mean density of states \(\mu ^\beta _{AL}\) of the random Lax matrix \(\mathcal {E}\) sampled according to generalized Gibbs measure (18) and we determine the free energy of the AL generalized Gibbs ensemble
This is achieved by connecting the generalized Gibbs ensemble of the Ablowitz–Ladik lattice to the Killip-Nenciu [42] matrix Circular \(\beta \)-ensemble at high-temperature investigated by Hardy and Lambert [37]. Further connections between discrete integrable systems with Gibbs measure initial data and classes of random matrices has been explored in [33]. For connections between integrable PDEs and random objects see [6].
Let \(\mathcal {M}(\mathbb {T})\) be the space of probability measures on the torus \(\mathbb {T}=[-\pi ,\pi ]\) and for \(\mu \in \mathcal {M}(\mathbb {T})\) let us consider the functional
Remark 2
Here and below, we make an abuse of notation by denoting the potential \(V(z)=V(e^{i\theta })\) simply by \(V(\theta )\).
For sufficiently regular potential \(V(\theta )\), the functional (20) has a unique minimizer \(\mu _{HT}^{\beta }(\textrm{d}\theta )=\mu _{HT}^{\beta }(\theta )\textrm{d}\theta \), [58], that describes the density of states of the Circular \(\beta \)-ensemble at high-temperature [37]. For finite \(\beta \) and smooth potentials \(V(\theta )\), it has been shown by Hardy and Lambert in [37] that the minimizer \(\mu _{HT}^{\beta }(\textrm{d}\theta )\) has a smooth density and its support is the whole torus \(\mathbb {T}\).
Theorem 1
(First Main theorem). Consider \(\beta >0\) and a smooth potential V as in (17) on the unit circle \(\mathbb {T}\). The mean density of states \(\mu _{AL}^\beta (\textrm{d}\theta ):=\mu _{AL}^\beta (\theta )\textrm{d}\theta \) of the Ablowitz–Ladik Lax matrix \(\mathcal {E}\) in (11) endowed with the probability (18) is absolutely continuous with respect to the Lebesgue measure and takes the form
where \(\mu _{HT}^\beta \) is the unique minimizer of the functional (20).
To prove the above theorem we derive a relation (see Proposition 8) between the free energy of the \(\beta \)-ensembles at high-temperature, namely the minimum value of the minimizer (20)
and the free energy \(F_{AL}(V,\beta )\) of the AL lattice:
Such relation is obtained via transfer operator techniques.
The particular case \(V(\theta )=2\eta \cos \theta \) corresponds to the free energy associated to the AL Eq. (1), and we show that the minimizer of the functional (20) is obtained via a particular solution of the Double Confluent Heun (DCH) equation.
Theorem 2
(Second main theorem). Fix \(\beta >0\) and let \(V(\theta )=\eta \cos \theta \), where \(\eta \) is a real parameter. There exists \(\varepsilon >0\) such that for all \(\eta \in (-\varepsilon ,\varepsilon )\), the minimizer \(\mu _{HT}^{\beta }(\textrm{d}\theta )=\mu ^{\beta }_{HT}(\theta )\textrm{d}\theta \) of the functional (20) takes the form
where v(z) is the unique solution (up to a multiplicative non-zero constant) of the Double Confluent Heun (DCH) equation
analytic for \(\vert z\vert \le r\) with \(r\ge 1\). Such solution is differentiable in the parameter \(\eta \) and \(\beta \). The parameter \(\lambda =\lambda (\eta ,\beta )\) in (23) is determined for \( \eta \in (-\varepsilon ,\varepsilon )\) by the solution of the equation
with the condition \(\lambda (\eta =0,\beta )=0\). In the above expression \((R_1)_{jk}\) is the jk entry of the matrix \(R_1\) which is defined by the infinite product
We remark that the solution of the double confluent Heun equation has generically an essential singularity at \(z=0\) and \(z=\infty \), and one needs to tune the accessory parameter \(\lambda \) to obtain an analytic solution, for a review see [57]. In our derivation of (23) the parameter \(\lambda \) coincides with the first moment of the measure \(\mu (\theta )\), namely \(\lambda =\int _{\mathbb {T}}\mu (\theta )e^{i\theta }d\theta \). It is a transcendental function of \(\beta \) and \(\eta \) and it is related to the Painlevé III Eq. [24, 47].
Remark 3
Under the change of variable
the DCH Eq. (23) takes the form of a Schrödinger equation
with potential q(z) singular at the origin
Remark 4
For the case \(V=0\) it was shown in [37] that the minimizer of the functional (42) is the uniform measure on the circle, while for the case \(V(\theta )= \beta V(\theta ) \) and \(\beta \rightarrow \infty \) the minimizer of (20) was considered in [49]. The particular case \( V(\theta )\rightarrow \beta \eta \cos \theta \) and \(\beta \rightarrow \infty \) has first been considered by Gross–Witten [35] and Baik–Deift–Johansson [11]. The measure (22) in Theorem 2 generalizes the result of Gross and Witten [35] and Baik–Deift–Johansson [11] to the high-temperature regime (see Remark 9).
This manuscript is organized as follows. In Sect. 3 we introduce the Circular \(\beta \) ensemble and its high-temperature limit. Then we review results in the literature on Circular \(\beta \) ensemble and we derive some technical results needed to prove our main theorems. In Sect. 4 we prove our first main theorem, namely Theorem 1 and in Sect. 5 we prove Theorem 2. Finally, the most technical parts of our arguments are deferred to the appendices.
3 Circular \(\beta \) Ensemble at High-Temperature
The Circular Ensemble at temperature \(\tilde{\beta }^{-1}\) is a system of N identical particles on the one-dimensional torus \(\mathbb {T}=[-\pi ,\pi ]\) with distribution
where \(Z_N^{C\tilde{\beta } E}>0\) is the norming constant, or partition function of the system. For \(\tilde{\beta }=1,2,4\) Dyson observed that the above measure corresponds to the eigenvalue distribution of circular orthogonal ensemble (COE), circular unitary ensemble (CUE) and circular symplectic ensemble (CSE) of random matrix ensembles (see e.g. [25, 50]). For general \(\tilde{\beta }>0\), Killip and Nenciu proved that the Circular \(\beta \) Ensemble can be associated to the eigenvalue distribution of a random sparse matrix, the so-called CMV matrix, after Cantero, Moral, Velázquez [17]. To state their result, we need the following definition.
Definition 1
A complex random variable X with values on the unit disk \(\mathbb {D}\) is \(\Theta _\nu \)-distributed (\(\nu >1\)) if
for any measurable function \(f\,:\,\mathbb {D}\rightarrow \mathbb {C}\). When \(\nu = 1\), \(\Theta _1\) is the uniform distribution on the unit circle \(S^1\).
We recall that for \(\mathbb {N}\ni \nu \ge 2\), such measure has the following geometrical interpretation: if \(\textbf{u}=(u_1,u_2,\dots ,u_{\nu +1})\) is chosen at random according to the surface measure on the unit sphere \(S^\nu \) in \(\mathbb {R}^{\nu +1}\), then \(u_1+i u_2\) is \(\Theta _\nu -\)distributed. We can now state the result of Killip-Nenciu.
Theorem 3
(cf. [42] Theorem 1). Consider the block diagonal \(N\times N\) matrices
where the block \(\Xi _j\), \(j=1,\dots , N-1\), takes the form
while \(\Xi _{0} = (1)\) and \(\Xi _{N} = (\overline{\alpha }_{N})\) are \(1\times 1\) matrices. Define the \(N \times N\) sparse matrix
and suppose that the entries \(\alpha _j \) are independent complex random variables with \(\alpha _j\sim \Theta _{\widetilde{\beta }(N-j) +1 }\) for \(1\le j\le N-1\) and \(\alpha _{N}\) is uniformly distributed on the unit circle. Then the eigenvalues of E are distributed according to the Circular Ensemble (25) at temperature \(\tilde{\beta }^{-1}\).
We observe that each of the matrices \(\Xi _j\) is unitary, and so are the matrices L and M. As a result, the eigenvalues of E clearly lie on the unit circle. The matrix E is a 5-diagonal unitary matrix that takes the form
We are interested in the probability distribution (25) when
-
We add an external field, namely \(d\theta _i\rightarrow e^{-2V(\theta _i)}d\theta _i \) with \(V:\mathbb {T}\rightarrow \mathbb {R}\) a smooth potential;
-
We consider the limit \(\widetilde{\beta }\rightarrow 0\) and \(N \rightarrow \infty \) in such a way that \(\widetilde{\beta }N = 2\beta , \, \beta >0.\) Since \(\widetilde{\beta }\) is interpreted as the inverse of the temperature, such limit is called high-temperature regime.
With the above changes, we arrive to the probability distribution of the Circular ensemble at high-temperature, and with an external potential:
where \(\mathcal {Z}^{HT}_N(V,\beta )\) is the partition function of the system. Also in this case, we can associate to the above probability distribution a random CMV matrix. The lemma below has probably already appeared in the literature, but for completeness we provide the proof.
Lemma 4
Let E be the CMV matrix (29). Consider the block \(2N\times 2N\) matrix
whose entries are distributed according to
Then the eigenvalues of \(\widetilde{E}\) are all double, they lie on the unit circle and are distributed according to (30).
Moreover
where \(\mathcal {Z}^{HT}_N(V,\beta )\) is the norming constant of the probability distribution (30) and \(Z^{HT}_N(V,\beta ) \) is the norming constant of the probability distribution (32).
Proof
First, we notice that the eigenvalues of \(\widetilde{E}\) are all double, since it is a block diagonal matrix with two identical blocks.
We consider the change of variables \(\alpha _N \rightarrow e^{i \varphi }\), thus (32) becomes:
Now, let \(e^{i\theta _1}, \ldots ,e^{i\theta _N}\) be the eigenvalues of the CMV matrix E endowed with probability (32), and let \(q_1, \ldots ,q_N\) be the entries of the first row of the unitary matrix Q such that \(Q^\dagger \Theta Q = E\) where \(\Theta =\text{ Diag }(e^{i\theta _1}, \ldots ,e^{i\theta _N})\) and \(\sum _{k=1}^N\vert q_k\vert ^2=1\). We introduce the variable \(\gamma _j = \vert q_j\vert ^2\) for \(j=1,\ldots , N\), then from [42] (Lemma 4.1, and relation (4.14) in Proposition 4.2) we have
here \({\varvec{\gamma }}= (\gamma _1,\ldots ,\gamma _{N-1})\), and \(\Delta (e^{i\varvec{\theta }}) = \prod _{j<\ell }\left( e^{i\theta _j} - e^{i\theta _\ell }\right) \). Applying the previous equalities to (34) we derive
Thus, we deduce the relation
here \(\Delta \) is the simplex \(\sum _{j=1}^N \gamma _j = 1\). The above integral is a well-known Dirichlet integral that can be computed explicitly (see [42, Lemma 4.4])
proving (33). \(\square \)
Let \(e^{i\theta _1},\dots , e^{i\theta _N}\) be the double eigenvalues of the CMV Matrix \(\tilde{E}\) in (31), whose entries are distributed according to (34). The empirical measure is the random probability measure
The mean density of state \(\mu ^\beta _{HT}\) is defined as the non-random probability measure such that
for all continuous function f on the torus \(\mathbb {T}\), and the expected value is taken with respect to (32). In order to discuss the large N limit of \(\mu _N\) we have to introduce several quantities. Let \(\mathcal {M}(\mathbb {T})\) be the set of probability measures on the one-dimensional torus \(\mathbb {T}\) and for \(\mu \in \mathcal {M}(\mathbb {T})\) we consider the logarithmic energy [58]
We define the relative entropy \(K(\mu \vert \mu _0)\) of \(\mu \) with respect to \(\mu _0(\textrm{d}\theta )=\dfrac{\textrm{d}\theta }{2\pi }\) as
when \(\mu \) is absolutely continuous with respect to \(\mu _0\) and otherwise \(K(\mu \vert \mu _0):= +\infty \). The relevant functional is
When \(\mathcal {F}^{(V,\beta )}(\mu )\) is finite, it follows that \(\mu \) is absolutely continuous with respect to the Lebesgue measure \(\mu _0\) and we can write \(\mu (\textrm{d}\theta )=\mu (\theta )\textrm{d}\theta \). We denote by \(C^{n,1}(\mathbb {T})\) with \(n=0, 1,2,\dots \) the space of n-times differentiable functions whose n-derivative is also Lipschitz continuous.
The following result describes the limiting measure \(\mu ^\beta _{HT}\) in (41) for the circular \(\beta \)-ensembles at high temperature.
Theorem 5
(cf. [37, Proposition 2.1 and 2.5]). Let \(\mathcal {M}(\mathbb {T})\) be the set of probability measures on the one-dimensional torus and \(V \, :\, \mathbb {T}\rightarrow \mathbb {R}\) be a measurable and bounded function. For any \(\beta > 0\) consider the functional \(\mathcal {F}^{(V,\beta )}:\mathcal {M}(\mathbb {T})\rightarrow [0,\infty ]\)
Then
-
(a)
The functional \( \mathcal {F}^{(V,\beta )}(\mu )\) has a unique minimizer \(\mu ^{\beta }_{HT}(\textrm{d}\theta )=\mu ^{\beta }_{HT}(\theta )\textrm{d}\theta \) in \(\mathcal {M}(\mathbb {T})\);
-
(b)
\(\mu ^{\beta }_{HT}\) is absolutely continuous with respect to the Lebesgue measure and there is \(0<\delta <1 \) such that
$$\begin{aligned} \delta \le \frac{\mu ^{\beta }_{HT}(\theta )}{2\pi }\le \delta ^{-1},\quad a.e.\,; \end{aligned}$$ -
(c)
If \(V=0\), then \(\mu ^{\beta }_{HT}(\textrm{d}\theta ) = \frac{1}{2\pi }\textrm{d}\theta \);
-
(d)
If \(V \in C^{m,1}(\mathbb {T})\), then \(\mu ^{\beta }_{HT} \in C^{m,1}(\mathbb {T})\);
-
(e)
The empirical measure \(\mu _N\) in (40) converges weakly and almost surely to the measure \(\mu ^{\beta }_{HT}\) as \(N\rightarrow \infty \).
From the above theorem when the potential V is at least \(C^{2,1}(\mathbb {T})\) the minimizer of the functional \(\mathcal {F}^{(V,\beta )}\) is characterized by the Euler-Lagrange equations
where \(C(V,\beta )\) is a constant in \(\theta \). Below we derive further properties of the minimizer \(\mu ^{\beta }_{HT}\) following [36].
Lemma 6
For any V(z) as in (17), any \(\beta >0\) the following holds
-
(a)
The map \(\beta \rightarrow \inf \left( \mathcal {F}^{(V,\beta )}(\mu )\right) \) is Lipschitz;
-
(b)
The maps \(t \rightarrow \inf \left( \mathcal {F}^{(V+t\Re (z^m),\beta )}(\mu )\right) ,\, t \rightarrow \inf \left( \mathcal {F}^{(V+t\Im (z^m),\beta )}(\mu )\right) \) are Lipschitz;
-
(c)
Let D be the distance on \(\mathcal {M}(\mathbb {T})\) given by
$$\begin{aligned} \begin{aligned} D(\mu , \mu ')&= \left( - \int \int \ln \left| \sin \left( \frac{\theta - \phi }{2}\right) \right| (\mu - \mu ')(\textrm{d}\theta )(\mu - \mu ')(\textrm{d}\phi )\right) ^{1/2}\\&= \sqrt{\sum _{k\ge 1} \frac{1}{k}\left| \widehat{\mu }_k - \widehat{\mu }'_k \right| ^2}\,, \end{aligned} \end{aligned}$$(44)where \(\widehat{\mu }_k = \int _\mathbb {T}e^{ik\theta } \mu (\textrm{d}\theta )\), and we recall that \(\widehat{\log (\vert x\vert )} = \sum _{k\ge 1}k^{-1}\) in distributional sense. Then for any \(\varepsilon >0\) there exists a finite constant \(C_\varepsilon \) such that for all \(\beta ,\beta '>\varepsilon \)
$$\begin{aligned} D(\mu _{HT}^\beta , \mu _{HT}^{\beta '}) \le C_\varepsilon \left| \beta - \beta ' \right| \,. \end{aligned}$$(45)
Remark 5
For a real valued function \(f\in L^2(\mathbb {T})\) with derivative in \(L^2(\mathbb {T})\) we define \(\vert \vert f\vert \vert _{\frac{1}{2}} = \sqrt{\sum _{k\ge 1} k \vert \widehat{f}_k\vert ^2}<\infty \). So, for any measure \(\nu \) with zero mass we deduce that
where in the first inequality we use Cauchy-Schwartz inequality and in the second one we plug in (44).
Combining (45) and (46) we conclude that for any real valued function f with finite \(\vert \vert f\vert \vert _{\frac{1}{2}}\) norm, the map \(\beta \rightarrow \int _{\mathbb {T}}f\textrm{d}\mu _{HT}^\beta (\textrm{d}\theta )\) is Lipschitz for \(\beta > 0\). As a consequence, the moments of \(\mu _{HT}^\beta \) are almost surely differentiable with respect to \(\beta \).
Proof of Lemma 6
The proof follows the lines of the corresponding one in [36]. To prove points a) and b) we exploit the same ideas, thus we restrict to point a).
For all \(\beta> \beta ' > 0\) we have
and
so that
Since \( E (\mu _{HT}^{\beta }),\) and \( E (\mu _{HT}^{\beta '})\) are finite we obtain the claim.
We now move to the proof of point c). Setting \(\Delta \mu = \mu _{HT}^{\beta } - \mu _{HT}^{\beta '}\) we deduce that
where in the second identity we used (43). Since \(\int _{\mathbb {T}}\ln \left( \frac{\mu _{HT}^\beta (\theta )}{\mu _{HT}^{\beta '}(\theta )}\right) \mu _{HT}^\beta (\textrm{d}\theta ) \le 0 \) by Jensen’s inequality, we deduce that
Following [36], we introduce a new probability measure \(\nu \in \mathcal {M}(\mathbb {T})\) in the previous expression, so that
We chose \(\nu \) in such a way that the function \(g_\nu (\phi ) = \int _{\mathbb {T}} \ln \left| \sin \left( \frac{\theta - \phi }{2}\right) \right| \nu (\textrm{d}\theta )\) is in \(L^2(\mathbb {T})\) with derivative in \(L^2(\mathbb {T})\). With this choice of \(\nu \) and applying (46) we conclude that there exists a constant c such that
Next, taking the Fourier transform and apply again the Cauchy-Schwartz inequality as in (46) we obtain
since \(D(\mu _{HT}^{\beta '},\nu )\) is bounded. Combining (51), (52) and (53) we conclude that there exists a constant \(c_0\) such that
from which (45) follows. \(\square \)
For convenience, we define \(F_{HT}(V,\beta )\) as the value of the functional at the minimizer, namely
The quantity \(F_{HT}(V,\beta )\) is referred to as free energy of the Circular \(\beta \) ensemble at high-temperature. It is a standard result that (see e.g. [29])
where the partition function \(\mathcal {Z}^{HT}_N(V,\beta )\) of the Circular \(\beta \) ensemble at high-temperature is defined in (30).
Remark 6
We notice that from (33) and (56) we can also obtain the free energy \(F_{HT}(V,\beta )\) from the partition function \(Z^{HT}_N(V,\beta )\) of the CMV matrix ensemble (32), namely:
The literature related to the high-temperature regime of the classical \(\beta \)-ensembles is quite broad. For completeness, we mention some of the results in the field. In [7, 8, 22, 27, 37, 65, 66] the authors explicitly computed the mean density of states for the classical Gaussian, Laguerre, Jacobi, and Circular \(\beta \) ensemble at high-temperature. In [7, 8, 27, 37] the densities of states are computed as a solution of some particular ordinary differential equations. On the other hand, in [22, 65, 66] the density of states is constructing from the moment generating functions. Several authors [12, 45, 52, 53, 67] investigated the local fluctuations of the eigenvalues, and they observed that in this regime they are described by a Poisson process. In particular, in [45] Lambert studied the local fluctuations for general Gibbs ensembles on N-dimensional manifolds, moreover he also studied the asymptotic behaviour of the maximum eigenvalue for the classical \(\beta \) ensembles at high-temperature. In [26, 27] the loop equations for the classical \(\beta \)-ensembles at high-temperature are studied, in particular in [26] a duality between high and low temperature is uncovered. There are also results for a Coulomb gas at high temperature in two dimensions [5]. It is worth mentioning also the work [48], where some new tridiagonal random matrix ensembles related to the classical \(\beta \) one at high-temperature are defined.
4 Proof of Theorem 1
The probability distribution (18) of generalized Gibbs ensemble of the Ablowitz–Ladik lattice is very close to the probability distribution (32) of the Circular \(\beta \) ensemble at high-temperature with an external source. Indeed, the only difference between the two ensembles is the exponent of the terms \(\left( 1-\vert \alpha _j\vert \right) \) in the probability distributions (18) and (32) and the fact that the random matrix of the Ablowitz–Ladik lattice is a rank 2 perturbation of the random matrix of the circular \(\beta \)-ensemble. Our first main result contained in Theorem 1 relates the mean density of states of the random Lax matrix \(\mathcal {E}\) of the Ablowitz–Ladik lattice to the mean density of states of the random matrix E from the Circular \(\beta \) ensemble at high-temperature.
To prove the result, we use the moment matching technique and the following lemma.
Lemma 7
([10, Lemma B.1 – B.2]). Let \(\textrm{d}\sigma , \textrm{d}\sigma '\) be two measures defined on \(\mathbb {T}\), with the same moment sequence \(\{u^{(\ell )}\}_{\ell \ge 0}\). If
then \(\textrm{d}\sigma = \textrm{d}\sigma '\).
Next we define the free energy of the generalized Gibbs ensemble of the Ablowitz–Ladik lattice at temperature \(\beta ^{-1}\) and in an external field V as:
where the partition function \(Z^{AL}_N(V,\beta )\) is defined in (19). The next proposition shows that the free energy \(F_{AL}(V,\beta )\) of the Generalized Gibbs ensemble of the Ablowitz–Ladik lattice and the free energy \(F_{HT}(V,\beta )\) in (56) of the Circular \(\beta \) ensemble at high-temperature are related. This fact allows us to calculate the moments of the mean density of states of the CMV matrix E in (29) and of the Lax matrix \(\mathcal {E}\) in (11).
Proposition 8
The free energy \(F_{AL}(V,\beta )\) in (59) of the AL lattice and the free energy \(F_{HT}(V,\beta )\) in (56) of the Circular \(\beta \) ensemble at high-temperature are analytic with respect to \(\beta >0\), and are related by
The moments of the density of states \(\mu ^\beta _{AL}\) of the Lax matrix \(\mathcal {E}\) in (11) endowed with the probability measure (18) and the moments of the density of states \(\mu _{HT}\) of the Circular \(\beta \) ensemble in the high-temperature regime (32) are related to the free energies \(F_{AL}(V,\beta )\) and \(F_{HT}(V,\beta )\) by
and analogously for the imaginary part of the moments taking care of using the potential \(V + \frac{t}{2}\Im (z^m)\).
Since the proof of this proposition is rather technical, we postpone it to Appendix A. We are now ready to prove the first main Theorem 1.
Proof of Theorem 1
First, we define \(c_n(\beta ) := \int e^{i\theta n} \mu _{AL}^\beta (\textrm{d}\theta ),\)
\(d_n(\beta ) := \int e^{i\theta n} \mu _{HT}^\beta (\textrm{d}\theta )\). Since the eigenvalues of \(\mathcal {E}\) lie on the unit circle, we deduce the following chain of inequalities:
where the expectation in made according to the Gibbs measure. Thus, from Lemma 7, we obtain that the measure \(\mu _{AL}^\beta (\textrm{d}\theta )\) is uniquely characterized by its moments.
Next, from Proposition 8 and Remark 5 we obtain the relation
between the moments of the measures \(\mu ^\beta _{AL}(\theta )\) and \(\mu _{HT}^\beta (\theta )\) respectively.
This, together with (63) and Remark 5 implies
\(\square \)
Our next main result provides an explicit expression of the mean density of states \(\mu _{HT}(\theta )\) for the potential \(V(z)=\eta \Re (z)\). This generalizes the result by Gross and Witten [35] and Baik-Deift-Johansson [11] obtained for finite temperature to the high-temperature regime.
5 Proof of Theorem 2
The proof of Theorem 2 consists of mainly two parts: we first derive from the variational equations with respect to the functional \(\mathcal {F}^{(V,\beta )}\), the double confluent Heun equation (23). Then we show that such equation admits an analytic solution in any compact sets of the complex plane containing the origin. From Theorem 5 we know that the density \(\mu ^\beta _{HT}\) is characterized as the unique minimizer of the functional (42). We follow the ideas developed in [7, 8, 18, 27] to find this minimizer explicitly. We consider the Euler-Lagrange equation of the functional (42), namely
where the equation holds almost everywhere, \(C(V,\beta )\) is a constant depending on the potential and \(\beta \), but not on the variable \(\theta \). Differentiating the Euler-Lagrange equation (65) at the minimizer \(\mu _{HT}^\beta (\theta )\) with respect to \(\theta \) we obtain the following integral equation (see [37, Proposition 2.5]):
where \(\mathcal {H}\) is the Hilbert transform defined on \(L^2(\mathbb {T})\) as
and \(\text{ p.v. }\) is the Cauchy principal value, that is the limit as \(\varepsilon \rightarrow 0\) of the integral on the torus \(\mathbb {T}\) restricted to the domain \(\vert e^{i\theta }-e^{i\phi }\vert >\varepsilon \). We notice that the Hilbert transform \(\mathcal {H}\) is diagonal on the bases of exponential \(\{e^{in\theta }\}_{n\in \mathbb {Z}}\), meaning that
where \(\text{ sgn }(\cdot )\) is the sign function with the convention that \(\text{ sgn }(0) = 0\).
Setting \(e^{i\theta }=z\) and \(e^{i\phi }=w\), we recognize the Riesz–Herglotz kernel \(\dfrac{z+w}{z-w}\) expressed as
Therefore
where \(S^1\) is the anticlockwise oriented circle, and we used the normalization condition \(\int _{\mathbb {T}}\mu (\phi )\textrm{d}\phi =1\). In the following, in order to simplify the notation, we indicate \(\mu (\phi )_{\vert e^{i\phi } = w}\) just as \(\mu (w)\). We can recast (66) in the form
For \(z\in \mathbb {C}\backslash S^1\) let us define
and for \(z\in S^1\) let \(G_\pm (z) = \lim _{\widetilde{z} \rightarrow z} G(\widetilde{z}) \) for \(\widetilde{z}\) inside and outside the unit circle respectively. Then by (69)
This implies that for \(z\in S^1\) one has
Multiplying the two previous expressions, one obtains:
In order to proceed we have to specify the potential V(z), in our case we will consider
Applying the Sokhtoski-Plemelj formula [28] to the above boundary value problem, one obtains
The second term in the r.h.s. of the above expression gives
where we have defined
The third term in the r.h.s. of (76) gives
where in these last relations we use the results of Theorem 5 about the regularity of \(\mu \). Now we can rewrite (76) as
Remark 7
In the above ODE, the parameter \(\lambda = \lambda (\eta ,\beta )\) depends via (78) implicitly on the function G(z). Our strategy to solve the above equation is to consider \(\lambda \) as a free parameter that is uniquely fixed by the analytic properties of the function G(z).
We can now turn the non-linear first order ODE (80) into a linear second order ODE through the substitution
getting:
which is the DCH equation in (23). The solutions to this equation have generically essential singularities at \(z=0\) and \(z=\infty \) and the local description near the singularities depends on the parameter \(\eta \) and \(\beta \). Indeed we have that the two fundamental solutions near \(z=0\) have the following asymptotic behaviour
where \(\kappa _{j}(\eta ,\beta ,\lambda ;z)\), \(j=1,2\), are asymptotic series in a neighbourhood of \(z=0\). The quantity \(\lambda \) is usually referred to as accessory parameter. Since G(z) is analytic in the unit disk, continuous up to the boundary, and \(G(0)=i\), we deduce that
has to be analytic in the unit disk. For this reason we seek for a solution v(z) of the DCH equation that is analytic in the unit disk and such that \(v(z) \xrightarrow [z\rightarrow 0]{} v_0 \), where \(v_0\) is a nonzero constant.
Construction of the analytic solution of equation (82). Of the fundamental solutions (83) and (84) of Eq. (82) only the solution (84) has a chance of being analytic near \(z=0\). This occurs if we are able to make the asymptotic series defined by \(\kappa _2(\eta ,\beta ,\lambda ,z)\), into a convergent series. We look for a solution of (82) in the form of a convergent power series
where \(a_k=a_k(\eta ,\beta ,\lambda )\). This implies the following recurrence relations for the coefficients \(\{a_k\}_{k\in \mathbb {N}}\)
where we have the freedom to chose \(\lambda \) and \(a_0\). Generically, the above recurrence relation for the coefficients \(\{a_k\}_{k\in \mathbb {N}}\) gives a divergent series in (85). To obtain a convergent series, we follow the ideas in [13, 64].
We start by considering the \(2\times 2 \) matrices \(R^{(s)}_k\) defined as
which satisfy the recurrence relation \(R_k^{(s)}=R_k^{(s-1)}M_s\). The next lemma shows that the limit of \(R_k^{(s)}\) as \(s\rightarrow \infty \) exists.
Lemma 9
Let \(R_k^{(s)}\) be the matrix defined in (88). Then the limit of \(R_k^{(s)}\) as \(s\rightarrow \infty \) exists and
The matrices \(R_k\), \(k\ge 1\) satisfy the descending recurrence relation:
Furthermore each entry of the matrix \(R_k=R_k(\beta ,\eta ,\lambda )\) is differentiable with respect to the parameters \(\beta , \, \eta \), and \(\lambda \).
Since the proof of this lemma is rather technical, we defer it to appendix B. Further, let us define the following function:
We are now ready to prove the following result that will give us a necessary condition to fix the value of \(\lambda \).
Proposition 10
For the values of \(\lambda \) such that
where \( \xi (\eta ,\beta ,\lambda ) \) is defined in (91), the Double Confluent Heun equation (82) admits a non-zero solution \(v=v(z,\eta ,\beta )\) defined by the series (85) that is uniformly convergent in \(\vert z\vert \le r\) with \(r\ge 1\). The corresponding coefficients \(\{a_k\}_{k\in \mathbb {N}}\) of the Taylor expansion (85) are given by the relation
where the matrices \(R_k\) are defined in (89). For each \(\lambda \) satisfying (92), the solution v(z) of the DCH equation (82), analytic at zero is unique up to a multiplicative factor.
Proof
First, we show that choosing \(a_k\) according to (93)–(94) we obtain a solution of the recurrence (87). We notice that due to the recurrence relation for the matrices \(R_k\) (90), we have that:
Thus, applying the previous equation and (93)–(94), we can recast (87) as:
where in the last equality we have enforced (90). Next we can rewrite (86) in terms of the matrix \(R_1\) exploiting (93)–(94), namely
which is exactly (91). Since the entries of the matrices \(R_k\) are uniformly bounded, the solution \(v(z)=\sum _{k\ge 0}a_kz^k\) with \(a_k\) as in (94), defines a uniformly convergent Taylor series in \(\vert z\vert <r\) for any \(r\ge 0\) and in particular for any \(r>1\).
To show that the solution analytic at \(z=0\) is unique up to a constant, we consider the Wronkstian \(W(v,\tilde{v})(z)\) of two independent solution v and \(\tilde{v}\) of the Double Confluent Heun equation (82), namely
Since \(W'(v,\widetilde{v})(z)=0\), it follows that \(W(v,\widetilde{v})(z)=C\) a constant. If by contradiction we suppose that there are two analytic solutions at \(z=0\), then from the above relation we obtain
When \(\eta \ne 0\) the left-hand side of the above equation is analytic and the right-hand side is not, that is clearly a contradiction. When \(\eta =0\) then (82) becomes:
The above equation has two independent solutions, one is the constant solution, which is analytic, the other one is \(v(z) = Cz^{-\beta }\) which is not analytic since \(\beta >0\). \(\square \)
Remark 8
We observe that the Eq. (92) does not uniquely determine \(\lambda \). Indeed, as it is shown in Fig. 1 the function \(\xi (\eta ,\beta ,\lambda )\) may have several zeros for given \(\eta \) and \(\beta \).
Choice of the parameter \(\lambda \). We will now prove that the parameter \(\lambda \) is uniquely determined in a neighbourhood of \(\eta =0\) by requiring that the solution \(v=v(z,\eta ,\beta )\) depends continuously on the parameter \(\eta \).
Lemma 11
There exists an \(\varepsilon >0\) such that for all \(\eta \in (-\varepsilon ,\varepsilon )\) and \(\beta > 0 \) there is a unique \(\lambda = \lambda (\eta ,\beta )\) such that \(\xi (\eta , \beta , \lambda (\eta ,\beta )) = 0\).
Proof
When \(\eta =0\) the matrix \(R_j=\begin{pmatrix}1&{}0\\ 1&{}0\end{pmatrix}\) so that the only solution of the equation (92) \(\xi (\eta =0,\beta , \lambda ) = 0\) is \(\lambda = 0\). To show the existence of the solution (92) for \(\lambda =\lambda (\eta ,\beta )\) near \(\eta =0\), we use the implicit function theorem. We have to show that \(\partial _\lambda \xi (\eta ,\beta ,\lambda )_{\vert _{(0,\beta ,0)}} \ne 0\). For this purpose, we need to evaluate
where \(M_k\) is defined in (89). This equation implies that
Thus we can apply the implicit function theorem, and we obtain the claim. \(\square \)
We conclude the proof of Theorem 2. When \(\eta =0\) the only analytic solution of DCH equation is \(v(z)=c\), \(c\in \mathbb {C}\backslash \{0\}\). In this case, in principle \(\lambda \) is undetermined. However, from Theorem 5 the minimizer \(\mu ^\beta _{HT}\) of (42) is the uniform measure on the circle and therefore from equation 78 one has \(\lambda =0\). From Lemma 11 when \(\eta \in (-\varepsilon ,\varepsilon )\), there exists a unique \(\lambda (\eta ,\beta )\) that satisfies equation (92) and such that \(\lambda (\eta =0,\beta )=0\) and therefore by Proposition 10 we obtain for \(\eta \in (-\varepsilon ,\varepsilon )\), the unique solution \(v(z,\eta ,\beta )\) of the DCH equation analytic in any compact set \(\vert z\vert \le r\), with \(r>0\) and in particular when \(r=1\). Because of lemma 9 the solution \(v(z,\eta ,\beta )\) is differentiable with respect to the parameters \(\eta \) and \(\beta \).
We remark that \(v(z)\ne 0\) on the unit disc \(\overline{\mathbb {D}}\) because of the relation (81) between the analytic function G(z) and v(z) and the uniqueness of the minimizer \(\mu ^{\beta }_{HT}\) and of the analytic solution v(z) of (82).
To complete our proof of Theorem 2 we recover the explicit expression of \(\mu ^\beta _{HT}(\theta )\) from G(z) and v(z) using the Poisson representation formula (see for example [59, Chapter 1]):
\(\square \)
In Fig. 2 we plotted the density of states of the Circular \(\beta \) ensemble in the high-temperature regime with potential \(V(z) = \eta \Re (z)\). To produce this picture and Fig. 1, we used extensively the NumPy [38], and matplotlib [39] libraries.
Remark 9
The Gross–Witten [35] and Baik-Deift-Johannson [11] solution is obtained by making the substitution \(\eta \rightarrow \beta \eta \) and \(\beta \rightarrow \infty \) in Eq. (42) which gives the functional
The minimizer is \(\mu (\theta )= \frac{1}{2\pi }\left( 1 - 2\eta \cos \theta \right) \) with \(0\le 2\eta \le 1\). In this case the first moment \(\lambda =-\eta \).
Added note. Independently, H. Spohn [63] discovered the connection between the Ablowitz–Ladik lattice and the circular \(\beta \) ensemble at high-temperature. He also calculated Generalized Gibbs Ensemble averaged field and currents and the associated hydrodynamic equations.
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., Prinari, B., Trubatch, A.D.: Discrete and Continuous Nonlinear Schrödinger Systems. Cambridge University Press, Cambridge (2003)
Adler, M., van Moerbeke, P.: Integrals over classical groups, random permutations, Toda and Toeplitz lattices. Comm. Pure Appl. Math. 54, 153–205 (2001)
Akemann, G., Byun, S.-S.: The high temperature crossover for general 2D Coulomb gases. J. Stat. Phys. 175, 1043–1065 (2019)
Bothner, T.: On the origins of Riemann–Hilbert problems in mathematics. Nonlinearity 34(4), R1–R73 (2021)
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 Math. Theor. 46, 1–26 (2013)
Angelopoulos, Y., Killip, R., Visan, M.: Invariant measures for integrable spin chains and an integrable discrete nonlinear Schrödinger equation. SIAM J. Math. Anal. 52, 135–163 (2020)
Bai, Z., Silverstein, J.W.: Spectral Analysis of Large Dimensional Random Matrices. Springer Series in Statistics, Springer, New York, NY (2010)
Baik, J., Deift, P., Johansson, K.: On the distribution of the length of the longest increasing subsequence of random permutations. J. Am. Math. Soc. 12, 1119–1178 (1999)
Benaych-Georges, F., Péché, S.: Poisson statistics for matrix ensembles at large temperature. J. Stat. Phys. 161, 633–656 (2015)
Buchstaber, V.M., Tertychnyi, S.I.: Holomorphic solutions of the double confluent Heun equation associated with the RSJ model of the Josephson junction. Theor. Math. Phys. (Russian Fed.) 182, 329–355 (2015)
Cafasso, M.: Matrix biorthogonal polynomials on the unit circle and non-abelian Ablowitz-Ladik hierarchy. J. Phys. A 42, 365211, 20 (2009)
Cafasso, M., Yang, D.: Tau-functions for the Ablowitz–Ladik hierarchy: the matrix-resolvent method. J. Phys. A 55(20), 204001, 16 (2022)
Cafasso, M., Claeys, T., Ruzza, G.: Airy kernel determinant solutions to the KdV equation and integro-differential Painlevé equations. Comm. Math. Phys. 386(2), 1107–1153 (2021)
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)
Deift, P., Kriecherbauer, T., McLaughlin, K.T.-R.: New results on the equilibrium measure for logarithmic potentials in the presence of an external field. J. Approx. Theory 95, 388–475 (1998)
Deift, P.A.: Orthogonal polynomials and random matrices: a Riemann-Hilbert approach. Courant Lecture Notes in Mathematics, New York University, Courant Institute of Mathematical Sciences, vol. 3. New York; American Mathematical Society, Providence, RI (1999)
Doyon, B.: Lecture Notes On Generalised Hydrodynamics. SciPost Phys. Lect. Notes, 18 (2020)
Dumitriu, I., Edelman, A.: Matrix models for beta ensembles. J. Math. Phys. 43, 5830–5847 (2002)
Duy, K.T., Shirai, T.: The mean spectral measures of random Jacobi matrices related to Gaussian beta ensembles. Electron. Commun. Probab. 20, 1–15 (2015)
Ercolani, N.M., Lozano, G.: A bi-Hamiltonian structure for the integrable, discrete non-linear Schrödinger system. Phys. D 218, 105–121 (2006)
Fokas, A.S., Its, A.R., Kapaev, A.A., Novokshenov, V.Y.: Painlevé transcendents. American Mathematical Society, Providence, RI, The Riemann-Hilbert approach. (2006)
Forrester, P.J.: Log-Gases and Random Matrices. London Mathematical Society Monographs Series, vol. 34. Princeton University Press, Princeton, NJ (2010)
Forrester, P.J.: High-low temperature dualities for the classical \(\beta \)-ensembles. Random Matrices Theory Appl. 11, 2250035, 25 (2022)
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, 073505, 22 (2021)
Gakhov, F. D.: Boundary value problems, Dover Publications, Inc., New York. Translated from the Russian, Reprint of the 1966 translation (1990)
García-Zelada, D.: A large deviation principle for empirical measures on Polish spaces: application to singular Gibbs measures on manifolds. Ann. Inst. Henri Poincaré Probab. Stat. 55, 1377–1401 (2019)
Gekhtman, M., Nenciu, I.: Multi-Hamiltonian structurefor the finite defocusing Ablowitz–Ladik equation. Commun. Pure Appl. Math. 62, 147–182 (2009)
Gohberg, I., Goldberg, S., Krupnik, N.: Traces and Determinants of Linear Operators. Operator Theory: Advances and Applications, vol. 116. Birkhäuser Verlag, Basel (2000)
Golinskii, L.: Schur flows and orthogonal polynomials on the unit circle. Sb. Math. 197, 1145–1165 (2006)
Grava, T., Gisonni, M., Gubbiotti, G., Mazzuca, G.: Discrete integrable systems and random Lax matrices. J. Stat. Phys. 190, 10, 35 (2023)
Grava, T., Kriecherbauer, T., Mazzuca, G., McLaughlin, K.D.T.-R.: Correlation functions for a chain of short range oscillators. J. Stat. Phys. 183, 1–31 (2021)
Gross, D., Witten, E.: Possible third-order phase transition in the large N-lattice gauge theory. Phys. Rev. D 21, 446–453 (1980)
Guionnet, A., Memin, R.: Large deviations for Gibbs ensembles of the classical Toda chain. Electron. J. Probab. 27, 46, 29 (2022)
Hardy, A., Lambert, G.: CLT for circular beta-ensembles at high temperature. J. Funct. Anal. 280, 108869, 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)
Kato, T.: Perturbation theory for linear operators, Classics in Mathematics, Springer-Verlag, Berlin. Reprint of the 1980 edition (1995)
Kevrekidis, P.G., Rasmussen, K.Ø., Bishop, A.R.: The discrete nonlinear Schrödinger equation: a survey of recent results. Int. J. Mod. Phys. B 15, 2833–2900 (2001)
Killip, R., Nenciu, I.: Matrix models for circular ensembles. Int. Math. Res. Not. 2004, 2665 (2004)
Killip, R., Nenciu, I.: CMV: the unitary analogue of Jacobi matrices. Commun. Pure Appl. Math. 60, 1148–1188 (2007)
Krumhansl, J.A., Schrieffer, J.R.: Dynamics and statistical mechanics of a one-dimensional model Hamiltonian for structural phase transitions. Phys. Rev. B 11, 3535–3545 (1975)
Lambert, G.: Poisson statistics for Gibbs measures at high temperature. Ann. de l’Institut Henri Poincaré, Probabilités et Statistiques 57, 326–350 (2021)
Lang, S.: Complex Analysis. Graduate Texts in Mathematics, vol. 103. Springer, New York, NY (1999)
Lisovyy, O., Naidiuk, A.: Accessory parameters in confluent Heun equations and classical irregular conformal blocks. Lett. Math. Phys. 111, 137, 28 (2021)
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, 043501, 13 (2022)
McLaughlin, K.T.-R., Miller, P.D.: The \(\overline{\partial }\) steepest descent method and the asymptotic behavior of polynomials orthogonal on the unit circle with fixed and exponentially varying nonanalytic weights. IMRP Int. Math. Res. Pap. 48673, 1–77 (2006)
Mehta, M.L.: Random Matrices. Pure and Applied Mathematics (Amsterdam), vol. 142, 3rd edn. Elsevier/Academic Press, Amsterdam (2004)
Mendl, C., Sphon, H.: Low temperature dynamics of the one-dimensional discrete nonlinear Schrödinger equation. J. Stat. Mech. Theory Exp. 8, P08028, 35 (2015)
Nakano, F., Trinh, K.D.: Gaussian beta ensembles at high temperature: eigenvalue fluctuations and bulk statistics. J. Stat. Phys. 173, 295–321 (2018)
Nakano, F., Trinh, K.D.: Poisson statistics for beta ensembles on the real line at high temperature. J. Stat. Phys. 179, 632–649 (2020)
Nenciu, I.: Lax pairs for the Ablowitz-Ladik system via orthogonal polynomials on the unit circle. Int. Math. Res. Not. 2005, 647–686 (2005)
Nijhoff, F.W., Papageorgiou, V.G., Capel, H.W., Quispel, G.R.W.: The lattice Gelfand-Dikii hierarchy. Inverse Problems 8, 5970621 (1992)
Peyrard, M., Bishop, A.R.: Statistical mechanics of a nonlinear model for DNA denaturation. Phys. Rev. Lett. 62, 2755–2758 (1989)
Ronveaux, A.: Heun’s Differential Equations. Oxford University Press, Oxford (1995)
Saff, E.B., Totik, V.: Logarithmic potentials with external fields, vol. 316 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Springer-Verlag, Berlin. Appendix B by Thomas Bloom (1997)
Simon, B.: Orthogonal Polynomials on the Unit Circle, vol. 54.1 of Colloquium Publications. American Mathematical Society, Providence, Rhode Island (2005)
Simon, B.: Szegő’s theorem and its descendants, M. B. Porter Lectures, Princeton University Press, Princeton, NJ. Spectral theory for \(L^2\) perturbations of orthogonal polynomials (2011)
Spohn, H.: Generalized Gibbs ensembles of the classical Toda chain. J. Stat. Phys. 180, 4–22 (2020)
Spohn, H.: Hydrodynamic equations for the Toda lattice (2021) arXiv preprint: arXiv:2101.06528
Spohn, H.: Hydrodynamic equations for the Ablowitz-Ladik discretization of the nonlinear Schrödinger equation. J. Math. Phys. 63, 033305, 21 (2022)
Tertychniy, S.I.: General solution of overdamped Josephson junction equation in the case of phase-lock. Electron. J. Differ. Equ. 2007, 1–20 (2007)
Trinh, H.D., Trinh, K.D.: Beta Jacobi ensembles and associated Jacobi polynomials. J. Stat. Phys. 185, 4, 15 (2021)
Trinh, H.D., Trinh, K.D.: Beta Laguerre ensembles in global regime. Osaka J. Math. 58, 435–450 (2021)
Trinh, K.D.: Global spectrum fluctuations for Gaussian beta ensembles: a Martingale approach. J. Theoret. Probab. 32, 1420–1437 (2019)
Vanninsky, K. L.: An additional Gibbs’ State for the Cubic Schrödinger Equation on the Circle, Comm on Pure and Applied Math., LIV, 0537–0582, 537–582 (2001)
Zaanen, A. C.: Riesz spaces. II, vol. 30 of North-Holland Mathematical Library, North-Holland Publishing Co., Amsterdam (1983)
Zkharov, V., Shabat, A.: Exact theory of two-dimensional self-focusing and one-dimensional self-modulation of waves in nonlinear media. Sov. Phys. JETP 34, 62–69 (1972)
Acknowledgements
We thank Thomas Kriecherbauer, Ken McLaughlin, Gaultier Lambert and Herbert Spohn for the many discussions and suggestions during our time at MSRI. We thank Rostyslav Kozhan for useful comments on the manuscript. This material is based upon work supported by the National Science Foundation under Grant No. DMS-1928930 while the author participated in a program hosted by the Mathematical Sciences Research Institute in Berkeley, California, during the Fall 2021 semester “Universality and Integrability in Random Matrix Theory and Interacting Particle Systems”. This project has received funding from the European Union’s H2020 research and innovation programme under the Marie Skłodowska–Curie grant No. 778010 IPaDEGAN. TG acknowledges the support of GNFM-INDAM group and the research project Mathematical Methods in NonLinear Physics (MMNLP), Gruppo 4-Fisica Teorica of INFN. G.M. is financed by the KAM grant number 2018.0344.
Funding
Open access funding provided by Scuola Internazionale Superiore di Studi Avanzati - SISSA within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Horng-Tzer Yau.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors Tamara Grava and Guido Mazzuca are equally contributed this work.
Appendices
Appendix A Proof of Proposition 8
First, we prove the relation between the free energies (60) namely:
and we show that \( F_{HT}(V,\beta )\) is analytic with respect to \(\beta >0\).
From Remark 6, the above expression is equivalent to:
To prove this relation, we will use the so-called transfer operator technique [41, 44, 56]. We are considering a potential of the form \(\text{ Tr }(V(\mathcal {E}))\) as in (17) which is of finite range K, meaning that it can be expressed as a sum of local quantities, i.e. depending on a finite number 2K of variables, with K independent of N [54]. For example, if \(V(z) =\Re ( z)\), then \(\text{ Tr }(\mathcal {E}) = -2\sum _{j=1}^N\Re ( \alpha _j\overline{\alpha }_{j+1})\) and in this case the range is \(K=1\). Let \(N = KM + L\) with \(M,L\in \mathbb {N}\) and \(L< K\). We split the coordinates \((\alpha _1,\dots ,\alpha _N)\) into M blocks of length K and a reminder of length L, and we define the vector \(\widetilde{{\varvec{\alpha }}}_j \) of length K as
In this notation,
where \(W \,:\, \overline{\mathbb {D}}^{K}\times \overline{\mathbb {D}}^{K} \rightarrow \mathbb {R}\) and \(W_1 \,:\, \overline{\mathbb {D}}^{L}\times \overline{\mathbb {D}}^{K} \rightarrow \mathbb {R}\) are continuous functions. The last two terms in the above expression are different from the others since we may have an off-set of length L, due to periodicity. In the case \(V(z) = \Re (z)\), then \(W(\alpha _1,\alpha _2) = -2\Re (\alpha _1\overline{\alpha }_2)\), there is no off-set and \(W_1=0\).
For convenience, we define
We can now rewrite \(Z^{AL}_N(V,\beta )\) in (19) as
We are now in position to apply the transfer operator technique to compute this partition function. On \(L^2(\mathbb {D}^K)\) we introduce the scalar product
where \(\textbf{z}= (z_1, \ldots , z_K)\). This scalar product induces a norm on \(L^2(\mathbb {D})\) and also a norm on bounded operators \(T \;: \, L^2(\mathbb {D}^K) \rightarrow L^2(\mathbb {D}^K)\) as
where \(\vert \vert f\vert \vert _2\) is the standard \(L^2\) norm.
Let \(\varvec{\zeta }=(\zeta _1,\ldots ,\ldots \zeta _{2K})\) with \(\zeta _{K+j}=\zeta _j>0\) for \(j=1,\dots , K\). We define the continuous family of transfer operators \(\mathcal {T}_{\varvec{\zeta }} \,:\, L^2(\mathbb {D}^K) \rightarrow L^2(\mathbb {D}^K)\) as
We observe that \(\mathcal {T}_{\varvec{\zeta }}\) is an integral operator whose kernel \(\prod _{j=1}^{2K} \left( 1-\vert \alpha _j\vert ^2\right) ^{\frac{\zeta _j-1}{2}}\exp \left( - W(\widetilde{{\varvec{\alpha }}}_1, \widetilde{{\varvec{\alpha }}}_{2})\right) \) belongs to \(L^2(\mathbb {D}^K\times \mathbb {D}^K)\), and therefore \(\mathcal {T}_{\varvec{\zeta }}\) is an Hilbert-Schimdt operator. We conclude that there exists a complete set of normalized eigenfunctions \(\{\psi _j\}_{j\ge 1}\) with eigenvalues \(\{\lambda _j\}_{j\ge 1}\) numbered so that \(\{\vert \lambda _j\vert \}_{j\ge 1}\) is a non-increasing sequence such that:
where \(\delta _\textbf{z}(\cdot )\) is the Dirac delta function at \(\textbf{z}\in \mathbb {D}^K\).
For clearness, we collect a series of properties that the operator \(\mathcal {T}_{\varvec{\zeta }}\) fulfils:
-
(a)
\(\sum _{j=1}^{\infty }\vert \lambda _j(V,\varvec{\zeta })\vert ^2<\infty \) and \(\mathcal {T}_{\varvec{\zeta }}\) is compact, since it is Hilbert-Schimdt (see [40, Chapter V.2.4]);
-
(b)
The eigenvalue \(\lambda _1(\varvec{\zeta },V)\) is simple, positive and \(\lambda _1(\varvec{\zeta },V) > \vert \lambda _n(\varvec{\zeta },V)\vert \) for all \(n\ge 2\) (see [69, Theorem 137.4]);
-
(c)
The eigenvalue \(\lambda _1(\varvec{\zeta },V)\) and its eigenfunction \(\psi _1(\textbf{z}, \varvec{\zeta },V)\) are analytic functions of the parameters \(\varvec{\zeta }\), and for any real polynomial P there exists an \(\varepsilon >0\) such that the maps \(t\rightarrow \lambda _1(\varvec{\zeta },V+tP)\), \(t\rightarrow \psi _1(\textbf{z},\varvec{\zeta },V+tP)\) are analytic for \( \vert t \vert <\varepsilon \) (see [40, Chapter VII, Theorem 1.8]).
We artificially rewrite \(Z^{AL}_N(V,\beta )\) in (A4) as
where \({\varvec{\gamma }}= (\gamma _1, \ldots , \gamma _K)\) and \({\varvec{\gamma }}\in \mathbb {D}^K\).
We can use (A9) with \(\varvec{\zeta }=\varvec{\beta }=\overbrace{(\beta ,\dots ,\beta )}^{2K}\) to rewrite the previous equation as:
In the above integral, from the first to the second relation we identify the integral operator \(\mathcal {T}_{\varvec{\beta }}\) where \(\varvec{\beta }=\overbrace{(\beta ,\dots ,\beta )}^{2K}\). We repeatedly apply \(\mathcal {T}_{\varvec{\beta }}\) and (A8) another \(M-2\) times to the above integral, to obtain:
The modulus of the reminder \(\vert R_n\vert \) in (A13) can be easily bounded from above and below by two constants \(C_1,C_2 >0\) independent of N, therefore we conclude from (A12) that
Since \(\lambda _1(V,\varvec{\beta })\) is analytic for \(\beta >0\), see [40, Chapter VII, Theorem 1.8], and strictly positive, see [69, Theorem 137.4], we conclude that \(F_{AL}(V,\beta )\) is analytic with respect to \(\beta \).
We can apply the same procedure to the partition function \( Z^{HT}_N(V,\beta )\) in (32). Also in this case the potential \(\text{ Tr }(V(\widetilde{E}))\) with V as in (17) and the matrix \(\widetilde{E}\) as in (31) is of finite range K, meaning that it can be expressed as a sum of local quantities [54]. More precisely, assuming \(N=KM+L\) with \(L<K\) and \(M,N,L\in \mathbb {N}\) we have
For example for \(V(z)=z^2+\bar{z}^2\) one has \(K=2\) and \(N=2M+L\) where \(L=0,1\), depending on the parity of N. The vector \(\widetilde{{\varvec{\alpha }}}_\ell \) takes the form \(\widetilde{{\varvec{\alpha }}}_\ell = (\alpha _{2\ell -1},\alpha _{2\ell })\) for \(\ell =1,\dots , M\). In this notation, we can rewrite the potential as
where in this case
and \(\delta _{L,1}\) is equal to zero for \(L\ne 1\).
Using (A15) the partition function can be written in the form
We want to apply the same technique as in the previous case, but we have to pay attention to one important detail: in this situation, the eigenvalues and the eigenfunctions of the transfer operators will be dependent on the block number. Indeed, in this case, the exponents of \((1-\vert \alpha _j\vert ^2)\) are not identical, but they depend on the index j as in (A17).
For this reason, we define
and
where the vector \(\varvec{K}\) has entries \(\varvec{K}_j=K\) for \(j=1,\dots ,2K\). For K integer and \(K<N\) we introduce the multiplication operator \(\mathcal {M}_K:L^2(\mathbb {D}^K)\rightarrow L^2(\mathbb {D}^K)\) defined as
Remark 10
We notice that, for \(\beta \in \mathbb {R}^+\), \(K\in \mathbb {N}\) and \(N\in \mathbb {N}\) big enough, the function \(\prod _{j=1}^{K} \left( 1-\vert \alpha _j\vert ^2\right) ^{-\frac{K\beta }{2N}}\in L^2(\mathbb {D}^K)\). Since we are considering the limit \(N\rightarrow \infty \), and \(\beta , K\) independent from N, we always assume that this condition holds.
We observe that \(\mathcal {M}_{-K}=(\mathcal {M}_K)^{-1}\) and the operators \(\mathcal {T}_{\varvec{\zeta }^{(j)}}:L^2(\mathbb {D}^K)\rightarrow L^2(\mathbb {D}^K)\) defined in (A7) satisfy the relation
We recall that the operators \(\mathcal {T}_{\varvec{\zeta }^{(j)}}\) are compact, furthermore, we notice that \(\mathcal {M}_K\mathcal {T}_{\varvec{\zeta }^{(j)}}\) is also compact since it is Hilbert–Schmidt [40].
Let us define the \(K(M-1)\)-dimensional vector \(\varvec{\zeta }_M=(\varvec{\zeta }^{(M-1)},\dots , \varvec{\zeta }^{(1)})\) and the operator \( \widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M}:L^2(\mathbb {D}^K)\rightarrow L^2(\mathbb {D}^K)\) as
we notice that it is a compact operator, since all \(\mathcal {M}_K\mathcal {T}_{\varvec{\zeta }^{(j)}}\) are Hilbert–Schmidt.
We will now prove the following technical result:
Proposition 12
Let \( \widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M} \) as in (A19) and \(Z_N^{HT}\) as in (A17) then:
here by \(\text{ Tr }( \widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M} )\) we indicate the standard trace on \(L^2\).
Proof
We will estimate both \(Z_N^{HT}\), and \(\text{ Tr }(\widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M})\) from above and below, then combining these estimates we will obtain (A20). We start with \(Z_N^{HT}\).
We can bound the first and the last three terms in the above exponential with two positive constants \(C(V,\beta )\) and \(c(V,\beta )\), independent of N, such that
where in the exponents each \(\alpha _j\in \overline{\mathbb {D}}\). From the previous inequalities, we deduce that the integral
is bounded from above by \( Z_N^{HT} /c(V,\beta ) \) and from below by \( Z_N^{HT} /C(V,\beta ) \). We can explicitly integrate in \(\alpha _j\) for \(j=1,\ldots ,K\) and \(j=(M-1)K + 1,\ldots ,N\) using the formula
obtaining that there are two constants \(C_1(V,\beta )\) and \(c_1(V,\beta )\) depending on \(V,\,\beta , K\) and L but not on N, such that
and
We can proceed analogously to estimate the trace of \( \widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M} \):
As before, we notice that there exist two positive constants \(\widetilde{C}(V,\beta )\), and \(\widetilde{c}(V,\beta )\), independent of N, such that
when \({\varvec{\alpha }}_1,{\varvec{\alpha }}_2,{\varvec{\alpha }}_{M-1}\in \overline{\mathbb {D}^K}\). From these inequalities, we deduce that the integral
is bounded from above by \( \text{ Tr }( \widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M} )/ \widetilde{c}(V,\beta )\) and from below by \( \text{ Tr }( \widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M} )/ \widetilde{C}(V,\beta )\). Using (A24) we can now explicitly integrate in \(\alpha _j\) for \(j=1,\ldots ,K\) the above integral obtaining the following inequalities
where \(\widetilde{C}_1(V,\beta )\), and \( \widetilde{c}_1(V,\beta )\) are positive constants depending on \(V,\,\beta ,K\) and L but not on N. Combining (A25)–(A26)–(A30)–(A31) we deduce (A20). \(\square \)
Applying the previous proposition, we can express the Free energy of the Circular \(\beta \) ensemble in the high-temperature regime in terms of \(\text{ Tr }(\widetilde{\mathcal {T}}_M)\):
where in the last equality we used Proposition 12.
As a final step, we have to understand the behaviour of \(\text{ Tr }( \widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M} )\), and for this purpose we need to carefully analyse the compact operators \(\mathcal {T}_{\varvec{\zeta }^{(j)}}\).
Let \(\{\psi _n(\textbf{z},V,\varvec{\zeta }^{(j)})\}_{n\ge 1}\) be the eigenfunctions of \(\mathcal {T}_{\varvec{\zeta }^{(j)}}\) with corresponding eigenvalues \(\{\lambda _{n}(V,\varvec{\zeta }^{(j)})\}_{n\ge 1}\) and \(\vert \lambda _{1}(V,\varvec{\zeta }^{(j)})\vert \ge \vert \lambda _{2}(V,\varvec{\zeta }^{(j)})\vert \ge \dots \). From a generalized version of Jentzsch’s Theorem (see [69, Theorem 137.4]), we deduce that \(\vert \lambda _n(V,\varvec{\zeta }^{(j)})\vert < \lambda _1(V,\varvec{\zeta }^{(j)})\) for all \(n\ge 2\).
We are now in the position to prove the following proposition.
Proposition 13
Let \(\{\psi _n(\textbf{z},V,\varvec{\zeta }^{(j)})\}_{n=1}^\infty \) be the eigenfunctions of the operator \(\mathcal {T}_{\varvec{\zeta }^{(j)}}\) in (A7) with corresponding eigenvalues \(\{\lambda _n(V,\varvec{\zeta }^{(j)})\}_{n=1}^\infty \). Consider the operator \( \widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M} \) in (A19), then there are constants \(\texttt{d},a_j,c_j\), \(j=1,\ldots ,M-1\) uniformly bounded in N, and so in M, such that :
Proof
To simplify the notation, we will drop the V dependence of the eigenvalues \(\lambda _n(V,\varvec{\zeta }^{(j)})\), and of the eigenfunctions \(\psi _n(\textbf{z},V,\varvec{\zeta }^{(j)})\).
We will prove (A33) by induction on M. For \(M=2\), we have that \( \widetilde{\mathcal {T}}_{M,\varvec{\zeta }_M} = \mathcal {M}_K\mathcal {T}_{\varvec{\zeta }^{(1)}}\), so we have to compute:
where the function \(\widetilde{a}_1(\textbf{z})\) is the first term of the expansion of \(\prod _{j=1}^K (1-\vert z_j\vert ^2)^{-\frac{K\beta }{2N}}\) in powers of 1/N and the constant \(a_1=\left( \psi _1(\textbf{z},\varvec{\zeta }^{(1)}),\widetilde{a}_1(\textbf{z})\psi _1(\textbf{z},\varvec{\zeta }^{(1)}) \right) \) is uniformly bounded in N. So the first inductive step is proved.
For general M, we define the vector \(\varvec{\zeta }_{M-1}=(\varvec{\zeta }^{(M-1)},\dots , \varvec{\zeta }^{(2)})\) so that
Using the above relation we obtain
Thanks to [40, Chapter VII, Theorem 1.8], we know that the eigenfunctions \( \psi _1(\textbf{z},\varvec{\zeta }^{(j)})\) and the eigenvalues \(\lambda _1(\varvec{\zeta }^{(j)})\) are analytic functions of the parameter \(\varvec{\zeta }^{(j)}\), so, for N big enough, there exists a function \(\xi _{1}(\textbf{z})\in L^2(\mathbb {D}^K)\) independent of N such that:
and a constant \(c_j\) such that
Using (A37) and the expansion of the function defining the operator \(\mathcal {M}_K\) we can expand (A36) as:
To bound the last two terms in the above relation, we use (A18) and (A38) so that
for \( j=2,\ldots ,M-1\), here in the first inequality we use the fact that \(\vert \vert \mathcal {M}_K^{-1}\vert \vert = 1\).
Using (A40) we can bound the second term in the r.h.s of (A39) by
for some constant \(\texttt{c}\) uniformly bounded in N. An analogous inequality can be obtained for the second term in (A39). Thus, applying the induction to the first term in the r.h.s. of (A39), we deduce (A33).
We move to the proof of (A34). Applying (A33), we can estimate (A34) as
Regarding the second term in the r.h.s of the above expression we claim that there exists a constant c such that
To derive the above inequality first, we consider the operator \(\mathcal {T}_{2,1} = \mathcal {M}_K\mathcal {T}_{\varvec{\zeta }^{(2)}}\mathcal {M}_K\mathcal {T}_{\varvec{\zeta }^{(1)}}\), it is a compact operator and it is trace class since it is the composition of two different Hilbert–Schmidt operators. Let \(\{\widetilde{\lambda }_n\}_{n\ge 1}\) be its eigenvalues numbered in such a way that \(\{\vert \widetilde{\lambda }_n\vert \}_{n\ge 1}\) is a non increasing sequence and let \(\{\varphi _n(\textbf{z})\}_{n\ge 1}\) be the corresponding eigenfunctions. Then
Since \(\mathcal {T}_{2,1}\) is trace class, it is a classical result that [31]
where \(\{s_n\}_{n\ge 1}\) are the singular values of the operator \(\mathcal {T}_{2,1}\). Furthermore, since \(\mathcal {T}_{2,1}\) is the composition of two Hilbert–Schmidt operators, we have the following inequality
where \(\vert \vert \cdot \vert \vert _{\text {HS}}\) is the Hilbert–Schmidt norm and \(\widetilde{c}\) is a positive constant uniformly bounded in N. Thus, applying the previous chain of inequalities and the same argument as in (A41), we deduce that
so we conclude our proof. \(\square \)
Applying Proposition (13) to (A32) we obtain that:
applying the inequality (A34) of Proposition (13), we deduce that the last term in the above relation goes to zero as \(N\rightarrow \infty \) and we obtain that
Since \(\lambda _1(V,\varvec{\zeta }^{(j)})\) is positive and an analytic function of the parameter \(\varvec{\zeta }^{(j)}\), we approximate the vector \(\varvec{\zeta }^{(j)}\) with the vector \((1- \frac{jK}{N})\overbrace{(\beta ,\beta ,\dots \beta )}^{2K}=(1- \frac{jK}{N})\varvec{\beta }\) and deduce that \( \lambda _{1}(V,\varvec{\zeta }^{(j)}) = \lambda _{1}\left( V,\varvec{\beta }\left( 1- \frac{jK}{N}\right) \right) + O(N^{-1})\). Therefore, we can rewrite (A48) as
This, combined with (A14), leads to (A1). Moreover, as a consequence of the last relation, we deduce that \(F_{HT}(V,\beta )\) is analytic in \(\beta \) for \(\beta >0\).
We notice that the proof of Proposition 8 is heavily based on the assumption that the potential V that we are considering is of finite range, otherwise our approach would not work.
We now prove the moments relations (61). For this purpose we have to prove the relations
Analogous relation can be written for the imaginary part of the moments. We focus on (A51). From Remark 6, we know that \(F_{HT}(V,\beta ) = \mathcal {F}^{(V;\beta )}(\mu ^\beta _{HT}(\theta ))\), where the functional \(\mathcal {F}^{(V,\beta )}\) is defined in (42) and \(\mu ^\beta _{HT}(\theta )\) is the density of states of the Circular \(\beta \) ensemble at high-temperature. We write the Euler-Lagrange equation for this functional, getting that \(\mu ^\beta _{HT}(\theta )\) satisfies:
where \(C(V,\beta )\) is a constant not depending on \(\theta \).
Now let us consider the functional corresponding to the potential \(\widetilde{V}(\theta ) = V(\theta ) + \frac{t}{2} \cos ( m\theta )\):
Also this functional has a unique minimizer that we denote by \(\mu ^{(t)}(\theta )\), with \(\mu ^{(0)}(\theta ) = \mu ^\beta _{HT}(\theta )\). Evaluating the above functional at \(\mu ^{(t)}(\theta )\), and computing its derivative at \(t=0\), we deduce the following relation:
Testing (A53) against \(\partial _t \mu ^{(t)}(\theta )_{\vert _{t=0}}\) we obtain
where we have used \(\int _{\mathbb {T}} \partial _t \mu ^{(t)}(\theta ) \textrm{d}\theta = 0\). Thus, we can simplify (A55) as :
which is equivalent to (A51).
To complete the proof of Proposition 8 we have to show that (A52) holds. From the definition of mean density of states (41) we obtain that:
where the expected value is taken with respect to the generalized Gibbs ensemble of the Ablowitz–Ladik lattice. A similar equation holds for the imaginary part of the moment.
Let’s focus on the numerator, first we notice that we can assume that \(\Re (z^m)\) and V to have the same range K. The more general case can be treated in the same way. Differentiating the partition function we obtain
Due to the structure of the measure and of the Lax matrix \(\mathcal {E}\), we deduce that there exist two smooth functions \(g: \mathbb {D}^K\times \mathbb {D}^K \rightarrow \mathbb {R}\) and \(g_1 \,:\, \overline{\mathbb {D}}^{L}\times \overline{\mathbb {D}}^{K} \rightarrow \mathbb {R}\) such that
Proceeding as in the proof of Proposition 13, defining the operator \(\mathcal {T}_{{\varvec{\beta }}}^{(t)}\) as
for N big enough, (A60) is asymptotic to
Following the same reasoning as in the previous proof, in view of the analyticity of \(\lambda _1(V,{\varvec{\beta }})\), we deduce that the previous equation is asymptotic to
Exploiting (A12)-(A14) and (A63), we can rewrite (A58) as:
Thus, we have completed the proof of Proposition 8. \(\square \)
Appendix B Proof of Lemma 11
We prove (89) for \(k=1\) and the cases \(k>1\) easily follow. For convenience we consider the more general case of \((\lambda ,\eta ,\beta )\in \mathbb {C}\times \mathbb {C}\times \{z\in \mathbb {C}\vert \Re \,z>0\}\).
Let us define \(R_1^{(s)}= \begin{pmatrix} f_{s}&{} h_{s} \\ p_{s} &{} q_{s} \end{pmatrix}\) where \(s\ge 1\). If follows from (88) that
Note that in the case \(\eta =0\) the lemma is trivially satisfied. We will show that all the sequences \(\{f_s,h_s,p_s,q_s\}_{s\ge 1}\) converge as \(s\rightarrow \infty \), moreover \(h_s,q_s \xrightarrow {s\rightarrow \infty }0\). First of all, we notice that \(h_{s} =\frac{\eta ^2 f_{s-1}}{s(s+\beta +1)} \) and \(q_s = \frac{\eta ^2 p_{s-1}}{s(s+\beta +1)} \), thus the convergence to zero of these two sequences follows from the convergence of \(p_s\) and \(f_s\) as \(s\rightarrow \infty \). Moreover, the terms of the sequences \(\{f_s,p_s\}_{s\ge 1}\) obey to the 3-terms recurrence:
and the same holds for \(p_s\) in place of \(f_s\). Thus, we have just to prove that the sequence \(\{f_s\}_{s\ge 1}\) converges. We assume that \((\lambda ,\eta ,\beta )\in \Omega \) where \(\Omega \subset \mathbb {C}\times \mathbb {C}\times \{z\in \mathbb {C}\vert \Re \,z>0\}\) is a compact set. With this assumption we can give a bound to \(\vert f_s\vert \) from above as:
Inductively, we deduce that there exists a constant \(C=C(\Omega )\) such that:
Furthermore, the infinite product on the right-hand side of (B68) is convergent by a classical result, see for example [46, Chapter XIII, Lemma 1], this implies that the sequence \(\{f_s\}_{s\ge 1}\) is uniformly bounded. Moreover, we have that:
for some constant \(\tilde{C}>0\) that depends on the compact set \(\Omega \). This last equation implies that the sequence \(\{f_s\}_{s\ge 1}\) is a Cauchy sequence, thus it is convergent. So we get the claim (88). The claim (90) easily follows from (88).
Regarding the differentiability in the parameters \(\lambda \), \(\eta \) and \(\beta \), it follows from (B66) that \(f_s=f_s(\lambda ,\eta ,\beta )\) is analytic in \(\Omega \). Since \(f_s(\lambda ,\eta ,\beta )\rightarrow f(\lambda ,\eta ,\beta )\) as \(s\rightarrow \infty \) uniformly, then by Weierstrasse convergence theorem, \(f(\lambda ,\eta ,\beta )\) is analytic in \(\Omega \).\(\square \)
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., Mazzuca, G. Generalized Gibbs Ensemble of the Ablowitz–Ladik Lattice, Circular \(\beta \)-Ensemble and Double Confluent Heun Equation. Commun. Math. Phys. 399, 1689–1729 (2023). https://doi.org/10.1007/s00220-023-04642-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04642-8