Partial trace

Last updated
Left hand side shows a full density matrix
r
A
B
{\displaystyle \rho _{AB}}
of a bipartite qubit system. The partial trace is performed over a subsystem of 2 by 2 dimension (single qubit density matrix). The right hand side shows the resulting 2 by 2 reduced density matrix
r
A
{\displaystyle \rho _{A}}
. Partial Trace.svg
Left hand side shows a full density matrix of a bipartite qubit system. The partial trace is performed over a subsystem of 2 by 2 dimension (single qubit density matrix). The right hand side shows the resulting 2 by 2 reduced density matrix .

In linear algebra and functional analysis, the partial trace is a generalization of the trace. Whereas the trace is a scalar valued function on operators, the partial trace is an operator-valued function. The partial trace has applications in quantum information and decoherence which is relevant for quantum measurement and thereby to the decoherent approaches to interpretations of quantum mechanics, including consistent histories and the relative state interpretation.

Contents

Details

Suppose , are finite-dimensional vector spaces over a field, with dimensions and , respectively. For any space , let denote the space of linear operators on . The partial trace over is then written as , where denotes the Kronecker product.

It is defined as follows: For , let , and , be bases for V and W respectively; then T has a matrix representation

relative to the basis of .

Now for indices k, i in the range 1, ..., m, consider the sum

This gives a matrix bk,i. The associated linear operator on V is independent of the choice of bases and is by definition the partial trace.

Among physicists, this is often called "tracing out" or "tracing over" W to leave only an operator on V in the context where W and V are Hilbert spaces associated with quantum systems (see below).

Invariant definition

The partial trace operator can be defined invariantly (that is, without reference to a basis) as follows: it is the unique linear map

such that

To see that the conditions above determine the partial trace uniquely, let form a basis for , let form a basis for , let be the map that sends to (and all other basis elements to zero), and let be the map that sends to . Since the vectors form a basis for , the maps form a basis for .

From this abstract definition, the following properties follow:

Category theoretic notion

It is the partial trace of linear transformations that is the subject of Joyal, Street, and Verity's notion of Traced monoidal category. A traced monoidal category is a monoidal category together with, for objects X, Y, U in the category, a function of Hom-sets,

satisfying certain axioms.

Another case of this abstract notion of partial trace takes place in the category of finite sets and bijections between them, in which the monoidal product is disjoint union. One can show that for any finite sets, X,Y,U and bijection there exists a corresponding "partially traced" bijection .

Partial trace for operators on Hilbert spaces

The partial trace generalizes to operators on infinite dimensional Hilbert spaces. Suppose V, W are Hilbert spaces, and let

be an orthonormal basis for W. Now there is an isometric isomorphism

Under this decomposition, any operator can be regarded as an infinite matrix of operators on V

where .

First suppose T is a non-negative operator. In this case, all the diagonal entries of the above matrix are non-negative operators on V. If the sum

converges in the strong operator topology of L(V), it is independent of the chosen basis of W. The partial trace TrW(T) is defined to be this operator. The partial trace of a self-adjoint operator is defined if and only if the partial traces of the positive and negative parts are defined.

Computing the partial trace

Suppose W has an orthonormal basis, which we denote by ket vector notation as . Then

The superscripts in parentheses do not represent matrix components, but instead label the matrix itself.

Partial trace and invariant integration

In the case of finite dimensional Hilbert spaces, there is a useful way of looking at partial trace involving integration with respect to a suitably normalized Haar measure μ over the unitary group U(W) of W. Suitably normalized means that μ is taken to be a measure with total mass dim(W).

Theorem. Suppose V, W are finite dimensional Hilbert spaces. Then

commutes with all operators of the form and hence is uniquely of the form . The operator R is the partial trace of T.

Partial trace as a quantum operation

The partial trace can be viewed as a quantum operation. Consider a quantum mechanical system whose state space is the tensor product of Hilbert spaces. A mixed state is described by a density matrix ρ, that is a non-negative trace-class operator of trace 1 on the tensor product The partial trace of ρ with respect to the system B, denoted by , is called the reduced state of ρ on system A. In symbols,

To show that this is indeed a sensible way to assign a state on the A subsystem to ρ, we offer the following justification. Let M be an observable on the subsystem A, then the corresponding observable on the composite system is . However one chooses to define a reduced state , there should be consistency of measurement statistics. The expectation value of M after the subsystem A is prepared in and that of when the composite system is prepared in ρ should be the same, i.e. the following equality should hold:

We see that this is satisfied if is as defined above via the partial trace. Furthermore, such operation is unique.

Let T(H) be the Banach space of trace-class operators on the Hilbert space H. It can be easily checked that the partial trace, viewed as a map

is completely positive and trace-preserving.

