[論文レビュー] 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

ひとこと要約

本稿は、一般化量子スティンの補題（BP10a）の証明における根本的な欠陥を特定し、その主な達成結果を無効にするとともに、漸近的に生成しない操作下での量子もつれおよび一般の量子資源の逆転可能性の主張を揺るがす。著者らは、ペッツ・レニー多様体の極限やブロックベースの仮説検定といった代替的手法を提案し、弱い形の逆転可能性を回復する道筋を示唆し、元の主張を回復するための未解決の問題を提示する。

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.

研究の動機と目的

• 一般化量子スティンの補題の証明における補題III.9の重大な誤りを特定・診断し、その結果、主な達成結果が無効であることを示す。
• この誤りが、特にもつれおよび一般の量子資源の漸近的逆転可能性とされる基礎的結果に与える影響を評価する。
• ペッツ・レニー多様体の極限やブロックベースの仮説検定といった代替戦略を提案し、追加の仮定のもとで元の結果を回復できる可能性を検討する。
• この誤りの影響により、文献におけるどの結果が不確実になったか、どの結果がBP10aの正しさとは独立して依然有効であるかを明確にする。
• 元の漸近的逆転可能性の枠組みを回復するための未解決の予想および研究課題を提示する。

提案手法

• BP10aの補題III.9に内在する誤りを特定し、それが複合量子仮説検定における双対性の誤った適用に起因することを示す。
• 状態と状態の凸集合との区別可能性を分析する中心的ツールとして、仮説検定相対エントロピー $ D_H^\beta(\rho\big\bracevert\tau) $ を用いる。
• 特に $ \beta \to 1^- $ の極限において、仮説検定相対エントロピーとペッツ・レニー多様体 $ D_\beta(\rho\big\bracevert\tau) $ の漸近的等価性を検討し、量子相対エントロピーを回復する。
• 最小最大の議論を用いて、$ \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) $ における極限の交換可能性を検証する。
• BHLP (20) や BBH (21) における複合量子スティンの補題の代替バージョンを用い、資源理論におけるより弱いが依然意味のある逆転可能性結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 BP10aの補題III.9における誤りの正確な性質は何か？ そして、それが一般化量子スティンの補題の主な達成結果をどのように無効にしているのか？
• RQ2 量子もつれおよび一般の量子資源の漸近的逆転可能性に関する結果が、一般化量子スティンの補題の正しさにどの程度依存しているか？
• 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の補題III.9には根本的な欠陥が存在し、一般化量子スティンの補題の主な達成結果を無効にしている。これにより、補題III.1の直接的証明は未解決のままである。
• 補題III.1の逆転部分および補題III.3の系は、誤った補題III.9に依存していないため、依然有効である。
• BP (08); BP10b; BG (15) が主張する、漸近的に生成しない操作下でのもつれおよび一般の量子資源の逆転可能性は、基礎的補題の無効化により疑問視されるようになった。
• ペッツ・レニー多様体の極限 $ \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) における予想された極限の交換が解決されれば、一般化量子スティンの補題が回復され、量子資源理論における漸近的逆転可能性の枠組みが再確立される。