Autonomous Flows: Exact Finite Interpolation and Uniform Approximation Obstructions
Abstract
In dimension at least two, a class of locally Lipschitz vector fields realizes every finite correspondence between distinct inputs and distinct targets at any prescribed positive time, provided that it is linear, its members generate global flows, and it approximates every smooth vector field of bounded support uniformly on bounded sets. The input and target sets may overlap. The proof constructs a smooth autonomous reference flow and finitely many localized correction fields, then uses uniform stability and Brouwer degree to obtain exact endpoints within the approximating class. The argument uses only uniform approximation of the vector fields; it does not require control of their derivatives. Applied to shallow ReLU vector fields, the result gives exact finite interpolation without time-dependent coefficients or additional state variables, together with bounds on width and normalized coefficient strength. In contrast, no continuous autonomous semiflow can exchange and compress two disjoint balls. Its time maps therefore fail to approximate all continuous maps uniformly on compact sets. The results distinguish exact interpolation at finitely many points from uniform control of neighborhoods.
Related
- Complete non-orientable minimal surfaces of finite total curvature: Approximation and interpolation
- Approximation by interpolation operators with piecewise polynomial basis functions
- Uniform Exponential Attractors for Non-Autonomous Dynamical Systems and an Application to the damped hyperbolic equation with sub-quintic growth
- Approximation in norm and energy with bounded functions for autonomous variational problems
- Weak uniqueness and autonomous approximation for the SLE-reversible Weil-Petersson response diffusion
BibTeX
@misc{liu2026autonomous,
title = {{Autonomous Flows: Exact Finite Interpolation and Uniform Approximation Obstructions}},
author = {Qiaomu Liu and Qi Lü and Enrique Zuazua},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.14002},
eprint = {2609.14002},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.14002},
}
RIS
TY - UNPB
TI - Autonomous Flows: Exact Finite Interpolation and Uniform Approximation Obstructions
AU - Qiaomu Liu
AU - Qi Lü
AU - Enrique Zuazua
PY - 2026
DA - 2026/09/12
PB - arXiv
DO - 10.48550/arxiv.2609.14002
UR - https://arxiv.org/abs/2609.14002
AB - In dimension at least two, a class of locally Lipschitz vector fields realizes every finite correspondence between distinct inputs and distinct targets at any prescribed positive time, provided that it is linear, its members generate global flows, and it approximates every smooth vector field of bounded support uniformly on bounded sets. The input and target sets may overlap. The proof constructs a smooth autonomous reference flow and finitely many localized correction fields, then uses uniform stability and Brouwer degree to obtain exact endpoints within the approximating class. The argument uses only uniform approximation of the vector fields; it does not require control of their derivatives. Applied to shallow ReLU vector fields, the result gives exact finite interpolation without time-dependent coefficients or additional state variables, together with bounds on width and normalized coefficient strength. In contrast, no continuous autonomous semiflow can exchange and compress two disjoint balls. Its time maps therefore fail to approximate all continuous maps uniformly on compact sets. The results distinguish exact interpolation at finitely many points from uniform control of neighborhoods.
ER -