PauliX

◼ PauliX is Pauli's (Subscript[σ, x]) matrix.
◼ PauliY is Pauli's (Subscript[σ, y]) matrix.
◼ PauliZ is Pauli's (Subscript[σ, z]) matrix.
◼ PauliPlus is Pauli's \(TraditionalForm\`\(σ\_+\)\) (spin raising) matrix.
◼ PauliMinus is Pauli's \(TraditionalForm\`\(σ\_-\)\) (spin lowering) matrix.

◼ See also: spinx, spiny, spinz, spinplus, spinminus.

Further examples

Load sneg

<< sneg`sneg`;

The Pauli matrixes

MatrixForm /@ {PauliX, PauliY, PauliZ, PauliPlus, 
        PauliMinus}

Some relations

PauliX . PauliY == I PauliZ
PauliY . PauliZ == I PauliX
PauliZ . PauliX == I PauliY
PauliZ . PauliPlus == PauliPlus
PauliZ . PauliMinus == -PauliMinus
PauliPlus . PauliMinus - PauliMinus . PauliPlus == 
      4  PauliZ