Math: Lie groups

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

✗ Mechanism failed 2026

Lie-Bracket Fourier Mixer

Construct a mode-mixing layer from a few sphere-preserving vector fields and shift operators rather than a dense learned Fourier convolution. A commutator of two low-complexity shifted rotations produces a new interaction at the sum of their offsets, allowing long-range or high-frequency mode coupling to be synthesized with only a small number of primitive operators. The layer can be used whenever each feature vector is normalized to the sphere, or more generally as a norm-preserving block on…

Useful8/10
Difficulty5/10
Novelty8/10
Paper: Sphere Constraints and Harmonic Map Flow: Controllability and Reachability by Low-Mode Forcing arXiv:2607.05687
✗ 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
✓✓ Beats tuned baseline 2026

Structure-preserving SU(1,1) recurrent scan

Replace an unconstrained recurrent transition by a sequence of exact SU(1,1) hyperbolic updates. The layer processes each token with a 2-complex-dimensional state and preserves the indefinite energy |a|^2-|b|^2=1 exactly, preventing numerical drift while retaining non-unitary amplification and attenuation.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: The nonlinear Hausdorff-Young inequality arXiv:2608.15895
△ 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
△ Mechanism confirmed, baseline not beaten 2026

Controllability-Guided Low-Mode Adapter

Use a small number of learned low-mode controls and a fixed bank of Lie words to generate structured high-mode updates. This gives a parameter-efficient adapter for spectral operators or sequence models: the trainable degrees of freedom live only in the low modes, while commutator compositions provide deterministic propagation paths to larger offsets. The design is especially suitable for fine-tuning a pretrained Fourier or state-space model under a strict parameter budget.

Useful7/10
Difficulty6/10
Novelty9/10
Paper: Sphere Constraints and Harmonic Map Flow: Controllability and Reachability by Low-Mode Forcing arXiv:2607.05687
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

Lorentzian SU(2) recurrent flow

Use the paper's explicitly solved SU(2)-based extremal flow as a structured recurrent transition instead of learning an unconstrained dense recurrent matrix. The transition has only two scalar parameters, a radius/frequency r and phase phi, while its rotating coefficient pattern continuously mixes four real state coordinates and can be integrated with a norm-preserving Cayley transform.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: The Lorentzian Problem on the Group $SU(2)$ arXiv:2607.11592
✗ Mechanism failed 2026

Heisenberg latent upsampler

Represent each latent state as a Heisenberg-group element and replace Euclidean interpolation in an upsampling or recurrent transition block by a four-point horizontal refinement plus the exact central signed-area correction. The module preserves the geometry of noncommutative composition, allowing the central latent coordinate to encode path-dependent information that ordinary coordinate-wise interpolation discards.

Useful6/10
Difficulty5/10
Novelty8/10
Paper: A Heisenberg Subdivision Scheme with Central Smoothness Loss arXiv:2607.05446
✓✓ Beats tuned baseline 2026

Kolmogorov-Lie Unitary Layer

Build an input-conditioned unitary transformation as an ordered product of exponentials of anti-Hermitian matrices, with each factor controlled by a univariate function of one input coordinate or one learned scalar projection. This replaces a dense multivariate matrix-valued controller with separable scalar nonlinearities while preserving exact unitarity at every forward pass.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Quantum Kolmogorov--Arnold representation theorem for continuous unitary-valued maps arXiv:2607.03187
✓✓ 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

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

Gradient-Commutator Neural Dynamics

Build a continuous-time neural dynamics module from scalar potential networks and their iterated Lie brackets instead of directly predicting an unrestricted vector field. Gradient primitives provide structured vector fields, while commutators add non-conservative and rotational directions; the paper proves that finite spans of such objects generate every smooth vector field on the stated compact manifold.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: The Lie algebra generated by gradient vector fields arXiv:2607.26890
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

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