[论文解读] Entropic bounds for the quantum marginal problem

Tobias J. Osborne|ArXiv.org|Jun 18, 2008

Spectral Theory in Mathematical Physics参考文献 1被引用 6

一句话总结

本文利用冯·诺依曼熵的强次可加性，推导出量子边缘问题（QMP）正交纯态解数量的熵上界。结果表明，此类解的最大数量受 $ m \leq 2^{S_{AB} + S_{BC} - S_B} $ 限制，提供了一种具有物理可解释性、计算上易处理的约束条件，可在约化态熵过低时排除解的存在，尤其在共享贝尔态等类似单配性的场景中有效。

ABSTRACT

The quantum marginal problem asks, given a set of reduced quantum states of a multipartite system, whether there exists a joint quantum state consistent with these reduced states. The quantum marginal problem is known to be hard to solve in general as it is a variant of the N-representability problem. We provide entropic bounds on the number of orthogonal solutions to the quantum marginal problem.

研究动机与目标

• 解决量子边缘问题（QMP）中正交纯态解计数这一基本挑战，尽管在特殊情形下已有进展，但该问题在一般情况下仍未解决。
• 基于熵不等式，开发一种计算上可行的信息理论界，用于约束此类解的数量。
• 提供一种具有物理可解释性的判据——基于熵与子系统重叠——用于判断与给定约化密度矩阵一致的联合量子态是否存在。
• 通过纯化与对偶性，将熵约束的应用范围从纯态推广至混合态解。

提出的方法

• 从量子边缘问题（QMP）的 $ m $ 个正交纯态解 $ \{ |\psi_j\rangle \}_{j=1}^m $ 构造一个混合态 $ \rho_{ABC} = \sum_{j=1}^m \frac{1}{m} |\psi_j\rangle\langle\psi_j| $。
• 对三体系统 $ ABC $ 应用冯·诺依曼熵的强次可加性，得到 $ S_{ABC} \leq S_{AB} + S_{BC} - S_B $。
• 利用均匀混合的 $ m $ 个正交纯态的熵满足 $ S_{ABC} = \log_2 m $ 的事实，推导出 $ m \leq 2^{S_{AB} + S_{BC} - S_B} $。
• 通过迭代应用强次可加性于重叠的约化态，将该界推广至 $ n $-体系统。
• 通过纯化联合态并在扩展系统上应用子加性，将结果推广至混合态解，得到 $ m \leq 2^{2S_{AB} + 2S_{BC} - 2S_B} $。
• 利用保真度与纯化形式，将正交解与零保真度的混合态解关联，确保边界的鲁棒性。

实验结果

研究问题

• RQ1 在三体量子系统中，给定约化密度矩阵 $ \rho_{AB} $ 和 $ \rho_{BC} $ 时，能一致映射到多少个正交纯态？
• RQ2 如何利用强次可加性导出的熵约束，排除量子边缘问题中联合量子态的存在？
• RQ3 该解数量的界能否推广至具有重叠约化态的 $ n $-体系统？
• RQ4 在极端情形下（如约化态为最大纠缠或完全混合态）该界表现如何？
• RQ5 在类似共享贝尔态的单配性保护场景中，该界对输入约化态的小扰动是否具有鲁棒性？

主要发现

• 三体QMP的正交纯态解数量 $ m $ 受界 $ m \leq 2^{S_{AB} + S_{BC} - S_B} $ 限制，其中 $ S_{AB}, S_{BC}, S_B $ 分别为对应约化态的冯·诺依曼熵。
• 该界在低熵区域是紧致的，并在完全混合态情形下精确重现结果：当 $ \rho_{AB} $ 与 $ \rho_{BC} $ 均为最大混合态时，$ m = 2^{d_A + d_B + d_C} $。
• 当 $ \rho_{AB} $ 与 $ \rho_{BC} $ 均为贝尔态 $ |\Psi^{-}\rangle\langle\Psi^{-}| $ 时，该界给出 $ m \leq 1/2 $，意味着无解存在，与量子单配性一致。
• 通过纯化方法，该界可推广至混合态解，得到 $ m \leq 2^{2S_{AB} + 2S_{BC} - 2S_B} $，表明解的非存在性对小扰动具有鲁棒性。
• 所导出的边界为局部哈密顿量的基态简并度与能量提供了非平凡约束，因为QMP的解对应于这些基态。
• 该方法与维度无关，可推广至无限维系统，因此适用于连续变量与高斯设置。