When a network has learned a function with a known symmetry, can that symmetry be moved through the parametrisation---is there a motion in parameter space realising the group action in function space? We formulate this as a lifting problem for the realisation map Φ:θ↦fθ, and show that a smooth parameter-space action exists only if the tangent space to the function's symmetry orbit lies within the image of dΦθ, whose columns are the functional sensitivities of individual parameters. This condition is also sufficient for pointwise first-order lifting. Relaxing it in least squares yields two local parameter directions: one following the symmetry orbit, one descending towards the equivariant subspace, with residuals measuring what the parametrisation cannot reach. On a rotationally invariant classifier we find these directions induce their predicted function-space motion, but only locally: recomputed directions track the orbit and reduce the equivariance defect, while directions held fixed depart from both after training. The same holds for Hamiltonian neural networks trained on a rotationally symmetric potential, even though the architecture does not explicitly enforce the symmetry.
Figures & tables
Figure 1: Resolved parameter-space flows for the wedge-trained classifier. (a) The equivariance-directed flow along b⋆ moves the realised function towards the equivariant subspace, reducing its non-invariant component. (b) The symmetry-directed flow along c⋆ moves the realised function along its rotational symmetry orbit while approximately preserving its distance from the equivariant subspace. The local direction is recomputed at every integration step.
Appendix figures & tables7 assets
Supplementary material from the paper’s appendix.
Appendix
Figure 2: Global and infinitesimal lifting through the neural-network realisation map. Left: can a symmetry transformation in function space be realised by a transformation in parameter space? Right: do the infinitesimal symmetry directions lie in the function-space tangent directions accessible through the parametrisation?
Figure 3: Angular deviation profiles for the ASRNN trained to model the Mexican hat potential for various values of α unseen during training. Top: symmetry-directed flow along c⋆ . Bottom: equivariance-directed flow along b⋆ . Here the local direction is recomputed at every step, i.e. the Resolved trajectory.
Figure 4: Angular deviation profiles for the ASRNN trained to model the Mexican hat potential for various values of α unseen during training. Top: symmetry-directed flow along c⋆ . Bottom: equivariance-directed flow along b⋆ . Here the direction is computed once at t=0 and kept fixed, i.e. the Fixed trajectory.
Figure 5: Fixed parameter-space flows across training conditions. (a) Angular deviation profiles along the symmetry- and equivariance-directed flows. (b) Decision boundaries along the symmetry-directed flow c⋆ . (c) Decision boundaries along the equivariance-directed flow b⋆ . The parameter-space directions are computed once at t=0 and kept fixed throughout the trajectory.
Figure 6: Resolved parameter-space flows across training conditions. (a) Angular deviation profiles along the symmetry- and equivariance-directed flows. (b) Decision boundaries along the symmetry-directed flow c⋆ . (c) Decision boundaries along the equivariance-directed flow b⋆ . The Jacobian and corresponding parameter-space directions are recomputed at every step.
Figure 7: Angular deviation profiles for the wedge-trained classifier. Top: symmetry-directed flow along c⋆ ; bottom: equivariance-directed flow along b⋆ . Left: the local direction is recomputed at every step; right: the initial direction is kept fixed. Solid curves denote the realised trajectory, dotted curves the ideal function-space evolution.
Figure 8: Fixed parameter-space flows for the wedge-trained classifier. (a) The initial equivariance-directed direction b⋆ does not continue to move the realised function towards the equivariant subspace. (b) The initial symmetry-directed direction c⋆ deviates from the intended rotational symmetry orbit. In both cases, the direction is computed once at t=0 and kept fixed throughout the trajectory.