9.3 Quantum operations and completely positive maps

4 min readjuly 23, 2024

are the building blocks of quantum information processing. They transform quantum states, enabling computation and communication. These operations come in two flavors: unitary (reversible) and non-unitary (irreversible), each playing a crucial role in quantum systems.

Completely positive maps provide a mathematical framework for describing quantum operations. They ensure that physical transformations preserve the positivity of density matrices. This concept is fundamental to understanding how quantum information is processed and transmitted in real-world systems.

Quantum Operations

Types of quantum operations

Top images from around the web for Types of quantum operations
Top images from around the web for Types of quantum operations
  • Quantum operations transform quantum states and can be classified into two main categories
    • are reversible transformations that preserve the inner product between states (orthogonality)
      • Represented mathematically by unitary matrices UU satisfying UU=UU=IU^\dagger U = UU^\dagger = I, where UU^\dagger is the conjugate transpose of UU and II is the identity matrix
    • are irreversible transformations that do not preserve the inner product between states
      • Include processes such as measurement (projective or POVM), dissipation (interaction with the environment), and (loss of quantum coherence)
  • Kraus representation provides a general framework to describe any quantum operation E\mathcal{E} as a sum of Kraus operators EiE_i
    • The action of E\mathcal{E} on a state ρ\rho is given by E(ρ)=iEiρEi\mathcal{E}(\rho) = \sum_i E_i \rho E_i^\dagger, where EiE_i are the Kraus operators
    • Kraus operators must satisfy the completeness relation iEiEi=I\sum_i E_i^\dagger E_i = I to ensure the operation is trace-preserving

Concept of completely positive maps

  • Completely positive (CP) maps are a special class of quantum operations that preserve positivity of density matrices
    • A map E\mathcal{E} is positive if it maps positive operators to positive operators, i.e., if ρ0\rho \geq 0, then E(ρ)0\mathcal{E}(\rho) \geq 0
    • A map E\mathcal{E} is completely positive if (IE)(ρ)(\mathcal{I} \otimes \mathcal{E})(\rho) is positive for any positive operator ρ\rho, where I\mathcal{I} is the identity map on an ancillary system
  • establishes a one-to-one correspondence between CP maps and positive semidefinite matrices
    • The of a CP map E\mathcal{E} is given by J(E)=(IE)(Φ+Φ+)J(\mathcal{E}) = (\mathcal{I} \otimes \mathcal{E})(\ket{\Phi^+}\bra{\Phi^+}), where Φ+=1di=1dii\ket{\Phi^+} = \frac{1}{\sqrt{d}} \sum_{i=1}^d \ket{i} \otimes \ket{i} is a maximally entangled state
    • A map E\mathcal{E} is CP if and only if its Choi matrix J(E)J(\mathcal{E}) is positive semidefinite
  • states that any CP map can be realized as a unitary operation on a larger followed by a partial trace
    • Mathematically, E(ρ)=TrE[U(ρ00)U]\mathcal{E}(\rho) = \text{Tr}_E[U(\rho \otimes \ket{0}\bra{0})U^\dagger], where UU is a unitary operator acting on the system and an ancillary environment, and 0\ket{0} is a fixed ancillary state
    • This representation provides an operational interpretation of CP maps and their connection to open quantum systems

Transformation of quantum states

  • Unitary operations transform quantum states by applying a unitary matrix UU to the state vector or
    • For a pure state ψ\ket{\psi}, the transformed state is UψU\ket{\psi}
    • For a density matrix ρ\rho, the transformed state is UρUU\rho U^\dagger
  • Non-unitary operations, such as measurements or dissipative processes, transform quantum states according to their Kraus representation
    • Applying Kraus operators EiE_i to a state ρ\rho yields a new state E(ρ)=iEiρEi\mathcal{E}(\rho) = \sum_i E_i \rho E_i^\dagger
    • Projective measurements transform a state ρ\rho into a post-measurement state ρi=PiρPi/Tr(Piρ)\rho_i = P_i \rho P_i / \text{Tr}(P_i \rho) with probability pi=Tr(Piρ)p_i = \text{Tr}(P_i \rho), where PiP_i are the measurement projectors

