A generalization of the Choi isomorphism with application to open quantum systems

This paper demonstrates that the 1976 work of Gorini, Kossakowski, and Sudarshan provides the foundation for a generalized Choi isomorphism, which is then applied to compute the GKS matrix for the time evolution of general open quantum systems up to second order in time.

The Gist

Imagine you are trying to describe how a messy room (a quantum system) changes over time. Sometimes the room changes on its own, and sometimes a friend comes in to clean it up or rearrange things. In the world of quantum physics, we need a very strict rulebook to describe these changes. The rulebook says: "No matter how you look at it, or even if you look at the room while it's connected to the rest of the house, the changes must always make physical sense."

This rule is called "Complete Positivity." It's a fancy way of saying that the laws of physics shouldn't break just because you zoom out and look at a bigger picture.

For decades, physicists have used a special tool called the Choi Isomorphism to check if a change follows these rules. Think of the Choi Isomorphism as a magic translator. It takes a complex, abstract description of how a room changes (a "superoperator") and translates it into a simple, concrete grid of numbers (a matrix). If this grid of numbers is "positive" (all its values are healthy and non-negative), then the change is allowed. If the grid has "negative" values, the change is impossible in the real world.

The Problem: The Translator is Too Picky

The problem with the original Choi translator is that it only works if you describe the room using a very specific, rigid set of coordinates (like a standard grid of $x, y, z$). If you want to describe the room using a different set of coordinates (maybe rotated or using different units), the old translator gets confused or breaks.

The Solution: The GKS Isomorphism

