Real independence of Clifford-generated vectors

ID: real-independence-of-clifford-generated-vectors

For hermitian generators satisfying and any nonzero vector , the vectors are linearly independent over the real numbers. Indeed, with real obeys , so . Complex coefficients need a different argument.

New to topics? Read the docs here!