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!