Large Parts are Generically Entangled Across All Cuts

技术摘要：大尺寸部分在所有切割下均呈泛型纠缠态

问题陈述
虽然已知典型的、高维二分纯态极大概率是高度纠缠的，但典型多体纯态中的纠缠行为仍不为人所熟知。具体而言，目前尚不清楚典型的多体纯态其边缘态（子系统）是否仍保持纠缠。之前的研究表明，较小的边缘态很可能是可分的，而较大的边缘态对于特定的二分法而言很可能是纠缠的。然而，在有限维系统中，对于是否所有足够大的边缘态在所有可能的二分（切割）下都是纠缠的，以及这对纠缠共享和传递性的影响，仍需要进一步的研究。

方法论
作者利用随机矩阵理论和哈尔随机纯态（Haar-random pure states）的性质来分析典型的量子态。哈尔随机纯态定义为从希尔伯特空间单位球面中均匀采样的状态。本研究重点关注：

1. 边缘分析： 研究三体及 $N$ 体哈尔随机纯态的二分边缘态（$\rho_{AC} = \text{tr}_B(|\psi\rangle\langle\psi|_{ABC})$）。
2. 维度约束： 推导涉及局部维度（$d_A, d_B, d_C$）的关于纠缠的不等式。
3. 范围判据与子空间性质： 利用哈尔随机态的边缘的范围是由一组独立采样的哈尔随机纯态所张成的这一事实。作者利用了“完全纠缠子空间”（不包含任何积态的子空间）的概念和可分性的范围判据。
4. 全局态的唯一性： 分析由其边缘态唯一确定全局纯态的条件（量子边缘问题），并参考了 Linden、Wootters 等人的研究结果。
5. 数值验证： 进行维度三元组 $(d_A, d_B, d_C)$ 最高为 5 的数值模拟，以测试解析界限的稳健性以及超越已证明约束的纠缠传递现象。

主要贡献与结果

1. 跨所有切割的纠缠（定理 2）：
   论文证明了对于一个典型的 $N$-qudit 纯态，只要 $k$ 略大于总系统规模的一半，任何由 $k$ 个 qudit 组成的边缘态对于这 $k$ 个 qudit 的所有二分法而言，几乎处处是纠缠的。

   • 特别地，如果 $k \geq \frac{N}{2} + 1$（对于 qubit，$d=2$，且满足特定切割条件）或 $k > \frac{N}{2}$（对于 $d \geq 3$），则该边缘态在每种可能的切割下都是纠缠的。
   • 这一结果强化了先前的直觉，表明纠缠对于损失接近一半的子系统具有鲁棒性。

2. 精炼的三体纠缠条件（引理 1）：
   作者推广了先前的结果，表明如果维度满足 $d_B \leq (d_A - 1)(d_C - 1)$，则三体哈尔随机态的二分边缘态 $\rho_{AC}$ 几乎处处是纠缠的。该条件被证明比先前文献中发现的可提取性充分条件更为严格（能识别出更多的纠缠态）。

3. 典型纠缠传递性（定理 4 与结果 5）：
   论文证明了“纠缠传递性”是封闭系统的典型特征。如果一个典型三体纯态的两个二分边缘态（$\rho_{AB}$ 和 $\rho_{BC}$）是纠缠且相容的，那么在满足特定维度约束（例如等局部维度 $d_A=d_B=d_C \geq 2$）的情况下，它们几乎处处会迫使第三个边缘态（$\rho_{AC}$）也是纠缠的。

   • 这证实了先前工作 [41] 关于等维度三体系统中纠缠传递性的典型性的猜想。
   • 作者将此扩展到 $N$ 体系统（定理 6），表明特定的、较大的边缘态集合在剩余的所有边缘态中表现出传递性。

4. 数值观察：
   数值结果表明，即使在定理中解析推导出的严格维度约束之外，典型的纠缠边缘态、唯一全局相容性和纠缠传递性等现象也可能存在。在所有测试的维度中，典型纯态的边缘态似乎都能唯一确定全局态。

意义与主张
本文声称，典型的多体纯态拥有一种鲁棒的纠缠形式，即使在系统显著缩减时依然存在。

• 损失容忍度： 作者认为，在粒子丢失率较高的（例如每条通道丢失高达 50%）“量子互联网”场景中，哈尔随机纯态可以作为纠缠分发的资源。因为剩余的大型边缘态在所有切割下仍保持纠缠，因此它们可以促进那些无需预定义联盟的客户端协作协议。
• 纠缠共享： 结果意味着，在典型的封闭系统中，微观部分与宏观部分之间的纠缠可以迫使宏观部分之间产生纠缠，这挑战了在典型态背景下对简单单配性（monogamy）的解释。
• 基本特征化： 本工作有助于对“典型”量子态属性的表征，强化了在高维典型系统中，可分边缘态构成一个测度为零的集合，这与直觉上认为可分态在全空间中很常见的观点相反。

作者对应用保持了谦逊的态度，指出关于量子互联网协议的讨论是一个“玩具模型”，并且对损失容忍分发的深入分析留待未来研究。同样，虽然数值证据表明界限可能比证明的更宽松，但作者也将收紧这些界限视为一个开放性问题。