2008.05679
QUANTITATIVE STATISTICAL STABILITY FOR THE EQUILIBRIUM STATES OF PIECEWISE PARTIALLY HYPERBOLIC MAPS.
Rafael A. Bilbao, Ricardo Bioni, Rafael Lucena
correctmedium confidence
- Category
- math.DS
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:55 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves the O(δ^ζ log δ) quantitative statistical stability on the anisotropic pair (S∞, L∞) via a bespoke "ζ-uniform family" framework (Definition 4.1) and a perturbative fixed-point estimate (Lemma 4.2), requiring only a strong→weak bound on (L0−Lδ) evaluated at the perturbed invariant state μδ and exponential convergence to equilibrium for L0. Crucially, the paper circumvents any need for a full strong→weak operator-norm bound on Lδ−L0 for all μ∈S∞ by first proving uniform Hölder regularity of the disintegration of μδ (Theorem E) and then estimating ||(F0∗−Fδ∗)μδ||∞≤Cδ^ζ (Theorem 5.3), which suffices to apply their abstract stability theorem B and yields ||μδ−μ0||∞=O(δ^ζ log δ) (Theorem D). The candidate solution, by contrast, invokes Keller–Liverani with the claim that ||Lδ−L0||_{S∞→L∞}=O(δ^ζ) holds as an operator norm and that a uniform spectral gap holds for all δ. In this setting S∞ does not enforce cross-fiber Hölder regularity, so the key “moving fiber” term cannot be controlled for arbitrary μ∈S∞; the paper avoids this by working only with μδ whose disintegration is uniformly Hölder (Theorem E). Hence the model’s proof misses a necessary hypothesis and relies on an unjustified operator-norm perturbation bound.
Referee report (LaTeX)
\textbf{Recommendation:} reject
\textbf{Journal Tier:} specialist/solid
\textbf{Justification:}
While the final rate matches the paper’s theorem, the model proof invokes Keller–Liverani on the anisotropic pair (S∞, L∞) without establishing the required strong→weak operator-norm perturbation bound. On these spaces, the crucial moving-fiber term cannot be controlled for arbitrary μ∈S∞ because S∞ does not encode cross-fiber Hölder regularity. The paper correctly resolves this by proving uniform Hölder regularity for the invariant measures μδ and using a fixed-point perturbation lemma that requires only ||(L0−Lδ)μδ||w≲δζ. The model’s proof overlooks these functional-analytic subtleties.