Parity superselection obstructs monogamy of mutual information in free fermions

This paper demonstrates that the choice of operator algebra—specifically the distinction between spin and fermionic factorizations due to parity superselection rules—fundamentally alters the monogamy of mutual information in free fermions, proving that $I_3$ can be positive in the spin basis and cautioning that its use as a diagnostic for holography, chaos, or Fermi surfaces requires explicit specification of the underlying algebra to avoid ambiguity.

The Gist

Imagine you are trying to understand how three friends (let's call them Alice, Bob, and Dave) are connected. You want to measure the "secret handshake" or the hidden bond between Alice and Dave, while Bob sits right in the middle, acting as a barrier.

In the world of quantum physics, this is called Tripartite Information (or $I_3$). Physicists have a rule called the "Monogamy of Mutual Information." Think of it like a strict dating rule: If Alice and Dave are deeply connected, Bob shouldn't be able to act as a perfect bridge that makes them look even more connected than they really are. In many theories (like those describing black holes), this rule holds true: the "connection score" between Alice and Dave is always limited by how much Bob interferes.

However, this paper reveals a fascinating twist: The rule depends entirely on how you count the friends.

The Two Ways to Count (The "Factorization" Problem)

The authors study a line of particles (fermions) and look at three strips: Left (A), Middle (B), and Right (D). They found that the answer to "Are A and D connected?" changes based on the "lens" you use to look at them.

1. The "Spin" Lens (The Standard View)

Imagine you look at the particles as individual, distinct people standing in a row. You can point to Alice, point to Bob, and point to Dave. You count them one by one.

• The Result: When you use this lens, the "connection score" between Alice and Dave is always positive. It looks like they are breaking the monogamy rule! They seem to have a super-strong bond that ignores the middle guy.
• The Metaphor: It's like Alice and Dave are whispering secrets across the room, and Bob is just a wall that doesn't stop them.

2. The "Fermion" Lens (The Quantum View)

Now, imagine you look at the particles as a single, fluid crowd where the "identity" of who is who is fuzzy. In quantum mechanics, these particles (fermions) have a weird property called Parity. It's like a hidden "odd/even" switch on their shirts.

• The Twist: When you try to measure the connection between Alice and Dave, the quantum rules say you must account for the "odd/even" switch on everyone in the middle (Bob).
• The Result: When you include this hidden switch, the "connection score" flips! For certain distances, the score becomes negative. Suddenly, the monogamy rule is obeyed. Alice and Dave aren't breaking the rules; they just looked different through the wrong lens.

The "Ghost" in the Machine

The paper's main discovery is a specific mathematical object they call the "Superselection Defect."

Think of the middle region (Bob) as a hallway.

• In the Spin view, you walk down the hallway and count people normally.
• In the Fermion view, every time you walk past a person in the hallway, a ghost (the parity factor $(-1)^{N_B}$) taps you on the shoulder and flips a switch.

This "ghost tap" causes a destructive interference. It's like noise-canceling headphones. The "Spin" view hears a loud, clear signal (positive connection). The "Fermion" view has the ghost tap canceling out that signal, turning it into silence or even a negative hum.

The Key Finding:
The authors proved that for free fermions (particles that don't push or pull on each other), this "ghost tap" is so strong that it completely changes the sign of the connection score.

• Spin View: $I_3 > 0$ (Monogamy broken).
• Fermion View: $I_3 < 0$ (Monogamy holds).

Why Does This Matter? (The "So What?")

This isn't just a math game; it changes how we interpret the universe.

1. Holographic Duality (Black Holes): Physicists use the "Monogamy Rule" to test if a quantum system can be described as a black hole in a higher dimension. If the rule is broken ($I_3 > 0$), the system can't be a black hole.

   • The Problem: If you use the "Spin" lens (which is what most computer simulations do), you might think a system fails the black hole test. But if you use the "Fermion" lens, it passes.
   • The Lesson: You can't just say "This system is or isn't a black hole." You have to say, "This system is a black hole if you look at it with the Fermion lens." The lens matters more than the object!

2. Interacting Particles (The "Pushy" Crowd):
   The authors also looked at what happens when the particles push against each other (repulsion).

   • If the push is weak, the "Spin" lens still breaks the rules.
   • If the push is strong (like a very crowded, angry room), the "ghost tap" gets suppressed. The particles get so busy pushing each other that the quantum "odd/even" switch stops mattering as much. In this case, the monogamy rule is restored in both views.

The Takeaway

The paper is a warning label for scientists. It says: "Stop assuming your measurement tool is neutral."

When you measure quantum entanglement, you are not just measuring the particles; you are measuring the particles plus the rules you used to count them.

• If you count like a classical accountant (Spin), you see a violation of the rules.
• If you count like a quantum accountant (Fermion), you see the rules holding firm.

The "Monogamy of Mutual Information" isn't a property of the universe alone; it's a property of the universe + the lens you use to look at it. Without specifying the lens, the answer is ambiguous, and the "sign" of the connection is a mystery.

Technical Summary

1. Problem Statement

The paper addresses a fundamental ambiguity in the study of quantum entanglement in lattice fermion systems: the dependence of entanglement measures on the choice of operator algebra (factorization of the Hilbert space).

• Context: The Tripartite Information ($I_3$) is a measure of irreducible correlations among three subsystems ($A, B, D$). In holographic duality (AdS/CFT), states satisfying the Monogamy of Mutual Information (MMI) condition ($I_3 \leq 0$) are expected. However, free field theories are known to violate this.
• The Conflict: For lattice fermions, there are two natural factorizations:
  1. Spin (Tensor Product) Factorization: Standard partial traces where the Hilbert space is a tensor product of local qubits ($H = \bigotimes C^2$).
  2. Fermionic (CAR) Factorization: Partial traces that respect parity superselection rules, typically implemented via Jordan-Wigner (JW) strings.
• The Gap: While these factorizations coincide for contiguous regions, they differ for disjoint regions. Previous work established that the fermionic $I_3$ ($I^{\text{ferm}}_3$) for three adjacent strips changes sign at a critical scaling variable $z^* \approx 1.329$. The open question was whether the spin factorization ($I^{\text{spin}}_3$) also violates MMI or if the algebra choice alters the sign of $I_3$.

2. Methodology

The authors employ a combination of rigorous analytical proofs, certified numerical computations, and Density Matrix Renormalization Group (DMRG) simulations for interacting systems.

• Analytical Framework:
  • The study focuses on three adjacent blocks ($A, B, D$) of equal width $w$ on a chain of free fermions with Fermi momentum $k_F$.
  • The scaling variable is defined as $z = k_F w$.
  • The authors utilize the identity $I_3 = \Delta_2 S + I(A:D)$, where $\Delta_2 S$ involves contiguous block entropies (algebra-independent) and $I(A:D)$ involves the disjoint block entropy $S_{AD}$ (algebra-dependent).
• Key Identity (Proposition 1):
  • The core of the proof is an exact operator identity relating the reduced density matrices (RDMs) of the two algebras:
    $$\rho^{\text{ferm}}_{AD} = \frac{1}{2}(\rho^{\text{spin}}_{AD} + \rho^{\text{tw}}_{AD}) + \frac{1}{2}\Gamma_D(\rho^{\text{spin}}_{AD} - \rho^{\text{tw}}_{AD})\Gamma_D$$
    where $\rho^{\text{tw}}_{AD} = \text{Tr}_B[(-1)^{N_B}\rho_{ABD}]$ is a parity-twisted partial trace, and $\Gamma_D = (-1)^{N_D}$.
  • This identity shows that the two algebras differ only in the D-parity-changing sector, controlled by the parity of the separating region $B$.
• Entropy Bounds (Theorem 1):
  • The authors derive a "Gaussian budget bound" ($B(z)$) showing that the difference in entropies $\Delta S_{AD} = S^{\text{ferm}}_{AD} - S^{\text{spin}}_{AD}$ is bounded from below by the difference in Gaussian entropies calculated from correlation matrices.
  • They prove that $\Delta S_{AD} \geq 0$, implying $S^{\text{spin}}_{AD} \leq S^{\text{ferm}}_{AD}$.
• Numerical Verification:
  • Free Fermions: Certified computations (using interval arithmetic and curvature bounds) for $w=1$ and $w=2$ across the full range of $z$.
  • Interacting Fermions: DMRG simulations on the $t-V$ chain (Luttinger parameter $K$) to quantify the effect of interactions.

3. Key Contributions

A. Proof of Positive $I_3$ in Spin Factorization

The paper rigorously proves that for free fermions, the tripartite information in the spin factorization is strictly positive ($I^{\text{spin}}_3 > 0$) for:

• All $z$ when $w=1$ and $w=2$.
• All $z < z^*$ for any width $w$.
  This contrasts with the fermionic factorization, where $I^{\text{ferm}}_3$ becomes negative for $z > z^*$.

B. The Mechanism: Parity Superselection Defect

The authors identify the physical mechanism as destructive interference caused by the parity insertion $(-1)^{N_B}$ in the fermionic trace.

• In the spin basis, correlations between $A$ and $D$ are summed without sign alternation, preserving "unsigned" correlations.
• In the fermionic basis, the JW string introduces a $(-1)^{N_B}$ factor, causing destructive interference for odd-parity configurations in $B$.
• This "coherence damping" makes the fermionic RDM more diagonal (higher entropy) than the spin RDM, leading to $I^{\text{spin}}_3 > I^{\text{ferm}}_3$.

C. Quantitative Impact of Interactions

Using DMRG on the $t-V$ chain, the authors show that the "factorization contribution" ($\Delta I_3 = I^{\text{spin}}_3 - I^{\text{ferm}}_3$) is the dominant effect in numerics:

• At moderate filling, the factorization effect accounts for ~80% of the apparent dependence of $I_3$ on the Luttinger parameter $K$.
• The apparent violation of MMI in spin-basis numerics is largely an artifact of the algebra choice, not just interaction strength.
• Restoration of MMI: Strong repulsion ($K \lesssim 0.7$) suppresses parity fluctuations in region $B$, reducing $\Delta S_{AD}$ enough to restore $I^{\text{spin}}_3 < 0$ in both algebras.

4. Results

Feature	Fermionic Factorization ($I^{\text{ferm}}_3$)	Spin Factorization ($I^{\text{spin}}_3$)
Sign for Free Fermions	Negative for $z > z^* \approx 1.329$	Strictly Positive for all $z$ (proven for $w=1,2$)
Mechanism	Parity superselection ($(-1)^{N_B}$) causes destructive interference.	Standard trace preserves full unsigned correlations.
Entropy Difference	$S^{\text{ferm}}_{AD} > S^{\text{spin}}_{AD}$	$S^{\text{spin}}_{AD}$ is lower due to lack of parity damping.
Interacting Limit	Remains negative for $K > K_c$.	Becomes negative only for strong repulsion ($K \lesssim 0.7$).
Holographic Test	Passes MMI ($I_3 \leq 0$) for $z > z^*$.	Fails MMI ($I_3 > 0$) for all $z$.

• Table 2 & 3 Data: At $z \approx 1.4$, the factorization contribution $\Delta I_3$ exceeds 100% of the spin value, completely eliminating the zero-crossing observed in the fermionic basis.
• Screening Ratio: The ratio $r = I(A:D|B)/I(A:D)$ is always $<1$ in the spin basis (screening), but crosses $1.0$ in the fermionic basis at $z^*$, indicating that parity mediates correlations invisible in the spin basis.

5. Significance and Implications

1. Algebra-Dependence of Holographic Diagnostics:
   The paper demonstrates that the Monogamy of Mutual Information (MMI) is not an intrinsic property of a quantum state alone, but of the pair (state, operator algebra). A free fermion ground state can pass the holographic MMI test in the fermionic algebra but fail it in the spin algebra. This implies that lattice numerics (DMRG, exact diagonalization) using tensor-product Hilbert spaces cannot be directly compared to holographic predictions without specifying the algebra.

2. Resolution of Numerical Ambiguities:
   Previous observations of $K$-dependence in $I_3$ from spin-basis simulations are shown to be predominantly a factorization artifact. The "true" interaction contribution is small; the large apparent effect is due to the superselection defect.

3. Experimental and Simulation Relevance:

   • Cold Atoms: The parity insertion $(-1)^{N_B}$ is physically measurable. A single-bit measurement of $N_B \mod 2$ can increase $I(A:D)$ by $\Delta S_{AD}$, offering a direct experimental test.
   • Quantum Simulation: In qubit-based simulations of fermions (using JW encoding), the entanglement between disjoint regions is artificially inflated by the string overhead ($\Delta S_{AD}$). This quantifies the "nonlocal string cost" of mapping fermions to qubits.

4. Theoretical Insight:
   The work provides a rigorous link between parity superselection rules and entanglement structure, showing that the "defect" localized in the separating region $B$ controls the global sign of tripartite correlations.

Conclusion

A. Sokolovs proves that the choice of operator algebra fundamentally alters the entanglement structure of free fermions. The parity superselection defect ensures that $I^{\text{spin}}_3 > 0$ for free fermions, violating monogamy, whereas the fermionic algebra allows for $I^{\text{ferm}}_3 < 0$. This finding necessitates that any diagnostic using $I_3$ (for holography, chaos, or topology) must explicitly state the underlying operator algebra, as the sign of $I_3$ is otherwise ambiguous.