Effects on quantum systems

  • State quantifies the similarity between two quantum states ρ\rho and σ\sigma
    • Fidelity is defined as F(ρ,σ)=TrρσρF(\rho, \sigma) = \text{Tr}\sqrt{\sqrt{\rho}\sigma\sqrt{\rho}} and ranges from 0 (orthogonal states) to 1 (identical states)
    • For pure states ψ\ket{\psi} and ϕ\ket{\phi}, fidelity reduces to the squared overlap F(ψ,ϕ)=ψϕ2F(\ket{\psi}, \ket{\phi}) = |\braket{\psi|\phi}|^2
  • characterizes the maximum rate at which information can be reliably transmitted through a quantum channel E\mathcal{E}
    • C(E)C(\mathcal{E}) quantifies the maximum rate of classical information transmission, given by C(E)=maxpi,ρiχ({pi,E(ρi)})C(\mathcal{E}) = \max_{p_i, \rho_i} \chi(\{p_i, \mathcal{E}(\rho_i)\}), where χ\chi is the Holevo information
    • Q(E)Q(\mathcal{E}) quantifies the maximum rate of quantum information transmission, given by Q(E)=limn1nmaxρIc(ρ,En)Q(\mathcal{E}) = \lim_{n \to \infty} \frac{1}{n} \max_{\rho} I_c(\rho, \mathcal{E}^{\otimes n}), where IcI_c is the coherent information
  • aims to protect quantum information from errors induced by quantum operations
    • Quantum information is encoded into a larger Hilbert space using error-correcting codes (stabilizer codes, topological codes)
    • are performed to detect and correct errors without disturbing the encoded information
    • Examples of quantum error-correcting codes include the , the , and the

Key Terms to Review (23)

