-
The Lanford-Ruelle theorem for actions of sofic groups
Authors:
Sebastián Barbieri,
Tom Meyerovitch
Abstract:
Let $Γ$ be a sofic group, $Σ$ be a sofic approximation sequence of $Γ$ and $X$ be a $Γ$-subshift with nonnegative sofic topological entropy with respect to $Σ$. Further assume that $X$ is a shift of finite type, or more generally, that $X$ satisfies the topological Markov property. We show that for any sufficiently regular potential $f \colon X \to \mathbb{R}$, any translation-invariant Borel prob…
▽ More
Let $Γ$ be a sofic group, $Σ$ be a sofic approximation sequence of $Γ$ and $X$ be a $Γ$-subshift with nonnegative sofic topological entropy with respect to $Σ$. Further assume that $X$ is a shift of finite type, or more generally, that $X$ satisfies the topological Markov property. We show that for any sufficiently regular potential $f \colon X \to \mathbb{R}$, any translation-invariant Borel probability measure on $X$ which maximizes the measure-theoretical sofic pressure of $f$ with respect to $Σ$, is a Gibbs state with respect to $f$. This extends a classical theorem of Lanford and Ruelle, as well as previous generalizations of Moulin Ollagnier, Pinchon, Tempelman and others, to the case where the group is sofic.
As applications of our main result we present a criterion for uniqueness of an equilibrium measure, as well as sufficient conditions for having that the equilibrium states do not depend upon the chosen sofic approximation sequence. We also prove that for any group-shift over a sofic group, the Haar measure is the unique measure of maximal sofic entropy for every sofic approximation sequence, as long as the homoclinic group is dense.
On the expository side, we present a short proof of Chung's variational principle for sofic topological pressure.
△ Less
Submitted 11 November, 2022; v1 submitted 4 December, 2021;
originally announced December 2021.
-
Gibbsian representations of continuous specifications: the theorems of Kozlov and Sullivan revisited
Authors:
Sebastián Barbieri,
Ricardo Gómez,
Brian Marcus,
Tom Meyerovitch,
Siamak Taati
Abstract:
The theorems of Kozlov and Sullivan characterize Gibbs measures as measures with positive continuous specifications. More precisely, Kozlov showed that every positive continuous specification on symbolic configurations of the lattice is generated by a norm-summable interaction. Sullivan showed that every shift-invariant positive continuous specification is generated by a shift-invariant interactio…
▽ More
The theorems of Kozlov and Sullivan characterize Gibbs measures as measures with positive continuous specifications. More precisely, Kozlov showed that every positive continuous specification on symbolic configurations of the lattice is generated by a norm-summable interaction. Sullivan showed that every shift-invariant positive continuous specification is generated by a shift-invariant interaction satisfying the weaker condition of variation-summability. These results were proven in the 1970s. An open question since that time is whether Kozlov's theorem holds in the shift-invariant setting, equivalently whether Sullivan's conclusion can be improved from variation-summability to norm-summability. We show that the answer is no: there exist shift-invariant positive continuous specifications that are not generated by any shift-invariant norm-summable interaction. On the other hand, we give a complete proof of an extension, suggested by Kozlov, of Kozlov's theorem to a characterization of positive continuous specifications on configuration spaces with arbitrary hard constraints. We also present an extended version of Sullivan's theorem. Aside from simplifying some of the arguments in the original proof, our new version of Sullivan's theorem applies in various settings not covered by the original proof. In particular, it applies when the support of the specification is the hard-core shift or the two-dimensional $q$-coloring shift for $q\geq 6$.
△ Less
Submitted 4 October, 2020; v1 submitted 12 January, 2020;
originally announced January 2020.
-
Gibbs and equilibrium measures for some families of subshifts
Authors:
Tom Meyerovitch
Abstract:
For SFTs, any equilibrium measure is Gibbs, as long a $f$ has $d$-summable variation. This is a theorem of Lanford and Ruelle. Conversely, a theorem of Dobru{š}in states that for strongly-irreducible subshifts, shift-invariant Gibbs-measures are equilibrium measures. Here we prove a generalization of the Lanford-Ruelle theorem: for all subshifts, any equilibrium measure for a function with $d$-s…
▽ More
For SFTs, any equilibrium measure is Gibbs, as long a $f$ has $d$-summable variation. This is a theorem of Lanford and Ruelle. Conversely, a theorem of Dobru{š}in states that for strongly-irreducible subshifts, shift-invariant Gibbs-measures are equilibrium measures. Here we prove a generalization of the Lanford-Ruelle theorem: for all subshifts, any equilibrium measure for a function with $d$-summable variation is "topologically Gibbs". This is a relaxed notion which coincides with the usual notion of a Gibbs measure for SFTs. In the second part of the paper, we study Gibbs and equilibrium measures for some interesting families of subshifts: $β$-shifts, Dyck-shifts and Kalikow-type shifts (defined below). In all of these cases, a Lanford-Ruelle type theorem holds. For each of these families we provide a specific proof of the result.
△ Less
Submitted 8 March, 2009;
originally announced March 2009.
