## Abstract

The main result of this paper is a complete proof of a new Lieb–Thirring-type inequality for Jacobi matrices originally conjectured by Hundertmark and Simon. In particular, it is proved that the estimate on the sum of eigenvalues does not depend on the off-diagonal terms as long as they are smaller than their asymptotic value. An interesting feature of the proof is that it employs a technique originally used by Hundertmark–Laptev–Weidl concerning sums of singular values for compact operators. This technique seems to be novel in the context of Jacobi matrices.

### Similar content being viewed by others

## 1 Introduction

In this note, we prove a conjecture of Hundertmark and Simon [2] concerning a sharp Lieb–Thirring inequality for Jacobi matrices. We denote the symmetric Jacobi matrix with diagonal entries \(\{ b_n\}_{n=-\infty }^\infty \) and off-diagonal entries \(\{a_n\}_{n=-\infty }^\infty \) by

It is assumed that the \(a_n\) tend to 1 as \(n \rightarrow \pm \infty \) which yields the interval \([-2,2]\) as the essential spectrum of this Jacobi matrix. We denote by \(E_j^+(J)\) the eigenvalues of *J* that are larger than 2 and by \(E_j^-(J)\) the eigenvalues of *J* that are less than \(-2\). Hundertmark and Simon proved that

and observed that this inequality is sharp. Indeed, in the absence of the potential, they noted that the Jacobi matrix with all entries \(a_n=1\) except for a single one that is chosen to be larger than one yields asymptotic equality in (1.1). They then conjectured the improved version of (1.1) in which \(|a_n-1|\) is replaced by \((a_n-1)_+\), where we use the notation \((a)_+\) to mean *a* if \(a>0\) and 0 if \(a \le 0\). We have the following theorem.

### Theorem 1.1

Assume that \(\sum _n |b_n| < \infty \), \( \sum _n (a_n-1)_+ < \infty \) and \(\lim _{n \rightarrow \pm \infty } a_n = 1\). Then we have the bound on the eigenvalue sum

The following consequence provides another justification for this short note. Generally, the proof of Lieb–Thirring inequalities is patterned after the ones for the continuum in which case the kinetic energy is given by \(-\Delta \). The discrete Laplacian requires that all \(a_n=1\). It is, however, of some interest that in the case of Jacobi matrices this needs not be the case. This is a distinguishing feature of Lieb–Thirring inequalities for Jacobi matrices. Further, it was shown in [5], (see also [7]) that

where \(G(a) = a^2-1-\log |a|^2\) and \(F(E) = \beta ^2 -\beta ^{-2} - \log |\beta |^2\) and \(E=\beta +\beta ^{-1}\) with \(|\beta |>1\).

In [6], one of us proved that if \(a_n\equiv 1\) then the inequality (1.1) implies (1.3). Using this argument and Theorem 1.1, we obtain as a consequence

### Theorem 1.2

Let \(\gamma >1/2\). Assume that \(\sum _n b_n^{\gamma +1/2} < \infty \) and that \(a_n\ge 0\) for all \(n \in {\mathord {{\mathbb {Z}}}}\) with \(\lim _{n \rightarrow \pm \infty } a_n = 1\) and \(\sum _n (a_n-1)_+^{\gamma +1/2}<\infty \). Then with \(\mathrm {B}(x,y)\) denoting the Beta function

For \(\gamma =3/2\), the left-hand side coincides with \(\frac{1}{2}\sum _{j}F(E_j^\pm (J))\). The function \(G(a) \ge 0\) equals zero if and only if \(a= \pm 1\) and hence (1.4) is an improvement over (1.3) for the case where \(0 \le a_n \le 1\).

### Remark

As proved in [6], the left-hand side in (1.4) is bounded from below by

and by

Thus, (1.4) improves on the corresponding Lieb–Thirring inequalities in [2]. Note that in [2, p.121] an argument is given that allows to replace \((a_n-1)\) in their results by \((a_n-1)_+\) for \(\gamma \ge 1\) but importantly not for \(1/2<\gamma <1\) and not in the case of the main result (1.2).

In order to prove Theorem 1.1, we reduce the problem (as in [2]) to the discrete Schrödinger operator. When treating terms \(0 \le a_n \le 1\), we use some additional convexity property.

## 2 The Proof of the Main Result

We follow Hundertmark and Simon except for one key step. Using norm resolvent convergence, we may assume that only finitely many of the \(a_n\) are not equal to one and finitely many \(b_n\) are not equal to zero. Likewise, we may assume that \(b_n \ge 0\). We also write

with the understanding that *A* contains only the off-diagonal terms and *B* the diagonal terms of the Jacobi matrix. If the off-diagonal terms are all equal to one, we denote the corresponding matrix by \(A_1\). The essential spectrum is given by the interval \([-2,2]\) which follows from Weyl’s theorem. Let us denote the eigenvalues that are strictly greater than 2 by \(E^+_1(A+B) \ge E^+_2(A+B) \ge E^+_3(A+B) \ge \cdots \). In what follows, the eigenvalues that are strictly less than \(-2\) can be treated in a similar fashion.

