Popular Science
Edit
Share
Feedback
  • The Concept of Purification of a Quantum State
  • Introduction
  • Principles and Mechanisms
  • From Ignorance to Entanglement
  • Applications and Interdisciplinary Connections
  • Taming the Wild: Open Quantum Systems
  • The Quantum Age: Information, Computation, and Correction
  • The Fabric of Reality: From Quantum Matter to Spacetime
  • Hands-on Practice
  • Problem 1
  • Problem 2
  • Problem 3
  • What to Learn Next

The Concept of Purification of a Quantum State

SciencePediaSciencePedia
Definition

The Concept of Purification of a Quantum State is a principle in quantum information theory where any mixed quantum state is understood as being a subsystem of a larger, pure entangled state. This framework, supported by Uhlmann's theorem, establishes that all purifications are equivalent up to a local unitary transformation and that the mixed state's von Neumann entropy is equal to the entanglement entropy of its pure counterpart. It serves as a fundamental tool for modeling open system dynamics through Stinespring dilation, advancing quantum error correction, and studying black holes via the Thermofield Double state.

Key Takeaways
  • Any mixed quantum state can be understood as a part of a larger, pure entangled state, turning statistical uncertainty into a property of quantum connection.
  • Uhlmann's theorem establishes that all possible purifications of a single mixed state are equivalent up to a local unitary transformation on the purifying system.
  • The von Neumann entropy of a mixed state is identically equal to the entanglement entropy of its purification, directly linking local ignorance to global entanglement.
  • Purification is a vital tool, explaining open system dynamics via Stinespring dilation, underpinning quantum error correction, and modeling black holes via the Thermofield Double state.

Introduction

In quantum mechanics, our knowledge of a system is often incomplete, described by a "mixed state" rife with statistical uncertainty. But what if this apparent ignorance is not a limitation, but a clue to a deeper reality? This article introduces the profound concept of purification​, the idea that any mixed state of a system can be viewed as one part of a larger, perfectly defined "pure" state entangled with an auxiliary system, or "ancilla". By embracing this larger picture, we can transform uncertainty into entanglement, unlocking powerful new perspectives and calculational tools.

This exploration will unfold across three chapters. In Principles and Mechanisms​, we will uncover the fundamental recipe for constructing a purification, its connection to the Schmidt decomposition, and the beautiful freedom described by Uhlmann's theorem. Next, in Applications and Interdisciplinary Connections​, we will witness how this single idea provides a unified framework for understanding open quantum systems, quantum information theory, and even the quantum structure of spacetime and black holes. Finally, Hands-On Practices will offer a series of guided problems to solidify your understanding and apply these concepts to concrete physical scenarios. Prepare to see the quantum world not as a collection of isolated, random parts, but as a deeply interconnected whole.

Principles and Mechanisms

In our journey into the quantum world, we've come to accept a curious fact: sometimes, we don't know the exact state of a system. We might know that a qubit has a 50% chance of being in state ∣0⟩|0\rangle∣0⟩ and a 50% chance of being in state ∣1⟩|1\rangle∣1⟩. We call this a mixed state, and we describe it with a tool called the density matrix, ρ\rhoρ. This "mixedness" feels like a familiar sort of ignorance, the same kind we have about a coin toss before it lands. But in the quantum realm, there's a shockingly elegant way to think about this ignorance. The central idea, and it's a profound one, is that any ignorance about a part can be understood as perfect knowledge of a larger whole​. This is the principle of purification​.

From Ignorance to Entanglement

Imagine you have a single qubit in a mixed state. Perhaps it’s a statistical mixture described by ρA=p0∣v0⟩⟨v0∣+p1∣v1⟩⟨v1∣\rho_A = p_0 |v_0\rangle\langle v_0| + p_1 |v_1\rangle\langle v_1|ρA​=p0​∣v0​⟩⟨v0​∣+p1​∣v1​⟩⟨v1​∣. Your knowledge is incomplete. You can only speak in probabilities. But what if I told you that this qubit, let’s call it system A, is not alone? What if there's a "hidden" partner qubit somewhere, an ancilla (system R, for "reference"), and the two together are in a single, definitive, pure state?

This is the promise of purification. It asserts that our mixed state ρA\rho_AρA​ is just what we see when we ignore its entangled partner. The statistical uncertainty in A is nothing but a phantom created by its quantum connection to R.

