Equilibrium states for factor maps between subshifts

Let π:X→Y be a factor map, where (X,σX) and (Y,σY) are subshifts over finite alphabets. Assume that X satisfies weak specification. Let a=(a₁,a₂)∈R² with a₁>0 and a₂?0. Let f be a continuous function on X with sufficient regularity (Hölder continuity, for instance). We show that there is a unique shift invariant measure μ on X that maximizes . In particular, taking f≡0 we see that there is a unique invariant measure μ on X that maximizes the weighted entropy a₁hμ(σX)+a₂hμ°π−1(σY), which answers an open question raised by Gatzouras and Peres (1996) in 15]. An extension is given to high dimensional cases. As an application, we show that for each compact invariant set K on the k-torus under a diagonal endomorphism, if the symbolic coding of K satisfies weak specification, then there is a unique invariant measure μ supported on K so that dimHμ=dimHK.