Spectra of Cayley graphs of the lamplighter group and random Schrödinger operators

Grigorchuk, Rostislav; Simanek, Brian

doi:10.1090/tran/8156

Spectra of Cayley graphs of the lamplighter group and random Schrödinger operators

Authors: Rostislav Grigorchuk and Brian Simanek
Journal: Trans. Amer. Math. Soc. 374 (2021), 2421-2445
MSC (2020): Primary 47A10; Secondary 60G50, 20M35
DOI: https://doi.org/10.1090/tran/8156
Published electronically: January 26, 2021
MathSciNet review: 4223021
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract:

We show that the lamplighter group $\mathcal {L}=\mathbb {Z}/2\mathbb {Z}\wr \mathbb {Z}$ has a system of generators for which the spectrum of the discrete Laplacian on the Cayley graph is a union of an interval and a countable set of isolated points accumulating to a point outside this interval. This is the first example of a group with infinitely many gaps in the spectrum of its Cayley graph. The result is obtained by a careful study of spectral properties of a one-parametric family $a+a^{-1}+b+b^{-1} - \mu c$ of convolution operators on $\mathcal {L}$ where $\mu$ is a real parameter.

Our results show that the spectrum is a pure point spectrum for each value of $\mu$, the eigenvalues are solutions of algebraic equations involving Chebyshev polynomials of the second kind, and the topological structure of the spectrum makes a bifurcation when the parameter $\mu$ passes the points $1$ and $-1$. Namely, if $|\mu | \leq 1$ the spectrum is an interval, while when $|\mu | > 1$ it is a union of an interval and a countable set of points accumulating to a point outside the interval.

References

N. I. Akhiezer, The classical moment problem and some related questions in analysis, Hafner Publishing Co., New York, 1965. Translated by N. Kemmer. MR 0184042
A. I. Aptekarev, V. Kaliaguine, and W. Van Assche, Criterion for the resolvent set of nonsymmetric tridiagonal operators, Proc. Amer. Math. Soc. 123 (1995), no. 8, 2423–2430. MR 1254830, DOI https://doi.org/10.1090/S0002-9939-1995-1254830-5
M. F. Atiyah, Elliptic operators, discrete groups and von Neumann algebras, Colloque “Analyse et Topologie” en l’Honneur de Henri Cartan (Orsay, 1974) Soc. Math. France, Paris, 1976, pp. 43–72. Astérisque, No. 32-33. MR 0420729
Tim Austin, Rational group ring elements with kernels having irrational dimension, Proc. Lond. Math. Soc. (3) 107 (2013), no. 6, 1424–1448. MR 3149852, DOI https://doi.org/10.1112/plms/pdt029
L. Bartholdi and R. I. Grigorchuk, On the spectrum of Hecke type operators related to some fractal groups, Tr. Mat. Inst. Steklova 231 (2000), no. Din. Sist., Avtom. i Beskon. Gruppy, 5–45; English transl., Proc. Steklov Inst. Math. 4(231) (2000), 1–41. MR 1841750
Laurent Bartholdi and Wolfgang Woess, Spectral computations on lamplighter groups and Diestel-Leader graphs, J. Fourier Anal. Appl. 11 (2005), no. 2, 175–202. MR 2131635, DOI https://doi.org/10.1007/s00041-005-3079-0
Bernhard Beckermann, Complex Jacobi matrices, J. Comput. Appl. Math. 127 (2001), no. 1-2, 17–65. Numerical analysis 2000, Vol. V, Quadrature and orthogonal polynomials. MR 1808568, DOI https://doi.org/10.1016/S0377-0427%2800%2900492-1
Siegfried Beckus and Felix Pogorzelski, Spectrum of Lebesgue measure zero for Jacobi matrices of quasicrystals, Math. Phys. Anal. Geom. 16 (2013), no. 3, 289–308. MR 3090833, DOI https://doi.org/10.1007/s11040-013-9131-4
Philippe Bougerol and Jean Lacroix, Products of random matrices with applications to Schrödinger operators, Progress in Probability and Statistics, vol. 8, Birkhäuser Boston, Inc., Boston, MA, 1985. MR 886674
David Damanik, Schrödinger operators with dynamically defined potentials, Ergodic Theory Dynam. Systems 37 (2017), no. 6, 1681–1764. MR 3681983, DOI https://doi.org/10.1017/etds.2015.120
François Delyon and Bernard Souillard, Remark on the continuity of the density of states of ergodic finite difference operators, Comm. Math. Phys. 94 (1984), no. 2, 289–291. MR 761798
Warren Dicks and Thomas Schick, The spectral measure of certain elements of the complex group ring of a wreath product, Geom. Dedicata 93 (2002), 121–137. MR 1934693, DOI https://doi.org/10.1023/A%3A1020381532489
Artem Dudko and Rostislav Grigorchuk, On spectra of Koopman, groupoid and quasi-regular representations, J. Mod. Dyn. 11 (2017), 99–123. MR 3627119, DOI https://doi.org/10.3934/jmd.2017005
Beno Eckmann, Introduction to $l_2$-methods in topology: reduced $l_2$-homology, harmonic chains, $l_2$-Betti numbers, Israel J. Math. 117 (2000), 183–219. Notes prepared by Guido Mislin. MR 1760592, DOI https://doi.org/10.1007/BF02773570
Łukasz Grabowski, On Turing dynamical systems and the Atiyah problem, Invent. Math. 198 (2014), no. 1, 27–69. MR 3260857, DOI https://doi.org/10.1007/s00222-013-0497-5
Łukasz Grabowski, Group ring elements with large spectral density, Math. Ann. 363 (2015), no. 1-2, 637–656. MR 3394391, DOI https://doi.org/10.1007/s00208-015-1170-7
Łukasz Grabowski, Irrational $l^2$ invariants arising from the lamplighter group, Groups Geom. Dyn. 10 (2016), no. 2, 795–817. MR 3513118, DOI https://doi.org/10.4171/GGD/366

