Lie Group-Based Neural Networks

• Lie group-based neural networks are architectures that integrate continuous symmetries from Lie groups into layer design to ensure equivariance or invariance to geometric transformations.
• They leverage Lie algebra structures, exponential mappings, and group convolution techniques to craft efficient models with reduced parameters and enhanced generalization on tasks like rotated-MNIST and CIFAR-10.
• These networks have practical applications in vision, physics, control, and quantum systems by delivering predictable outputs under rotations, translations, and scaling without extensive data augmentation.

Lie group-based neural networks are a principled class of architectures in which the symmetries of a Lie group $G$ are built directly into network design, inducing equivariance or invariance to geometric transformations such as rotation, translation, scaling, or more general group actions. These methods leverage the smooth manifold and group structure of $G$, as well as their associated Lie algebras, to define neural layers, kernels, and non-linearities with guaranteed analytic properties, resulting in models that are more data-efficient, generalize better across symmetry-related inputs, and provide robustness against group transformations. Their formal mathematical underpinnings, algorithmic constructions, and practical benefits span a wide range of domains, from vision and physics to generative modeling and control.

1. Mathematical Foundations and Core Definitions

A Lie group $G$ is both a smooth $n$-dimensional manifold and a group, such that the group operation $(g_1,g_2)\mapsto g_1g_2$ and inversion $g\mapsto g^{-1}$ are smooth maps. Common examples are $(\mathbb{R}^n,+)$, the rotation group $SO(n)$, special Euclidean $SE(n)=\mathbb{R}^n\rtimes SO(n)$, and similarity group $Sim(n)$ (Smets, 2024).

The Lie algebra $G$0 is the tangent space at the identity, equipped with a Lie bracket $G$1 capturing the group’s infinitesimal structure. The exponential map $G$2 and its inverse $G$3 connect the local linear structure of $G$4 to the global non-abelian geometry of $G$5. Homogeneous spaces $G$6 capture coset spaces on which $G$7 acts transitively.

A group action $G$8 satisfies $G$9 and $G$0. For functions $G$1, the induced action is $G$2. A map $G$3 is $G$4-equivariant if $G$5 for all $G$6 (Smets, 2024).

2. Equivariant Architectures and Group Convolutions

2.1 Group Convolution

On $G$7 itself, the canonical left-Haar measure $G$8 is invariant, and the group convolution or correlation for $G$9 is

$n$0

For homogeneous spaces $n$1, a lift-and-project approach is used, integrating over $n$2-covariant measures (Smets, 2024). In practice, these integrals are performed via discrete or sampled group elements.

2.2 Layer Design: Lifting, Equivariant Layers, Pooling

Modern Lie group-based architectures operate via:

• Lifting layers: mapping functions on $n$3 to $n$4 by convolving with learnable "mother" kernels, e.g. $n$5.
• Equivariant group-convolutional layers: stacking group convolutions with pointwise nonlinearities (e.g., ReLU, which commutes with group action), channel mixing, and weight-sharing enforced across group elements.
• Projection or pooling: integrating out group variables, typically via max or average pooling along $n$6-fibers to revert to $n$7 while preserving equivariance (Smets, 2024).

2.3 Representative Examples

• Spherical CNNs: $n$8 acting on $n$9, implemented via spherical harmonics, FFTs, and Wigner D-matrix transforms.
• $(g_1,g_2)\mapsto g_1g_2$0 and $(g_1,g_2)\mapsto g_1g_2$1-equivariant models: stacking features over spatial, orientation, and scale dimensions for roto-translation and scale invariance (Smets, 2024, Qiao et al., 2023, Knigge et al., 2021).

3. Kernel Parameterizations, Weight-Tying, and Separability

3.1 Parametrizing Convolution Kernels

Bespoke parameterizations are central for computational tractability on continuous groups:

• Kernels can be expanded on B-spline or other basis functions in the Lie algebra, using $(g_1,g_2)\mapsto g_1g_2$2 and $(g_1,g_2)\mapsto g_1g_2$3 for sampling and interpolation (Bekkers, 2019).
• Sinusoidal Representation Networks (SIRENs) input Lie algebra coordinates to produce smooth, band-limited kernels tunable in frequency (Knigge et al., 2021).

