Math: Lie groups

Machine-learning ideas tagged Lie groups in the Math taxonomy of the Math2NN corpus.

✗ Failed on benchmark 2026

Maslov Phase Budget for Symplectic Recurrence

Use the paper's explicit compact factor of a symplectic state-transition matrix to measure aggregate rotation speed in hidden-state dynamics. Penalize excessive or rapidly varying angular velocity rather than penalizing the full recurrent matrix, preserving nontrivial Hamiltonian rotations while suppressing phase drift that can destabilize long sequences.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Maslov Indicies In Symplectic Geometry Revisited arXiv:2609.03061
△ Mechanism confirmed, baseline not beaten 2026

Bundle-Glued Neural Field

Represent a field on a manifold with one neural network per chart, while enforcing the exact transition law between chart outputs on overlaps. This avoids the artificial requirement that one coordinate frame work globally and should improve learning on spherical, periodic, or otherwise topologically nontrivial domains. Use an augmented Lagrangian rather than only a pointwise penalty so chart compatibility is enforced strongly without requiring identical local parameterizations.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Finite element discretization of Yang--Mills connections arXiv:2608.02108
△ Mechanism confirmed, baseline not beaten 2026

Markov Spectral Equivariant Layer

Replace an orthogonal truncated Fourier or Wigner projection in a compact-Lie-group equivariant layer by a finite-rank Fejér-Markov filter. The filter acts as a normalized positive group convolution, preventing sup-norm amplification and suppressing high-frequency artifacts while retaining exact equivariance.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Structure-Preserving Spectral Dynamic Programming on Compact Lie Groups arXiv:2607.20854
✓✓ Beats tuned baseline 2026

Lie-group forced dynamics layer

Replace additive neural state updates for rotations or rigid poses with a learned forced dynamical system whose configuration is updated by Lie-group multiplication. The network predicts body-frame force or acceleration in the Lie algebra, while the exponential map guarantees that every predicted configuration remains on SO(3) or SE(3).

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Learning Forced Multibody Dynamics on Lie Groups arXiv:2607.12627
△ Mechanism confirmed, baseline not beaten 2026

Flat-Connection Neural Dynamics

Replace an unconstrained recurrent or neural-ODE vector field with a Lie-algebra-valued connection depending on time, input position, and an auxiliary spectral parameter. Train the model both for prediction and for approximate zero curvature, so evolution along different discretized paths is compatible rather than accumulating arbitrary noncommutative drift.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Time-Dependent Integrability from Gauge Theory, I arXiv:2607.02648
Unverified 2026

Polygon-Closure Attention

Represent each token value in an attention head as a bounded three-dimensional Lie-algebra vector and impose a weighted polygon-closure condition on the aggregate value vectors. The module is invariant to a common \(SU(2)\simeq SO(3)\) rotation of all token vectors, preventing the head from spending capacity on an arbitrary global orientation. A soft closure penalty gives a drop-in experiment, while projection onto the zero-sum manifold provides a harder constrained variant.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Mori theory and symplectic reduction for polygons and quivers arXiv:2608.20930
Unverified 2026

Nonlinear Fourier amplitude budget regularizer

Use the logarithmic transmission amplitude of an SU(1,1) scan as a differentiable spectral penalty. The paper's constant-one nonlinear Hausdorff–Young inequality provides a principled upper budget for this amplitude in terms of the input L^p norm, replacing an arbitrary spectral-weight penalty with a scale-aware constraint.

Useful6/10
Difficulty4/10
Novelty8/10
Paper: The nonlinear Hausdorff-Young inequality arXiv:2608.15895
Unverified 2026

Rigid-Motion-Quotient Covariance Loss

Add a distribution-level loss that compares minibatch embeddings only through the square roots of their ordered covariance eigenvalues, ignoring global translation and rotation of the embedding coordinate system. This implements the Gaussian specialization of the paper’s Procrustes-Wasserstein geometry and is useful when two embedding clouds are semantically equivalent up to a rigid change of coordinates.

Useful6/10
Difficulty4/10
Novelty5/10
Paper: Dynamical Optimal Transport with $\mathfrak{so}(d)$-Invariance: From Theory to Computation arXiv:2607.16782
Unverified 2026

