SKEW-PRODUCT SYSTEMS OVER INFINITE INTERVAL EXCHANGE TRANSFORMATIONS

The paper proves that for stationary rotated odometers with diagonalizable substitution matrix M, λ0 simple and |λ1|>1, the a.s. diffusion exponent satisfies γ(x) ≤ log|λ1|/log λ0 (Theorem 1.11 = Theorem 4.3 in-section form). The candidate solution reaches the same bound via the same core mechanism: substitution coding, eigen-decomposition, annihilation of the PF direction due to mean-zero cocycle, and a hierarchical block decomposition. The model, however, incorrectly asserts the substitution is constant-length with L=2 (for rotated odometers), and uses an unnecessary measure-vector recursion. These are technical misstatements, but after replacing L by the true scaling λ0 (which equals 2^N for the covering case), the argument aligns with the paper and yields the same exponent. Hence both are correct, with the model needing minor corrections.