Inherent Trade-offs when Enforcing Correct Data Symmetries in Multi-head Self-attention

arXiv:2608.30417 · cs.LG, math.AG, math.RT · Submitted 2026-08-31 · Read on arXiv

cs.LG, math.AG, math.RT

Submitted: 2026-08-31

Updated: 2026-10-15

License: http://creativecommons.org/licenses/by/4.0/

The gist: We give a complete characterization of equivariant multi-head self-attention (MHSA): if an MHSA layer is equivariant to a symmetry group G, then G can only act by permuting head-clusters, with QK and

Terminology

Abstract

We give a complete characterization of equivariant multi-head self-attention (MHSA): if an MHSA layer is equivariant to a symmetry group G, then G can only act by permuting head-clusters, with QK and OV matrices satisfying an equivariance constraint tied to the group action. As a consequence, we prove that any fixed MHSA architecture that achieves exact equivariance by polynomially parameterizing unconstrained MHSA parameters inevitably leads to expressivity loss within the class of equivariant maps: the equivariance locus of unconstrained MHSA forms a union of extremely many Zariski-irreducible components in a reduced parameter space, and any single architecture covers at most one. For G=D 4 acting on C copies of the regular representation as the token feature space, we show that there are Ω(C 64) components for eight attention heads.

Sources

Related papers