The density matrix ρ is Hermitian, positive semi-definite, and has a trace of 1. It has a spectral decomposition:

Its easy to see that the partial trace also satisfies these conditions. For example, for any pure state in , we have

Note that the term represents the probability of finding the state when the composite system is in the state . This proves the positive semi-definiteness of .

The partial trace map as given above induces a dual map between the C*-algebras of bounded operators on and given by

maps observables to observables and is the Heisenberg picture representation of .

Comparison with classical case

Suppose instead of quantum mechanical systems, the two systems A and B are classical. The space of observables for each system are then abelian C*-algebras. These are of the form C(X) and C(Y) respectively for compact spaces X, Y. The state space of the composite system is simply

A state on the composite system is a positive element ρ of the dual of C(X×Y), which by the Riesz-Markov theorem corresponds to a regular Borel measure on X×Y. The corresponding reduced state is obtained by projecting the measure ρ to X. Thus the partial trace is the quantum mechanical equivalent of this operation.

Related Research Articles

In quantum mechanics, a density matrix is a matrix that describes the quantum state of a physical system. It allows for the calculation of the probabilities of the outcomes of any measurement performed upon this system, using the Born rule. It is a generalization of the more usual state vectors or wavefunctions: while those can only represent pure states, density matrices can also represent mixed states. Mixed states arise in quantum mechanics in two different situations:

  1. when the preparation of the system is not fully known, and thus one must deal with a statistical ensemble of possible preparations, and
  2. when one wants to describe a physical system that is entangled with another, without describing their combined state; this case is typical for a system interacting with some environment.
<span class="mw-page-title-main">Quantum superposition</span> Principle of quantum mechanics

Quantum superposition is a fundamental principle of quantum mechanics that states that linear combinations of solutions to the Schrödinger equation are also solutions of the Schrödinger equation. This follows from the fact that the Schrödinger equation is a linear differential equation in time and position. More precisely, the state of a system is given by a linear combination of all the eigenfunctions of the Schrödinger equation governing that system.

<span class="mw-page-title-main">Quantum decoherence</span> Loss of quantum coherence

Quantum decoherence is the loss of quantum coherence. Quantum decoherence has been studied to understand how quantum systems convert to systems which can be explained by classical mechanics. Beginning out of attempts to extend the understanding of quantum mechanics, the theory has developed in several directions and experimental studies have confirmed some of the key issues. Quantum computing relies on quantum coherence and is the primary practical applications of the concept.

The density matrix renormalization group (DMRG) is a numerical variational technique devised to obtain the low-energy physics of quantum many-body systems with high accuracy. As a variational method, DMRG is an efficient algorithm that attempts to find the lowest-energy matrix product state wavefunction of a Hamiltonian. It was invented in 1992 by Steven R. White and it is nowadays the most efficient method for 1-dimensional systems.

In quantum physics, a measurement is the testing or manipulation of a physical system to yield a numerical result. A fundamental feature of quantum theory is that the predictions it makes are probabilistic. The procedure for finding a probability involves combining a quantum state, which mathematically describes a quantum system, with a mathematical representation of the measurement to be performed on that system. The formula for this calculation is known as the Born rule. For example, a quantum particle like an electron can be described by a quantum state that associates to each point in space a complex number called a probability amplitude. Applying the Born rule to these amplitudes gives the probabilities that the electron will be found in one region or another when an experiment is performed to locate it. This is the best the theory can do; it cannot say for certain where the electron will be found. The same quantum state can also be used to make a prediction of how the electron will be moving, if an experiment is performed to measure its momentum instead of its position. The uncertainty principle implies that, whatever the quantum state, the range of predictions for the electron's position and the range of predictions for its momentum cannot both be narrow. Some quantum states imply a near-certain prediction of the result of a position measurement, but the result of a momentum measurement will be highly unpredictable, and vice versa. Furthermore, the fact that nature violates the statistical conditions known as Bell inequalities indicates that the unpredictability of quantum measurement results cannot be explained away as due to ignorance about "local hidden variables" within quantum systems.

In quantum information theory, a quantum channel is a communication channel which can transmit quantum information, as well as classical information. An example of quantum information is the state of a qubit. An example of classical information is a text document transmitted over the Internet.

In mathematics, nuclear operators between Banach spaces are a linear operators between Banach spaces in infinite dimensions that share some of the properties of their counter-part in finite dimension. In Hilbert spaces such operators are usually called trace class operators and one can define such things as the trace. In Banach spaces this is no longer possible for general nuclear operators, it is however possible for -nuclear operator via the Grothendieck trace theorem.

