{
  "schema_version": 1,
  "problem_number": "OWR-14298367-003",
  "title": "Shadowing and Generalized Hyperbolicity for Dissipative Composition Operators without Bounded Distortion",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Let T_f φ = φ∘f be a dissipative composition operator on L^p(X, B, μ), 1 ≤ p < ∞, induced by a bimeasurable bijection f such that μ∘f and μ∘f⁻¹ are bounded by a multiple of μ. D'Aniello, Darji and Maiuriello proved that if f has bounded distortion, then T_f has the shadowing property if and only if it is generalized hyperbolic, if and only if the masses μ(f^k(W)) of the iterates of a wandering set satisfy one of three growth conditions. They asked, and Maiuriello asked again in Oberwolfach Report 19/2024, whether this remains true without bounded distortion. We show that shadowing and generalized hyperbolicity are equivalent for every dissipative composition operator, for all 1 ≤ p < ∞, for real or complex scalars and without separability assumptions. Both are equivalent to the surjectivity of I − T_f, and to a uniform exponential \"tent\" condition on the Radon–Nikodym densities d(μ∘f^k)/dμ on the wandering set. The proof represents T_f as a field of weighted shifts and rests on a deterministic lemma about a single fibre. For p = 2, complex scalars and separable L²(μ) the equivalence also follows from a recent theorem of Pituk on separable Hilbert spaces. The characterization by masses fails without bounded distortion in both directions: Bernardes, D'Aniello and Maiuriello recently gave an example satisfying the contraction condition (HC) without shadowing, and we record an elementary hyperbolic example that satisfies none of the three conditions. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.DS",
    "math.FA"
  ],
  "keywords": [
    "composition operator",
    "shadowing property",
    "generalized hyperbolicity",
    "dissipative system",
    "bounded distortion",
    "weighted shift",
    "linear dynamics",
    "Oberwolfach Reports",
    "OWR-14298367-003",
    "math.DS",
    "math.FA",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-09-29",
  "publication_date": "2026-09-29",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-09-29",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-14298367-003/",
  "pdf_url": "https://eulersolve.org/papers/owr-14298367-003/paper.pdf?v=2c407a2a6dc8",
  "doi": "10.5281/zenodo.23041948",
  "zenodo_record_url": "https://zenodo.org/records/23041948",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Shadowing and generalized hyperbolicity are shown equivalent for every dissipative composition operator; the characterization by masses fails without bounded distortion (one direction already by Bernardes–D'Aniello–Maiuriello, credited). For p = 2, complex scalars and separable L² the equivalence also follows from Pituk. Unrefereed.",
  "files": {
    "paper.pdf": {
      "sha256": "2c407a2a6dc8563d8340dc7ed9c5ff6cd3f58391e39f5d69dc66b70145c8f123"
    },
    "source.zip": {
      "sha256": "40de3f24e6bbee1a209dd94aa2ac9671c3330d6be72aedb47b42f34bc33d8ec6"
    },
    "verification_report.md": {
      "sha256": "85dc98af52f725c51d0708a6ab1a83486efda8668869d7c541113f7b3edba9b5"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}