Skip to main content
Jaehong Oh

χPreprint · 2025· Claims withdrawn

Constructive Lyapunov Functions via Topology-Preserving Neural Networks

Jaehong Oh

updated 277 words1 min read

PDF ↗

Historical abstract

We present a constructive solution to the Lyapunov–Massera–Kurzweil problem via Ontology Neural Networks (ONN), bridging a 60-year gap between existence and construction in stability theory. While Massera (1949) proved that asymptotically stable systems admit Lyapunov functions, his proof was non-constructive, requiring integration over all future trajectories. We demonstrate that the ONN total loss 𝓛_total(S, A) — combining semantic consensus, topological connection, and contextual constraints — serves as an explicit, computable Lyapunov function with closed-form class-𝒦_∞ bounds. Our framework extends classical Lyapunov theory to four challenging domains: (1) non-smooth dynamics via Fejér-monotone topology surgery (60% optimal surgery rate), (2) global stability via persistent homology (Betti-number preservation), (3) delay-differential systems via ORTSF with explicit bounds (τ_max = 177 μs for 3M nodes), and (4) Input-to-State Stability for bounded disturbances. Empirical validation on 3M-node semantic networks demonstrates 99.75% improvement over baseline methods, confirming exponential convergence and topology preservation.

Update (2026-07-10). This 2025 preprint is retained as a manuscript of record for its original framing. Its central claims — that the ONN loss is a constructive Lyapunov function "bridging a 60-year gap", the explicit τ_max = 177 μs for 3M nodes delay bound, and the 99.75% empirical improvement — are not reproducible from the current authoritative research source (onn_ws/ONN) and did not survive the programme's subsequent audit. The implemented control result is the single-mode additive scalar condition ρ+∣Kc∣<1\rho+|K_c|<1. Coupled multimode and system-level certification remain open; the "cohomology as Lyapunov certificate" reading is withdrawn. See the current ONN research status. The abstract below is the manuscript text, unchanged.

Overview

The manuscript framed itself as a direct attack on the classical Lyapunov–Massera–Kurzweil problem. Starting from Massera's existence theorem, it claimed that the ONN total loss supplied an explicit, computable Lyapunov function with closed-form class-𝒦_∞ bounds. The later audit did not support that claim or the proposed "60-year gap" framing.

Claims as originally presented

The manuscript claimed four extensions of classical Lyapunov theory:

  1. Non-smooth dynamics via Fejér-monotone topology surgery, with 60% optimal surgery rate.
  2. Global stability via persistent homology (Betti-number preservation).
  3. Delay-differential systems through ORTSF with an explicit bound τ_max = 177 μs for 3M-node systems.
  4. Input-to-State Stability for bounded disturbances.

It further reported a 99.75% improvement on 3M-node semantic networks. That figure is not reproducible from the authoritative source and is withdrawn.

Where it sits

Historically, this was positioned as the control-theoretic interpretation of the ONN + ORTSF paper. The audit withdrew the reading of ONN losses as stability certificates; this page remains only as the record of that original proposal.

BibTeX· generated

@misc{oh2025constructive,
  title   = {Constructive Lyapunov Functions via Topology-Preserving Neural Networks},
  author  = {Jaehong Oh},
  year    = {2025},
  url     = {https://jack0682.github.io/papers/constructive-lyapunov-onn/},
}