*Treating* \(a_n>1\): Consider the window of the matrix *A* that contains an off-diagonal term \(a>1\) and use the elementary inequalities

Applying it to all \(a_n>1\), we obtain

where

where \([x]_\pm = \max \{\pm x,0\}\). This implies

and similarly

This reduces the problem to the case \(a_n\le 1\), \(n\in {\mathbb {Z}}\).

*Treating* \(a_n\le 1\): Assuming \(a_n\le 1\), we consider the Birman–Schwinger operator

where \(\beta >2\) and list the eigenvalues of the Birman–Schwinger operator, \(E_j(B^{1/2} (\beta - A)^{-1} B^{1/2})\), in decreasing order. The Birman–Schwinger principle states that the *j*-th eigenvalue of \( B^{1/2} (E^+_j(A+B) - A)^{-1} B^{1/2}\) is one.

Let us decompose the matrix *A* in a certain fashion. Consider the following window of the general matrix \(A_\kappa \),

The distinct notation \(\kappa \) indicates that we concentrate on this particular position of the matrix. Denote by *U* the infinite diagonal matrix that consists of \(+1\) on the diagonal above the position of \(\kappa \) and of \(-1\) below \(\kappa \), i.e., its window is given by

It has the effect that the corresponding window of the matrix \(U \,A_\kappa \,U\) is given by

i.e., the entry \(\kappa \) changes sign and all others are unchanged. Since *U* is unitary, the matrices *A* and \(UA\,U\) are unitarily equivalent and have the same spectrum. With a slight abuse of notation, we now identify the matrices with their window. If we assume that \(0\le \kappa <1\), we may write

