Pauli matrices
パウリ行列はガンマ行列の特定の表現を構成するのに用いられる。ガンマ行列 () は反交換関係