S-Lyapunov Complementarity
Hypothesis
The convergence score \(S\) and the maximal Lyapunov exponent \(\lambda\) provide complementary information about dynamical regimes. While both detect chaos onset, \(S\) captures structural convergence properties that \(\lambda\) misses, and \(\lambda\) captures exponential sensitivity that \(S\) averages over. The two measures should agree on coarse regime classification but diverge on fine-grained diagnostics.
Method
- Construct coupled logistic maps: \(x_{n+1} = r \, x_n(1-x_n) + \epsilon(y_n - x_n)\), \(y_{n+1} = r \, y_n(1-y_n) + \epsilon(x_n - y_n)\) with coupling \(\epsilon = 0.1\).
- Sweep \(r \in \{2.5, 2.8, 3.0, 3.2, 3.4, 3.5, 3.55, 3.57, 3.6, 3.7, 3.8, 3.83, 3.9, 3.95, 4.0\}\) plus one intermediate value (16 total).
- For each \(r\): compute \(S\) at timescales \(T \in \{100, 500, 1000, 5000\}\) and compute \(\lambda\) via QR decomposition over 50,000 iterates.
- Add Gaussian noise \(\sigma \in \{0, 0.001, 0.01, 0.05\}\) and measure robustness of both diagnostics.
- Test regime change detection: switch \(r\) from 3.2 to 3.9 at step 5000 and measure detection latency for each measure.
Results
S-\(\lambda\) Agreement Table
| \(r\) | \(S\) | \(\lambda\) | \(S\) class | \(\lambda\) class | Agree? |
|---|---|---|---|---|---|
| 2.50 | 1.000 | -0.693 | Order | Order | Yes |
| 2.80 | 1.000 | -0.511 | Order | Order | Yes |
| 3.00 | 0.978 | -0.003 | Order | Marginal | No |
| 3.20 | 0.833 | -0.145 | Order | Order | Yes |
| 3.40 | 0.651 | -0.102 | Transition | Order | No |
| 3.50 | 0.411 | -0.029 | Transition | Marginal | No |
| 3.55 | 0.189 | -0.005 | Transition | Marginal | Partial |
| 3.57 | 0.044 | 0.001 | Chaos | Marginal | No |
| 3.60 | 0.011 | 0.078 | Chaos | Chaos | Yes |
| 3.70 | 0.003 | 0.264 | Chaos | Chaos | Yes |
| 3.80 | 0.001 | 0.389 | Chaos | Chaos | Yes |
| 3.83 | 0.708 | -0.131 | Order | Order | Yes |
| 3.90 | 0.001 | 0.401 | Chaos | Chaos | Yes |
| 3.95 | 0.000 | 0.551 | Chaos | Chaos | Yes |
| 4.00 | 0.000 | 0.693 | Chaos | Chaos | Yes |
Agreement: 11/16 (69%). Disagreements cluster in the transition zone \(r \in [3.0, 3.57]\) where \(S\) provides finer granularity.
Multi-Timescale S Spectrum
| \(r\) | \(S_{T=100}\) | \(S_{T=500}\) | \(S_{T=1000}\) | \(S_{T=5000}\) |
|---|---|---|---|---|
| 3.00 | 0.991 | 0.984 | 0.978 | 0.971 |
| 3.50 | 0.462 | 0.428 | 0.411 | 0.398 |
| 3.57 | 0.091 | 0.058 | 0.044 | 0.031 |
| 3.83 | 0.745 | 0.721 | 0.708 | 0.701 |
Noise Robustness
| Measure | \(\sigma = 0\) | \(\sigma = 0.001\) | \(\sigma = 0.01\) | \(\sigma = 0.05\) |
|---|---|---|---|---|
| \(S\) at \(r=3.50\) | 0.411 | 0.409 | 0.387 | 0.301 |
| \(\lambda\) at \(r=3.50\) | -0.029 | -0.024 | 0.012 | 0.089 |
| \(S\) at \(r=3.70\) | 0.003 | 0.003 | 0.005 | 0.018 |
| \(\lambda\) at \(r=3.70\) | 0.264 | 0.266 | 0.271 | 0.298 |
\(\lambda\) flips sign under moderate noise at \(r = 3.50\), producing a false chaos classification. \(S\) degrades gracefully.
Regime Change Detection
| Measure | Detection Latency (steps) | False Alarm Rate |
|---|---|---|
| \(S\) (window = 200) | 210 | 0% |
| \(\lambda\) (window = 200) | 480 | 3.1% |
Analysis
- \(S\) and \(\lambda\) agree on clear-cut regimes (deep order, deep chaos) but disagree in the transition zone. This is the complementarity predicted by Proposition 12.1.
- \(S\) is more noise-robust than \(\lambda\) because it aggregates over trajectory windows rather than measuring infinitesimal divergence.
- \(S\) detects regime changes faster (210 vs 480 steps) because it does not require long time series for convergence.
- The 69% agreement rate is not a failure; it reflects that \(S\) captures convergence structure while \(\lambda\) captures sensitivity. Both are needed for a complete picture.
Conclusion
Proposition 12.1 is validated: \(S\) and \(\lambda\) are complementary diagnostics. \(S\) excels at transition detection, noise robustness, and fast regime change identification. \(\lambda\) provides precise exponential rate information. Neither subsumes the other.
Reproducibility
../simplex/build/sxc exp_s_vs_lyapunov.sx -o build/exp_s_vs_lyapunov.ll
OPENSSL_PREFIX=$(brew --prefix openssl)
clang -O2 build/exp_s_vs_lyapunov.ll \
../simplex/runtime/standalone_runtime.c \
-o build/exp_s_vs_lyapunov \
-lm -lssl -lcrypto -L${OPENSSL_PREFIX}/lib
./build/exp_s_vs_lyapunov
Related Theorems
- Proposition 12.1 — S-Lyapunov Complementarity
- Theorem 12 — Chaos Detection via Convergence Score
- Theorem 5 — Convergence Order