⚛️ quantum physics

Entanglement of flower states

This paper analyzes the "flower states" to reveal a significant irreversibility gap between distillable entanglement and entanglement cost under non-entangling operations, demonstrating that the cost remains high even with powerful operations and proving that squashed entanglement is not a monotone in this context.

Original authors: Samrat Sen, Ludovico Lami

Published 2026-08-04

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Samrat Sen, Ludovico Lami

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

Imagine the universe is built on a strange, invisible glue called quantum entanglement. It's the reason two particles can be so deeply connected that changing one instantly affects the other, no matter how far apart they are. This isn't just sci-fi; it's the engine behind future super-computers, unbreakable codes, and ultra-precise sensors. But here's the catch: this glue is incredibly fragile and hard to work with. Scientists have a set of "allowed moves" (called operations) to manipulate this glue, but the most realistic set—where two people, Alice and Bob, can only talk via phone and touch their own particles—is a mathematical nightmare to figure out. To make progress, researchers sometimes imagine "super-allowed moves" that are a bit more magical, just to see how the rules of the game change. The big question is: Does relaxing the rules actually make the game easier, or does it reveal that the universe has some hidden, stubborn limits that no amount of magic can break?

This paper dives into that mystery using a special family of quantum states called "flower states." Think of these not as real plants, but as intricate, mathematical flowers where the number of petals is determined by a specific size parameter. The authors, Samrat Sen and Ludovico Lami, use these flowers as a test bed to measure two things: how much "pure" entanglement you can extract (distill) from a messy state, and how much "pure" entanglement you need to build (cost) that messy state in the first place. Usually, in a perfect world, these two numbers should be the same—you can turn gold into a ring and the ring back into gold with no loss. But in the quantum world, this process is often "irreversible," like trying to un-mix milk from coffee.

The researchers discovered something fascinating and slightly frustrating about these flower states. No matter how big the flower gets (how many local dimensions, $d=2k$ , it has), you can always extract exactly 1 ebit (one unit of entanglement) from it. It's like having a giant, complex machine that always yields exactly one perfect diamond. However, the cost to build that machine is huge. Under standard rules (LOCC), it costs about $\log(2\sqrt{k})$ units. Even if you give Alice and Bob "super powers" (non-entangling operations) to make the job easier, the cost only drops slightly to $\log(1+\sqrt{k})$ . The gap between what you can get out (1) and what you have to put in (a large number) is massive. This proves that for these states, the "super powers" don't actually help much with distillation; a simple, one-way phone call between Alice and Bob is just as effective as the most powerful magical operations.

Perhaps the most surprising twist involves a famous mathematical tool called squashed entanglement. Scientists had hoped this tool would act as a universal ruler, always giving a value that sits between the cost and the extractable amount, even under these "super" rules. The paper proves this hope is wrong. For flower states, the squashed entanglement value is actually higher than the cost to build the state, which means it breaks the rules of the game when the rules are relaxed. It's like a thermometer that works perfectly in a kitchen but gives a reading hotter than the fire when you take it into a volcano.

Finally, the team looked at what happens if you demand zero errors—meaning you must build the flower state perfectly, with no mistakes allowed. In this strict regime, the cost to build the flower jumps even higher, especially if the size parameter $k$ is a prime number. In that case, the cost becomes $\log(k+1)$ , which is roughly double the standard cost. This creates the largest known gap between "how hard it is to build" and "how much you can get out," showing that the universe has a very specific, number-theory-based way of locking up its resources. The authors used some heavy math involving "uncertainty relations over cyclic groups" (think of it as a complex rhythm or pattern rule) to prove these exact numbers, showing that the flower state is a rare example where we can calculate the exact price of quantum glue without any guessing.

Technical Summary: Entanglement of Flower States

Problem Statement
Quantum entanglement is a foundational resource for quantum information tasks, yet its operational structure is governed by a hierarchy of "free operations" (e.g., Local Operations and Classical Communication, or LOCC) that define the limits of manipulation. While LOCC provides the natural physical framework, its mathematical complexity renders precise characterizations notoriously intractable. To navigate this, researchers often employ broader classes of operations, such as Positive Partial Transpose (PPT) operations or Non-Entangling (NE) operations, which map separable states to separable states. These relaxations offer computational tractability and upper bounds but fundamentally reshape the landscape of entanglement theory. For instance, bound entanglement (irreversible under LOCC) disappears under NE operations, and the relationship between distillable entanglement and entang cost (irreversibility) varies significantly across these regimes. A critical gap in understanding remains: identifying specific classes of quantum states where all major entanglement measures can be explicitly computed to systematically explore these operational landscapes and test the robustness of established monotones (like squashed entanglement) under relaxed constraints.

