 Pure-state trace distance and fidelity identity

For normalized pure states $\rho =|\psi ⟩⟨\psi |$ and $\sigma =|\phi ⟩⟨\phi |$, the trace distance and quantum fidelity satisfyThe last two expressions distinguish the unsquared quantum fidelity from the squared quantum fidelity. Identical pure states give $D=0$, and orthogonal pure states give $D=1$. The equality need not hold for mixed states; the Fuchs-van de Graaf inequalities give bounds in that case.

Brief proof: for two distinct pure states, their two-dimensional span contains the nonzero part of $\rho -\sigma$. This restriction has trace zero and determinant $-(1-F^2)$, hence eigenvalues $\pm \sqrt{1-F^2}$. Its trace norm is twice the positive eigenvalue, giving trace distance $D=\sqrt{1-F^2}$. For identical pure states, $\rho -\sigma =0$ directly.