trace operator — from formula anatomyThe trace operator is a mathematical function that takes a square matrix and returns the sum of its diagonal entries. In physics, it appears constantly in quantum mechanics and statistical mechanics, where it provides a way to compute expectation values and probabilities from density matrices. The trace is invariant under changes of basis, meaning it captures intrinsic properties of a linear map rather than artifacts of a particular coordinate system.
The trace concept dates back to the 19th century, with early uses in matrix theory by mathematicians like Arthur Cayley and James Joseph Sylvester. Its systematic application in physics grew with the development of quantum mechanics in the 1920s.
For a matrix A with entries A_ij, the trace is defined as tr(A) = Σ_i A_ii. This simple sum has powerful properties: tr(AB) = tr(BA) for any two matrices (even though AB and BA may differ), and tr(UAU⁻¹) = tr(A) for any invertible matrix U. In quantum mechanics, the expectation value of an observable O in a state described by density matrix ρ is ⟨O⟩ = tr(ρO), and the trace of ρ itself is always 1 for a normalized state.
The trace operator is essential in quantum computing for simulating quantum circuits, in condensed matter physics for computing partition functions, and in machine learning for matrix factorization and regularization.
The trace of a matrix equals the sum of its eigenvalues, counting multiplicity, which is why it appears in the characteristic polynomial and in the definition of the determinant.
| U | variable | First unitary matrix — unitary matrix |
| V | variable | Second unitary matrix — unitary matrix |
| N | variable | Dimension of the Hilbert space — dimension |
| Tr | operator | Sum of diagonal elements of a matrix — trace operator |
| † | operator | Conjugate transpose of a matrix — hermitian conjugate |
| | | | operator | Magnitude of a complex number — absolute value |
| ρ | variable | density operator of the first quantum state — density operator |
| σ | variable | density operator of the second quantum state — density operator |
| tr | operator | sums diagonal elements of an operator in any basis — trace operator |
| log | operator | takes the operator logarithm, defined via spectral decomposition — matrix logarithm |
| S | variable | von Neumann entropy — entropy joule per kelvin |
| ρ | variable | density matrix of the quantum state — density matrix |
| tr | operator | sums diagonal elements of a matrix — trace operator |
| ln | operator | takes the natural logarithm — natural logarithm |
| A | variable | Operator whose expectation is taken — operator |
| ρ | variable | Density matrix (quantum state) — density matrix |
| Tr | operator | Computes the sum of diagonal elements of a matrix — trace operator |
| F | variable | Quantum fidelity between states — fidelity |
| ρ | variable | Density matrix of first quantum state — density matrix |
| σ | variable | Density matrix of second quantum state — density matrix |
| Tr | operator | Sum of diagonal elements of a matrix — trace operator |
| √ | operator | Principal square root of a positive semidefinite matrix — matrix square root |
No articles yet