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
- arXiv Links
- Abstract ↗PDF ↗
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.