[论文解读] Minimum Entangling Power is Close to Its Maximum

Jianxin Chen, Zhengfeng Ji+3 more|arXiv (Cornell University)|Oct 4, 2012

Quantum Information and Cryptography参考文献 35被引用 6

一句话总结

该论文表明，对于大多数量子门，其最小纠缠能力（通过冯诺依曼熵或 Schmidt 秩衡量）通常接近最大可能值，这意味着即使是最弱的纠缠能力，也几乎达到最大值。通过集中极限现象和利普希茨连续性，作者证明了随机幺正矩阵几乎必然将所有产品态映射为近乎最大纠缠的态，从而在双粒子和多粒子系统中建立了纠缠生成的内在容错性。

ABSTRACT

Given a quantum gate $U$ acting on a bipartite quantum system, its maximum (average, minimum) entangling power is the maximum (average, minimum) entanglement generation with respect to certain entanglement measure when the inputs are restricted to be product states. In this paper, we mainly focus on the 'weakest' one, i.e., the minimum entangling power, among all these entangling powers. We show that, by choosing von Neumann entropy of reduced density operator or Schmidt rank as entanglement measure, even the 'weakest' entangling power is generically very close to its maximal possible entanglement generation. In other words, maximum, average and minimum entangling powers are generically close. We then study minimum entangling power with respect to other Lipschitiz-continuous entanglement measures and generalize our results to multipartite quantum systems. As a straightforward application, a random quantum gate will almost surely be an intrinsically fault-tolerant entangling device that will always transform every low-entangled state to near-maximally entangled state.

研究动机与目标

• 研究量子门的最小纠缠能力，其理解程度远低于平均或最大纠缠能力。
• 确定通用量子门的最弱纠缠能力是否仍接近最大可能纠缠。
• 将双粒子系统的结果推广至多粒子量子系统，并在随机幺正演化下建立通用纠缠生成机制。
• 为量子动力学在生成纠缠方面的鲁棒性提供理论基础，其意义在于容错量子计算。

提出的方法

• 作者使用哈尓测度对随机幺正门进行采样，并分析其纠缠能力分布。
• 他们应用集中极限现象，表明典型门的最小纠缠能力紧密集中在均值附近。
• 对于冯诺依曼熵，他们推导出一个下界：$ P_{\min}^{(S_v)}(U) \geq \log d_A - \frac{d_A}{d_B \ln 2} - 1 $，该式对通用 $ U $ 成立。
• 他们通过尾部概率界将结果推广至利普希茨连续的纠缠测度：$ \mu(|P_{\min}^{(f)}(U) - \mathbb{E}[P_{\min}^{(f)}(U)]| \geq \delta) < 2e^{-\frac{d_A d_B \delta^2}{4|f|_L^2}} $。
• 对于 Schmidt 秩，他们推导出一个精确表达式：$ P_{\min}^{(SR)}(U) = \left\lceil \frac{d_A + d_B - \sqrt{(d_A - d_B)^2 + 4(d_A + d_B) - 8}}{2} \right\rceil $。
• 他们通过在所有双粒子划分上定义最小纠缠能力，将框架扩展至多粒子系统，并证明当 $ \min d_i \geq 3 $ 时，随机门几乎必然将每个产品态映射为真正纠缠的态，且纠缠程度接近最大。

实验结果

研究问题

• RQ1 随机量子门的最小纠缠能力是否通常接近其最大可能值？
• RQ2 在典型量子动力学中，最大、平均和最小纠缠能力之间有何比较？
• RQ3 能否使用标准纠缠测度，对通用幺正矩阵的最小纠缠能力给出下界？
• RQ4 该行为是否可推广至具有多于两个子系统的多粒子量子系统？
• RQ5 随机量子门是否可被视为在生成纠缠方面具有内在容错性？

主要发现

• 对于通用量子门，其基于冯诺依曼熵的最小纠缠能力至少为 $ \log d_A - \frac{d_A}{d_B \ln 2} - 1 $，当 $ d_A \ll d_B $ 时，该值接近最大可能值。
• 最小纠缠能力紧密集中在其均值附近：$ \mu(|P_{\min}^{(S_v)}(U) - \mathbb{E}[P_{\min}^{(S_v)}(U)]| \geq \delta) \leq 2e^{-\frac{d_A d_B \delta^2}{32(\log d_A)^2}} $。
• 对于任意利普希茨连续的纠缠测度 $ f $，最小纠缠能力满足 $ \mu(|P_{\min}^{(f)}(U) - \mathbb{E}[P_{\min}^{(f)}(U)]| \geq \delta) < 2e^{-\frac{d_A d_B \delta^2}{4|f|_L^2}} $。
• 通用门的最小 Schmidt 秩纠缠能力为 $ \left\lceil \frac{d_A + d_B - \sqrt{(d_A - d_B)^2 + 4(d_A + d_B) - 8}}{2} \right\rceil $，该值通常较大。
• 在 $ \min d_i \geq 3 $ 的多粒子系统中，随机门几乎必然将每个产品态映射为真正纠缠的态，且纠缠程度接近最大。
• 对于多粒子系统，基于迹范数秩的最小纠缠能力满足 $ P_{\min}^{(TR)}(U) \geq \left\lceil \frac{d_0 - \sum_{i=1}^N d_i + N}{\sum_{i=1}^N d_i - N + 1} \right\rceil $，不包括退化情形。