A Paradifferential Approach for Hyperbolic Dynamical Systems and Applications

The paper proves four main claims about the microlocal localization and Sobolev-to-smooth rigidity of the stable/unstable bundles for Anosov flows, including the 3D volume-preserving threshold s>2 and a higher-dimensional pinching criterion. The candidate solution states exactly these results and outlines a workable approach: (i) wavefront localization via an invariant projector interpreted as a resonant state, and (ii) a paradifferential/radial-point bootstrapping argument yielding the same thresholds. The methodology differs from the paper’s preferred Riccati/paradifferential setup, but is compatible in spirit and reaches the same conclusions. Minor issues: the model incorrectly identifies the full characteristic set {⟨ξ,X⟩=0} with E_u^*∪E_s^* (it only contains these as radial subsets), and it implicitly assumes the standard anisotropic Fredholm theory extends to tensor bundles without detailing the construction. These do not affect the stated results. Overall, the paper’s claims match Theorem 1 (and related Theorem 2) in the PDF, and the model’s approach is a plausible alternate proof outline consistent with the literature.