Search papers, labs, and topics across Lattice.
This paper addresses the challenge of uniquely identifying governing ordinary differential equations (ODEs) from observed solution data by introducing the Hausdorff distance as a metric for comparison. The authors establish identifiability bounds for both linear and nonlinear ODEs, detailing the conditions under which distinct equations can be differentiated based on solution observations. Key findings include quantifying the sample complexity required for reliable recovery of governing equations, thus providing a theoretical foundation for scientific machine learning applications.
Identifiability bounds reveal the precise conditions under which distinct ODEs can be distinguished from solution data, transforming our understanding of equation recovery in scientific machine learning.
Learning governing equations from observed solution data is a fundamental challenge in scientific machine learning \cite{bruntonDiscoveringGoverningEquations2016,kovachkiNeuralOperatorLearning2023,longPDENetLearningPDEs2018,rudyDatadrivenDiscoveryPartial2017,raonicConvolutionalNeuralOperators2023}, yet the theoretical conditions under which a ground-truth ODE can be uniquely and stably identified from multiple solution observations remain largely undeveloped, and no quantitative analysis of the sample complexity of such learning tasks exists in the literature. To address this gap, we introduce the Hausdorff distance on solution sets as the natural metric for comparing differential equations, since it captures the worst-case separation between two equations over all admissible initial conditions and thus encodes the minimax structure of the identification problem. We establish identifiability bounds for governing ODEs across a wide class of structure equations--ranging from linear ODEs to nonlinear classes with Lipschitz (H枚lder)-continuous vector fields--characterizing precisely when two distinct equations can be distinguished from solution data. Using this metric, we derive metric entropy estimates for the relevant ODE classes and analyze sample complexity bounds, quantifying how many solution observations are needed to reliably recover the governing equation.