In quantum mechanics, separable states are multipartite quantum states that can be written as a convex combination of product states. Product states are multipartite quantum states that can be written as a tensor product of states in each space. The physical intuition behind these definitions is that product states have no correlation between the different degrees of freedom, while separable states might have correlations, but all such correlations can be explained as due to a classical random variable, as opposed as being due to entanglement.

<span class="mw-page-title-main">LOCC</span> Method in quantum computation and communication

LOCC, or local operations and classical communication, is a method in quantum information theory where a local (product) operation is performed on part of the system, and where the result of that operation is "communicated" classically to another part where usually another local operation is performed conditioned on the information received.

In functional analysis and quantum information science, a positive operator-valued measure (POVM) is a measure whose values are positive semi-definite operators on a Hilbert space. POVMs are a generalization of projection-valued measures (PVM) and, correspondingly, quantum measurements described by POVMs are a generalization of quantum measurement described by PVMs.

In linear algebra, the Schmidt decomposition refers to a particular way of expressing a vector in the tensor product of two inner product spaces. It has numerous applications in quantum information theory, for example in entanglement characterization and in state purification, and plasticity.

In quantum mechanics, notably in quantum information theory, fidelity is a measure of the "closeness" of two quantum states. It expresses the probability that one state will pass a test to identify as the other. The fidelity is not a metric on the space of density matrices, but it can be used to define the Bures metric on this space.

In the case of systems composed of subsystems, the classification of quantum-entangledstates is richer than in the bipartite case. Indeed, in multipartite entanglement apart from fully separable states and fully entangled states, there also exists the notion of partially separable states.

A decoherence-free subspace (DFS) is a subspace of a quantum system's Hilbert space that is invariant to non-unitary dynamics. Alternatively stated, they are a small section of the system Hilbert space where the system is decoupled from the environment and thus its evolution is completely unitary. DFSs can also be characterized as a special class of quantum error correcting codes. In this representation they are passive error-preventing codes since these subspaces are encoded with information that (possibly) won't require any active stabilization methods. These subspaces prevent destructive environmental interactions by isolating quantum information. As such, they are an important subject in quantum computing, where (coherent) control of quantum systems is the desired goal. Decoherence creates problems in this regard by causing loss of coherence between the quantum states of a system and therefore the decay of their interference terms, thus leading to loss of information from the (open) quantum system to the surrounding environment. Since quantum computers cannot be isolated from their environment and information can be lost, the study of DFSs is important for the implementation of quantum computers into the real world.

In quantum mechanics, and especially quantum information theory, the purity of a normalized quantum state is a scalar defined as

This is a glossary for the terminology often encountered in undergraduate quantum mechanics courses.

The entropy of entanglement is a measure of the degree of quantum entanglement between two subsystems constituting a two-part composite quantum system. Given a pure bipartite quantum state of the composite system, it is possible to obtain a reduced density matrix describing knowledge of the state of a subsystem. The entropy of entanglement is the Von Neumann entropy of the reduced density matrix for any of the subsystems. If it is non-zero, i.e. the subsystem is in a mixed state, it indicates the two subsystems are entangled.

<span class="mw-page-title-main">Causal fermion systems</span> Candidate unified theory of physics

The theory of causal fermion systems is an approach to describe fundamental physics. It provides a unification of the weak, the strong and the electromagnetic forces with gravity at the level of classical field theory. Moreover, it gives quantum mechanics as a limiting case and has revealed close connections to quantum field theory. Therefore, it is a candidate for a unified physical theory. Instead of introducing physical objects on a preexisting spacetime manifold, the general concept is to derive spacetime as well as all the objects therein as secondary objects from the structures of an underlying causal fermion system. This concept also makes it possible to generalize notions of differential geometry to the non-smooth setting. In particular, one can describe situations when spacetime no longer has a manifold structure on the microscopic scale. As a result, the theory of causal fermion systems is a proposal for quantum geometry and an approach to quantum gravity.

In quantum information theory and operator theory, the Choi–Jamiołkowski isomorphism refers to the correspondence between quantum channels and quantum states, this is introduced by Man-Duen Choi and Andrzej Jamiołkowski. It is also called channel-state duality by some authors in the quantum information area, but mathematically, this is a more general correspondence between positive operators and the complete positive superoperators.

In quantum information theory and quantum optics, the Schrödinger–HJW theorem is a result about the realization of a mixed state of a quantum system as an ensemble of pure quantum states and the relation between the corresponding purifications of the density operators. The theorem is named after physicists and mathematicians Erwin Schrödinger, Lane P. Hughston, Richard Jozsa and William Wootters. The result was also found independently by Nicolas Gisin, and by Nicolas Hadjisavvas building upon work by Ed Jaynes, while a significant part of it was likewise independently discovered by N. David Mermin. Thanks to its complicated history, it is also known by various other names such as the GHJW theorem, the HJW theorem, and the purification theorem.

References