Skip to content

Density Matrix Convention Translator

Density-matrix notation is compact, but basis and tensor-factor conventions are easy to hide. This translator records the default choices.

A density operator satisfies

ρ†=ρ,ρ≥0,Tr⁡ρ=1.\rho^\dagger=\rho, \qquad \rho\ge0, \qquad \operatorname{Tr}\rho=1.

Matrix elements in an orthonormal basis are

ρmn=⟨m∣ρ∣n⟩.\rho_{mn}=\langle m\vert\rho\vert n\rangle.

Expectation values use

⟨A⟩=Tr⁡(ρA).\langle A\rangle=\operatorname{Tr}(\rho A).
Convention IssueDefault ChoiceWhat Changes Elsewhere
density operator versus density matrixoperator is abstract; matrix is basis representationbasis changes transform matrix entries
populations and coherencesdiagonal and off-diagonal entries in a declared basisa different basis changes both labels
pure state density operatorρ=∣ψ⟩⟨ψ∣\rho=\lvert\psi\rangle\langle\psi\rvertglobal state phase cancels
trace rule orderTr⁡(ρA)\operatorname{Tr}(\rho A)finite-dimensional cyclicity makes Tr⁡(Aρ)\operatorname{Tr}(A\rho) equal
partial tracetrace over a named tensor factortensor-product ordering must be fixed
qubit Bloch formρ=(I+r⋅σ)/2\rho=(I+\mathbf r\cdot\boldsymbol\sigma)/2Pauli basis and ∥r∥≤1\lVert\mathbf r\rVert\le1
vectorizationnot a default unless declaredcolumn-stacking versus row-stacking changes superoperator matrices
  • Reading diagonal entries as probabilities without naming the basis.
  • Confusing an ensemble decomposition with the density operator itself.
  • Taking a partial trace by deleting the wrong subsystem.
  • Using a channel superoperator matrix without knowing the vectorization order.
  • Forgetting positivity when checking whether a matrix is a valid state.
  • J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955.
  • M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2010.
  • J. Watrous, The Theory of Quantum Information, Cambridge University Press, 2018.