⚛️ quantum physics

Entanglement cost hierarchies in quantum fragmented mixed states

By leveraging the commutant algebra framework, this paper demonstrates that strongly symmetric maximally mixed states in the Temperley-Lieb model exhibit a hierarchical separation in entanglement measures, where logarithmic negativity and exact entanglement cost scale extensively while other measures like entanglement of formation and squashed entanglement scale subextensively, a phenomenon attributed to quantum Hilbert space fragmentation.

Original authors: Subhayan Sahu, Yahui Li, Pablo Sala

Published 2026-08-10

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Subhayan Sahu, Yahui Li, Pablo Sala

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Quantum Messy Room: Why "How Entangled?" is a Tricky Question

Imagine you are trying to describe the messiness of a teenager's bedroom. If the room is perfectly clean, it's boring. If it's a chaotic explosion of clothes, books, and gadgets, it's "entangled" in a way that makes it hard to find anything. In the world of quantum physics, scientists study a similar kind of messiness called entanglement. This is a spooky connection where particles become so linked that you can't describe one without describing the other, no matter how far apart they are. For simple, perfect quantum systems (like a single, pristine particle), measuring this connection is easy, like counting the number of toys on the floor.

But real life is messy. Quantum systems in the real world are often "mixed states"—think of them as a room where the lights are flickering, the temperature is fluctuating, and there's a lot of background noise. In these messy, high-temperature, or noisy environments, the usual tools for measuring entanglement start to fail. It's like trying to count the specific number of socks in a pile of laundry while someone is shaking the basket. Scientists have long struggled to figure out exactly how much quantum connection exists in these messy states. Some tools give a quick, easy answer, but they might be lying. Others give the "true" answer but are so incredibly difficult to calculate that they are practically impossible to use for big systems. This paper steps into that messy room to see if we can finally get a clear count.

The Paper's Discovery: Two Different Answers for One Room

The authors of this paper, Subhayan Sahu, Yahui Li, and Pablo Sala, decided to tackle this problem by looking at a very specific, highly organized type of messy quantum room. They focused on systems that follow strict "symmetry rules"—imagine a room where every item must be paired up in a specific way, like a dance floor where partners must always hold hands. Even though the room is hot and noisy (a "mixed state"), these strict rules force the particles to form a very specific, intricate pattern of connections.

The team discovered that for these special, symmetry-bound rooms, they could actually calculate the "true" amount of entanglement, which had previously been considered too hard to figure out. They used a mathematical framework called the "commutant algebra" (think of it as a master key that unlocks the hidden structure of the room) to solve the puzzle.

Here is the big surprise they found: The answer depends entirely on how you ask the question.

They compared two different ways of measuring the entanglement:

The "Exact" Cost: This asks, "How much effort does it take to build this exact, messy room from scratch, with zero mistakes?"
The "Asymptotic" Cost: This asks, "How much effort does it take to build a room that looks almost exactly the same, where a few tiny errors are allowed if you build a huge number of them?"

For most quantum systems, these two questions would give you the same answer. But for the specific "fragmented" systems they studied (based on something called the Temperley-Lieb model), the answers were wildly different.

The "Exact" Answer (The Hard Way): If you demand a perfect, error-free copy of the state, the amount of entanglement needed scales with the volume of the system. If you double the size of the room, the effort doubles. It's a massive, linear explosion of resources.
The "Asymptotic" Answer (The Easy Way): If you are okay with a state that is practically indistinguishable from the real one (allowing for tiny, invisible errors), the effort needed scales much slower—only with the square root of the system size.

To put it in everyday terms: Imagine you are trying to build a giant sandcastle.

If you demand that every single grain of sand is placed in the exact perfect spot (the "exact" cost), you need a massive amount of sand and time, growing directly with the size of the castle.
But if you just need a castle that looks perfect from a distance, and you can skip a few grains here and there (the "asymptotic" cost), you can build a huge castle with surprisingly little effort.

The paper shows that for these specific quantum states, the "easy" way is vastly more efficient than the "exact" way. In fact, the difference is so huge that it creates a "parametric separation"—a gap so wide that the two methods are in completely different leagues.

Why the "Quick Look" Tool Was Misleading

