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
✓✓ Beats tuned baseline 2026

Gauge-Patched Local Experts

Represent hidden features with several local orthogonal or unitary frames, and let group-valued transition maps align neighboring experts. Instead of forcing every expert to learn a globally coherent coordinate system, train local experts independently and impose a patching constraint that produces a globally consistent feature field. This is especially suitable for graph neural networks on data with heterogeneous local geometries or mixture-of-experts models whose experts specialize by region.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: A PDE approach to the 2D Yang-Mills measure arXiv:2607.22236
△ 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
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
△ 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

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
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

Principal-bundle gauge-fixed Hamiltonian network

Represent a time-dependent Hamiltonian system on the reduced state $(q,t,p_q)$ rather than on the redundant extended state $(q,t,p_q,p_t)$. A neural Hamiltonian section predicts one canonical representative of each affine cotangent fiber, while an optional symmetry loss enforces consistency under transformations that translate time.

Useful5/10
Difficulty5/10
Novelty8/10
Paper: Reduction of symmetric time-dependent Hamiltonian systems I: presymplectic principal $\mathbb{R}$-bundles arXiv:2608.28278
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

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

Subduction-Based Tangent Augmentation

Train a predictor on quotient-consistent tangent jets rather than only on transformed samples. Generate several local representatives of the same orbit, compute first-order feature perturbations, and aggregate them through a shared tangent module before prediction. This gives a structured alternative to treating augmented views as independent examples and can improve robustness to composed transformations.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: Diffeological Riemannian orbifolds arXiv:2607.08939
Unverified 2026

Multiscale noncommutative area penalty

Use the paper's central correction as an explicit regularizer on latent trajectories. Penalizing signed-area forcing across refinement levels should prevent repeated geometric injections from creating the paper's linear growth of scaled first differences and logarithmic smoothness loss.

Useful5/10
Difficulty4/10
Novelty7/10
Paper: A Heisenberg Subdivision Scheme with Central Smoothness Loss arXiv:2607.05446
Unverified 2026

Centralizer-Constrained Hyperbolic Dynamics

For data with known hyperbolic or Möbius symmetries, constrain learned infinitesimal transformations to commute with the symmetry group generators. This produces a neural ODE, recurrent update, or hyperbolic embedding layer whose dynamics cannot arbitrarily break quotient-space symmetries, potentially improving extrapolation across symmetry-related examples.

Useful5/10
Difficulty5/10
Novelty5/10
Paper: Rigidity on compact surfaces through hyperbolic symmetries arXiv:2607.05023
Unverified 2026

Relative-Difference Homotopy Consistency

Replace all pairwise consistency comparisons between m augmented views by a single group-valued relative-difference vector with m−1 components. Add a learned contractible-chart penalty so that the relative-difference map remains locally simple rather than merely numerically small. The construction is invariant to simultaneous left multiplication of every view, providing a useful gauge-invariant consistency signal.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Homotopic distances and group-like spaces arXiv:2607.03484