How can we build this larger, pure state? The recipe is surprisingly simple and beautiful. Given the spectral decomposition of our mixed state ρA=∑ipi∣vi⟩A⟨vi∣A\rho_A = \sum_i p_i |v_i\rangle_A\langle v_i|_AρA​=∑i​pi​∣vi​⟩A​⟨vi​∣A​, where the pip_ipi​ are the eigenvalues (probabilities) and ∣vi⟩A|v_i\rangle_A∣vi​⟩A​ are the orthonormal eigenstates, we can construct a pure state ∣Ψ⟩AR|\Psi\rangle_{AR}∣Ψ⟩AR​ in the combined A+R system as follows:

∣Ψ⟩AR=∑ipi∣vi⟩A⊗∣i⟩R|\Psi\rangle_{AR} = \sum_i \sqrt{p_i} |v_i\rangle_A \otimes |i\rangle_R∣Ψ⟩AR​=i∑​pi​​∣vi​⟩A​⊗∣i⟩R​

Here, the states ∣i⟩R|i\rangle_R∣i⟩R​ form a new, orthonormal basis for our imaginary ancilla system. Notice the coefficients: they are the square roots of the original probabilities, pi\sqrt{p_i}pi​​. If you trace out (ignore) the ancilla system R, you recover your original density matrix ρA\rho_AρA​ perfectly. This specific construction is often called the canonical purification​.

This equation is more than a recipe; it's a revelation. It is the Schmidt decomposition of the pure state ∣Ψ⟩AR|\Psi\rangle_{AR}∣Ψ⟩AR​. This means the square roots of the eigenvalues of our mixed state, pi\sqrt{p_i}pi​​, are precisely the Schmidt coefficients of its purification! This directly bridges the properties of the part with the properties of the whole.

This leads us to a profound duality. The amount of "mixedness" in state ρA\rho_AρA​ corresponds directly to the amount of "entanglement" in its purification ∣Ψ⟩AR|\Psi\rangle_{AR}∣Ψ⟩AR​. Consider the reduced state of two qubits from the three-qubit GHZ state, a maximally entangled system. If you trace out one qubit, you are left with a maximally mixed state, ρ12=12(∣00⟩⟨00∣+∣11⟩⟨11∣)\rho_{12} = \frac{1}{2}(|00\rangle\langle 00| + |11\rangle\langle 11|)ρ12​=21​(∣00⟩⟨00∣+∣11⟩⟨11∣). If we start with this mixed state and purify it, we get back a pure state with the maximum possible entanglement!. The von Neumann entropy S(ρA)=−Tr(ρAln⁡ρA)S(\rho_A) = -\text{Tr}(\rho_A \ln \rho_A)S(ρA​)=−Tr(ρA​lnρA​), which quantifies our ignorance about the mixed state ρA\rho_AρA​, is identical to the entanglement entropy of its purification ∣Ψ⟩AR|\Psi\rangle_{AR}∣Ψ⟩AR​. They are two sides of the same coin.

We can make this connection even more concrete. The "purity" of a state is measured by Tr(ρA2)\text{Tr}(\rho_A^2)Tr(ρA2​), a value which is 1 for a pure state and smaller for a mixed one. The entanglement of a two-qubit pure state can be measured by its concurrence​, CCC. It turns out that for any minimal-dimension purification of a qubit, the relationship is exact:

