Table of Contents
Fetching ...

Symmetry-Informed Term Filtering for Continuum Equation Discovery

Junya Yokokura, Kazumasa A. Takeuchi

Abstract

Discovering governing equations, whether manually or by data-driven methods, has been central in physics and related areas. Since governing equations are typically constrained by a set of symmetries, using symmetry constraints to restrict terms is usually the first step in manually formulating a governing equation, but it often becomes intractable for complex systems with high-order derivatives or multiple fields. When a data-driven method is used, on the other hand, imposing physical constraints such as symmetries typically requires manual preprocessing or computationally expensive iterative procedures. Here, we propose an algebraic filtering method that enumerates all symmetry-allowed terms for continuum equations within a finite candidate space. By treating symmetry generators as linear operators on the candidate space, we reduce the problem of enforcing both discrete and continuous symmetries to solving a set of linear kernel equations. The solution yields a provably complete list of permitted terms. We demonstrate the method's effectiveness by identifying invariant terms for systems with dihedral symmetry and recovering the governing equations for the Toner--Tu and Kardar--Parisi--Zhang systems, including higher-order terms useful for extending known models. The method provides a systematic way to obtain a symmetry-allowed search space for data-driven equation discovery, e.g., the sparse identification of nonlinear dynamics method.

Symmetry-Informed Term Filtering for Continuum Equation Discovery

Abstract

Discovering governing equations, whether manually or by data-driven methods, has been central in physics and related areas. Since governing equations are typically constrained by a set of symmetries, using symmetry constraints to restrict terms is usually the first step in manually formulating a governing equation, but it often becomes intractable for complex systems with high-order derivatives or multiple fields. When a data-driven method is used, on the other hand, imposing physical constraints such as symmetries typically requires manual preprocessing or computationally expensive iterative procedures. Here, we propose an algebraic filtering method that enumerates all symmetry-allowed terms for continuum equations within a finite candidate space. By treating symmetry generators as linear operators on the candidate space, we reduce the problem of enforcing both discrete and continuous symmetries to solving a set of linear kernel equations. The solution yields a provably complete list of permitted terms. We demonstrate the method's effectiveness by identifying invariant terms for systems with dihedral symmetry and recovering the governing equations for the Toner--Tu and Kardar--Parisi--Zhang systems, including higher-order terms useful for extending known models. The method provides a systematic way to obtain a symmetry-allowed search space for data-driven equation discovery, e.g., the sparse identification of nonlinear dynamics method.

Paper Structure

This paper contains 17 equations, 6 figures, 3 tables, 5 algorithms.

Figures (6)

  • Figure 1: The conceptual visualization of the algorithm: the candidate space is progressively filtered into lower-dimensional subspaces by imposing symmetry constraints such as rotation and reflection.
  • Figure : Apply Transformation to Expressions
  • Figure : Compute Coefficient Matrix for Expressions
  • Figure : Compute Transformation Matrix
  • Figure : Compute Basis of Solution Space
  • ...and 1 more figures