Methodology
The authors investigate a specific family of maximally correlated states known as "flower states" (and their generalizations), parametrized by an even local dimension $d = 2k$ . These states are constructed from a $k \times k$ unitary matrix $V$ , with the standard flower state corresponding to $V$ being the $k$ -dimensional Fourier transform.

The study employs a multi-faceted analytical approach:

Exact Computation of Measures: The authors compute distillable entanglement ( $E_d$ ), entanglement cost ( $E_c$ ), and related quantities under three distinct operational regimes: LOCC, NE, and PPT.
Novel Measure Utilization: To determine the entanglement cost under NE operations, the authors calculate the recently introduced "tempered entanglement negativity." They prove this measure coincides exactly with the standard NE cost for these states.
Zero-Error Analysis: The paper distinguishes between asymptotic vanishing-error regimes and strict zero-error regimes. For the exact LOCC cost, the authors utilize the regularized Schmidt number.
Number-Theoretic Tools: To solve the intractable optimization problem associated with the regularized Schmidt number, the authors leverage uncertainty relations over cyclic groups proved by Tao and Meshulam. This allows for an exact analytical expression of the cost in terms of the divisors of $k$ .

Key Contributions and Results

Irreversibility Gap under NE Operations:
The authors establish a massive gap between distillable entanglement and entanglement cost under NE operations.
- Distillable Entanglement: For flower states, $E_{d, \text{NE}} = 1$ ebit, independent of the local dimension $d$ .
- Entanglement Cost: The NE cost is $E_{c, \text{NE}} = \log(1 + \sqrt{k})$ .
- Gap: This yields an irreversibility gap of $\Theta(\frac{1}{2} \log d)$ . The authors prove that the asymptotic irreversibility gap $\Delta^{\text{NE}}_{\text{irr}}$ is at least $1/2$ , improving upon the previous lower bound of $\approx 0.262$ . This represents the largest known irreversibility gap under NE operations.
Failure of Squashed Entanglement as a Monotone:
A significant structural finding is that the squashed entanglement ( $E_{\text{sq}}$ ), which is a valid monotone under LOCC, is not a monotone under NE operations. For flower states, $E_{\text{sq}} = \log(2\sqrt{k})$ , which is strictly greater than the NE cost $E_{c, \text{NE}} = \log(1 + \sqrt{k})$ . This demonstrates that $E_{\text{sq}}$ is inextricably tied to the physical constraints of local actions and cannot serve as a universal lower bound for NE costs.
Exact LOCC Cost and Schmidt Number:
The paper provides the first exact analytical computation of the regularized Schmidt number (and thus the exact zero-error LOCC cost) for a non-trivial family of states.
- The exact cost is given by $E^{\text{exact}}_{c, \text{LOCC}} = \log_2 \left[ \min_{r|k} \binom{r+k}{r} \right]$ .
- Prime $k$ : When $k$ is prime, the cost reduces to $\log(k+1) \approx \log d$ . This is approximately twice the standard vanishing-error LOCC cost ( $\log(2\sqrt{k})$ ), demonstrating the asymptotically largest possible gap between exact LOCC dilution and distillation.
- Square $k$ : When $k$ is a perfect square, the exact cost coincides with the standard cost.
Distillation Efficiency:
Despite the high cost of dilution, the distillation of flower states is remarkably efficient. The authors show that the single ebit of distillable entanglement can be extracted deterministically via a one-shot, one-way LOCC protocol. This implies that the "permissive power" of NE or PPT operations is entirely redundant for the distillation of these states; simple LOCC protocols achieve the theoretical limit immediately.

Significance
The paper claims to provide a comprehensive mapping of the entanglement properties of flower states across varied operational regimes. Its primary significance lies in:

Quantifying Irreversibility: Establishing the largest known irreversibility gap under NE operations, thereby advancing the quantitative understanding of the breakdown of a "second law" for entanglement.
Structural Separation: Demonstrating that established entanglement monotones (like squashed entanglement) do not necessarily retain their operational validity when the set of free operations is relaxed from LOCC to NE, highlighting the specific structural role of local constraints.
Analytical Breakthrough: Overcoming the difficulty of calculating regularized Schmidt numbers for mixed states by applying uncertainty relations over cyclic groups, providing a rare example where exact entanglement costs can be derived for non-trivial states.
Operational Redundancy: Showing that for specific states, the theoretical advantages of broader operation classes (NE/PPT) in distillation are practically redundant, as achievable by simple one-shot LOCC protocols.

The work concludes that flower states belong to an exclusive group of non-trivial states where every major entanglement measure can be explicitly computed, offering a rigorous testbed for the operational structure of quantum entanglement.

More like this