CPTP

CPTP. In quantum information theory, a completely positive trace-preserving map is the most general mathematical description of a physically permissible evolution of a quantusm state. These maps, often simply called quantum channels, provide the framework for describing all possible transformations a quantum system can undergo, including unitary evolution, measurement, and interaction with an environment. Their structure ensures that probabilities remain conserved and physical states are mapped to other physical states, even when the system is part of a larger, entangled one.

Definition and Overview

A CPTP map is a linear operator acting on the space of density operators that satisfies two fundamental conditions. First, it must be *trace-preserving*, meaning the total probability, given by the trace of the density matrix, remains equal to one. Second, and more subtly, it must be *completely positive*: not only must it map positive semidefinite matrices to positive semidefinite matrices, but this property must hold when the map is applied to part of a larger composite system. This requirement, formalized by considering an extension with an arbitrary ancillary Hilbert space, guarantees the map describes valid physics even in the presence of quantum entanglement with other systems. This definition stands in contrast to maps that are merely positive but not completely positive, which can generate non-physical states when applied to entangled systems.

Mathematical Formulation

The most powerful representation of a CPTP map is given by the Kraus representation theorem, established by Karl Kraus. This theorem states that any such map \(\mathcal{E}\) acting on a density matrix \(\rho\) can be written as \(\mathcal{E}(\rho) = \sum_i K_i \rho K_i^\dagger\), where the operators \(K_i\), known as Kraus operators, satisfy the condition \(\sum_i K_i^\dagger K_i = I\), with \(I\) being the identity matrix. This sum condition ensures the trace-preserving property. An alternative formulation uses the Stinespring dilation theorem, which shows that every CPTP map can be realized as a unitary transformation on a larger system, followed by a partial trace over an ancillary environment. This connects the abstract map to a concrete physical model of interaction with an external system.

Physical Significance

CPTP maps are indispensable for modeling open quantum system dynamics, where a system of interest interacts with an inaccessible environment, leading to phenomena like decoherence and dissipation. The Lindblad equation, a master equation that generates a continuous one-parameter semigroup of CPTP maps, is the standard tool for describing such Markovian dynamics. The complete positivity condition is physically crucial; it ensures that if the system is initially entangled with a distant, non-interacting partner, the global state after the local evolution remains a valid quantum state. Violations of complete positivity can lead to predictions of negative probabilities, which are physically inadmissible. This framework underpins the study of quantum noise and error correction.

Relation to Other Quantum Operations

CPTP maps form a proper subset of all quantum operations. A more general class is that of quantum instruments, which are CPTP maps indexed by measurement outcomes, describing both the state change and the probability of that outcome. In the context of quantum measurement, a CPTP map can represent the average post-measurement state when the outcome is discarded. Furthermore, unital CPTP maps, which also map the identity to itself, are important in contexts like quantum thermodynamics. The distinction is also made with positive but not completely positive maps, which, while not physically realizable on their own, are useful theoretical tools, such as the transpose map, for detecting entanglement in the Peres-Horodecki criterion.

Applications in Quantum Information

The theory of CPTP maps is foundational across quantum information science. In quantum computing, every quantum gate and noise process is described by a CPTP map. The field of quantum error correction is built upon designing protocols to reverse the effects of undesirable CPTP maps (noise) acting on quantum data. In quantum communication, the transmission of states through a quantum channel, like an optical fiber, is modeled by a CPTP map, with the channel capacity determined by its properties. The framework is also central to quantum cryptography for analyzing security against general attacks, and in quantum tomography for characterizing unknown processes experimentally.

Category:Quantum information theory Category:Quantum mechanics