Abstract:Lie symmetry transformations that leave a differential equation invariant play a fundamental role in science and mathematics. Such Lie symmetry groups uniquely determine their Lie symmetry algebras. Exact differential elimination algorithms have been developed to determine the dimension and structure constants of the Lie symmetry algebra of an exact polynomially nonlinear differential equation. Directly applying these symbolic algorithms to approximate models is prone to instability since these algorithms strongly depend on the orderings of the variables involved. This motivates the need to address questions at the algorithmic foundation of approximate Lie symmetry algebras of differential equations. How do we define approximate Lie symmetry? How do we compute and apply approximate Lie symmetry algebras of differential equations? How reliable are the results? To address such questions, we define approximate Lie symmetry algebras in terms of exact Lie symmetry algebras of a nearby differential equation. Our algorithm for identifying these hidden approximate Lie symmetry algebras uses the SVD to find nearby rank-deficient systems combined with approximate geometric involutive forms of the approximate symmetry-defining systems. Our approach is local and depends on an input base point in the space of independent and dependent variables. In general, our local approach can yield many different nearby Lie symmetry algebras. We also outline a numerical approach to determining the approximate isomorphic of such Lie symmetry algebras as the local base point varies across a grid in the base space. We also provide a method for evaluating the reliability of our results. This enables the base space to be partitioned into regions where different local Lie symmetry algebras are admitted, separated by unstable transition regions.

Universal Approximation of Symmetric and Anti-Symmetric Functions.

On Representing (Anti)Symmetric Functions

Universal Approximation on the Hypersphere

Anti-symmetric Barron functions and their approximation with sums of determinants

Best Simultaneous Approximation of an Infinite Set of Functions

Exact and Efficient Representation of Totally Anti-Symmetric Functions

Universal Approximation Theorem and error bounds for quantum neural networks and quantum reservoirs

On Best Simultaneous Approximation

$O(N^2)$ Universal Antisymmetry in Fermionic Neural Networks

Uniform $\mathcal{C}^k$ Approximation of $G$-Invariant and Antisymmetric Functions, Embedding Dimensions, and Polynomial Representations

Efficient Approximation of Quantum Channel Fidelity Exploiting Symmetry

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

Approximate symmetries and quantum error correction

Contributions to the Algorithmic Foundations of Approximate Lie Symmetry Algebras of Differential Equations

Analytical approximations as close as desired to special functions

Semicoherent Symmetric Quantum Processes: Theory and Applications

Universal approximation of continuous functions with minimal quantum circuits

Non-asymptotic Approximation Error Bounds of Parameterized Quantum Circuits

$\widetilde{O}(N^2)$ Representation of General Continuous Anti-symmetric Function

Universal adjointation of isometry operations using transformation of quantum supermaps

Almost Symmetric Schur Functions