Ł. Grabowski and Virag, Random walks on Lamplighters via random Schrödinger operators, unpublished (2015).

R. I. Grigorchuk, Some problems of the dynamics of group actions on rooted trees, Tr. Mat. Inst. Steklova 273 (2011), no. Sovremennye Problemy Matematiki, 72–191 (Russian, with Russian summary); English transl., Proc. Steklov Inst. Math. 273 (2011), no. 1, 64–175. MR 2893544, DOI https://doi.org/10.1134/S0081543811040067

Rostislav Grigorchuk, Daniel Lenz, and Tatiana Nagnibeda, Spectra of Schreier graphs of Grigorchuk’s group and Schroedinger operators with aperiodic order, Math. Ann. 370 (2018), no. 3-4, 1607–1637. MR 3770175, DOI https://doi.org/10.1007/s00208-017-1573-8

Rostislav I. Grigorchuk, Peter Linnell, Thomas Schick, and Andrzej Żuk, On a question of Atiyah, C. R. Acad. Sci. Paris Sér. I Math. 331 (2000), no. 9, 663–668 (English, with English and French summaries). MR 1797748, DOI https://doi.org/10.1016/S0764-4442%2800%2901702-X

Rostislav Grigorchuk and Volodymyr Nekrashevych, Self-similar groups, operator algebras and Schur complement, J. Mod. Dyn. 1 (2007), no. 3, 323–370. MR 2318495, DOI https://doi.org/10.3934/jmd.2007.1.323

R. I. Grigorchuk, V. V. Nekrashevich, and V. I. Sushchanskiĭ, Automata, dynamical systems, and groups, Tr. Mat. Inst. Steklova 231 (2000), no. Din. Sist., Avtom. i Beskon. Gruppy, 134–214 (Russian, with Russian summary); English transl., Proc. Steklov Inst. Math. 4(231) (2000), 128–203. MR 1841755

