Ergodic and synthetic Koopman analyses of cat maps onto classical 2-tori

David Viennot

arxiv: 2505.10293 · v4 · submitted 2025-05-15 · 🌊 nlin.CD · math-ph· math.MP

Ergodic and synthetic Koopman analyses of cat maps onto classical 2-tori

David Viennot This is my paper

Pith reviewed 2026-05-22 15:33 UTC · model grok-4.3

classification 🌊 nlin.CD math-phmath.MP

keywords cat mapsKoopman operatorergodic decompositiontorus automorphismschaotic dynamicsspectral analysis

0 comments

The pith

Koopman modes for cat maps on the torus admit analytical formulae that stay coherent across the full surface and its ergodic partitions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper applies Koopman theory to classical cat maps, which are linear automorphisms of the 2-torus. It derives closed-form expressions for Koopman modes that remain consistent over the entire torus. These modes are then decomposed to match the torus partition into ergodic components. The work examines the operator spectrum in four regimes: cyclic, quasi-cyclic, critical, and chaotic. A synthetic spectrum tied to the ergodic decomposition is also constructed.

Core claim

Analytical formulae are found for Koopman modes defined coherently on the whole of the torus, together with their decompositions associated with the partition of the torus into ergodic components. The spectrum of the Koopman operator is studied in the cyclic, quasi-cyclic, critical, and chaotic cases of cat maps. The synthetic spectrum associated with the ergodic decomposition is examined as well.

What carries the argument

Analytical formulae for Koopman modes that are defined coherently on the whole torus and respect its partition into ergodic components.

If this is right

In cyclic and quasi-cyclic regimes the modes recover the expected periodic or quasi-periodic evolution.
At the critical transition the mode decompositions register the onset of chaotic behavior through changes in the spectrum.
In the chaotic regime the decompositions make the mixing properties visible in the linear operator picture.
The synthetic spectrum supplies an averaged description of the operator across the ergodic pieces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same coherent-mode construction may apply to other toral automorphisms or higher-dimensional tori.
Numerical checks on discretized tori could verify how closely the analytical modes match finite approximations of the operator.
The approach opens a route to compare classical Koopman spectra with their quantum counterparts for cat maps.

Load-bearing premise

Koopman modes can be defined coherently across the entire torus while respecting its partition into ergodic components.

What would settle it

Direct substitution of the proposed analytical modes into the Koopman operator equation for any specific cat map, followed by a mismatch with the map's linear action on test functions, would disprove the formulae.

read the original abstract

We study classical continuous automorphisms of the torus (cat maps) from the viewpoint of the Koopman theory. We find analytical formulae for Koopman modes defined coherently on the whole of the torus, and their decompositions associated with the partition of the torus into ergodic components. The spectrum of the Koopman operator is studied in four cases of cat maps: cyclic, quasi-cyclic, critical (transition from quasi-cyclic to chaotic behaviour) and chaotic. The synthetic spectrum associated with the ergodic decomposition is also studied.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives explicit analytical formulae for Koopman modes on cat maps across four regimes and links them to ergodic partitions, but the chaotic case must use a synthetic definition since ordinary L2 eigenfunctions are only constants.

read the letter

The colleague should know that this work supplies closed-form expressions for Koopman modes defined on the full torus for cat maps, together with their decompositions tied to the ergodic partition, and it works through the spectrum in the cyclic, quasi-cyclic, critical, and chaotic cases plus a synthetic spectrum built from that partition. The analytical formulae are the concrete new element; they turn an abstract operator picture into explicit objects for these standard maps, which is useful when people want examples rather than general theorems. The framing around coherent modes and ergodic components is handled cleanly and gives the paper a clear organizing principle. The main soft spot sits in the chaotic regime. Cat maps with |tr A| > 2 are ergodic with continuous spectrum, so non-constant L2 eigenfunctions of the Koopman operator simply do not exist; any claimed modes must therefore be generalized or synthetic constructs. The paper needs to show explicitly that these objects obey the right generalized eigen-relation, stay single-valued and measurable on the torus, and respect the trivial ergodic decomposition. If the full derivations do that without hidden fitting or circular steps, the claim holds; otherwise the link between formula and operator is the weakest part. No obvious circularity or invented entities appear in the abstract, and the citation pattern is light but not obviously deficient for an extension of existing Koopman work on toral automorphisms. This paper is aimed at researchers in ergodic theory and Koopman methods who want concrete spectral calculations on hyperbolic maps. A reader already comfortable with synthetic spectra would extract value from the explicit cases. It deserves a serious referee to verify the derivations and the handling of the continuous-spectrum part.

