Large Parts are Generically Entangled Across All Cuts

Technical Summary: Large Parts are Generically Entangled Across All Cuts

Problem Statement
While it is well-established that generic high-dimensional bipartite pure states are overwhelmingly likely to be highly entangled, the behavior of entanglement in generic multipartite pure states remains less understood. Specifically, it is unclear whether the marginals (subsystems) of generic multipartite states retain entanglement, particularly when those marginals are themselves composed of multiple subsystems. Previous work has shown that small marginals are likely separable, while large marginals are likely entangled with respect to specific bipartitions. However, a rigorous characterization of whether sufficiently large marginals are entangled across all possible bipartitions (cuts) in finite-dimensional systems, and the implications of this for entanglement sharing and transitivity, requires further investigation.

Methodology
The authors employ Random Matrix Theory and the properties of Haar-random pure states to analyze generic quantum states. A Haar-random pure state is defined as a state uniformly sampled from the unit sphere in the Hilbert space. The study focuses on:

1. Marginal Analysis: Investigating the bipartite marginals ($\rho_{AC} = \text{tr}_B(|\psi\rangle\langle\psi|_{ABC})$) of tripartite and $N$-partite Haar-random pure states.
2. Dimensional Constraints: Deriving inequalities involving local dimensions ($d_A, d_B, d_C$) that guarantee entanglement.
3. Range Criterion and Subspace Properties: Utilizing the fact that the range of a marginal of a Haar-random state is spanned by a set of independently sampled Haar-random pure states. The authors leverage the concept of "completely entangled subspaces" (subspaces containing no product states) and the range criterion for separability.
4. Uniqueness of Global States: Analyzing conditions under which a global pure state is uniquely determined by its marginals (the quantum marginal problem), specifically referencing results by Linden, Wootters, and others.
5. Numerical Verification: Conducting numerical simulations for dimension triples $(d_A, d_B, d_C)$ up to 5 to test the robustness of analytical bounds and the phenomenon of entanglement transitivity beyond proven constraints.

Key Contributions and Results

1. Entanglement Across All Cuts (Theorem 2):
   The paper proves that for a generic $N$-qudit pure state, any marginal consisting of $k$ qudits is almost surely entangled with respect to all bipartitions of those $k$ qudits, provided $k$ is slightly larger than half the total system size.

   • Specifically, if $k \geq \frac{N}{2} + 1$ (for qubits, $d=2$, with specific conditions on the split) or $k > \frac{N}{2}$ (for $d \geq 3$), the marginal is entangled across every possible cut.
   • This result sharpens previous intuitions, showing that entanglement is robust to the loss of nearly half the subsystems.

2. Refined Conditions for Tripartite Entanglement (Lemma 1):
   The authors generalize previous results to show that a bipartite marginal $\rho_{AC}$ of a tripartite Haar-random state is almost surely entangled if the dimensions satisfy $d_B \leq (d_A - 1)(d_C - 1)$. This condition is shown to be strictly stronger (identifying more entangled states) than the sufficient condition for distillability found in prior literature.

3. Generic Entanglement Transitivity (Theorem 4 & Result 5):
   The paper demonstrates that "entanglement transitivity" is a generic feature of closed systems. If two bipartite marginals ($\rho_{AB}$ and $\rho_{BC}$) of a generic tripartite pure state are entangled and compatible, they almost surely force the third marginal ($\rho_{AC}$) to be entangled, provided certain dimension constraints are met (e.g., equal local dimensions $d_A=d_B=d_C \geq 2$).

   • This confirms a conjecture from previous work [41] regarding the genericity of entanglement transitivity in equal-dimension tripartite systems.
   • The authors extend this to $N$-body systems (Theorem 6), showing that specific sets of large marginals exhibit transitivity in all remaining marginals.

4. Numerical Observations:
   Numerical results suggest that the phenomena of generic entangled marginals, unique global compatibility, and entanglement transitivity may hold even beyond the strict dimension constraints analytically derived in the theorems. In all tested dimensions, marginals of generic pure states appeared to uniquely determine the global state.

Significance and Claims
The paper claims that generic multipartite pure states possess a robust form of entanglement that persists even when the system is significantly reduced.

• Loss Tolerance: The authors suggest that Haar-random pure states could serve as a resource for entanglement distribution in "quantum internet" scenarios where particle loss is high (e.g., up to 50% loss per channel). Because the remaining large marginals remain entangled across all cuts, they can facilitate protocols where subsets of clients collaborate without pre-defined alliances.
• Entanglement Sharing: The results imply that in generic closed systems, the presence of entanglement between microscopic and macroscopic parts can force entanglement between macroscopic parts, challenging simple monogamy interpretations in the context of generic states.
• Fundamental Characterization: The work contributes to the characterization of the "typical" properties of quantum states, reinforcing that separable marginals form a measure-zero set in high-dimensional generic systems, contrary to the intuition that separable states are common in the full state space.

The authors maintain a modest tone regarding applications, noting that the discussion of quantum internet protocols is a "toy model" and that a thorough analysis of loss-tolerant distribution is left for future research. Similarly, while numerical evidence suggests bounds may be looser than proven, the paper identifies the tightening of these bounds as an open problem.