Empirical studies show that most classical G-CNNs learn redundant filters across subgroup indices; spatial patterns in e.g. $(g_1,g_2)\mapsto g_1g_2$4 group kernels are highly correlated. Separable group convolution kernels factorize as $(g_1,g_2)\mapsto g_1g_2$5, enabling dramatic reductions in parameter count and inference time (Knigge et al., 2021).

3.2 Channel Mixing and Group Representation Theory

Construction of equivariant layers leverages:

• Channel mixing via $(g_1,g_2)\mapsto g_1g_2$6 convolutions or linear layers.
• For general Lie groups, explicit representations (found via the FindRep algorithm) and Clebsch-Gordan coefficients enable construction of tensor-product nonlinearities and precise equivariant mappings (Shutty et al., 2020).

4. Benefits and Empirical Advantages

Parameter Efficiency

Lie group weight-tying—one kernel per group—leads to reductions of parameters by factors proportional to group order or volume. For larger symmetry groups (e.g., $(g_1,g_2)\mapsto g_1g_2$7), the difference can be orders of magnitude (Smets, 2024, Knigge et al., 2021).

Generalization and Stability

Imposing exact equivariance constrains the hypothesis space, reducing VC dimension and covering numbers. This tightens generalization bounds and empirically improves out-of-distribution robustness, evidenced in tasks such as rotated-MNIST, medical image analysis, and 3D object classification (Smets, 2024, Knigge et al., 2021).

Test-time augmentation is rendered unnecessary: the network's outputs transform predictably under group actions by construction, boosting stability and interpretability.

Performance Benchmarks

On rotation- and scale-augmented datasets (rotated-MNIST, Galaxy10, blood cell images), Lie group-based CNNs balanced both data efficiency and accuracy, often achieving SOTA or nearly SOTA results with strict parameter discipline (Qiao et al., 2023, Knigge et al., 2021). For example:

• On blood cell images, $(g_1,g_2)\mapsto g_1g_2$8-Lie G-CNN achieved 97.5% accuracy vs. 93.7% (dilated convs) (Qiao et al., 2023).
• For rotated CIFAR-10, $(g_1,g_2)\mapsto g_1g_2$9-Lie G-CNN attained 99.9% accuracy (Qiao et al., 2023).

5. Algorithmic and Practical Considerations

Algorithmic Steps—$g\mapsto g^{-1}$0-CNN example (Smets, 2024):

1. Fix $g\mapsto g^{-1}$1 and discretize (e.g., grid in translation, rotations by $g\mapsto g^{-1}$2 angles).
2. Lifting: raster rotate planar kernels into $g\mapsto g^{-1}$3 group elements.
3. Build equivariant group conv layers: $g\mapsto g^{-1}$4 in-channel mixing, $g\mapsto g^{-1}$5 group convolution.
4. Insert G-equivariant nonlinearities (pointwise ReLU), orientation-pooling, as necessary.
5. Projection: pool/integrate over $g\mapsto g^{-1}$6-orbit (e.g., max over orientations).
6. Weight initialization as in standard CNNs (Glorot, He).
7. SGD/Adam for training. Codebases: E2CNN, LieConv.

Sampling and Approximation

• Non-compact or large groups require discretization and truncation for tractability.
• Random sampling over compact subgroups yields unbiased equivariance and improved empirical results.
• Block-diagonal or localized kernels restrict support, reducing compute and overfitting (Bekkers, 2019, Knigge et al., 2021).

6. Extensions: Nonlinear Activations, Spectral Methods, and Higher Structures

Nonlinearities

Pointwise activations (e.g., ReLU) are $g\mapsto g^{-1}$7-equivariant. To achieve richer nonlinearity in representation-valued features, tensor-product nonlinearities with Clebsch-Gordan projections are used, ensuring equivariance across all layers (Shutty et al., 2020).

Spectral and Harmonic Methods

For groups such as $g\mapsto g^{-1}$8 and $g\mapsto g^{-1}$9, fast transforms (FFT, Wigner D-matrix) allow spectral convolution and efficient computation of group Fourier integrals (Smets, 2024).

Transformers and Attention