Rostislav Grigorchuk, Volodymyr Nekrashevych, and Zoran Šunić, From self-similar groups to self-similar sets and spectra, Fractal geometry and stochastics V, Progr. Probab., vol. 70, Birkhäuser/Springer, Cham, 2015, pp. 175–207. MR 3558157, DOI https://doi.org/10.1007/978-3-319-18660-3_11

R. Grigorchuk and B. Simanek, Spectra of Cayley graphs of the lamplighter group and random Schrödinger operators, Max Planck Institute für Matematik, preprint series 27 (2019), 1–30.

Rostislav I. Grigorchuk and Andrzej Żuk, The lamplighter group as a group generated by a 2-state automaton, and its spectrum, Geom. Dedicata 87 (2001), no. 1-3, 209–244. MR 1866850, DOI https://doi.org/10.1023/A%3A1012061801279

Rostislav I. Grigorchuk and Andrzej Żuk, The Ihara zeta function of infinite graphs, the KNS spectral measure and integrable maps, Random walks and geometry, Walter de Gruyter, Berlin, 2004, pp. 141–180. MR 2087782

Harry Kesten, Symmetric random walks on groups, Trans. Amer. Math. Soc. 92 (1959), 336–354. MR 109367, DOI https://doi.org/10.1090/S0002-9947-1959-0109367-6

Werner Kirsch and Bernd Metzger, The integrated density of states for random Schrödinger operators, Spectral theory and mathematical physics: a Festschrift in honor of Barry Simon’s 60th birthday, Proc. Sympos. Pure Math., vol. 76, Amer. Math. Soc., Providence, RI, 2007, pp. 649–696. MR 2307751, DOI https://doi.org/10.1090/pspum/076.2/2307751

Abel Klein, Jean Lacroix, and Athanasios Speis, Localization for the Anderson model on a strip with singular potentials, J. Funct. Anal. 94 (1990), no. 1, 135–155. MR 1077548, DOI https://doi.org/10.1016/0022-1236%2890%2990031-F

Marcin Kotowski and Bálint Virág, Dyson’s spike for random Schroedinger operators and Novikov-Shubin invariants of groups, Comm. Math. Phys. 352 (2017), no. 3, 905–933. MR 3631394, DOI https://doi.org/10.1007/s00220-017-2871-4

Franz Lehner, Markus Neuhauser, and Wolfgang Woess, On the spectrum of lamplighter groups and percolation clusters, Math. Ann. 342 (2008), no. 1, 69–89. MR 2415315, DOI https://doi.org/10.1007/s00208-008-0222-7

Wolfgang Lück, $L^2$-invariants and their applications to geometry, group theory and spectral theory, Mathematics unlimited—2001 and beyond, Springer, Berlin, 2001, pp. 859–871. MR 1852191

Milivoje Lukic, Spectral edge behavior for eventually monotone Jacobi and Verblunsky coefficients, J. Spectr. Theory 9 (2019), no. 3, 1115–1155. MR 4003552, DOI https://doi.org/10.4171/JST/273

F. Martinelli and L. Micheli, On the large-coupling-constant behavior of the Liapunov exponent in a binary alloy, J. Statist. Phys. 48 (1987), no. 1-2, 1–18. MR 914426, DOI https://doi.org/10.1007/BF01010397

J. Mc Laughlin, Combinatorial identities deriving from the $n$th power of a $2\times 2$ matrix, Integers 4 (2004), A19, 15. MR 2116004

L. A. Pastur, Spectral properties of disordered systems in the one-body approximation, Comm. Math. Phys. 75 (1980), no. 2, 179–196. MR 582507

Barry Simon, Orthogonal polynomials on the unit circle. Part 1, American Mathematical Society Colloquium Publications, vol. 54, American Mathematical Society, Providence, RI, 2005. Classical theory. MR 2105088

Barry Simon, Orthogonal polynomials on the unit circle. Part 2, American Mathematical Society Colloquium Publications, vol. 54, American Mathematical Society, Providence, RI, 2005. Spectral theory. MR 2105089