One of the most famous tools scientists use to measure entanglement is called Logarithmic Negativity. It's like a quick, easy-to-use scanner that gives a number instantly. For a long time, people assumed this scanner was a good enough estimate for the "true" amount of entanglement.

However, this paper proves that for these fragmented quantum states, the Logarithmic Negativity scanner is actually lying. It gives a huge number (the "volume law" answer), suggesting the system is incredibly complex and expensive to build. But the paper shows that the true operational cost (the "asymptotic" cost) is much, much lower.

The authors explain that this happens because of a phenomenon called Quantum Hilbert Space Fragmentation. Imagine the quantum room is a giant library. Usually, books are mixed up everywhere. But in these fragmented systems, the books are sorted into millions of tiny, isolated shelves that don't talk to each other. The "Logarithmic Negativity" scanner sees all the shelves and thinks, "Wow, that's a huge library!" But the "true" cost of building the library is low because you only need to build the specific shelves you actually use, not the whole impossible structure.

The "Truncated" State Trick

To prove this point, the authors created a "truncated" version of the quantum state. They took the messy room and removed the most complex, rare, and difficult-to-reach corners (the "large irreducible representations"). The resulting room looked and felt exactly the same as the original one to any observer using standard tools (they are "locally indistinguishable").

But here is the kicker: Even though the truncated room looks identical to the original, the "exact" cost to build it dropped dramatically. It went from the massive "volume" scaling to the much smaller "square root" scaling. This proves that the huge cost of the original state wasn't because the room was inherently complex, but because of those specific, hard-to-reach corners that you can ignore if you just want a "good enough" copy.

What This Means for the Future

The authors are careful to note that they have solved this specific puzzle for a very special class of quantum states (those with strong symmetries and specific fragmentation). They haven't solved the problem for every messy quantum system in the universe.

However, their work is a major step forward because it shows that:

We can calculate the "uncomputable": For these symmetric states, we can now calculate the true entanglement cost, which was previously thought to be impossible.
The "Quick Scan" isn't always right: The Logarithmic Negativity, a popular tool, can be a poor indicator of the actual resources needed to create a state.
Exact vs. Approximate matters: In the quantum world, the difference between "perfect" and "almost perfect" isn't just a small detail; it can change the entire cost of the operation by a massive factor.

The paper ends by asking if this strange behavior happens in other types of fragmented systems and what happens if we slightly nudge these perfect symmetry rules. But for now, they have successfully mapped out a strange new landscape where the cost of building a quantum state depends entirely on how picky you are about the details. It's a reminder that in the quantum world, sometimes the "perfect" version is a mirage, and the "good enough" version is where the real magic (and savings) lies.

Technical Summary: Entanglement Cost Hierarchies in Quantum Fragmented Mixed States

Problem Statement
Characterizing entanglement in mixed quantum many-body states remains a significant challenge, particularly because most desirable operational measures (such as entanglement cost, distillable entanglement, and squashed entanglement) are computationally intractable for generic mixed states due to the need for optimization over decompositions or extensions. While the logarithmic negativity is often used as a computable proxy, it lacks a clear operational meaning and is known to fail in capturing the correct "amount" of entanglement in certain few-qubit examples. Furthermore, the relationship between different entanglement measures in the context of non-Abelian symmetries and quantum Hilbert space fragmentation (QF) is not well understood. This work addresses the difficulty of computing these measures for a specific class of physically relevant states: strongly symmetric maximally mixed invariant states (MMIS) arising from open quantum dynamics.

Methodology
The authors leverage the commutant algebra framework to analyze the structure of stationary states in symmetric open quantum systems.