Minor-consistency regularizer for homogeneous-space coordinates

When a network learns coordinates q on a homogeneous space from symmetry-generated vector fields, enforce that the predicted Jacobian is compatible with all generator equations using augmented-matrix consistency residuals. This turns the paper's rank and minor criterion into a differentiable regularizer that prevents locally contradictory coordinate derivatives and can produce more stable equivariant representations.

Useful6/10
Difficulty6/10
Novelty8/10
Paper: Harmonic Variables for Laplace Operators on Homogeneous Spaces arXiv:2607.14132
Unverified 2026

Horizontal Symmetry Quotient Layer

Replace explicit quotient construction by a differentiable projection that removes learned group-orbit directions from both source and target features. The paper's reduction argument shows that a closed level constraint makes the restricted form horizontal, so the network can operate on invariant coordinates while retaining a measurable residual for symmetry leakage.

Useful6/10
Difficulty6/10
Novelty5/10
Paper: Reduction of relative multisymplectic manifolds arXiv:2607.12350
△ Mechanism confirmed, baseline not beaten 2026

Normal-Space Quotient Encoder

Add a quotient-aware representation layer that separates changes caused by motion along a symmetry orbit from changes that are genuinely informative. The layer estimates orbit tangent directions from known group actions or a learned local transformation group, projects features onto the metric-orthogonal normal space, and trains the representation to be invariant along orbit directions. Unlike ordinary global pooling over augmentations, this construction is local and can adapt when orbit…

Useful6/10
Difficulty5/10
Novelty5/10
Paper: Diffeological Riemannian orbifolds arXiv:2607.08939
△ Mechanism confirmed, baseline not beaten 2026

Binary-form symmetric-power equivariant layer

Replace an unconstrained feature vector of size n+1 by the coefficients of a homogeneous degree-n binary polynomial and make the layer transform through the irreducible symmetric-power representation of GL_2(R). For n=4 this creates a five-channel equivariant feature block whose transformation law is exact rather than learned through augmentation.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: On 4-dimensional convex projective domains invariant by a lattice of $\mathrm{SL}_2 (\mathbb{R})$ arXiv:2607.07150
△ Mechanism confirmed, baseline not beaten 2026

Polyconvex rotation-frame Jacobian loss

Replace ordinary Jacobian penalties in coordinate MLPs or deformation networks with a learned local rotation frame and a polyconvex energy of the relative stretch. Penalize \(U\), its cofactor, and its determinant through a convex function, while separately smoothing the rotation field through \(R^T\operatorname{Curl}R\). The intended benefit is resistance to fold formation and better conditioning than directly penalizing \(\|J-I\|^2\), especially for large deformations.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Polyconvexity for Cosserat nonlinear elasticity and nonlinear couple-stress theory arXiv:2608.23072
✓✓ Beats tuned baseline 2026

Cyclic Lie-Bracket Residual Block

Replace one deterministic residual update with a short cyclic composition of learned vector fields evaluated for randomized, short run times. Because finite compositions of noncommuting flows generate directional-derivative and Lie-bracket terms, changing the cycle order gives the network an explicit, low-cost way to learn drift directions that are unavailable from the individual vector fields alone.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Diffusion limits of cyclic finite-velocity random motions along vector fields arXiv:2608.22514
Unverified 2026

Weyl-conjugation layer regularization

Replace a learned linear operator by Monte Carlo averages of unitary-conjugated copies, where the conjugators are discrete time-frequency shifts sampled from a narrow phase-space distribution. The conjugation preserves the singular spectrum of each sampled operator, while the expectation penalizes sensitivity to small translations and modulations without directly shrinking the operator norm.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Quantization and process arXiv:2609.02261
Unverified 2026

Singularity-Aware Groupoid Transport Layer

Replace a globally shared latent transformation group by a source-dependent collection of valid transformation paths. A feature at latent point z is transported only along paths whose transformed coordinate never reaches the singular locus, while homotopic paths are identified and composable paths are concatenated. This should let an equivariant model represent branched or incomplete symmetries that ordinary group-equivariant layers must discard.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Lie groupoid integration of singular isometries of the Poincaré disk arXiv:2608.30077
Unverified 2026