or if we denote by \(A'\) the first matrix displayed above we can write

Repeating this for all the off-diagonal elements that are strictly less than one we find

where off-diagonal elements of \(A_1\) are equal one and where \( \lambda _j \ge 0, \, \sum _j \lambda _j = 1\). Since the matrices *U*(*j*) are diagonal and have the matrix elements \(\pm 1\), the matrices \( A_1\) and \(U(j) A_1 U(j)\) have the same eigenvalues.

The key observation is the following lemma.

### Lemma 2.1

Let \(\beta I > X\). Then the function

is operator convex, i.e., if \(0\le \lambda \le 1\) then

### Proof

We follow [1]. Let \(Y_j = \beta - X_j\), \(j=1,2\). It amounts to showing that for two positive and invertible self-adjoint operators \(Y_1\) and \(Y_2\), we have

This is equivalent to

or

which is equivalent to

This is an inequality in terms of the positive, invertible and self-adjoint operator \(Y= Y_2^{-1/2} Y_1Y_2^{-1/2}\), i.e.,

which reduces the whole problem to positive numbers on account of the spectral theorem. For positive numbers, the inequality is obvious. \(\square \)

Applying now Lemma 2.1 to (2.2), we find

If we set \(\beta = \mu + \frac{1}{\mu }\) and introduce the operator,

we find

The operator \( L_\mu (A_1) \) has the matrix representation

where once more

Denote by \(S_n(\mu )\) the sum of the *n* largest eigenvalues of \(\sum _j \lambda _j U(j) L_\mu (A_1) U(j) \).

### Lemma 2.2

for \(\nu \ge \mu \).

We will present two proofs of this Lemma.

### Proof of Lemma 2.2 following Hundertmark and Simon

[2]. Pick any bounded sequence \(\{ \mu _n\}_{n=-\infty }^\infty \) and consider the matrix

where

Now we fix some integer *n* and set \(\mu _n = \mu \). All the other ones are fixed. The matrix \(\sum _j \lambda _j U(j) L_{\{\mu _n\}}U(j) \) is an affine function of \(\mu \) with a diagonal that is independent of \(\mu \) and hence the matrix is of the form

Now we consider the sum of the top *n* eigenvalues of this matrix and denote this function by \(f(\mu )\). This function is convex. Moreover, if we consider the diagonal matrix \(V: \ell ^2 \rightarrow \ell ^2\) given by

we find that

since the matrix *V* is also diagonal and commutes with the *U*(*j*). This matrix has the same spectrum but is of the form

and hence \(f(\mu )\) is even. Thus, *f*, being convex, is monotone for \(\mu >0\). \(\square \)

### Remark

The above proof is closely related to the proof of a similar result from [4] except for using some symmetry property rather than perturbation at the spectral point zero.

### Proof of Lemma 2.2 following Hundertmark, Laptev and Weidl

[3]. We aim to use the following abstract result of [3] concerning the sum \(\Vert T\Vert _n\) of the largest *n* singular values of a compact operator *T*,

The result is an immediate consequence of \(\Vert T\Vert _n\) defining a norm by Ky-Fan’s inequality.

### Lemma 2.3

Let *T* be a non-negative compact operator on a Hilbert space \(\mathcal {G}\), let *g* be a probability measure on \(\Omega \), and let \(\{V(k)\}_{k\in \Omega }\) be a family of unitary operators on \(\mathcal {G}\). Then, for any \(n\in {\mathord {{\mathbb {N}}}}\),

To apply the above result to \(L_\mu (A_1)\), we recall the unitary map \(\mathcal {F}:L^2([-\pi ,\pi ])\rightarrow \ell ^2({\mathord {{\mathbb {Z}}}})\) onto the Fourier coefficients

By means of the transform \(\mathcal {F}\), the free operator *W* with \(a_n\equiv 1, b_n\equiv 0\) is unitarily equivalent to the operator \(2\cos k\) on \(L^2([-\pi ,\pi ])\). Defining \(g_\mu \) to be the non-negative function

and denoting by *T* the rank one operator onto \(b_n^{1/2}\), and by *V*(*k*) the unitary operator \((V(k)u)_n=\mathrm{e}^{-\mathrm{i}n k} u_n\), we can thus write

To obtain some more properties of \(g_\mu \), we note that its Fourier transform is given by \((\widehat{g}_\mu )_n=\mu ^{|n|}\). This can in particular be used to establish the aforementioned matrix representation of \(L_\mu (A_1)\). For our purposes, we note that for \(0<\mu<\nu < 1\) clearly

Since \({g}_{\mu }\) is smooth and periodic in *k*, the pointwise identity

holds and the properties (2.3) imply

for all \(0<\mu<\nu < 1\). The convolution identity is understood in the sense that

which is well-defined since all three functions are periodic. Using this identity together with the fact that \(V(k'+k'')=V(k')V(k'')\) and that \(V(k')\) and *U*(*j*) commute as both are multiplication operators, we obtain

By periodicity, the operator

is independent of \(k'\) and thus we can apply Lemma 2.3 to obtain the desired monotonicity. The special case \(\nu =1\) is an immediate consequence of Lemma 2.3. \(\square \)

### Remark

The above proof is closely related to the continuous case [3] with the established convolution identity for \(g_\mu \) replacing the fact that the Cauchy distribution is a convolution semigroup. Using the parametrization \(\mu =\mathrm{e}^{-\sigma }, \nu =\mathrm{e}^{-\tau }\) with \(\sigma>\tau >0\), the above identity may also be written in the more similar form \(\frac{g_{\tau }}{\sqrt{2\pi }}*\frac{g_{\sigma -\tau }}{\sqrt{2\pi }}=\frac{g_{\sigma }}{\sqrt{2\pi }}\).

Because of the Birman–Schwinger principle, \(E_j(K(A;E_j^+))\), the *j*-the eigenvalue of \(K(A; E_j^+)\), equals 1 and hence

where \(\mu _j+\frac{1}{\mu _j} = E^+_j\). Now, again, we proceed as in Hundertmark–Simon [2] and get the estimate

where \(S_{N^+}(\mu _n)\) includes all the eigenvalues of \(\widetilde{J}\) that are greater than 2. In other words

As shown in [2], the Jacobi matrices

are unitarily equivalent and hence it follows that

which together with the previous estimate proves Theorem 1.1.

As a corollary, we obtain Theorem 1.2.

### Proof of Theorem 1.2

Let \(\chi _{\{c,d\}}\) be the characteristic function of the interval (*c*, *d*). Then, recalling \(J\le \widetilde{J}^+\), we have

Applying first the variational principle and then the main result, we obtain

and the proof is complete. \(\square \)

## References

Hiai, F., Petz, D.: Introduction to Matrix Analysis and Applications. Springer, Universitext, Berlin (2014)

Hundertmark, D., Simon, B.: Lieb–Thirring inequalities for Jacobi matrices. J. Approx. Theory

**118**(1), 106–130 (2002)Hundertmark, D., Laptev, A., Weidl, T.: New bounds on the Lieb–Thirring constants. Invent. Math.

**140**, 693–704 (2000)Hundertmark, D., Lieb, E.H., Thomas, L.E.: A sharp bound for an eigenvalue moment of the one-dimensional Schrödinger operator. Adv. Theor. Math. Phys.

**2**(4), 719–731 (1998)Killip, R., Simon, B.: Sum rules for Jacobi matrices and their applications to spectral theory. Ann. Math. (2)

**158**(1), 253–321 (2003)Schimmer, L.: Spectral inequalities for Jacobi operators and related sharp Lieb–Thirring inequalities on the continuum. Commun. Math. Phys.

**334**, 473–505 (2015)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)

## Acknowledgements

Work of Michael Loss was partially supported by US National Science Foundation grant DMS 1856645; Ari Laptev was partially supported by RSF grant 18-11-0032. Lukas Schimmer was supported by Vetenskapsrådet, grant 2017-04736. Michael Loss would like to thank Institute Mittag-Leffler for its generous hospitality.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

Communicated by Alain Joye.

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## 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

Laptev, A., Loss, M. & Schimmer, L. On a Conjecture by Hundertmark and Simon.
*Ann. Henri Poincaré* **23**, 4057–4067 (2022). https://doi.org/10.1007/s00023-022-01169-x

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s00023-022-01169-x