• Parallelogram Identity
  • Polarisation identity
  • Cauchy-Schwartz inequality
  • Triangle inequalities
  • Hadamard gate
  • General expression for spectral decomposition $\lambda _i$
  • Pauli matrices