Dimension bound from paired Clifford involutions

ID: dimension-bound-from-paired-clifford-involutions

For hermitian Euclidean Clifford generators, the commuting hermitian involutions admit a common eigenvector. Each odd-indexed generator flips one joint eigenvalue. The resulting vectors are nonzero and mutually orthogonal. Thus any nonzero invariant complex representation has dimension at least .

New to topics? Read the docs here!