Discovering Symbolic Differential Equations with Symmetry Invariants

• URL: http://arxiv.org/abs/2505.12083v1
• Date: Sat, 17 May 2025 16:53:43 GMT
• Title: Discovering Symbolic Differential Equations with Symmetry Invariants
• Authors: Jianke Yang, Manu Bhat, Bryan Hu, Yadi Cao, Nima Dehmamy, Robin Walters, Rose Yu,
• Abstract summary: We introduce the concept of textitsymmetry invariants in equation discovery.<n>We propose to use these invariants as atomic entities in equation discovery, ensuring the discovered equations satisfy the specified symmetry.<n>We validate the proposed method through applications to various physical systems, such as fluid and reaction-diffusion.
• Score: 27.088814579996935
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Discovering symbolic differential equations from data uncovers fundamental dynamical laws underlying complex systems. However, existing methods often struggle with the vast search space of equations and may produce equations that violate known physical laws. In this work, we address these problems by introducing the concept of \textit{symmetry invariants} in equation discovery. We leverage the fact that differential equations admitting a symmetry group can be expressed in terms of differential invariants of symmetry transformations. Thus, we propose to use these invariants as atomic entities in equation discovery, ensuring the discovered equations satisfy the specified symmetry. Our approach integrates seamlessly with existing equation discovery methods such as sparse regression and genetic programming, improving their accuracy and efficiency. We validate the proposed method through applications to various physical systems, such as fluid and reaction-diffusion, demonstrating its ability to recover parsimonious and interpretable equations that respect the laws of physics.

Related papers

• Governing Equation Discovery from Data Based on Differential Invariants [52.2614860099811]
  We propose a pipeline for governing equation discovery based on differential invariants.<n>Specifically, we compute the set of differential invariants corresponding to the infinitesimal generators of the symmetry group.<n>Taking DI-SINDy as an example, we demonstrate that its success rate and accuracy in PDE discovery surpass those of other symmetry-informed governing equation discovery methods.
  arXiv  Detail & Related papers  (2025-05-24T17:19:02Z)
• Observables in non-Hermitian systems: A methodological comparison [1.124958340749622]
  There is a lack of consensus in the mathematical formulation of non-Hermitian quantum mechanics.<n>Different methodologies are used to study non-Hermitian dynamics.<n>This study lays the groundwork for further exploration of non-Hermitian Hamiltonians.
  arXiv  Detail & Related papers  (2024-06-08T09:20:30Z)
• Symmetry-Informed Governing Equation Discovery [29.16110821783827]
  We propose to leverage symmetry in automated equation discovery to compress the equation search space and improve the accuracy and simplicity of the learned equations. Our approach demonstrates better robustness against noise and recovers governing equations with significantly higher probability than baselines without symmetry.
  arXiv  Detail & Related papers  (2024-05-27T01:58:23Z)
• Closed-form Solutions: A New Perspective on Solving Differential Equations [22.732229684708457]
  This paper introduces SSDE, a novel reinforcement learning-based approach that derives symbolic closed-form solutions for various differential equations.<n> Evaluations across a diverse set of ordinary and partial differential equations demonstrate that SSDE outperforms existing machine learning methods, delivering superior accuracy and efficiency in obtaining analytical solutions.
  arXiv  Detail & Related papers  (2024-05-23T14:29:15Z)
• Prepotential Approach: a unified approach to exactly, quasi-exactly, and rationally extended solvable quantal systems [0.0]
  We give a brief overview of a simple and unified way, called the prepotential approach. It treats both exact and quasi-exact solvabilities of the one-dimensional Schr"odinger equation. We illustrate the approach by several paradigmatic examples of Hermitian and non-Hermitian Hamiltonians with real energies.
  arXiv  Detail & Related papers  (2023-10-22T11:40:00Z)
• Towards true discovery of the differential equations [57.089645396998506]
  Differential equation discovery is a machine learning subfield used to develop interpretable models. This paper explores the prerequisites and tools for independent equation discovery without expert input.
  arXiv  Detail & Related papers  (2023-08-09T12:03:12Z)
• Correspondence between open bosonic systems and stochastic differential equations [77.34726150561087]
  We show that there can also be an exact correspondence at finite $n$ when the bosonic system is generalized to include interactions with the environment. A particular system with the form of a discrete nonlinear Schr"odinger equation is analyzed in more detail.
  arXiv  Detail & Related papers  (2023-02-03T19:17:37Z)
• Symbolic Recovery of Differential Equations: The Identifiability Problem [52.158782751264205]
  Symbolic recovery of differential equations is the ambitious attempt at automating the derivation of governing equations. We provide both necessary and sufficient conditions for a function to uniquely determine the corresponding differential equation. We then use our results to devise numerical algorithms aiming to determine whether a function solves a differential equation uniquely.
  arXiv  Detail & Related papers  (2022-10-15T17:32:49Z)
• D-CIPHER: Discovery of Closed-form Partial Differential Equations [80.46395274587098]
  We propose D-CIPHER, which is robust to measurement artifacts and can uncover a new and very general class of differential equations. We further design a novel optimization procedure, CoLLie, to help D-CIPHER search through this class efficiently.
  arXiv  Detail & Related papers  (2022-06-21T17:59:20Z)
• Decimation technique for open quantum systems: a case study with driven-dissipative bosonic chains [62.997667081978825]
  Unavoidable coupling of quantum systems to external degrees of freedom leads to dissipative (non-unitary) dynamics. We introduce a method to deal with these systems based on the calculation of (dissipative) lattice Green's function. We illustrate the power of this method with several examples of driven-dissipative bosonic chains of increasing complexity.
  arXiv  Detail & Related papers  (2022-02-15T19:00:09Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.