Search papers, labs, and topics across Lattice.
This paper investigates the symbolic recovery of partial differential equations (PDEs) from noisy measurement data using neural networks based on rational functions. They prove an identifiability result demonstrating that, with noiseless and complete measurements, these symbolic networks can uniquely reconstruct the simplest physical law within the PDE model. Empirical validation using the ParFam architecture supports the theoretical findings, showing the practical reconstructibility of physical laws.
Symbolic neural networks can provably recover the underlying PDE from measurement data, even with noisy inputs, opening the door to interpretable scientific discovery.
Models based on partial differential equations (PDEs) are powerful for describing a wide range of complex relationships in the natural sciences. Accurately identifying the PDE model, which represents the underlying physical law, is essential for a proper understanding of the problem. This reconstruction typically relies on indirect and noisy measurements of the system's state and, without specifically tailored methods, rarely yields symbolic expressions, thereby hindering interpretability. In this work, we address this issue by considering existing neural network architectures based on rational functions for the symbolic representation of physical laws. These networks leverage the approximation power of rational functions while also benefiting from their flexibility in representing arithmetic operations. Our main contribution is an identifiability result, showing that, in the limit of noiseless, complete measurements, such symbolic networks can uniquely reconstruct the simplest physical law within the PDE model. Specifically, reconstructed laws remain expressible within the symbolic network architecture, with regularization-minimizing parameterizations promoting interpretability and sparsity in case of $L^1$-regularization. In addition, we provide regularity results for symbolic networks. Empirical validation using the ParFam architecture supports these theoretical findings, providing evidence for the practical reconstructibility of physical laws.
