Pauli matrices
ここで はパウリ行列。また4元運動量の定義: