# Finite-dimensional approximations of push-forwards on locally analytic functionals

arXiv: https://arxiv.org/abs/2404.10769 · HTML: https://mlsanity.com/paper/2404.10769/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 4 of its 35 references that are in the map.
- First posted on arXiv 16 Apr 2024.

## Builds on (most cited first, 4 of 4)

- [Modern Koopman Theory for Dynamical Systems](https://mlsanity.com/paper/2102.12086/) (2021)
- [Koopman-based lifting techniques for nonlinear systems identification](https://mlsanity.com/paper/1709.02003/) (2017)
- [Koopman operators with intrinsic observables in rigged reproducing kernel Hilbert spaces](https://mlsanity.com/paper/2403.02524/) (2024)
- [Composition operators on reproducing kernel Hilbert spaces with analytic positive definite functions](https://mlsanity.com/paper/1911.11992/) (2019)

## Abstract (arXiv)

This paper develops a functional-analytic framework for approximating the push-forward induced by an analytic map from finitely many samples. Instead of working directly with the map, we study the push-forward on the space of locally analytic functionals and identify it, via the Fourier--Borel transform, with an operator on the space of entire functions of exponential type. This yields finite-dimensional approximations of the push-forward together with explicit error bounds expressed in terms of the smallest eigenvalues of certain Hankel moment matrices. Moreover, we obtain sample complexity bounds for the approximation from i.i.d.~sampled data. As a consequence, we show that linear algebraic operations on the finite-dimensional approximations can be used to reconstruct analytic vector fields from discrete trajectory data. In particular, we prove convergence of a data-driven method for recovering the vector field of an ordinary differential equation from finite-time flow map data under fairly general conditions.