[论文解读] On a gap in the proof of the generalised quantum Stein's lemma and its consequences for the reversibility of quantum resources

Mario Berta, Fernando G. S. L. Brandão+5 more|arXiv (Cornell University)|May 5, 2022

Quantum Information and Cryptography被引用 8

一句话总结

本文指出了广义量子 Stein 引理（BP10a）证明中的一个关键漏洞，该漏洞使其中心可实现性结果失效，并动摇了在渐近非生成操作下量子纠缠与一般量子资源可逆性的声称。作者提出了替代方法——如 Petz–Rényi 散度极限和基于块的假设检验——以恢复较弱形式的可逆性，强调了若能解决这些开放问题，将可恢复原始结论。

ABSTRACT

We show that the proof of the generalised quantum Stein's lemma [Brandão & Plenio, Commun. Math. Phys. 295, 791 (2010)] is not correct due to a gap in the argument leading to Lemma III.9. Hence, the main achievability result of Brandão & Plenio is not known to hold. This puts into question a number of established results in the literature, in particular the reversibility of quantum entanglement [Brandão & Plenio, Commun. Math. Phys. 295, 829 (2010); Nat. Phys. 4, 873 (2008)] and of general quantum resources [Brandão & Gour, Phys. Rev. Lett. 115, 070503 (2015)] under asymptotically resource non-generating operations. We discuss potential ways to recover variants of the newly unsettled results using other approaches.

研究动机与目标

• 识别并诊断广义量子 Stein 引理证明中 Lemma III.9 的关键错误（BP10a），该错误使主要可实现性结果失效。
• 评估此错误对量子资源理论中基础结果的影响，特别是纠缠和一般量子资源声称可逆性的影响。
• 提出替代策略——如 Petz–Rényi 散度极限和基于块的假设检验——在附加假设下可能恢复原始结果。
• 澄清文献中哪些既定结果因 BP10a 正确性问题而变得不确定，哪些结果仍独立于 BP10a 的正确性而成立。
• 提出开放猜想与研究问题，其解决将可恢复量子资源理论中渐近可逆性的原始框架。

提出的方法

• 识别 BP10a 中 Lemma III.9 的缺陷，其根源在于复合量子假设检验中对对偶性论证的错误应用。
• 以假设检验相对熵 $ D_H^\beta(\rho\big\bracevert\tau) $ 为核心工具，分析某一状态与一个状态凸集之间的可区分性。
• 探讨假设检验相对熵与 Petz–Rényi 散度 $ D_\beta(\rho\big\bracevert\tau) $ 在 $ \beta \to 1^- $ 极限下的渐近等价性，以恢复量子相对熵。
• 应用极小化极大论证，以证明在 $ \frac{1}{n} \min_{\sigma_n \in \mathcal{M}_n} D_H^{1-\varepsilon}(\rho^{\otimes n} \| \sigma_n) $ 的渐近分析中交换极限的合理性，目标是恢复渐近速率 $ D^\infty_M(\rho) $。
• 引入基于块的方法，利用“伪纠缠”建模复合态，并检验 $ \lim_{\varepsilon \to 0} \liminf_{k \to \infty} \liminf_{n \to \infty} \frac{1}{nk} D_H^\varepsilon(\rho^{\otimes nk} \| \sigma) $ 中 $ \varepsilon $、$ k $、$ n $ 三个极限的可交换性。
• 利用 BHLP（20）和 BBH（21）中复合量子 Stein 引理的替代变体，推导出在资源理论中仍具意义但较弱的可逆性结果。

实验结果

研究问题

• RQ1 BP10a 中 Lemma III.9 的错误具体性质为何？该错误如何使广义量子 Stein 引理的主要可实现性结果失效？
• RQ2 关于量子纠缠与一般量子资源在渐近非生成操作下的渐近可逆性结果，在多大程度上依赖于广义量子 Stein 引理的正确性？
• RQ3 能否通过交换极限 $ \lim_{\alpha \to 1^-} \liminf_{n \to \infty} \frac{1}{n} \min_{\sigma_n \in \mathcal{M}_n} D_\alpha(\rho^{\otimes n} \| \sigma_n) $ 来恢复渐近速率 $ D^\infty_M(\rho) $？
• RQ4 是否可能通过基于块的构造，在假设检验相对熵对块的张量积进行评估的前提下，建立量子资源理论中的可逆性？
• RQ5 在何种最小假设下，可恢复 BP（08）；BP10b；BG（15）的原始框架？若这些猜想的否定解答成立，将对量子资源理论产生何种影响？

主要发现

• BP10a 中 Lemma III.9 的证明存在关键漏洞，导致广义量子 Stein 引理的主要可实现性结果失效，使 Proposition III.1 的正向部分无法被证明。
• Proposition III.1 的反向部分与推论 III.3 依然有效，因其不依赖于有缺陷的 Lemma III.9。
• 由于基础引理失效，BP（08）；BP10b；BG（15）中关于在渐近非生成操作下纠缠与一般量子资源可逆性的声称现处于疑问之中。
• 若能证明极限交换性，基于 Petz–Rényi 散度极限 $ \lim_{\alpha \to 1^-} \liminf_{n \to \infty} \frac{1}{n} \min_{\sigma_n \in \mathcal{M}_n} D_\alpha(\rho^{\otimes n} \| \sigma_n) = D^\infty_M(\rho) $ 的替代方法可恢复原始结果。
• 基于块的假设检验方法，其中 $ D_H^\varepsilon $ 在 $ nk $-体态的块上进行评估，为恢复原始结果提供了潜在路径，前提是 $ \varepsilon $、$ k $、$ n $ 的极限可交换。
• 若方程 (85)、(87) 和 (88) 中的极限交换猜想得以解决，将可恢复广义量子 Stein 引理，并重新确立量子资源理论中渐近可逆性的框架。