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!