Limits of Rauzy graphs of languages with subexponential complexity
Abstract
To a subshift over a finite alphabet, one can naturally associate an infinite family of finite graphs, called its Rauzy graphs. We show that for a subshift of subexponential complexity the Rauzy graphs converge to the line $\mathbf{Z}$ in the sense of Benjamini-Schramm convergence if and only if its complexity function $p(n)$ is unbounded and satisfies $\lim_n\frac{p(n+1)}{p(n)} = 1$. We then apply this criterion to many examples of well-studied dynamical systems. If the subshift is moreover uniquely ergodic then we show that the limit of labelled Rauzy graphs if it exists can be identified with the unique invariant measure. In addition we consider an example of a non uniquely ergodic system recently studied by Cassaigne and Kaboré and identify a continuum of invariant measures with subsequential limits of labelled Rauzy graphs.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2024
- DOI:
- 10.48550/arXiv.2402.15877
- arXiv:
- arXiv:2402.15877
- Bibcode:
- 2024arXiv240215877L
- Keywords:
-
- Mathematics - Dynamical Systems;
- Mathematics - Combinatorics;
- 37B10
- E-Print:
- V2 Theorem 1.1 has been improved. We added two new properties equivalent to the convergence of Rauzy graphs: convergence of the empirical spectral measures and convergence of the empirical spectral measures to a specified measure (that has density $\frac{1}{\pi\sqrt{4-x^2}}dx$ with respect to the Lebesgue measure on~$[-2, 2]$)