Choi Matrix: The Choi matrix is a mathematical representation used to describe quantum operations and completely positive maps. It is constructed from the action of a quantum operation on a maximally entangled state, enabling the characterization of the operation's properties such as its linearity and complete positivity. The Choi matrix provides a bridge between the formalism of quantum channels and their implementation in quantum information theory.
Choi-jamiołkowski isomorphism: The choi-jamiołkowski isomorphism is a mathematical mapping that establishes a correspondence between quantum operations and positive semi-definite matrices, allowing one to study quantum channels through their representation as these matrices. This isomorphism shows that every completely positive map can be represented by a Choi matrix, which encodes all the information about the operation, making it easier to analyze and understand quantum operations. It bridges the gap between quantum mechanics and linear algebra by translating quantum operations into a more manageable mathematical form.
Classical capacity: Classical capacity refers to the maximum rate at which classical information can be reliably transmitted through a quantum channel. It is an essential concept in understanding how quantum systems can be used to transfer information, highlighting the limits and efficiencies of communication channels. This capacity is linked to how quantum operations and completely positive maps transform the states of quantum systems, affecting the overall ability to encode and decode information.
Completely positive map: A completely positive map is a mathematical function that transforms density matrices in quantum mechanics while preserving their positivity, meaning the result is still a valid density matrix. This concept is crucial in describing quantum operations, which include processes like measurement and decoherence, ensuring that these transformations are physically realizable and adhere to the principles of quantum mechanics.
Decoherence: Decoherence is the process by which quantum systems lose their quantum behavior due to interactions with their environment, resulting in the transition from a coherent superposition of states to a classical mixture of states. This phenomenon plays a crucial role in understanding the limitations of quantum computing, as it can lead to the loss of information and the degradation of quantum states, impacting various aspects of quantum technology.
Density Matrix: A density matrix is a mathematical representation that describes the statistical state of a quantum system, capturing both pure and mixed states. It provides a comprehensive way to account for the probabilities associated with different quantum states, especially when systems are in superposition or entangled. This tool is crucial for understanding measurements, operations on quantum states, and the behavior of complex systems in quantum computing.
Entanglement: Entanglement is a quantum phenomenon where two or more particles become interconnected in such a way that the state of one particle directly influences the state of another, no matter how far apart they are. This connection challenges classical notions of locality and has profound implications for quantum computing, communication, and cryptography.
Fidelity: Fidelity in quantum computing refers to the degree to which a quantum state or operation accurately reflects or reproduces the intended quantum state or operation. It is a crucial measure of performance and reliability, particularly when assessing the effectiveness of quantum technologies, protocols, and error correction mechanisms.
Hilbert Space: Hilbert space is a complete vector space equipped with an inner product, allowing for the geometric interpretation of quantum states and operations. It serves as the foundational framework for quantum mechanics, facilitating the representation of quantum states as vectors and enabling measurements through projection operators.
Kraus Operator: A Kraus operator is a mathematical representation used in quantum mechanics to describe the evolution of quantum states under the influence of noise or interactions with an environment. It provides a way to model quantum operations that are completely positive and trace-preserving, making it essential for understanding how quantum systems behave when subjected to external influences.
Non-unitary operations: Non-unitary operations are transformations on quantum states that do not preserve the norm of the state vectors, which means they can introduce loss or create correlations with an environment. These operations are crucial in understanding how quantum systems interact with their surroundings, often leading to decoherence and other phenomena that diverge from ideal quantum mechanics. Non-unitary operations play a significant role in quantum error correction, measurement processes, and the representation of open quantum systems.
Projective measurement: Projective measurement is a fundamental concept in quantum mechanics that describes the process of obtaining a definite outcome from a quantum state, collapsing it into one of the eigenstates of the observable being measured. This process involves projecting the quantum state onto a subspace defined by the observable, which results in a loss of information about the superposition state prior to measurement. Understanding projective measurement is crucial for interpreting quantum states, designing quantum circuits, and implementing algorithms like Grover's, as well as in exploring the role of linear algebra in quantum computing.
Quantum capacity: Quantum capacity refers to the maximum amount of quantum information that can be reliably transmitted through a quantum channel. This concept is crucial for understanding the limits of quantum communication and the efficiency of quantum operations, highlighting the importance of completely positive maps in characterizing these channels and their ability to preserve quantum information.
Quantum channel capacity: Quantum channel capacity refers to the maximum amount of information that can be reliably transmitted through a quantum channel. This concept is crucial because it determines how effectively quantum information can be sent over various types of quantum communication channels, influenced by factors like noise and channel characteristics. Understanding this capacity helps in designing systems for quantum communication and error correction, which are essential for practical quantum technologies.
Quantum Error Correction: Quantum error correction is a set of techniques used to protect quantum information from errors due to decoherence and other quantum noise. This process is vital for maintaining the integrity of quantum computations, enabling reliable operation of quantum computers by correcting errors without measuring the quantum states directly.
Quantum operations: Quantum operations are mathematical processes that act on quantum states, transforming them and capturing the dynamics of quantum systems. They are essential for understanding how quantum information is manipulated, including concepts like measurement, evolution, and decoherence. These operations can be represented as completely positive maps, which help ensure that probabilities remain valid even after transformation.
Shor Code: The Shor Code is a quantum error correction code designed to protect quantum information from decoherence and errors during computation. It works by encoding a single logical qubit into a larger Hilbert space made up of several physical qubits, allowing for the correction of both bit-flip and phase-flip errors, which are crucial for maintaining the integrity of quantum operations and ensuring reliable fault-tolerant quantum computation.
Steane Code: The Steane Code is a quantum error-correcting code that encodes one logical qubit into seven physical qubits and is designed to correct errors that can occur during quantum computation. This code provides an essential framework for understanding how quantum information can be protected against noise and decoherence, thereby facilitating reliable quantum computation.
Stinespring Dilation Theorem: The Stinespring Dilation Theorem is a fundamental result in quantum mechanics that provides a way to represent completely positive maps as unitary operations on a larger Hilbert space. This theorem establishes a link between quantum operations and their mathematical descriptions, allowing for the extension of quantum states and operations to higher dimensions. The dilation process is essential for understanding how quantum systems evolve under the influence of noise and measurements.
Surface code: The surface code is a type of quantum error correction code that encodes logical qubits into a two-dimensional grid of physical qubits, enabling fault-tolerant quantum computation. Its structure allows for the detection and correction of errors in quantum systems, making it a critical component in the development of reliable quantum computing technologies.
Syndrome measurements: Syndrome measurements are a crucial technique in quantum error correction, where specific measurements are made to detect errors without collapsing the quantum state. By extracting information about the error without disturbing the logical qubit, syndrome measurements help identify which errors occurred, allowing for appropriate corrective actions. This process is foundational in ensuring the reliability and stability of quantum operations.
Trace-preserving map: A trace-preserving map is a mathematical function acting on quantum states that maintains the trace of the density matrix, ensuring that the total probability remains equal to one after the application of the map. This property is crucial for quantum operations, as it guarantees that the physical interpretation of quantum states is preserved during transformations, preventing any loss of information. Trace-preserving maps are essential in the context of completely positive maps, which guarantee that quantum states remain valid probabilities.
Unitary Operations: Unitary operations are a class of quantum operations characterized by the preservation of quantum information and norm, represented mathematically by unitary matrices. These operations are essential in quantum computing as they allow for the manipulation of quantum states while ensuring that probabilities remain consistent, which is crucial for maintaining coherence in quantum systems. Their properties, such as reversibility and conservation of inner products, make them fundamental in designing quantum algorithms and protocols.
© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.