Abstract
We study the eigenvalues of the Toeplitz quantization of complex-valued functions on the torus subject to small random perturbations given by a complex-valued random matrix whose entries are independent copies of a random variable with mean 0, variance 1 and bounded fourth moment. We prove that the eigenvalues of the perturbed operator satisfy a Weyl law with probability close to one, which proves in particular a conjecture by Christiansen and Zworski (Commun Math Phys 299:305–334, 2010).
Similar content being viewed by others
References
Basak, A., Paquette, E., Zeitouni, O.: Spectrum of random perturbations of toeplitz matrices with finite symbols, (2018). preprint arXiv:1812.06207
Basak, A., Paquette, E., Zeitouni, O.: Regularization of non-normal matrices by gaussian noise - the banded toeplitz and twisted toeplitz cases, Forum of Math. Sigma 7, (2019)
Borthwick, D., Uribe, A.: On the pseudospectra of berezin-toeplitz operators. Meth. Appl. Anal. 10(1), 031–066 (2003)
Christiansen, T.J., Zworski, M.: Probabilistic Weyl laws for quantized Tori. Commun. Math. Phys. 299, 305–334 (2010)
Davies, E.B.: Semi-classical States for Non-Self-Adjoint Schrödinger Operators, Comm. Math. Phys, no. 200, 35–41, (1999)
Davies, E.B., Hager, M.: Perturbations of Jordan matrices. J. Approx. Theory 156(1), 82–94 (2009)
Dencker, N., Sjöstrand, J., Zworski, M.: Pseudospectra of semiclassical (pseudo-) differential operators. Commun. Pure Appl. Math. 57(3), 384–415 (2004)
Dimassi, M., Sjöstrand, J.: Spectral Asymptotics in the Semi-Classical Limit, London Mathematical Society Lecture Note Series 268. Cambridge University Press, Cambridge (1999)
Embree, M., Trefethen, L.N.: Spectra and Pseudospectra: The Behavior of Nonnormal Matrices and Operators. Princeton University Press, Princeton (2005)
Le Floch, Y.: A Brief Introduction to Berezin-toeplitz Operators on Compact kähler Manifolds. Springer, Cham (2018)
Gohberg, I.C., Krein, M.G.: Introduction to the theory of linear non-selfadjoint operators, Translations of mathematical monographs, vol. 18, AMS, (1969)
Guionnet, A., Matchett Wood, P., Zeitouni, 0.: Convergence of the spectral measure of non-normal matrices, Proc. AMS 142(2), 667–679, (2014)
Hager, M.: Instabilité spectrale semiclassique pour des opérateurs non-autoadjoints I: un modèle. Annales de la faculté des sciences de Toulouse Sé. 6 15(2), 243–280 (2006)
Hager, M., Sjöstrand, J.: Eigenvalue asymptotics for randomly perturbed non-selfadjoint operators. Math. Ann. 342, 177–243 (2008)
Hörmander, L.: The Analysis of Linear Partial Differential Operators I, Grundlehren der mathematischen Wissenschaften, vol. 256. Springer, New York (1983)
Kallenberg, O.: Foundations of modern probability, Probability and its Applications. Springer, New York (1997)
Latala, R.: Some estimates of norms of random matrices. Proc. Amer. Math. Soc. 133(5), 1273–1282 (2005)
Chapman, S.J., Trefethen, L.N.: Wave packet pseudomodes of twisted toeplitz matrices. Commun. Pure Appl. Math. LVII, 1233–1264 (2004)
Martinez, A.: An Introduction to Semiclassical and Microlocal Analysis. Springer, New York (2002)
Melin, A., Sjöstrand, J.: Determinants of pseudodifferential operators and complex deformations of phase space. Methods Appl. Anal. 9(2), 177–237 (2002)
Nonnenmacher, S., Zworski, M.: Distribution of resonances for open quantum maps., Comm. Math. Phys, no. 269, 311–365, (2007)
Sankar, A., Spielmann, D.A., Teng, S.H.: Smoothed analysis of the condition numbers and growth factors of matrices, SIAM J. Matrix Anal. Appl. 28(2), 446–476 (2006)
Sjöstrand, J.: Counting zeros of holomorphic functions of exponential growth. J. Pseudodiffer. Oper. Appl. 1(1), 75–100 (2010)
Sjöstrand, J., Vogel, M.: General toeplitz matrices subject to gaussian perturbations, (2019). preprint arXiv:1905.10265
Sjöstrand, J., Vogel, M.: Toeplitz band matrices with small random perturbations, (2019). preprint arXiv:1901.08982
Sjöstrand, J., Zworski, M.: Elementary linear algebra for advanced spectral problems. Annales de l’Institute Fourier 57, 2095–2141 (2007)
Tao, T.: Topics in Random Matrix Theory, Graduate Studies in Mathematics, vol. 132. American Mathematical Society, Providence (2012)
Tao, T., Vu, V.: Smooth analysis of the condition number and the least singular value. Math. Comp. 79(272), 2333–2352 (2010). (see also the Erratum arXiv:0805.3167v3)
Zworski, M.: A remark on a paper of E.B. Davies, Proc. A.M.S., no. 129, 2955–2957, (2001)
Zworski, M.: Semiclassical Analysis, Graduate Studies in Mathematics, vol. 138138. American Mathematical Society, Providence (2012)
Acknowledgements
The author is very grateful to Maciej Zworski for suggesting this project, to László Erdős for some very enlightening discussions and to the Institute of Science and Technology, Austria, where a part of this paper has been written, for providing a welcoming and stimulating environment. The author was supported by a CNRS Momentum grant.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Marklof
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Estimate on the Smallest Singular Value
Appendix A. Estimate on the Smallest Singular Value
We present for the reader’s convenience a complex version of a result due to Sankar, Spielmann and Teng [22, Lemma 3.2], see also [28, Theorem 2.2].
Theorem 23
There exists a constant \(C>0\) such that the following holds. Let \(N\ge 2\), let \(X_0\) be an arbitrary complex \(N\times N\) matrix, and let Q be an \(N\times N\) complex Gaussian random matrix whose entries are all independent copies of a complex Gaussian random variable \(q\sim \mathcal {N}_{\mathbb {C}}(0,1)\). Then, for any \(\delta >0\)
The proof, which is a straightforward modification of the proof of [22, Lemma 3.2], is presented here for the reader’s convenience.
Lemma 24
There exists a \(C>0\) such that for any \(\nu \in \mathbb {C}^N\) with \(\Vert \nu \Vert =1\), we have that for any \(\tau >0\)
Proof
-
1.
Since Q is a Gaussian random matrix, it is clear that the zero set of the map \(\mathbb {C}^{N\times N} \ni Q\mapsto \det (X_0 + \delta Q)\) has Lebesgue measure 0. Hence, \(X:=X_0 + \delta Q\) is almost surely invertible.
Let U be a \(N\times N\) unitary matrix such that \(U^*e_1 = \nu \), where \(e_1\) is the unit vector in \(\mathbb {C}^N\) with 1 in the first entry, and 0 in the other entries. Write \(B=UX\) and \(B_0 = UX_0\), then, almost surely,
$$\begin{aligned} \Vert X^{-1} \nu \Vert = \Vert X^{-1} U^*e_1\Vert = \Vert B^{-1} e_1\Vert . \end{aligned}$$We denote by \(\widehat{b}\) the first column of \(B^{-1}\), and by \(b_j\), \(j=1,\dots ,N\), the rows of B, hence \(\widehat{b}\cdot b_1=1\) and \(\widehat{b}\cdot b_j=0\), \(j=2,\dots , N\). Notice that the \(b_i\) are linearly independent and let t denote the unit vector which is orthogonal to the space spanned by the \(\overline{b}_j\) for \(j=2,\dots , N\). Then,
$$\begin{aligned} \widehat{b} = ( \widehat{b} | t ) \,t, \quad \text {and } \quad ( \widehat{b} | t ) (t \cdot b_1)=1. \end{aligned}$$Hence, \(\Vert B^{-1} e_1\Vert = | t \cdot b_1|^{-1}\), and
$$\begin{aligned} \mathbf {P}\left( \Vert (X_0 + \delta Q)^{-1}\nu \Vert > \tau \right) = \mathbf {P}\left( | t \cdot b_1| < \tau ^{-1} \right) . \end{aligned}$$(0.1) -
2.
Since U is unitary it follows that the entries of \(\delta UQ\) are independent and identically distributed complex Gaussian random variables \(\sim \mathcal {N}_{\mathbb {C}}(0,\delta ^2)\). Since t is a unit vector depending only on \(b_i\), \(i=2,\dots , N\), it follows that when fixing these row vectors, \(t \cdot b_1-\lambda \), with \(\lambda = ( B_0 t)_1\), is a complex Gaussian random variables \(\sim \mathcal {N}_{\mathbb {C}}(0, \delta ^2)\). Then,
$$\begin{aligned} \mathbf {P}\left( | t \cdot b_1|< \tau ^{-1} \right) \le \mathbf {P}\left( | t \cdot b_1 - \lambda | < \tau ^{-1} \right) \le \frac{1}{\tau ^2 \delta ^2}, \end{aligned}$$
and we conclude the second statement of the Lemma. Here, the second inequality follows from a straightforward calculation. To see the first inequality, it is enough to show that for a complex Gaussian random variable \(u\sim \mathcal {N}_{\mathbb {C}}(0, \delta ^2)\), we have that for any \(b>0\), \(x \ge 0\),
The left hand side is equal to the integral
Since
the map \(x\mapsto I(x)\) is decreasing, so (0.2) holds, as it is trivially true for \(x=0\). \(\square \)
Lemma 25
There exists a constant \(C>1\) such that the following holds. Let \(N\ge 2\), and let \(\nu \) be a uniformly distributed random unit vector in \(\mathbb {C}^N\). Then, for any \(0 < c \le 1\)
where \(z\sim \mathcal {N}_{\mathbb {C}}(0,1)\).
Proof
Let \(z\in \mathbb {C}^N\) be a random vector whose entries \(z_j\sim \mathcal {N}_{\mathbb {C}}(0,1)\), \(j=1,\dots ,N\) are independent and identically distributed complex Gaussian random variables. Then,
Writing \(z=(z_1,z')\), we get that
Since \(z'\) is a complex Gaussian random vector in \(\mathbb {C}^{N-1}\) with independent and identically distributed entries \(\sim \mathcal {N}_{\mathbb {C}}(0,1)\), we get from Markov’s inequality that for \(C>1\) large enough
and the statement of the Lemma follows. \(\square \)
Proof of Theorem 23
Let \(\nu \) be a uniformly distributed random unit vector in \(\mathbb {C}^N\). By Lemma 24 we know that for any \(\tau >0\)
Write \(X:=X_0 + \delta Q\), and let u be the unit eigenvector of \(XX^*\) corresponding to its smallest eigenvalue \(t_1^2 \ge 0\), i.e.
Then, almost surely,
Writing \(\nu = \nu _0 u + \nu ^{\perp }\), with \(\nu _0=(\nu | u)\) and \(\nu ^{\perp }\) orthogonal to u, we see that, almost surely,
Let \(C>1\) be as in Lemma 25. Then, using the above, we get that for any \(0 < c\le 1\) and any \(\tau >0\),
Since the distribution of \(\nu \) is invariant a under unitary change of variables, we may express \(\nu \) in an orthonormal basis of \(\mathbb {C}^N\) which has u as its first vector, wherefore the first component of \(\nu \) is \((\nu |u)\). Thus, using Lemma 25 we obtain from (0.6) that
where \(z \sim \mathcal {N}_{\mathbb {C}}(0,1)\) is a complex Gaussian random variable. This, together with (0.3), then yields that there exists a constant \(C>0\) such that
Since, we may choose \(c \in ]0,1]\), we take \(c=1\), which gives that \(c\,\mathbf {P}\left( |z| > \sqrt{c}\right) = e^{-1}\). Recall that \(\Vert X^{-1} \Vert = s_N(X)^{-1}\), so taking \(t =(\tau \delta )^{-1}\), we deduce that there exists a constant \(C>0\) such that for any \(N\ge 2\)
\(\square \)
Rights and permissions
About this article
Cite this article
Vogel, M. Almost Sure Weyl Law for Quantized Tori. Commun. Math. Phys. 378, 1539–1585 (2020). https://doi.org/10.1007/s00220-020-03797-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-020-03797-y