| quantum operations | |
|---|---|
| Name | Quantum operations |
| Caption | Schematic of a quantum channel acting on a qubit |
| Field | Quantum physics |
| Introduced | 1970s |
| Notable figures | Lindblad, Kraus, Stinespring, Holevo |
quantum operations
Quantum operations are the mathematical maps that describe allowed evolutions of quantum states, including unitary dynamics, measurements, and irreversible noise. They provide a general framework for representing state changes in open quantum systems and are central to quantum information and the study of decoherence. Understanding quantum operations enables characterization of quantum devices, design of quantum error correction, and rigorous modeling of experiments in Quantum physics.
A quantum operation is a linear map that takes density operators (positive, trace-class operators on a Hilbert space) to density operators or subnormalized states, representing physically realizable processes on quantum systems. Physically, quantum operations model closed-system evolution via unitary dynamics, interaction with an environment, generalized measurements described by POVMs, and irreversible channels caused by noise and dissipation in open quantum system frameworks. They formalize constraints imposed by quantum mechanics such as positivity, complete positivity, and trace non-increase, ensuring that processes remain valid when systems are entangled with ancillae (an essential requirement for composability with entangled states).
Mathematically, quantum operations are often represented as linear superoperators acting on the space of operators on a Hilbert space H. Prominent descriptions include the operator-sum (Kraus) representation, the Choi matrix formulation, and superoperator matrix representations (e.g., Liouville representation). In the Kraus form a map E is written E(ρ)=∑_i K_i ρ K_i^† where {K_i} are Kraus operators satisfying constraints tied to trace preservation. The Choi matrix J(E) is constructed by applying E to one half of a maximally entangled state; positivity of J(E) is equivalent to complete positivity of E by the Choi theorem. Superoperators can be expressed as matrices acting on vectorized density operators, useful for numerical simulation and semigroup analysis such as the Lindblad master equation for Markovian dynamics.
Physically admissible quantum operations for deterministic processes are exactly the completely positive trace-preserving (CPTP) maps, often called quantum channels. Complete positivity guarantees that E⊗I_n maps positive operators to positive operators for any ancilla dimension n, preventing unphysical negative probabilities when systems are entangled. Trace preservation ensures probability conservation for closed preparations; trace-nonincreasing maps describe probabilistic processes like post-selected measurements. Important properties include convexity (channels form a convex set), extremal channels (related to minimal Kraus rank), composition (concatenation of channels yields another CPTP map), and compatibility with tensor product structure, which underlies multi-partite quantum operations and quantum communication protocols.
Several equivalent representation theorems give insight into physical implementations. The Kraus representation expresses a channel as an operator-sum with a set of Kraus operators; the minimal number of Kraus operators equals the rank of the Choi matrix. The Stinespring dilation theorem asserts any CPTP map can be implemented by a unitary on a larger Hilbert space (system plus environment) followed by partial tracing over the environment, providing a constructive link between environment-induced decoherence and noise models. The operator-sum representation is the practical form used in calculations and in design of quantum circuits implementing noisy gates. These decompositions connect to spectral decomposition methods for channels (e.g., eigenoperators of the superoperator) and to canonical forms used in analysis.
Canonical examples illustrate typical physical effects: - Unitary channels: E(ρ)=UρU^† represent closed-system reversible evolution. - Depolarizing channel: with probability p replaces the state by the maximally mixed state, modeling symmetric noise in qubits and higher-dimensional systems. - Amplitude damping channel: models energy relaxation (T1 processes) in two-level systems, described by Kraus operators that transfer population to the ground state. - Dephasing channel (phase-damping): eliminates off-diagonal coherence without changing populations, modeling pure decoherence (T2) in qubits. Other structured channels include Pauli channels, Gaussian channels for continuous-variable systems, and entanglement-breaking channels which destroy all entanglement with external systems.
Quantum operations are the language of noise models in quantum computing and quantum communication: gate errors, channel loss, and measurement imperfections are formalized as CPTP maps. This formalism underpins quantum error correction theory where noise channels determine correctable error sets and code performance (e.g., Shor code, Surface code). In quantum process tomography experimentalists reconstruct an unknown quantum operation by preparing probe states and measuring outputs; representations like the Choi matrix are directly reconstructed. Quantum capacity, private capacity, and entanglement-assisted capacities in quantum Shannon theory are channel properties defined via quantum operations, with key contributions from researchers such as Holevo and Bennett.
Implementations of specific quantum operations occur in platforms like superconducting qubits, trapped ions, nitrogen-vacancy centres in diamond, and photonic systems. Characterization techniques include quantum process tomography, randomized benchmarking (RB) to estimate average gate fidelity while mitigating state-preparation and measurement (SPAM) errors, gate set tomography (GST) for self-consistent reconstruction of gates, and direct fidelity estimation. Tomographic reconstruction typically yields a Choi matrix or set of Kraus operators; RB and GST connect experimental error rates to noise channels modeled by CPTP maps. Stinespring dilations guide engineering of environment couplings for reservoir engineering and dissipative state preparation in quantum control experiments.
Category:Quantum operations Category:Quantum information theory