Published March 9, 2026 | Version v3
Preprint Open

A Spectral–Observable–Cone Equivalence Theorem for Nonlinear Cocycles under Monotone Output

Authors/Creators

  • 1. Independent Researcher, Sainte-Agathe-des-Monts, Québec, Canada

Description

This preprint establishes an equivalence theorem linking four properties
of nonlinear dynamical systems observed through a smooth output map:

(P1) a strict Lyapunov spectral gap λ1 > λ2,
(P2) exponential projective contraction in output space,
(P3) absence of strictly invariant cone fields on the dominant Oseledets plane,
(P4) impossibility of orthant confinement under finite-family monotone directional criteria.

Under standard structural assumptions (strong irreducibility and proximality),
these four properties are equivalent.

The key technical result shows that projective contraction in state space
is preserved up to bounded distortion through the output map under a minimal
non-degeneracy condition on Dh, strictly weaker than full observability.

The framework is extended to the degenerate case λ1 = λ2 > λ3,
where a rotation-frequency estimator provides a complete observable
dichotomy between colinearization (ω = 0) and persistent angular exploration (ω ≠ 0),
with equivalence to rank-2 Persistent Excitation.

This work closes the logical cycle initiated in:

Cone certificate — doi:10.5281/zenodo.18789449
FMDC criterion — doi:10.5281/zenodo.18803213

Files

Cone_Certificate_v4 2.pdf

Files (296.8 kB)

Name Size Download all
md5:7feb39db05f428e2e0c03fe819751d18
296.8 kB Preview Download

Additional details

Related works

Continues
Preprint: 10.5281/zenodo.18789449 (DOI)
Preprint: 10.5281/zenodo.18803213 (DOI)

Dates

Available
2026-02-27

References

  • L. Morissette, "A Cone-Based Certificate for Latent Dimensional Adequacy in Monotone-Output Systems," Preprint, Zenodo, 2026. doi:10.5281/zenodo.18789449
  • F. Forni and R. Sepulchre, "A dissipativity theorem for p-dominant systems," IEEE Trans. Automat. Control, vol. 64, no. 6, pp. 2462-2469, 2019.
  • M. Y. Li and J. S. Muldowney, "On Bendixson's criterion," J. Differential Equations, vol. 106, pp. 27-39, 1993.