Map Lattices Coupled by Collisions: Hitting Time Statistics and Collisions per Lattice Unit

Wael Bahsoun, Fanni M. Sélley

correcthigh confidence

Category: math.DS
Journal tier: Specialist/Solid
Processed: Sep 28, 2025, 12:56 AM
arXiv Links: Abstract ↗PDF ↗

Audit review

The candidate’s argument mirrors the paper’s method and conclusions: a quasi-Hölder Lasota–Yorke framework on V_α, Keller–Liverani spectral perturbation for the open (rare-event) transfer operator, first-order expansion λε = 1 − μ0(Hε)θ + o(μ0(Hε)), the explicit θ determined by periodic returns of T2,0 to S, an exponential hitting-time law with error O(Ldε2|ln(Ldε2)|), and the per-lattice-unit rate −(1/L) ln λε = Ξε θ(1+o(1)) in the regime Lε2→0. These match Theorem 2.4 and Theorem 2.7 (including the definitions of Hε, Ξε, and θ) and the proofs based on Lemmas 4.1 and 4.3 and the spectral decomposition (17) in the paper. Minor differences are not substantive: the candidate slightly under-specifies the Saussol hypotheses (the paper notes an extra smallness condition on s = 1/min|τ'| to ensure (PE5)) and informally treats the Ld factor as part of the constants, but the main steps and results agree with the paper’s statements and derivations .

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

The paper rigorously develops rare-event spectral perturbation techniques for collision-coupled map lattices, obtaining sharp first-collision rates and hitting-time statistics on finite boxes, and a clean per-lattice-unit limit for the infinite system. The framework (Saussol spaces, Hennion, Keller–Liverani) is well-chosen, and the combination of careful inclusion–exclusion estimates with spectral methods is technically solid. Revisions are limited to clarifying minor notational points (e.g., Ld vs. L) and explicitly stating the smallness condition ensuring (PE5). Overall, the contribution is sound and useful to specialists in dynamical systems and transfer-operator methods.