Controllability-Rank Regularizer

Regularize learned skew generators so that their iterated Lie brackets span many independent feature-mixing directions rather than collapsing to commuting or redundant matrices. This turns the paper's controllability family into a differentiable diversity objective for structured neural layers.

Useful5/10
Difficulty4/10
Novelty7/10
Paper: Nonlinear Controllability and the Propagation of Local Information: From the Kalman Family to Lie Brackets, Rotation Groups, and Reachable Subgroups arXiv:2608.20094
Unverified 2026

Holonomy-composed latent transformations

Replace unconstrained transformation composition in a geometric or sequence encoder with time-dependent Lie-algebra controls whose flows compose according to the paper's flow-product rule. Add a holonomy consistency loss so different control trajectories that induce the same endpoint automorphism produce the same latent transformation, reducing sensitivity to arbitrary path parameterization.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: On the holonomy of Lie algebroids arXiv:2608.19399
Unverified 2026

Projective Jacobian Compensation

Add a low-rank control perturbation to each optimizer block so that the next-step parameter dynamics compensate for growth of selected normalized perturbation directions. The control is computed by least squares from Jacobian-vector products, with a trust-region penalty limiting its stochastic cost; unlike isotropic weight decay, it targets directional instability while preserving directions that are already contracting.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Unique Ergodicity for the Projective Process of the 2D Navier--Stokes Equation with Nondegenerate Noise arXiv:2608.18075
Unverified 2026

Commutator-flow latent block

Represent each token or graph node by an anti-Hermitian matrix latent state and replace a standard residual transformation with a discretized Lie-algebra vortex flow. The commutator nonlinearities are equivariant under global unitary conjugation, so the block can learn interactions without selecting a basis and preserves the anti-Hermitian state space when initialized there.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Vortex Filaments in Hermitian Reductive Lie Algebras arXiv:2607.26650
Unverified 2026

Casimir-Preserving Matrix Optimizer

Introduce an auxiliary matrix-valued optimizer state whose update is a Lie–Poisson flow discretized by similarity transforms rather than additive Euler steps. Because similarity transforms preserve $\operatorname{tr}(Z^k)$ and the full eigenvalue multiset, long training runs avoid spectral drift in the optimizer state; the state can then generate a preconditioned update for ordinary neural-network parameters.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Vakonomic Fluids arXiv:2607.18312
Unverified 2026

Centrally Extended Fourier Mode Mixer

Construct a neural mixing layer on Fourier or positional modes using a small set of exponentiated Virasoro generators instead of a dense mode-to-mode matrix. The generator coefficients are shared across all inputs, while the Lie bracket fixes how different mode shifts interact; an optional central channel captures the special coupling between modes whose indices sum to zero.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: On a super-Virasoro group, a semigroup of annuli, and Gauss--Berezin integral operators arXiv:2607.17168
Unverified 2026

Pseudo-unitary covariant energy regularizer

Build a linear state-space or recurrent layer in a learned pseudo-unitary coordinate frame $\Theta(t)$, and penalize the covariant coefficient $P_{m,\Theta}$ instead of penalizing $\Theta'(t)$ or transition-matrix norms directly. The regularizer is sensitive to meaningful variation of the represented Hamiltonian but is invariant to redundant gauge representations, potentially reducing unstable latent modes without forcing every parameter matrix to be small.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Lieb-Thirring bounds for Melik-Adamyan canonical Hamiltonians arXiv:2607.15504
Unverified 2026

Polar-Gauge SPD Feature Layer

Replace a locally oriented three-channel feature frame by its positive-definite polar factor, removing arbitrary SO(3) basis rotations before the feature enters an MLP, attention block, or graph message-passing layer. Process the resulting SPD matrix in log coordinates so the downstream network receives a globally unconstrained symmetric representation rather than a gauge-dependent frame.

Useful5/10
Difficulty4/10
Novelty5/10
Paper: A Self-Dual Frame Formalism of the SO(3) Yang-Mills Theory arXiv:2607.14204