This work shows that the corresponding linearized dynamics leads naturally to a semigroup formulation, and proves norm-bounds on the corresponding semigroup perturbations, in the form of explicit finite-time perturbation estimates.
Abstract
In the framework of network dynamics, learning models, and neural tangent kernels (NTK), we show that the corresponding linearized dynamics leads naturally to a semigroup formulation. More precisely, in our analysis of input/output models, the time-dynamics is presented via special semigroups of linear operators on Hilbert spaces, together with an associated class of semigroup perturbations. In this context, we then present new and explicit a priori perturbation-bound results: for the fixed-kernel linearization constructions arising in the NTK setting, we prove norm-bounds on the corresponding semigroup perturbations, in the form of explicit finite-time perturbation estimates. We further present refinements on prescribed task spaces, Ces\`aro-averaged (ergodic) comparisons estimates, and versions in which the lower spectral edge assumption is replaced by a spectral-distribution condition. We also extend the comparison to nonautonomous NTK evolutions through piecewise-frozen approximations, record a corresponding discrete Euler specialization, and offer worked examples in order to illustrate our perturbation-bound estimates.
This work provides a system-theoretic interpretation of generalization in learning-enabled dynamical systems arising in data-driven optimization and feedback control approximation, and establishes a matrix inequality-based certificate and a uniform stability bound that separates the one-sample sensitivity of the learne...
A numerical comparison in a higher-dimensional setting shows that the proposed algorithm converges faster and attains higher accuracy than the existing first-order projection method, including its application to sparse signal recovery in compressed sensing.
Vajahat Karim Khan, M. Sarfaraz, H. F. Ahmad et al.· Mathematics· 0 citations
Constructing Lyapunov functions for nonlinear dynamical systems is a central problem in stability analysis, yet remains challenging. Lyapunov functions are commonly characterized as solutions to first-order partial differential equations (PDEs), but these solutions are typically obtained for single systems, limiting th...
Amartya Mukherjee, Maxwell Fitzsimmons, D. C. Del Rey Fernández et al.· 0 citations
We study the reconstruction of an unknown dynamical system from a single noisy scalar time series. The goal is to recover the underlying dynamics for forecasting. We introduce a method that uses differential embedding coordinates to identify a rational closure of the embedding dynamics directly from data. The closure i...
The aim of the present paper is to develop a spectral perturbation theory from a higher perspective. More precisely, we consider a one-parameter family of varying bilinear forms, each of them defined on a (possibly) different Hilbert space. Assuming the stability of the corresponding spectra, our first main result esta...
Andrea Bisterzo, R. Ognibene, Prasun Roychowdhury et al.· 0 citations
This work develops a geometric framework for learning deterministic and stochastic forced Hamiltonian systems with neural networks and extends the framework to parameter-dependent systems, leading to Parametric Generalized Forced Hamiltonian Neural Networks (PGFHNNs).
Benedikt Brantner, Tomasz Tyranowski· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.