Open quantum dynamics without Complete Positivity: a criticism

This paper critically examines the necessity of complete positivity in open quantum dynamics, demonstrating through the analysis of isotropic states that restricting non-completely positive maps to compatible initial states becomes increasingly impractical as system dimension grows, thereby exposing a fundamental weakness in this approach.

The Gist

The Big Picture: The "Rulebook" for Quantum Systems

Imagine you are running a simulation of a quantum system (like a tiny atom) that is interacting with its environment. In physics, we need a set of rules (mathematical equations) to predict how this system changes over time.

For a long time, physicists have insisted on one specific rule called Complete Positivity (CP). Think of CP as a "Universal Safety Guarantee." It ensures that no matter what happens to your system, the math will never produce "negative probabilities." In the real world, a probability of -50% makes no sense (you can't have a 50% chance of not existing in a negative way).

However, some physicists argue that this "Universal Safety Guarantee" is too strict. They say, "Maybe we don't need to guarantee safety for every possible scenario, only for the scenarios that actually happen." They propose a workaround: Restrict the starting conditions. If we only allow the system to start in specific, "safe" states, maybe we can use looser rules (non-CP maps) that describe the physics better.

This paper, written by Benatti, Chruściński, and Pascazio, acts as a critic. They say: "Be careful. If you try to use this workaround, you might find that as your system gets bigger, the list of 'safe' starting states shrinks until it's almost empty."

---

The Analogy: The "Perfectly Safe" vs. "Realistic" Factory

To understand the debate, let's use an analogy of a factory producing widgets.

1. The "Complete Positivity" Approach (The Strict Inspector)

Imagine a factory manager who insists that the production line must be safe for any possible input, even if that input is a weird, hypothetical widget that no one has ever built.

• The Rule: "We must ensure that if we take our machine and attach it to any other machine in the universe (even a machine that is just sitting there doing nothing), the final product is still a valid widget."
• The Benefit: You never get a broken product (negative probability).
• The Cost: The rules are so strict that the factory can only produce a very specific, limited type of widget. Some natural ways the factory should work are forbidden because they might fail if attached to a weird, hypothetical machine.

2. The "Compatibility" Approach (The Realist)

Some engineers say, "We don't need to worry about those weird, hypothetical machines. We only care about the widgets we actually plan to build."

• The Rule: "We will only allow our machine to run if we start with a specific list of 'compatible' raw materials. If the material is compatible, the machine works fine, even if it would break a hypothetical machine."
• The Benefit: The factory can run faster and more naturally, using looser rules.
• The Risk: You have to be very careful about what you put in the machine. If you accidentally put in a "forbidden" material, the machine breaks and produces nonsense (negative probabilities).

The Paper's Argument: The "Shrinking Door"

The authors of this paper investigate the "Realist" approach (Restricting the starting states). They ask: "How big is the list of 'compatible' starting states?"

They use a specific type of quantum state called Isotropic States as a test case. Think of these as a family of states that get more complex as the system gets bigger (like going from a single atom to a molecule, to a virus, to a grain of sand).

Their Discovery:
They found that as the system gets larger (higher dimension), the list of "safe" starting states gets thinner and thinner.

• Small System (Small $d$): You have a decent-sized door to walk through. There are many starting states that are compatible with the looser rules.
• Large System (Large $d$): The door shrinks. As the system grows, the "safe" zone becomes a tiny crack.
• The Result: For very large systems, the list of compatible states becomes so small that it's almost impossible to find a starting point that works.

The Metaphor: The "Invisible Trap"

Imagine you are trying to walk through a forest (the quantum system).

• Complete Positivity is like walking on a paved road. It's safe, but the road is narrow and follows a strict path.
• The "Compatibility" approach is like saying, "We don't need a road; we can walk anywhere in the forest, as long as we start at a specific clearing."

The authors show that for small forests, there are many clearings where you can start. But as the forest gets massive (high dimension), the "safe clearings" disappear. Eventually, the forest is so dense that there is no place to start without stepping on a trap (creating a negative probability).

Why Does This Matter?

The paper concludes that while it's tempting to drop the "Complete Positivity" rule to make physics more flexible, doing so creates a new problem. By trying to fix the math by restricting the starting states, you end up with a situation where almost no starting states are allowed for large, complex systems.

This suggests that the "Universal Safety Guarantee" (Complete Positivity) isn't just a mathematical quirk; it might be a fundamental necessity because the universe is full of complex, entangled systems. If you try to ignore it, you might find that your theory breaks down simply because there are no valid starting points left to use.

Summary in One Sentence

The paper argues that trying to bypass the strict rules of quantum mechanics by only allowing "safe" starting states is a bad idea, because for large systems, the number of "safe" starting states shrinks to almost nothing, making the theory unusable.

Technical Summary

Technical Summary: Open quantum dynamics without Complete Positivity: a criticism

Problem Statement
The paper addresses the foundational debate regarding the necessity of Complete Positivity (CP) as a consistency condition for the description of open quantum dynamics. While CP is standardly required to ensure that a dynamical map $\Lambda_t$ preserves the positivity of density matrices even when the system is entangled with an arbitrary, inert auxiliary system, critics argue that this requirement imposes overly restrictive physical constraints (such as specific decay hierarchies) that may not reflect actual open system behavior.

An alternative approach, often termed "slippage of initial conditions" or "compatibility-based approach," proposes that one can utilize non-CP (or even non-positive) maps by restricting the domain of initial states to those "compatible" with the dynamics—i.e., states that remain valid density matrices under the evolution, even if entangled with an auxiliary system. The authors critique this alternative, specifically investigating whether the set of such compatible states remains physically viable as the system dimension increases.

Methodology
The authors employ a theoretical framework analyzing linear maps on finite-dimensional $d$-level quantum systems.

1. Formalism: They define the evolution of open systems via linear maps $\Lambda$ and their duals $\Lambda^\#$. They distinguish between Positive maps (preserving positivity of the system alone) and Completely Positive maps (preserving positivity of the system coupled to any ancillary system $S_n$).
2. Counter-Example Construction: To test the viability of the "compatibility" approach, the authors construct a specific family of positive but non-completely positive maps, $\Lambda_\mu$, defined as convex combinations of the normalized trace map and the transposition map $T$:
   $$\Lambda_\mu = \mu \frac{1}{d}\text{Tr} + (1-\mu)T$$
   where $0 \le \mu \le 1$.
3. State Analysis: They analyze the behavior of these maps on the class of isotropic states ($\rho_F$) in a bipartite system $S + S_d$. These states are parameterized by $F$ and are known to be separable for $0 \le F \le 1/d$ and entangled for $1/d < F \le 1$.
4. Compatibility Calculation: The authors calculate the spectrum of the evolved state $\Lambda_\mu \otimes \text{id}_d [\rho_F]$. They determine the range of the parameter $F$ for which the resulting state remains positive (i.e., has non-negative eigenvalues), thereby defining the subset of "compatible" entangled states.

Key Contributions and Results
The paper's primary contribution is a quantitative demonstration that the "compatibility-based" approach suffers from an intrinsic weakness in high-dimensional systems.

• Volume of Compatible States: The authors derive the volume $V_{comp}(\mu, d)$ of entangled isotropic states that remain compatible with the non-CP map $\Lambda_\mu$. This volume corresponds to the length of the interval of the parameter $F$ for which the evolved state remains positive.
• Dimensional Scaling: The calculated volume is given by:
  $$V_{comp}(\mu, d) = \frac{\mu(d-1)}{d^2(1-\mu)}$$
  The authors show that this volume scales as $d^{-1}$ for large dimensions $d$.
• The Obstruction: As the system dimension $d$ increases, the set of entangled states that can be described by a non-CP map without generating negative probabilities shrinks rapidly. In the limit of large $d$, the set of compatible entangled states effectively vanishes.

Significance and Claims
The paper claims that while restricting the domain of non-CP maps to compatible states offers a theoretical "way out" of the negative probability problem, this solution is physically fragile.

• Intrinsic Weakness: The authors argue that the rapid depletion of compatible states with increasing dimension reveals an intrinsic weakness in the compatibility-based approach.
• Implication for Many-Body Systems: They suggest that for many-body open quantum dynamics (where $d$ is large), non-completely positive maps would be unable to describe the evolution of a significant portion of physically interesting entangled states.
• Role of Entanglement: The results reinforce the connection between Complete Positivity and the existence of non-local quantum correlations. The authors posit that the requirement of CP is not merely a mathematical simplification but is necessitated by the physical reality that non-local correlations exist and must be consistently handled, even in high-dimensional regimes.

The paper concludes modestly, noting that while their argument highlights a specific obstruction using isotropic states and a specific family of channels, further assessment is required to determine how general this weakness is across other state classes and dynamical models. They do not propose new experimental protocols but rather offer a theoretical critique of the limitations of abandoning CP in favor of state-restriction strategies.