home / skills / plurigrid / asi / kuramoto-model
This skill analyzes Kuramoto model dynamics to help users understand synchronization, bifurcations, and stability in coupled oscillators.
npx playbooks add skill plurigrid/asi --skill kuramoto-modelReview the files below or copy the command above to add this skill to your agents.
---
name: kuramoto-model
description: Coupled oscillators with sinusoidal coupling
version: 1.0.0
---
# Kuramoto Model
**Trit**: 1 (PLUS)
**Domain**: Dynamical Systems Theory
**Principle**: Coupled oscillators with sinusoidal coupling
## Overview
Kuramoto Model is a fundamental concept in dynamical systems theory, providing tools for understanding the qualitative behavior of differential equations and flows on manifolds.
## Mathematical Definition
```
KURAMOTO_MODEL: Phase space × Time → Phase space
```
## Key Properties
1. **Local behavior**: Analysis near equilibria and invariant sets
2. **Global structure**: Long-term dynamics and limit sets
3. **Bifurcations**: Parameter-dependent qualitative changes
4. **Stability**: Robustness under perturbation
## Integration with GF(3)
This skill participates in triadic composition:
- **Trit 1** (PLUS): Sources/generators
- **Conservation**: Σ trits ≡ 0 (mod 3) across skill triplets
## AlgebraicDynamics.jl Connection
```julia
using AlgebraicDynamics
# Kuramoto Model as compositional dynamical system
# Implements oapply for resource-sharing machines
```
## Related Skills
- equilibrium (trit 0)
- stability (trit +1)
- bifurcation (trit +1)
- attractor (trit +1)
- lyapunov-function (trit -1)
---
**Skill Name**: kuramoto-model
**Type**: Dynamical Systems / Kuramoto Model
**Trit**: 1 (PLUS)
**GF(3)**: Conserved in triplet composition
## Non-Backtracking Geodesic Qualification
**Condition**: μ(n) ≠ 0 (Möbius squarefree)
This skill is qualified for non-backtracking geodesic traversal:
1. **Prime Path**: No state revisited in skill invocation chain
2. **Möbius Filter**: Composite paths (backtracking) cancel via μ-inversion
3. **GF(3) Conservation**: Trit sum ≡ 0 (mod 3) across skill triplets
4. **Spectral Gap**: Ramanujan bound λ₂ ≤ 2√(k-1) for k-regular expansion
```
Geodesic Invariant:
∀ path P: backtrack(P) = ∅ ⟹ μ(|P|) ≠ 0
Möbius Inversion:
f(n) = Σ_{d|n} g(d) ⟹ g(n) = Σ_{d|n} μ(n/d) f(d)
```
## SDF Interleaving
This skill connects to **Software Design for Flexibility** (Hanson & Sussman, 2021):
### Primary Chapter: 8. Degeneracy
**Concepts**: redundancy, fallback, multiple strategies, robustness
### GF(3) Balanced Triad
```
kuramoto-model (+) + SDF.Ch8 (−) + [balancer] (○) = 0
```
**Skill Trit**: 1 (PLUS - generation)
### Secondary Chapters
- Ch3: Variations on an Arithmetic Theme
### Connection Pattern
Degeneracy provides fallbacks. This skill offers redundant strategies.
This skill implements and documents the Kuramoto model for coupled phase oscillators, focused on sinusoidal coupling and its role in collective synchronization. It frames the model as a compositional dynamical system useful for studying local equilibria, global limit sets, and parameter-driven transitions. The presentation emphasizes practical connections to robustness and resource-sharing in modular software systems.
The skill defines a phase-space flow where each oscillator evolves by its natural frequency plus a sinusoidal coupling term proportional to a global coupling constant. It inspects local stability near fixed points, tracks global long-term behavior such as partial or full synchronization, and analyzes bifurcations as coupling or heterogeneity change. Implementations expose interfaces for simulating networks, measuring order parameters, and composing the model with other dynamical modules.
What outputs does the skill provide?
Time series of oscillator phases, the global order parameter, and diagnostic measures for stability and bifurcation analysis.
Can I change network topology and coupling functions?
Yes; the implementation is modular so you can replace adjacency, coupling kernels, or per-oscillator dynamics without rewriting core analysis tools.