Pith. sign in

Contractivity of neural ODEs: an eigenvalue optimization problem

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

We propose a novel methodology to solve a key eigenvalue optimization problem which arises in the contractivity analysis of neural ODEs. When looking at contractivity properties of a one layer weight-tied neural ODE $\dot{u}(t)=\sigma(Au(t)+b)$ (with $u,b \in {\mathbb R}^n$, $A$ is a given $n \times n$ matrix, $\sigma : {\mathbb R} \to {\mathbb R}$ denotes an activation function and for a vector $z \in {\mathbb R}^n$, $\sigma(z) \in {\mathbb R}^n$ has to be interpreted entry-wise), we are led to study the logarithmic norm of a set of products of type $D A$, where $D$ is a diagonal matrix such that ${\mathrm{diag}}(D) \in \sigma'({\mathbb R}^n)$. Specifically, given a real number $c$ (usually $c=0$), the problem consists in finding the largest positive interval $\text{I}\subseteq \mathbb [0,\infty)$ such that the logarithmic norm $\mu(DA) \le c$ for all diagonal matrices $D$ with $D_{ii}\in \text{I}$. We propose a two-level nested methodology: an inner level where, for a given $\text{I}$, we compute an optimizer $D^\star(\text{I})$ by a gradient system approach, and an outer level where we tune $\text{I}$ so that the value $c$ is reached by $\mu(D^\star(\text{I})A)$. We extend the proposed two-level approach to the general multilayer, and possibly time-dependent, case $\dot{u}(t) = \sigma( A_k(t) \ldots \sigma ( A_{1}(t) u(t) + b_{1}(t) ) \ldots + b_{k}(t) )$ and we propose several numerical examples to illustrate its behaviour, including its stabilizing performance on a one-layer neural ODE applied to the classification of the MNIST handwritten digits dataset.

citation-role summary

background 1

citation-polarity summary

fields

math.DS 1

years

2025 1

verdicts

CONDITIONAL 1

roles

background 1

polarities

unclear 1

representative citing papers

Nonlinear Joint Spectral Radius

math.DS · 2025-07-15 · conditional · novelty 6.0

For switched nonlinear systems whose maps are sub-homogeneous and order-preserving on a cone, a nonlinear joint spectral radius is shown to characterize asymptotic stability and bound the worst-case separation growth rate of trajectories.

citing papers explorer

Showing 1 of 1 citing paper.

  • Nonlinear Joint Spectral Radius math.DS · 2025-07-15 · conditional · none · ref 28 · internal anchor

    For switched nonlinear systems whose maps are sub-homogeneous and order-preserving on a cone, a nonlinear joint spectral radius is shown to characterize asymptotic stability and bound the worst-case separation growth rate of trajectories.