Group-equivariant self-attention (LieTransformer) generalizes convolutional equivariance, lifting inputs to $(\mathbb{R}^n,+)$0, applying attention on $(\mathbb{R}^n,+)$1, and stacking multiple equivariant layers before pooling. Explicit proof of equivariance was given for general unimodular Lie groups (Hutchinson et al., 2020).

7. Applications Beyond Vision: Control, Physics, Quantum, and Representation Learning

Control and Robotics

Tracking control on matrix Lie groups (e.g., $(\mathbb{R}^n,+)$2 for rigid-body formation) leverages left-invariance in error signals, avoiding coordinate singularities and maintaining global search in network parameters. Robust stability is proven via Lyapunov techniques (Chhabra et al., 7 May 2025).

Quantum Circuits

Lie group dual representations ($(\mathbb{R}^n,+)$3 and $(\mathbb{R}^n,+)$4) facilitate geometry-aware parameter pruning in quantum neural networks, yielding up to $(\mathbb{R}^n,+)$5 compression with provable error bounds (Shao et al., 10 Dec 2025).

Self-supervised and Generative Models

Manifold-based contrastive learning injects Lie group-generated feature augmentations, parametrized via global generator matrices and learned sparsity-promoting coefficients, providing geometric structure to contrastive SSL and semi-supervised learning (Fallah et al., 2023). Generative auto-encoders use exponential mapping layers on group manifolds (e.g., UTDAT for Gaussian distributions) (Gong et al., 2019).

Scientific Computing and Symmetry-informed PINNs

Physics-Informed Neural Networks (PINNs) incorporating Lie symmetry generators in loss function construction yield order-of-magnitude reductions in error and improved generalization for PDEs possessing continuous symmetries (Shah et al., 30 Sep 2025).

---

Summary Table: Key Features in Lie Group-Based Neural Network Design

Component	Description	Citation
Group convolution	Generalizes translation equivariance to $(\mathbb{R}^n,+)$6-equivariance via group integral	(Smets, 2024)
Weight-tying	All locations/orientations share a single group kernel	(Smets, 2024)
B-spline/Lie-algebra kernel	Flexible basis expansion and parameterization of continuous kernels via $(\mathbb{R}^n,+)$7	(Bekkers, 2019)
Lifting/Projection	Lifting input to $(\mathbb{R}^n,+)$8 or $(\mathbb{R}^n,+)$9, then projecting back via $SO(n)$0-invariant pooling	(Smets, 2024)
Separable kernels	Factorization $SO(n)$1 to reduce parameter and compute costs	(Knigge et al., 2021)
Nonlinearities	Pointwise ReLU or Clebsch-Gordan/tensor-product based for representation-valued features	(Shutty et al., 2020)
Self-attention (LieTransformer)	Group-equivariant transformer leveraging lifted inputs	(Hutchinson et al., 2020)

• "Mathematics of Neural Networks (Lecture Notes Graduate Course)" (Smets, 2024)
• "Exploiting Redundancy: Separable Group Convolutional Networks on Lie Groups" (Knigge et al., 2021)
• "B-Spline CNNs on Lie Groups" (Bekkers, 2019)
• "Scale-Rotation-Equivariant Lie Group Convolution Neural Networks (Lie Group-CNNs)" (Qiao et al., 2023)
• "Computing Representations for Lie Algebraic Networks" (Shutty et al., 2020)
• "Lie Neurons: Adjoint-Equivariant Neural Networks for Semisimple Lie Algebras" (Lin et al., 2023)
• "LieTransformer: Equivariant self-attention for Lie Groups" (Hutchinson et al., 2020)
• "A Lie Group Approach to Riemannian Batch Normalization" (Chen et al., 2024)
• "Enhancing PINN Performance Through Lie Symmetry Group" (Shah et al., 30 Sep 2025)
• "LiePrune: Lie Group and Quantum Geometric Dual Representation for One-Shot Structured Pruning of Quantum Neural Networks" (Shao et al., 10 Dec 2025)
• "Manifold Contrastive Learning with Variational Lie Group Operators" (Fallah et al., 2023)
• "Lie Group Auto-Encoder" (Gong et al., 2019)
• "Geometric Fault-Tolerant Neural Network Tracking Control of Unknown Systems on Matrix Lie Groups" (Chhabra et al., 7 May 2025)