The Evolution of Computer-Assisted Proof In Analysis
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914396400254976 |
|---|---|
| author | Rychlik, Marek |
| author_facet | Rychlik, Marek |
| contents | The intersection of numerical analysis and machine learning,
particularly in the domain of Neural ODEs and Physics-Informed
Neural Networks (PINNs), relies heavily on discrete approximations
of continuous flows. However, in stiff systems, explicit
discretization schemes can induce topological bifurcations, creating
spurious attractors that do not exist in the underlying continuous
dynamics. In this paper, we analyze a stiff 2D nonlinear system
integrated via Heun's method, demonstrating how the discrete map
undergoes a numerical bifurcation that renders the true equilibrium
repelling along an invariant manifold. Adopting a literate
programming paradigm where "the paper is the proof," we embed a
Computer-Assisted Proof (CAP) directly within the
manuscript. Utilizing rigorous complex interval arithmetic and a
dimensionality-reducing "Snap-to-Axis" projection, we mathematically
verify that a neighborhood of trajectories is permanently captured
by a spurious period-4 sink. This work highlights the critical need
for formal safety certifications in learned dynamical models and
provides a framework for verifying their stability. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_15073 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The Evolution of Computer-Assisted Proof In Analysis Rychlik, Marek Dynamical Systems 65L20, 65P40, 65G20, 68V15 G.1.7; I.2.6 The intersection of numerical analysis and machine learning, particularly in the domain of Neural ODEs and Physics-Informed Neural Networks (PINNs), relies heavily on discrete approximations of continuous flows. However, in stiff systems, explicit discretization schemes can induce topological bifurcations, creating spurious attractors that do not exist in the underlying continuous dynamics. In this paper, we analyze a stiff 2D nonlinear system integrated via Heun's method, demonstrating how the discrete map undergoes a numerical bifurcation that renders the true equilibrium repelling along an invariant manifold. Adopting a literate programming paradigm where "the paper is the proof," we embed a Computer-Assisted Proof (CAP) directly within the manuscript. Utilizing rigorous complex interval arithmetic and a dimensionality-reducing "Snap-to-Axis" projection, we mathematically verify that a neighborhood of trajectories is permanently captured by a spurious period-4 sink. This work highlights the critical need for formal safety certifications in learned dynamical models and provides a framework for verifying their stability. |
| title | The Evolution of Computer-Assisted Proof In Analysis |
| topic | Dynamical Systems 65L20, 65P40, 65G20, 68V15 G.1.7; I.2.6 |
| url | https://arxiv.org/abs/2603.15073 |