This paper, written by Heinz-Jürgen Schmidt, introduces a new, upgraded translator called the GKS Isomorphism (named after Gorini, Kossakowski, and Sudarshan, who had the idea back in 1976 but didn't fully realize its potential).

Here is the simple breakdown of what the paper does:

1. The Universal Translator

Imagine the old Choi translator only understood English. The new GKS translator understands any language.

• The Old Way: You had to force your description of the quantum system into a specific "standard basis" (like forcing a round peg into a square hole) to use the Choi translator.
• The New Way: The GKS translator can take any description of the system, no matter how you choose to measure or describe it, and still translate it into a valid grid of numbers. It's flexible and robust.

2. The "Magic Grid" (The GKS Matrix)

Just like the old translator produced a "Choi Matrix," the new one produces a "GKS Matrix."

• The Rule: If this GKS Matrix is "positive" (all healthy numbers), then the quantum change is physically possible.
• The Connection: The paper proves that the old Choi Matrix is actually just a special, specific version of this new, more flexible GKS Matrix. It's like realizing that a square is just a special type of rectangle.

3. Why Do We Care? (The Open System)

Most real-world quantum systems (like a qubit in a computer) are "open." They aren't isolated; they are constantly interacting with their environment (heat, noise, air).

• The Challenge: When a system interacts with the environment, its behavior gets messy and changes over time in complex ways.
• The Application: The author uses this new GKS tool to calculate exactly how a quantum system changes over a short period of time. They did the math up to the "second order" (a fancy way of saying they looked at the first and second steps of the change).
• The Result: They proved that even with this complex, messy interaction, the GKS Matrix stays "positive." This confirms that their new mathematical tool is consistent with the laws of physics. It's a "sanity check" that says, "Yes, our new flexible translator works correctly even in the messy real world."

A Creative Analogy: The Shape-Shifting Sculptor

Imagine a sculptor (the quantum system) who is constantly reshaping a block of clay.

• The Old Rule (Choi): To check if the sculptor is doing a good job, you had to take a photo of the clay from one specific angle (the standard basis). If the photo looked "positive" (no weird distortions), the sculptor was good. But if the sculptor rotated the clay, the photo might look broken, even if the sculptor was fine.
• The New Rule (GKS): The GKS isomorphism is like a 360-degree camera rig. It can take photos from any angle you want. No matter how the sculptor rotates or twists the clay, the camera rig can always produce a "positive" report if the sculptor is following the rules.
• The Paper's Contribution: The author shows that this 360-degree camera not only works for static photos but can also film a video of the sculptor working in a windy, chaotic room (the environment). The video proves that the camera's logic holds up even when things get complicated.

In a Nutshell

This paper is a mathematical upgrade. It takes a powerful but rigid tool (Choi Isomorphism) used to check if quantum changes are legal, and makes it flexible and universal (GKS Isomorphism). It shows that this new tool is just as reliable as the old one, works with any way of describing the system, and successfully handles the messy reality of quantum systems interacting with their environment.

It's a bit like upgrading from a ruler that only measures in inches to a universal measuring tape that works in inches, centimeters, and fathoms, proving that it still measures the same truth.

Technical Summary

1. Problem Statement

The paper addresses the mathematical characterization of completely positive (CP) transformations, which are fundamental to describing state changes in quantum mechanics, particularly for open quantum systems and quantum channels.

• The Standard Tool: The Choi isomorphism is the standard method used to map a linear superoperator (a CP map) to a positive semi-definite matrix (the Choi matrix). This provides a necessary and sufficient criterion for complete positivity: a map is CP if and only if its Choi matrix is positive semi-definite.
• The Limitation: The standard Choi isomorphism relies on a specific choice of orthonormal basis in the Hilbert space (specifically, the basis formed by operators $|i\rangle\langle j|$).
• The Gap: While various generalizations of the Choi isomorphism have been proposed (e.g., by de Pillis, Jamiołkowski, Paulsen, Shultz, Frembs, and Cavalcanti), many of these either fail to provide a criterion for complete positivity or differ significantly in their mathematical structure. The paper seeks to establish a rigorous generalization that:
  1. Works with arbitrary orthonormal bases of the operator space.
  2. Preserves the complete positivity criterion (i.e., the map is CP iff the associated matrix is positive semi-definite).
  3. Connects directly to the historical Gorini-Kossakowski-Sudarshan (GKS) formalism used in the derivation of the Lindblad equation.

2. Methodology

The author employs a combination of algebraic linear algebra, operator theory, and perturbation theory:

• Algebraic Generalization: The paper defines a new isomorphism, the GKS isomorphism, by expanding an arbitrary linear superoperator $E$ in terms of an arbitrary orthonormal basis $\{F_\alpha\}$ of the Hilbert-Schmidt space of operators.
• Matrix Representation: The superoperator is represented as $E(X) = \sum_{\alpha,\beta} g_{\alpha\beta} F_\alpha X F_\beta^*$. The coefficients $g_{\alpha\beta}$ form the GKS matrix.
• Basis Independence Analysis: The author proves that while the specific entries of the GKS matrix depend on the basis, the property of the matrix being positive semi-definite is invariant under unitary changes of the basis.
• Comparison: The GKS isomorphism is systematically compared with other existing generalizations (de Pillis-Jamiołkowski, Paulsen-Shultz-Kye-Han, Frembs-Cavalcanti) to demonstrate distinct differences and advantages.
• Physical Application: The framework is applied to the time evolution of open quantum systems. The author derives a differential equation for the time-dependent GKS matrix $g(t)$ and performs a series expansion up to second order in time ($t^2$) to verify the consistency of the approach with the physical requirement of complete positivity.

3. Key Contributions

A. Definition of the GKS Isomorphism

The paper formalizes the GKS isomorphism ($G$), which maps a linear superoperator $E: \mathcal{A} \to \mathcal{A}$ to a matrix $g \in L(\mathbb{C}^{N^2})$ based on an arbitrary orthonormal basis $\{F_\alpha\}$ of the operator space $\mathcal{A}$:
$$E(X) = \sum_{\alpha,\beta} g_{\alpha\beta} F_\alpha X F_\beta^*$$

• Theorem: $E$ is completely positive if and only if the GKS matrix $g$ is positive semi-definite ($g \geq 0$).
• Generalization: The standard Choi matrix is shown to be a special case of the GKS matrix where the basis is chosen as $F_\alpha = |j\rangle\langle i|$.

B. Resolution of Previous Generalizations

The paper clarifies the relationship between the GKS isomorphism and other proposed isomorphisms:

• de Pillis-Jamiołkowski: Proves that this isomorphism does not provide a criterion for complete positivity (it maps some non-CP maps to positive matrices).
• Paulsen-Shultz-Kye-Han (PSKH): Shows that while PSKH can provide a criterion, it requires specific conditions on the basis. The GKS isomorphism is distinct but coincides with PSKH for specific unitary transformations of the basis.
• Frembs-Cavalcanti: Demonstrates that this isomorphism is equivalent to a variant of the Paulsen-Shultz isomorphism and differs from the GKS isomorphism.

C. Application to Open Quantum Systems

The paper derives the time-dependent GKS equation for the evolution of the GKS matrix $g(t)$:
$$\frac{d}{dt}g_{\lambda\mu}(t) = \sum_{\alpha\beta} A_{\lambda\mu}^{\alpha\beta}(t) g_{\alpha\beta}(t)$$
This equation describes the dynamics of the GKS matrix in terms of the generator of the evolution. The author also demonstrates the equivalence between the GKS equation and the time-dependent Lindblad equation, showing how the Lindblad operators and Hamiltonian can be reconstructed from the GKS matrix.

D. Perturbative Verification

To validate the approach beyond the Markovian (semigroup) approximation, the author calculates the GKS matrix for a general open system interacting with an environment up to second order in time ($t^2$).

• Result: The expansion $g(t) = g_0 + g_1 t + g_2 t^2$ is shown to remain positive semi-definite.
• Significance: This confirms that the GKS criterion holds even when the semigroup property is violated (non-Markovian dynamics), provided the underlying unitary evolution of the total system is considered.

4. Results

1. Unified Framework: The GKS isomorphism unifies the Choi matrix and the GKS matrices used in the Lindblad equation into a single framework dependent on an arbitrary basis.
2. Validity of Criterion: It is rigorously proven that the condition "$E$ is CP $\iff$ GKS matrix $\geq 0$" holds for any orthonormal basis of the operator space, unlike some other generalizations.
3. Non-Markovian Consistency: The second-order perturbative calculation confirms that the GKS matrix remains positive semi-definite for general open system dynamics, validating the use of the GKS formalism for time-dependent, non-Markovian systems.
4. Historical Clarification: The paper highlights that the key insight for this generalization was present in the 1976 paper by Gorini, Kossakowski, and Sudarshan (GKS), which established the 1:1 relationship between linear maps and Hermitian matrices, predating the widespread adoption of the term "Choi isomorphism" in this specific context.

5. Significance

• Theoretical Clarity: The paper resolves confusion regarding various "generalized Choi isomorphisms" by distinguishing the GKS isomorphism and proving its robustness regarding the complete positivity criterion.
• Practical Utility: By allowing the use of arbitrary bases (e.g., Pauli bases for qubits), the GKS isomorphism offers greater flexibility in quantum process tomography and the optimization of quantum channels.
• Beyond Markovian Approximation: The application to time-dependent systems provides a rigorous mathematical tool for analyzing non-Markovian dynamics, which is a critical area of current research in quantum information and open quantum systems.
• Historical Context: The work re-evaluates the history of the Lindblad equation, emphasizing the foundational role of the GKS paper (1976) in establishing the matrix representation of CP maps, which is often overshadowed by the later naming of the equation after Lindblad.

In summary, this paper provides a rigorous generalization of the Choi isomorphism that preserves the essential criterion for complete positivity while offering a flexible framework applicable to arbitrary operator bases and time-dependent open quantum systems.