Typical sofic entropy and local limits for free group shift systems

TL;DR

This paper introduces typical upper and lower sofic entropy values for invariant measures on free group shift systems, providing conditions for their equality and applications to local limits in Gibbs states, with implications for models like Ising and Potts.

Contribution

It defines and analyzes typical sofic entropy bounds, linking them to annealed entropy and applying results to Gibbs states and Markov chains.

Findings

Typical upper and lower sofic entropy values are established.

Conditions for equality of these entropy values are provided.

Application to local limits of Gibbs states and Markov chain models.

Abstract

We show that for any invariant measure $\mu$ on a free group shift system, there are two numbers $h^\flat \leq h^\sharp$ which in some sense are the typical upper and lower sofic entropy values. We also give a condition under which $h^\flat = h^\sharp = \mathrm{f}(\mu)$, where $\mathrm{f}$ is the annealed entropy (also called the f invariant). This can be used to compute typical local limits of finitary Gibbs states over sequences of random regular graphs. As examples, we work out typical local limits of the Ising and Potts models. We also show that, for Markov chains, the Kesten--Stigum second-eigenvalue reconstruction criterion actually implies there are no good models over a typical sofic approximation (i.e. $h^\sharp = -\infty$). In particular, we have an exact value for the typical entropy $h^\flat = h^\sharp$ of the free-boundary Ising state: it is equal to the annealed entropy $\mathrm{f}$ for interaction strengths up to the reconstruction threshold, after which it drops abruptly to $-\infty$.