C(|\Psi\rangle_{AR}) = \sqrt{2(1 - \text{Tr}(\rho_A^2))} $$. The less pure the part, the more entangled the whole. Our ignorance *is* the entanglement. ### The Freedom of Purification: Uhlmann's Theorem Now, a physicist should always ask: is this purification we constructed unique? If you and I both purify the same [mixed state](/sciencepedia/feynman/keyword/mixed_state) $\rho_A$, must we arrive at the same pure state $|\Psi\rangle_{AR}$? The answer is a resounding *no*​, and the nature of this non-uniqueness is itself a deep principle. Imagine you've constructed your canonical purification $|\Psi\rangle_{AR}$. Now, I come along and, without touching your system A, I apply a unitary transformation $U_R$ *only* to the hidden [ancilla system](/sciencepedia/feynman/keyword/ancilla_system) R. The new state of the whole system is $|\Phi\rangle_{AR} = (I_A \otimes U_R)|\Psi\rangle_{AR}$. If we now compute the state of system A by tracing out the (transformed) ancilla, we find that we get back the exact same [density matrix](/sciencepedia/feynman/keyword/density_matrix) $\rho_A$. So, $|\Phi\rangle_{AR}$ is also a perfectly valid purification of $\rho_A$! What's truly remarkable is that this is the *only* freedom we have. **Uhlmann's theorem** states that any two purifications of the same [density matrix](/sciencepedia/feynman/keyword/density_matrix) are related by a [unitary transformation](/sciencepedia/feynman/keyword/unitary_transformation) on the [ancilla system](/sciencepedia/feynman/keyword/ancilla_system) alone.. It is as if all possible "explanations" for the mixedness of our observed system are equivalent, differing only by a change of perspective, a "rotation" in the hidden space. ### A Geometric Interlude: The Sphere of Ancillas This "freedom of perspective" has a beautiful geometric interpretation. Let's return to a single-qubit mixed state $\rho_A$. We can describe it by its Bloch vector $\vec{r}$, a vector of length $r = |\vec{r}| \le 1$. The eigenvalues of $\rho_A$ are $\lambda_{1,2} = \frac{1 \pm r}{2}$. Let's look at the state of the ancilla in our purification. For the canonical purification, the ancilla state is $\rho_R = \lambda_1|0\rangle\langle 0| + \lambda_2|1\rangle\langle 1|$. Its Bloch vector points straight up (or down) the z-axis and has a length of $s = |\vec{s}| = \lambda_1 - \lambda_2 = r$. Now, what happens as we explore all other possible purifications by applying all possible unitaries $U_R$ to the ancilla? A [unitary transformation](/sciencepedia/feynman/keyword/unitary_transformation) on a qubit corresponds to a rotation of its Bloch vector. Therefore, as we "rotate" our perspective in the ancilla space, the Bloch vector of the ancilla state $\rho_R$ traces out a sphere of radius $s = r$. So, for a given [mixed state](/sciencepedia/feynman/keyword/mixed_state) $\rho_A$ with Bloch vector length $r$, the set of all possible states for its purifying partner R is represented by a sphere of radius $r$ in the ancilla's Bloch space!. This provides another beautiful duality: the more mixed the original state is (the smaller $r$), the smaller the sphere of possibilities for its partner's state. If the original state is maximally mixed ($r=0$), its partner is fixed at the center of the Bloch sphere—it must also be maximally mixed. If the original state is pure ($r=1$), the partner's state can be any pure state on the surface of the Bloch sphere.. ### Why We Care: The Power of Thinking Bigger You might be thinking that this is a clever mathematical game—inventing an imaginary system to make our real one look better. But the power of purification is not in aesthetics; it's a brutally effective computational and conceptual tool. By lifting a problem from the messy world of mixed states to the pristine world of [pure states](/sciencepedia/feynman/keyword/pure_states) in a larger space, difficult calculations can become startlingly simple. - **Understanding Quantum Noise:** The evolution of a system interacting with an environment, which causes states to become mixed (a process described by a quantum channel), can be perfectly modeled as a single [unitary evolution](/sciencepedia/feynman/keyword/unitary_evolution) on a purification of the system and environment. This is the heart of the **Stinespring dilation theorem**​. - **Holography and Black Holes:** In theoretical physics, the **[thermofield double state](/sciencepedia/feynman/keyword/thermofield_double_state)** is a purification of a thermal state of a quantum system. This idea is a cornerstone of modern attempts to understand the quantum mechanics of black holes and the [holographic principle](/sciencepedia/feynman/keyword/holographic_principle), which suggest that the physics within a volume of space can be described by a theory on its boundary. - **Gentle Measurement:** Purification provides an elegant proof of the **Gentle Measurement Lemma**​. This lemma tells us that if a measurement on a state has a very high probability of giving a certain outcome, then the act of measuring doesn't much disturb the state. This is crucial for [quantum error correction](/sciencepedia/feynman/keyword/quantum_error_correction). Proving it directly is cumbersome, but by purifying the states and using Uhlmann's theorem to relate the fidelity of [mixed states](/sciencepedia/feynman/keyword/mixed_states) to the overlap of their pure-state "parents," the proof becomes almost trivial.. Purification, then, is a fundamental shift in perspective. It teaches us that no quantum system is truly an island. Its apparent randomness might just be a sign of its entanglement with the rest of the universe. By embracing this larger picture, we don't just "explain away" our ignorance; we unlock a new level of understanding and a powerful set of tools for navigating the quantum world.

Applications and Interdisciplinary Connections

So, we've learned this wonderful trick. Any quantum state, no matter how messy, random, or "mixed" it appears, can be viewed as a pristine, "pure" state in a larger universe. You take your system, you add a fictitious friend—an "ancilla"—and voilà, the two together are in a perfectly defined, entangled state. It might sound like mathematical sleight of hand, a convenient fiction for simplifying our equations. But what if it's more? What if this "purification" is a master key, unlocking a deeper understanding of how the quantum world works?

It turns out that it is. This single, elegant idea is not just a calculational tool; it's a conceptual bridge connecting disparate fields of science. It allows us to watch information as it flows, to understand the nature of heat and chaos, and even to glimpse the quantum structure of spacetime itself. Let's embark on a journey through these applications and see just how far this rabbit hole goes.