Symmetry and Decomposition: They consider systems evolving under strongly symmetric dynamics, where the set of Kraus operators generates a bond algebra $\mathcal{A}(L)$ . The commutant algebra $\mathcal{C}(L)$ characterizes the strong symmetries. The Hilbert space decomposes into sectors labeled by irreducible representations (irreps) $\lambda$ of $\mathcal{C}(L)$ and $\mathcal{A}(L)$ .
Maximally Mixed Invariant States (MMIS): The study focuses on the MMIS, $\rho_{\text{MMIS}}$ , which is the projection onto the invariant subspace corresponding to the trivial irrep ( $\lambda=0$ ) of the commutant. This state naturally arises as the unique stationary state of strongly symmetric open dynamics with Hermitian Kraus operators.
Singlet Ensemble: The authors define a "singlet ensemble" of states within the invariant subspace. They prove that for this ensemble, the states form a complete orthonormal basis, possess a flat Schmidt spectrum, are locally distinguishable by LOCC without destroying entanglement, and satisfy the "non-binegativity" property ( $|\rho^{T_A}|^{T_A} \geq 0$ ).
Exact Computation: Using these properties, the authors derive exact analytical expressions for various bipartite entanglement measures, including the entanglement of formation ( $E_F$ ), entanglement cost ( $E_C$ ), squashed entanglement ( $E_{sq}$ ), distillable entanglement ( $E_D$ ), logarithmic negativity ( $E_N$ ), and the exact PPT entanglement cost ( $E_{C, \text{exact}}$ ).
Application to Fragmentation: These general results are applied to the Temperley-Lieb (TL) model, a system known to exhibit quantum Hilbert space fragmentation with exponentially large non-Abelian commutants for $N \geq 3$ . They analyze the scaling of entanglement measures for the TL model's MMIS ( $\rho_{QF}$ ) under equal spatial bipartition.

Key Contributions and Results

Exact Computability: The paper demonstrates that for strongly symmetric MMIS, a hierarchy of entanglement measures that are typically intractable can be computed exactly.
- Lower Hierarchy: The entanglement of formation, entanglement cost, squashed entanglement, and distillable entanglement are shown to be equal:
  $E_{(A:B)}^{<}(\rho) = \sum_{\lambda} p_\lambda \log(d_\lambda)$
  where $p_\lambda$ is the probability weight of irrep $\lambda$ and $d_\lambda$ is its dimension.
- Upper Hierarchy: The logarithmic negativity and the exact PPT entanglement cost are equal:
  $E_{(A:B)}^{>}(\rho) = \log\left(\sum_{\lambda} p_\lambda d_\lambda\right)$
Parametric Separation in Fragmented Systems: For the Temperley-Lieb model with $N \geq 3$ $N \geq 3$ (exhibiting QF), the authors find a distinct scaling behavior between the two hierarchies:
- The "lower" measures ( $E_F, E_C, E_{sq}, E_D$ ) scale as sub-extensive (specifically $\sim \sqrt{L}$ ).
- The "upper" measures ( $E_N, E_{C, \text{exact}}$ ) scale as volume-law (specifically $\sim L$ ).
  This separation arises because the probability distribution $p_\lambda$ peaks at a specific $\lambda_{\text{max}} \sim \sqrt{L}$ , while the dimensions $d_\lambda$ grow exponentially with $\lambda$ . The "lower" measures are dominated by the peak of the distribution, whereas the "upper" measures are dominated by the tail of the distribution where $d_\lambda$ is largest.
Operational Interpretation: The authors construct a "truncated state" $\rho^\epsilon_{QF}$ by removing high- $\lambda$ irreps. This state is locally indistinguishable from the original $\rho_{QF}$ (trace distance $\approx 2\epsilon$ ) but exhibits a parametrically different exact PPT entanglement cost (scaling as $\sqrt{L}$ instead of $L$ ). This reveals that the volume-law scaling of the exact cost is a consequence of the specific pattern of quantum Hilbert space fragmentation, which requires exponentially large resources for exact preparation but only sub-extensive resources for asymptotically exact preparation.

Significance and Claims
The paper claims that the logarithmic negativity, while computable, is not a "genuine" entanglement measure in the operational sense for these fragmented states, as it overestimates the resources required for asymptotic state preparation. The work provides a concrete many-body example where the exact entanglement cost (preparing $n$ copies with zero error) and the asymptotic entanglement cost (preparing $n$ copies with vanishing error) differ parametrically.

The authors highlight that this separation is a direct consequence of the specific structure of quantum Hilbert space fragmentation in non-Abelian symmetric systems. They assert that while symmetric mixed states often simplify entanglement expressions, the ability to compute these specific measures for arbitrary non-commuting symmetry algebras is a novel result. The paper concludes by noting that these findings open questions regarding the generality of this separation in other fragmented systems and the behavior of these measures under perturbations or in multipartite settings, but does not propose specific experimental implementations or applications beyond the theoretical characterization of these states.