An ensemble with normalized quantum states and probabilities , , has density matrixEach rank-one projector is Hermitian, so . Taking the trace in any orthonormal basis givesIt is also positive: . Its eigenvalues are therefore nonnegative and sum to one. Hencewith equality exactly when one eigenvalue is one and the others are zero. Thus the purity of a density operator distinguishesEquivalently, a pure state has and rank one. In a -dimensional Hilbert space, purity is at least , attained by the maximally mixed state .
The fixed-particle-number sector is spanned by and . In this basis,The relevant quantum Gibbs state is normalized within this two-dimensional sector, not over all particle numbers. With and , the exponential of a Pauli vector givesThereforeIts eigenstates are , with energies and probabilities . These are nonnegative and sum to one, so the matrix is Hermitian and has trace one. Its purity of a density operator isFor , the zero-temperature limit is the pure ground-state projector,with purity one. As , and , with purity . At every strictly positive finite temperature and finite , both eigenvalues are nonzero, so the state is mixed. If , the two levels are degenerate and the Gibbs state is at all temperatures, including its zero-temperature limit.
Using dimensionless Von Neumann entropy, , givesFor nonzero , as , while as . More precisely, the high-temperature expansion is , and the low-temperature form is . The thermodynamic entropy includes an overall factor .
Fix the mode ordering with the operator before the operator, as in the given state. In the sector with one fermion in each subsystem, use the ordered basisThe state vector is , whose squared norm is one. Thus the global density matrix is the rank-one projectorIt has trace one and satisfies , so the global state is pure.
Take the partial trace over . The conditional vectors in are for and for . Therefore the reduced density matrix isIts determinant is , giving eigenvaluesBoth are positive; in particular, , so the reduced state is mixed despite global purity. The entanglement entropy is obtained by diagonalizing this reduced matrix and evaluatingFor a globally pure bipartite state this equals the entropy of either reduced subsystem. No numerical evaluation is needed.
Articles by others on the same topic
There are currently no matching articles.