Taming the Wild: Open Quantum Systems

A quantum system in the real world is never truly alone. It's constantly being jostled and nudged by its surroundings—an environment. This interaction, which we call decoherence, seems to corrupt the system's delicate quantum nature, turning its pure state into a mixed one. But where does the "quantumness" go? Purification gives us a breathtakingly simple answer: it doesn't go anywhere. It's just shared.

The central idea is that the combined system-plus-environment remains in one enormous pure state. The evolution of the system, which looks like a complicated, non-reversible process (a "quantum channel"), is secretly just one part of a perfectly reversible, unitary evolution—a perfectly choreographed dance—in this larger space. This is the essence of the Stinespring dilation theorem. We can model any channel by having our system interact unitarily with an ancilla that represents the environment.

This picture allows us to become quantum detectives. Imagine our initial system S is in a mixed state. We know this means it can be thought of as being entangled with a reference system R that we hold. Now, we let S interact with an external environment, E. The initial entanglement was exclusively between S and our reference R. But as S and E interact, this entanglement gets redistributed. The system S becomes entangled with E, and by the principle of monogamy of entanglement, its connection to R must change.

By looking at the final joint state of our reference R and the environment E, we can track exactly how information and entanglement have flowed from our original system into its surroundings. We can calculate the purity or even the precise amount of entanglement that now exists between our initial purifying partner and the new environment. Decoherence is no longer a mysterious destruction of information; it is the process of entanglement spreading out into a larger world.

We can even "purify" the channel itself! The Choi-Jamiolkowski isomorphism is a clever way to map an entire quantum channel to a single quantum state, called the Choi state. This state lives on a combined system-ancilla space and is constructed by sending half of a maximally entangled pair through the channel. This Choi state is, in effect, a purification of the channel's action, and its properties—like its purity or entanglement—tell us everything about the channel's power to transmit or garble information.

The Quantum Age: Information, Computation, and Correction

The ability to track information gives us the power to harness it. The perspective of purification is the bedrock for some of the most important tasks in quantum information science.

How fast can you send information through a noisy quantum channel? The answer is given by the channel capacity. For a channel assisted by preshared entanglement, the capacity is beautifully expressed through purification. It is the maximum possible entropy of the channel's output, minus a penalty term: the entropy that inevitably leaks into the environment. This "entropy exchange" is nothing more than the entropy of the environment's state in the Stinespring dilation picture. Purification tells us that the speed limit of communication is determined by a simple balance: how much information gets through versus how much is lost to the eavesdropping environment.

And if information is corrupted, can we undo the damage? The theory of quantum recovery maps, which are like a "quantum undo button," is deeply reliant on purification. A remarkable result, the fidelity recovery formula, tells us that the success of the best possible recovery process (using a device called the Petz map) is related to how much the channel scrambled the information in the first place, a quantity we can easily calculate in the purification picture.

This leads directly to the idea of quantum error correction. How can we protect fragile quantum information? By encoding it in such a way that no local part of the system has any information about the logical state. The information is stored entirely in the global correlations​. A logical state, like those in the famous 5-qubit code, is a highly entangled pure state of many physical qubits. If you look at just one of these qubits, its state is completely mixed—it has maximum entropy. This is a crucial feature! An error affecting only one qubit can't learn anything about the encoded state, because the local state is already random. In the language of purification, the state of the other four qubits acts as the "ancilla" that purifies the state of the first qubit, and their entanglement is what protects the secret. We can even ask how well a recovery map can undo noise on such a code state.

This same principle underpins certain models of quantum computers. In measurement-based quantum computation, the entire computation is driven by performing local measurements on a highly entangled pure state, like a cluster state. This resource state is, again, a purification of the chaotic, mixed states of its individual components. The computation is powered by entanglement.

The Fabric of Reality: From Quantum Matter to Spacetime

We now arrive at the most profound and mind-stretching applications of purification. Here, the ancilla system sheds its fictitious character and begins to feel startlingly real. It seems that purification is not just a tool we use to describe the universe, but a part of the universe's own description of itself.

In condensed matter physics, we study materials made of countless interacting quantum particles. The ground states of many exotic materials—like those exhibiting topological order or symmetry-protected topological (SPT) order—are fantastically complex, highly entangled pure states. To diagnose these phases, we do what seems like an odd thing: we computationally cut out a piece of the material and study its reduced density matrix. This piece is, of course, in a mixed state. The spectrum of this mixed state (the entanglement spectrum) and the structure of its purification contain universal signatures of the entire material's quantum phase. The ground state of the Toric code, a blueprint for a topological quantum computer, has a characteristic "flat" entanglement spectrum that reveals its hidden topological order. Similarly, examining correlations within the purification of the AKLT state, a model for an early type of SPT phase, reveals its protected structure.

