koopman-generator
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
When & Why to Use This Skill
The Koopman Generator skill leverages Koopman operator theory to transform complex nonlinear dynamical systems into infinite-dimensional linear representations. By lifting state-space dynamics into observable space, it enables advanced data-driven modeling, spectral analysis via Dynamic Mode Decomposition (DMD), and compositional scientific computing for researchers and engineers.
Use Cases
- Linearizing complex nonlinear systems to simplify control, stability analysis, and long-term prediction in physical sciences.
- Performing Dynamic Mode Decomposition (DMD) to extract spatial-temporal patterns and coherent structures from high-dimensional experimental data.
- Generating dynamical models directly from experimental observables to bridge the gap between data science and classical physical modeling.
- Utilizing algebraic structures (ACSets) and category theory to ensure mathematical consistency and compositional coherence in multi-physics simulations.
| name | koopman-generator |
|---|---|
| description | Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables. |
| version | 1.0.0 |
Koopman Generator Skill
Core Idea
The Koopman operator K linearizes nonlinear dynamics by lifting to infinite-dimensional observable space:
State space (nonlinear) Observable space (linear)
x_{t+1} = f(x_t) → (Kg)(x) = g(f(x))
Key property: K is linear even when f is nonlinear.
Connection to DMD
DMD finds finite-rank approximation of K:
K ≈ Φ Λ Φ†
- Φ = DMD modes (approximate Koopman eigenfunctions)
- Λ = eigenvalues
As ACSet Morphism
Koopman = natural transformation on observable presheaves:
# Observable functor
F: StateSpace → ObservableSpace
# Koopman as pushforward
K = f_*: Sh(X) → Sh(X)
GF(3) Triads
dmd-spectral (-1) ⊗ structured-decomp (0) ⊗ koopman-generator (+1) = 0 ✓
temporal-coalgebra (-1) ⊗ acsets (0) ⊗ koopman-generator (+1) = 0 ✓
References
- Brunton et al. "Modern Koopman Theory" (2021)
- Mezić "Spectral Properties of Dynamical Systems" (2005)
- PyDMD: https://github.com/mathLab/PyDMD
Scientific Skill Interleaving
This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:
Bioinformatics
- biopython [○] via bicomodule
- Hub for biological sequences
Scientific Computing
- scipy [+] via Lan_K
- Generator/free structure
Bibliography References
dynamical-systems: 41 citations in bib.duckdb
Cat# Integration
This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:
Trit: 1 (PLUS)
Home: Prof
Poly Op: ⊗
Kan Role: Adj
Color: #4ECDC4
GF(3) Naturality
The skill participates in triads satisfying:
(-1) + (0) + (+1) ≡ 0 (mod 3)
This ensures compositional coherence in the Cat# equipment structure.