Referee Report

2 major / 2 minor

Summary. The manuscript analyzes classical cat maps on the 2-torus via Koopman operator theory. It derives analytical formulae for Koopman modes defined coherently across the full torus and decomposes them according to the partition into ergodic components. The spectrum of the Koopman operator is examined in four regimes (cyclic, quasi-cyclic, critical, and chaotic), together with the associated synthetic spectrum.

Significance. If the claimed analytical formulae are rigorously derived and the synthetic modes are shown to satisfy appropriate generalized eigen-relations while remaining single-valued and measurable, the work would supply explicit constructions useful for spectral analysis of hyperbolic toral automorphisms. The explicit formulae and the four-regime comparison constitute a concrete strength that could facilitate verification and extension to related systems.

major comments (2)

Chaotic regime section: the analytical formulae for Koopman modes must be shown to obey a generalized eigen-relation (e.g., in the sense of distributions or rigged Hilbert space) because standard L2 eigenfunctions of the Koopman operator are only the constants when the cat map is hyperbolic; without this verification the claim of coherent definition on the whole torus remains unanchored.
Ergodic decomposition section: for the chaotic case the decomposition must explicitly address the fact that the ergodic partition is trivial (the map is ergodic), and demonstrate that the constructed modes remain single-valued and measurable on the torus while respecting this trivial decomposition.

minor comments (2)

The term 'synthetic spectrum' is used in the abstract and title without a concise definition; a short clarifying sentence in the introduction would improve accessibility.
Notation for the dual action on Fourier modes (k ↦ A^T k) should be introduced once and used consistently when relating the Koopman operator to the lattice orbits.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We respond to the major comments point by point below.

read point-by-point responses

Referee: Chaotic regime section: the analytical formulae for Koopman modes must be shown to obey a generalized eigen-relation (e.g., in the sense of distributions or rigged Hilbert space) because standard L2 eigenfunctions of the Koopman operator are only the constants when the cat map is hyperbolic; without this verification the claim of coherent definition on the whole torus remains unanchored.

Authors: We concur that when the cat map is hyperbolic, the only L^2 eigenfunctions of the Koopman operator are the constant functions. Our analytical formulae are derived using a generalized framework, specifically in the sense of distributions. To address this, we have added a verification in the revised manuscript showing that the modes satisfy the generalized eigen-relation Uf = lambda f in the distributional sense. This provides the necessary anchoring for their coherent definition on the whole torus. revision: yes
Referee: Ergodic decomposition section: for the chaotic case the decomposition must explicitly address the fact that the ergodic partition is trivial (the map is ergodic), and demonstrate that the constructed modes remain single-valued and measurable on the torus while respecting this trivial decomposition.

Authors: In the chaotic regime, the cat map is ergodic, so the ergodic partition is indeed trivial. We have revised the ergodic decomposition section to explicitly note this fact. Furthermore, we show that the constructed modes are single-valued and measurable on the torus; since the decomposition is trivial, the modes are defined globally as measurable functions that are consistent with this single ergodic component. revision: yes

Circularity Check

0 steps flagged

No circularity: analytical formulae derived from standard Koopman operator action on toral automorphisms

full rationale

The paper derives analytical expressions for Koopman modes and spectra directly from the linear action of cat maps on the torus and the induced permutation on the Fourier basis. No parameter fitting, self-definitional loops, or load-bearing self-citations appear in the derivation chain. The treatment of ergodic decompositions and synthetic spectra follows from the standard ergodic theory of hyperbolic toral automorphisms without reducing the claimed results to their own inputs by construction. The work remains self-contained against external benchmarks such as the known absence of non-constant L2 eigenfunctions in the chaotic case, which is addressed by distinguishing ordinary versus synthetic modes.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the paper rests on standard domain assumptions from ergodic theory and Koopman operator theory without introducing new free parameters or invented entities.

axioms (1)

domain assumption Cat maps are continuous automorphisms of the 2-torus
Explicitly stated as the objects of study in the abstract.

pith-pipeline@v0.9.0 · 5610 in / 1118 out tokens · 40502 ms · 2026-05-22T15:33:57.559530+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We find analytical formulae for Koopman modes defined coherently on the whole of the torus, and their decompositions associated with the partition of the torus into ergodic components... Sp(K) studied in four cases: cyclic, quasi-cyclic, critical and chaotic.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 2: If ω ∈ R, Sp(K) = {e^{inω}} and modes fnml(θ) = |ϕ^l(θ)+ − φ^+| ^m exp(in arg(...))

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.