This idea is the engine behind one of the most powerful numerical methods for simulating quantum systems: the Density Matrix Renormalization Group (DMRG). How can you simulate a system at a finite, non-zero temperature? A thermal state is a mixed state, and you can't directly prepare a mixed state on a quantum simulator. The solution is to simulate its purification. The so-called Thermofield Double (TFD) state is a pure, entangled state of two identical systems (system + ancilla) that purifies the thermal state of one. By preparing this TFD state (as a Matrix Product State) and studying its properties, we can calculate any thermal property of the original system. Its entropy, for instance, is simply the entanglement entropy between the physical system and its purifying ancilla double.

This brings us to the final, spectacular leap: quantum gravity. The holographic principle, and specifically the AdS/CFT correspondence, suggests that a theory of quantum gravity in a volume of spacetime is equivalent to a quantum field theory living on its boundary. The Thermofield Double state is a star player in this correspondence. A TFD state on the boundary is conjectured to be the dual of an eternal black hole—or more accurately, two black holes in two separate universes connected by a non-traversable wormhole (an Einstein-Rosen bridge).

The "thermal" nature of each black hole is just a reflection of our ignorance of the other universe it's entangled with. The black hole's entropy is the entanglement entropy between the two halves of the TFD state. The very concept of "entanglement of purification"—a measure of correlation in a mixed state defined by minimizing entanglement over all possible purifications—is conjectured to have a beautiful geometric dual: the area of a minimal surface slicing through the wormhole. As the TFD state evolves in time, the dual wormhole grows longer. Astonishingly, the "quantum complexity" of the evolving state appears to be directly proportional to the "volume" of this growing wormhole. Even the effective "entanglement temperature" that governs the correlations within a segment of the boundary theory can be precisely calculated, further strengthening this dictionary between quantum information and spacetime geometry.

From a clever mathematical trick, the concept of purification has blossomed into a unifying principle. It reveals decoherence as entanglement in disguise. It provides the framework for quantum communication and computation. And in its most profound incarnation as the Thermofield Double, it has become a central object in our quest to understand the quantum nature of black holes and the emergence of spacetime itself. It teaches us a fundamental lesson: sometimes, to truly understand a single, messy part of our universe, we must see it as a piece of a larger, perfectly entangled whole.

Hands-on Practice

Problem 1

This first exercise provides a foundational practice in constructing a canonical purification. We will consider a common physical scenario: a qubit undergoing energy decay, modeled by the amplitude damping channel, which turns an initial pure state into a mixed state. By calculating the final mixed state and then building its canonical purification, you will gain hands-on experience with the core mechanics of this powerful concept and see how the "mixedness" of the system state is converted into quantifiable entanglement in the purified state.

Problem​: A mixed quantum state ρS\rho_SρS​ for a system SSS can be represented as a pure state ∣ψ⟩SR|\psi\rangle_{SR}∣ψ⟩SR​ on an extended Hilbert space HS⊗HR\mathcal{H}_S \otimes \mathcal{H}_RHS​⊗HR​, where RRR is an ancillary or reference system. This pure state ∣ψ⟩SR|\psi\rangle_{SR}∣ψ⟩SR​ is called a purification of ρS\rho_SρS​ if ρS=TrR(∣ψ⟩SR⟨ψ∣SR)\rho_S = \text{Tr}_R(|\psi\rangle_{SR}\langle\psi|_{SR})ρS​=TrR​(∣ψ⟩SR​⟨ψ∣SR​).

A specific and useful choice of purification is the canonical purification​. For a density matrix ρS\rho_SρS​ with a spectral decomposition ρS=∑jλj∣j⟩S⟨j∣S\rho_S = \sum_{j} \lambda_j |j\rangle_S \langle j|_SρS​=∑j​λj​∣j⟩S​⟨j∣S​, where {∣j⟩S}\{|j\rangle_S\}{∣j⟩S​} is an orthonormal basis of eigenvectors and {λj}\{\lambda_j\}{λj​} are the corresponding non-negative eigenvalues, its canonical purification ∣ψ⟩SR|\psi\rangle_{SR}∣ψ⟩SR​ is a pure state on HS⊗HR\mathcal{H}_S \otimes \mathcal{H}_RHS​⊗HR​ (with dim(HR)=dim(HS)\text{dim}(\mathcal{H}_R) = \text{dim}(\mathcal{H}_S)dim(HR​)=dim(HS​)) defined as:

