A. Quas | Searcharxiv

arXiv2025

Freezing Phase Transitions for Lattice Systems and Higher-Dimensional Subshifts

Let $X = \mathcal{A}^{\mathbb{Z}^d}$, where $d \geq 1$ and $\mathcal{A}$ is a finite set, equipped with the action of the shift map. For a given continuous potential $\phi: \mathcal{A}^{\mathbb{Z}^d} \to \mathbb{R}$ and $\beta>0$ (``inverse temperature''), there exists a (nonempty) set of equilibrium states $\mathrm{ES}(\beta\phi)$. The potential $\phi$ is said to exhibit a ``freezing phase transition'' if $\mathrm{ES}(\beta\phi) = \mathrm{ES}(\beta'\phi)$ for all $\beta, \beta' > \beta_c$, while $\mathrm{ES}(\beta\phi) \neq \mathrm{ES}(\beta'\phi)$ for any $\beta < \beta_c < \beta'$, where $\beta_c\in (0,\infty)$ is a critical inverse temperature depending on $\phi$. In this paper, given any proper subshift $X_0$ of $X$, we explicitly construct a continuous potential $\phi: X \to \mathbb{R}$ for which there exists $\beta_c \in (0,\infty)$ such that $\mathrm{ES}(\beta\phi)$ coincides with the set of measures of maximal entropy on $X_0$ for all $\beta > \beta_c$, whereas for all $\beta < \beta_c$, $\mu(X_0)=0$ for all $\mu\in \mathrm{ES}(\beta\phi)$. This phenomenon was previously studied only for $d = 1$ in the context of dynamical systems and for restricted classes of subshifts, with significant motivation stemming from quasicrystal models. Additionally, we prove that under a natural summability condition -- satisfied, for instance, by finite-range potentials or exponentially decaying potentials -- freezing phase transitions are impossible.

math.DS↗

arXiv2022

Generation of measures on the torus with good sequences of integers

Let $S= (s_1<s_2<\dots)$ be a strictly increasing sequence of positive integers and denote $\mathbf{e}(\beta)=\mathrm{e}^{2\pi i \beta}$. We say $S$ is good if for every real $\alpha$ the limit $\lim_N \frac1N\sum_{n\le N} \mathbf{e}(s_n\alpha)$ exists. By the Riesz representation theorem, a sequence $S$ is good iff for every real $\alpha$ the sequence $(s_n\alpha)$ possesses an asymptotic distribution modulo 1. Another characterization of a good sequence follows from the spectral theorem: the sequence $S$ is good iff in any probability measure preserving system $(X,\mathbf{m},T)$ the limit $\lim_N \frac1N\sum_{n\le N}f\left(T^{s_n}x\right)$ exists in $L^2$-norm for $f\in L^2(X)$. Of these three characterization of a good set, the one about limit measures is the most suitable for us, and we are interested in finding out what the limit measure $\mu_{S,\alpha}= \lim_N\frac1N\sum_{n\le N} \delta_{s_n\alpha}$ on the torus can be. In this first paper on the subject, we investigate the case of a single irrational $\alpha$. We show that if $S$ is a good set then for every irrational $\alpha$ the limit measure $\mu_{S,\alpha}$ must be a continuous Borel probability measure. Using random methods, we show that the limit measure $\mu_{S,\alpha}$ can be any measure which is absolutely continuous with respect to the Haar-Lebesgue probability measure on the torus. On the other hand, if $\nu$ is the uniform probability measure supported on the Cantor set, there are some irrational $\alpha$ so that for no good sequence $S$ can we have the limit measure $\mu_{S,\alpha}$ equal $\nu$. We leave open the question whether for any continuous Borel probability measure $\nu$ on the torus there is an irrational $\alpha$ and a good sequence $S$ so that $\mu_{S,\alpha}=\nu$.

math.CA↗