arXiv preprint ·
LieDiscover: Adaptive Symbolic Library Construction for Explicit Open-form Symmetry Discovery
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
Abstract
Discovering underlying symmetries from data has emerged as a crucial challenge in scientific discovery. Existing data-driven methods for symmetry discovery fail to determine the exact number and mathematical form of unknown infinitesimal generators. Recent explicit methods represent generators using a predefined function library and identify them through algebraic optimization, but they often struggle to capture complex symmetries involving high-order polynomials or transcendental functions. To address this limitation, we formulate symmetry discovery as a joint optimization problem over the function library and coefficients. We propose a novel framework that leverages an encoder-decoder architecture to dynamically generate symbolic expressions and expand the library. This generation process is optimized via reinforcement learning, which accelerates the exploration of the symbolic search space through step-wise rewards. Experiments demonstrate that LieDiscover can successfully uncover open-form infinitesimal generators involving high-order polynomials or transcendental functions, which remain intractable for existing methods. The discovered symmetries also improve performance in downstream PDE solving and discovery tasks.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Symbolic Computation
Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
A 51-Addition Alternative-Basis Kernel for Rank-23 $3\times3$ Matrix Multiplication
SRHarness: A Harness for Agentic Symbolic Regression
Order-Invariant Answers, Order-Sensitive Representations in Mathematical Reasoning
MechBench: Can AI Scientific Agents Discover Mechanisms Beyond Phenomenal Laws?
Get the few papers worth your time in Symbolic Computation every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.