∣ψ⟩SR=∑jλj∣j⟩S⊗∣j⟩R|\psi\rangle_{SR} = \sum_{j} \sqrt{\lambda_j} |j\rangle_S \otimes |j\rangle_R∣ψ⟩SR​=j∑​λj​​∣j⟩S​⊗∣j⟩R​

where {∣j⟩R}\{|j\rangle_R\}{∣j⟩R​} is an orthonormal basis for the reference system HR\mathcal{H}_RHR​ that corresponds to the eigenbasis {∣j⟩S}\{|j\rangle_S\}{∣j⟩S​}.

The evolution of a qubit undergoing energy dissipation to its environment can be described by the amplitude damping channel, E\mathcal{E}E. The action of this channel on a density matrix ρ\rhoρ is given by the operator-sum representation E(ρ)=∑k=01EkρEk†\mathcal{E}(\rho) = \sum_{k=0}^{1} E_k \rho E_k^\daggerE(ρ)=∑k=01​Ek​ρEk†​, with Kraus operators:

E0=(1001−γ),E1=(0γ00)E_0 = \begin{pmatrix} 1 0 \\ 0 \sqrt{1-\gamma} \end{pmatrix}, \quad E_1 = \begin{pmatrix} 0 \sqrt{\gamma} \\ 0 0 \end{pmatrix}E0​=(1001−γ​​),E1​=(0γ​00​)

where γ∈[0,1]\gamma \in [0, 1]γ∈[0,1] is the probability of the qubit decaying from the excited state ∣1⟩|1\rangle∣1⟩ to the ground state ∣0⟩|0\rangle∣0⟩.

The entanglement of a two-qubit pure state ∣ψ⟩=a∣00⟩+b∣01⟩+c∣10⟩+d∣11⟩|\psi\rangle = a|00\rangle + b|01\rangle + c|10\rangle + d|11\rangle∣ψ⟩=a∣00⟩+b∣01⟩+c∣10⟩+d∣11⟩ can be quantified by its concurrence, given by the formula C(∣ψ⟩)=∣2(ad−bc)∣C(|\psi\rangle) = |2(ad-bc)|C(∣ψ⟩)=∣2(ad−bc)∣.

Consider a qubit initially prepared in the excited state, ∣1⟩|1\rangle∣1⟩. It then passes through an amplitude damping channel E\mathcal{E}E with damping parameter γ\gammaγ. Let the final state of this qubit be ρfinal\rho_{final}ρfinal​. Calculate the concurrence of the canonical purification of ρfinal\rho_{final}ρfinal​.

Display Solution Process
Problem 2

Having learned to construct a purification, we now explore its operational meaning. A purified state ∣Ψ⟩SA|\Psi\rangle_{SA}∣Ψ⟩SA​ establishes a perfect correlation between the system SSS and its ancilla AAA, meaning actions on one directly affect the other. This problem demonstrates this "quantum steering" by having you perform a generalized measurement (a POVM) on the system qubit and then determine the resulting state of the ancilla, quantifying its purity. This practice illuminates how the ancilla holds the information that is inaccessible in the mixed state alone.

Problem​: A mixed quantum state ρS\rho_SρS​ of a system SSS can be represented as a pure state ∣Ψ⟩SA|\Psi\rangle_{SA}∣Ψ⟩SA​ in a larger Hilbert space HS⊗HA\mathcal{H}_S \otimes \mathcal{H}_AHS​⊗HA​, where AAA is an ancillary system. This pure state ∣Ψ⟩SA|\Psi\rangle_{SA}∣Ψ⟩SA​ is called a purification of ρS\rho_SρS​, and it satisfies ρS=TrA(∣Ψ⟩SA⟨Ψ∣SA)\rho_S = \text{Tr}_A(|\Psi\rangle_{SA}\langle\Psi|_{SA})ρS​=TrA​(∣Ψ⟩SA​⟨Ψ∣SA​).

Consider a qubit system SSS in a mixed state which is diagonal in the computational basis {∣0⟩S,∣1⟩S}\{|0\rangle_S, |1\rangle_S\}{∣0⟩S​,∣1⟩S​}, given by the density matrix:

ρS=p∣0⟩S⟨0∣S+(1−p)∣1⟩S⟨1∣S\rho_S = p |0\rangle_S\langle0|_S + (1-p) |1\rangle_S\langle1|_SρS​=p∣0⟩S​⟨0∣S​+(1−p)∣1⟩S​⟨1∣S​

where p∈[0,1]p \in [0, 1]p∈[0,1] is a real parameter.

