Complete Equivalence of the Gibbs Ensembles for One-Dimensional Markov Systems

We show the equivalence of the Gibbs ensembles at the level of measures for one-dimensional Markov-Systems with arbitrary boundary conditions. That is, the limit of the microcanonical Gibbs ensemble is a Gibbs measure with an interaction depending on the microcanonical constraint. In fact the usual microcanonical condition is replaced by the sharper constraint that all type frequencies of neighboring spins (including the boundary spins) are fixed. When conditioning on a set of different frequencies of neighboring spins compatible with physical quantities like energy density we get the usual microcanonical ensemble. We show that the limit is a Gibbs measure for a nearest neighbor potential depending on the pair measure which maximizes the entropy on the given set of pair measures. For this we show the large deviation property of the pair empirical measure for arbitrary boundary conditions. We establish analogous results for finite range potentials.