Back to search
2009.06256

The Weak and Strong Rigidities of Entropy Spectra

Katsukuni Nakagawa

correcthigh confidence
Category
Not specified
Journal tier
Specialist/Solid
Processed
Sep 28, 2025, 12:55 AM

Audit review

The paper proves that if two Gibbs systems on (possibly different) one-sided topological Markov shifts are measure-theoretically isomorphic, then their entropy spectra coincide. It does so by: (i) expressing the spectrum via the Legendre transform of β(q)=P(qf)−qP(f) for Hölder Gibbs measures (Theorem 2.8), and (ii) showing that an isomorphism forces equality of these β-functions using Jacobians built from the Ruelle–Perron–Frobenius data and a preimage-sum formula for pressure; this yields E(μ_f)=E(μ_g) (Theorem 3.2). The key steps—Definition of the spectrum (Def. 1.1), β-representation (Thm. 2.8), the isomorphism set-up (Def. 3.1), the Jacobian identity (Lemma 3.3), and the preimage-sum pressure formula (Lemma 3.4)—are all present and correctly executed in the paper . By contrast, the candidate solution’s Step 5 asserts that the L^q partition-sum growth rate τ_μ(q) is an isomorphism invariant for Bernoulli systems and is independent of the choice of finite generator. This is false in general: even among Bernoulli shifts with equal Kolmogorov–Sinai entropy (hence isomorphic), the τ-functions computed from their standard coordinate generators are τ(q)=log∑_i p_i^q, which differ for different symbol distributions. Thus generator-independence and isomorphism-invariance of τ_μ(q) do not hold as claimed. The remainder of the candidate solution rests on this step, so it fails.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

The work establishes a clean isomorphism-invariance result for entropy spectra of Gibbs measures on one-sided SFTs. The method is standard but effectively orchestrated: transfer-operator eigenstructures, Jacobian identities, and a preimage characterization of pressure combine to yield equality of the Legendre-generating functions β(q). The result is of solid interest for multifractal rigidity questions. Minor improvements in exposition (explicit citations and justifications at a few steps) would enhance clarity.