A standard way to construct a purification is to introduce an ancillary qubit AAA (with basis {∣0⟩A,∣1⟩A}\{|0\rangle_A, |1\rangle_A\}{∣0⟩A​,∣1⟩A​}) and form the entangled state:

∣Ψ⟩SA=p∣0⟩S⊗∣0⟩A+1−p∣1⟩S⊗∣1⟩A|\Psi\rangle_{SA} = \sqrt{p} |0\rangle_S \otimes |0\rangle_A + \sqrt{1-p} |1\rangle_S \otimes |1\rangle_A∣Ψ⟩SA​=p​∣0⟩S​⊗∣0⟩A​+1−p​∣1⟩S​⊗∣1⟩A​

This is often called the canonical purification of ρS\rho_SρS​.

Now, a two-outcome Positive Operator-Valued Measure (POVM) is performed on the system qubit SSS. The POVM is defined by the elements {M0,M1}\{M_0, M_1\}{M0​,M1​}, where M0†M0+M1†M1=ISM_0^\dagger M_0 + M_1^\dagger M_1 = I_SM0†​M0​+M1†​M1​=IS​. The first element M0M_0M0​ is given by:

M0=1+η2∣+⟩S⟨+∣S+1−η2∣−⟩S⟨−∣SM_0 = \frac{1+\eta}{2} |+\rangle_S\langle+|_S + \frac{1-\eta}{2} |-\rangle_S\langle-|_SM0​=21+η​∣+⟩S​⟨+∣S​+21−η​∣−⟩S​⟨−∣S​

where ∣+⟩S=12(∣0⟩S+∣1⟩S)|+\rangle_S = \frac{1}{\sqrt{2}}(|0\rangle_S+|1\rangle_S)∣+⟩S​=2​1​(∣0⟩S​+∣1⟩S​), ∣−⟩S=12(∣0⟩S−∣1⟩S)|-\rangle_S = \frac{1}{\sqrt{2}}(|0\rangle_S-|1\rangle_S)∣−⟩S​=2​1​(∣0⟩S​−∣1⟩S​), and η∈[0,1]\eta \in [0, 1]η∈[0,1] is a parameter that characterizes the "sharpness" of the measurement. When η=1\eta=1η=1, the measurement is a standard projective measurement onto the basis {∣+⟩,∣−⟩}\{|+\rangle, |-\rangle\}{∣+⟩,∣−⟩}, and when η=0\eta=0η=0, the measurement is completely random.

If the measurement on system SSS yields the outcome corresponding to M0M_0M0​, the ancilla qubit AAA is left in a new state ρA∣0\rho_{A|0}ρA∣0​. Calculate the purity P=Tr(ρA∣02)\mathcal{P} = \text{Tr}(\rho_{A|0}^2)P=Tr(ρA∣02​) of this post-measurement state of the ancilla. Express your answer as a function of ppp and η\etaη.

Display Solution Process
Problem 3

Any mixed state has an infinite number of possible purifications, all related by a unitary transformation on the ancilla system. Is the choice of purification just a mathematical convenience, or does it have physical meaning? This advanced exercise tackles this question head-on by comparing the evolution of two different purifications of the same initial state under a non-local Hamiltonian. Calculating the trace distance between the resulting system states reveals that the choice of purification has observable consequences, a profound insight that connects to Uhlmann's theorem and the relativity of entanglement.

Problem​: A central concept in quantum mechanics is the distinction between pure and mixed states. A mixed state ρA\rho_AρA​ of a system A can be represented as an ensemble of pure states, but it can also be viewed as the reduced state of a larger bipartite system AB in a pure state ∣Ψ⟩AB|\Psi\rangle_{AB}∣Ψ⟩AB​, i.e., ρA=TrB(∣Ψ⟩⟨Ψ∣AB)\rho_A = \text{Tr}_B(|\Psi\rangle\langle\Psi|_{AB})ρA​=TrB​(∣Ψ⟩⟨Ψ∣AB​). Such a state ∣Ψ⟩AB|\Psi\rangle_{AB}∣Ψ⟩AB​ is called a purification of ρA\rho_AρA​.

For a given mixed state ρA\rho_AρA​, its purification is not unique. Any two purifications ∣Ψ1⟩AB|\Psi_1\rangle_{AB}∣Ψ1​⟩AB​ and ∣Ψ2⟩AB|\Psi_2\rangle_{AB}∣Ψ2​⟩AB​ (with ancilla B of the same dimension) are related by a unitary transformation on the ancilla system, i.e., ∣Ψ2⟩AB=(IA⊗UB)∣Ψ1⟩AB|\Psi_2\rangle_{AB} = (I_A \otimes U_B)|\Psi_1\rangle_{AB}∣Ψ2​⟩AB​=(IA​⊗UB​)∣Ψ1​⟩AB​ for some unitary UBU_BUB​. While the initial reduced state ρA\rho_AρA​ is the same for both purifications, their dynamics can differ if the total system AB evolves under a non-local Hamiltonian HABH_{AB}HAB​ that couples A and B.

