Gibbs Measures on Subshifts of Finite Type: Five Equivalent Characterizations with Explicit Constants

TL;DR

This paper establishes the equivalence of five characterizations of Gibbs measures on subshifts of finite type, providing explicit constants and spectral gap estimates, and contributes to the thermodynamic formalism in dynamical systems.

Contribution

It proves the equivalence of five Gibbs measure characterizations with explicit constants and derives spectral gap estimates and stability results.

Findings

Proves five characterizations are equivalent with explicit constants.

Provides spectral gap estimates for the transfer operator.

Shows Lipschitz stability and statistical limit theorems for Gibbs measures.

Abstract

We prove that five characterizations of Gibbs measures for H\"{o}lder potentials on topologically mixing subshifts of finite type are equivalent: the Jacobian condition, the classical cylinder-based Gibbs property, the eigenmeasure of the Ruelle transfer operator, the variational equilibrium state, and the minimizer of the large deviations rate function. The equivalence is established in a single theorem with explicit constants expressed in terms of the H\"{o}lder exponent, the potential norm, the alphabet size, and the mixing time. The proof yields explicit spectral gap estimates for the transfer operator via the Birkhoff cone contraction technique, Lipschitz stability of the Gibbs measure in Wasserstein distance under perturbation of the potential, and statistical limit theorems including a central limit theorem with Berry-Esseen bounds and a large deviations principle. This Part constitutes Part I of a six-part series on the thermodynamic formalism for hyperbolic dynamical systems.