Consider a qubit (system A) initially in a mixed state described by the density matrix: ρA(0)=p∣0⟩⟨0∣+(1−p)∣1⟩⟨1∣\rho_A(0) = p |0\rangle\langle0| + (1-p)|1\rangle\langle1|ρA​(0)=p∣0⟩⟨0∣+(1−p)∣1⟩⟨1∣ where ∣0⟩|0\rangle∣0⟩ and ∣1⟩|1\rangle∣1⟩ are the eigenstates of the Pauli σz\sigma_zσz​ operator, and p∈(0,1)p \in (0, 1)p∈(0,1) with p≠1/2p \neq 1/2p=1/2.

Two different purifications of ρA(0)\rho_A(0)ρA​(0) into a two-qubit Hilbert space HA⊗HB\mathcal{H}_A \otimes \mathcal{H}_BHA​⊗HB​ are prepared. The first purification is the standard one: ∣Ψ1(0)⟩AB=p∣0⟩A∣0⟩B+1−p∣1⟩A∣1⟩B|\Psi_1(0)\rangle_{AB} = \sqrt{p}|0\rangle_A|0\rangle_B + \sqrt{1-p}|1\rangle_A|1\rangle_B∣Ψ1​(0)⟩AB​=p​∣0⟩A​∣0⟩B​+1−p​∣1⟩A​∣1⟩B​ The second purification is obtained by applying a unitary rotation UB(θ)=Ry(θ)=exp⁡(−iθ2σyB)U_B(\theta) = R_y(\theta) = \exp(-i\frac{\theta}{2}\sigma_y^B)UB​(θ)=Ry​(θ)=exp(−i2θ​σyB​) on the ancilla qubit B: ∣Ψ2(0)⟩AB=(IA⊗UB(θ))∣Ψ1(0)⟩AB|\Psi_2(0)\rangle_{AB} = (I_A \otimes U_B(\theta)) |\Psi_1(0)\rangle_{AB}∣Ψ2​(0)⟩AB​=(IA​⊗UB​(θ))∣Ψ1​(0)⟩AB​ where θ\thetaθ is a real parameter.

Both two-qubit systems evolve for a time ttt under the same non-local Hamiltonian: HAB=JσxA⊗σxBH_{AB} = J \sigma_x^A \otimes \sigma_x^BHAB​=JσxA​⊗σxB​ where JJJ is a coupling constant, and σxA,σxB\sigma_x^A, \sigma_x^BσxA​,σxB​ are the Pauli σx\sigma_xσx​ operators for qubits A and B, respectively. Let τ=Jt/ℏ\tau = Jt/\hbarτ=Jt/ℏ be the dimensionless time parameter.

The final state of qubit A is obtained by tracing out qubit B from the evolved two-qubit state. Let the final reduced density matrices be ρA(1)(τ)\rho_A^{(1)}(\tau)ρA(1)​(τ) and ρA(2)(τ)\rho_A^{(2)}(\tau)ρA(2)​(τ), corresponding to the initial purifications ∣Ψ1(0)⟩AB|\Psi_1(0)\rangle_{AB}∣Ψ1​(0)⟩AB​ and ∣Ψ2(0)⟩AB|\Psi_2(0)\rangle_{AB}∣Ψ2​(0)⟩AB​.

Calculate the trace distance D(ρA(1)(τ),ρA(2(τ))=12Tr(ρA(1)(τ)−ρA(2)(τ))†(ρA(1)(τ)−ρA(2)(τ))D(\rho_A^{(1)}(\tau), \rho_A^{(2}(\tau)) = \frac{1}{2}\text{Tr}\sqrt{(\rho_A^{(1)}(\tau) - \rho_A^{(2)}(\tau))^\dagger (\rho_A^{(1)}(\tau) - \rho_A^{(2)}(\tau))}D(ρA(1)​(τ),ρA(2​(τ))=21​Tr(ρA(1)​(τ)−ρA(2)​(τ))†(ρA(1)​(τ)−ρA(2)​(τ))​ between these two final states. Find the trace distance as a function of θ\thetaθ and τ\tauτ.

Display Solution Process
What to Learn Next
Quantum Information Quantum Computation
Not Started. Start Reading.
Completely Mixed State and Maximally Mixed State
Quantum Measurement and the Projection Postulate