[論文レビュー] Quantum complementarity: A novel resource for unambiguous exclusion and encryption

Chung-Yun Hsieh, Roope Uola+1 more|arXiv (Cornell University)|Sep 21, 2023

Quantum Mechanics and ApplicationsPhysics and Astronomy被引用数 3

ひとこと要約

本稿は、$η$-unambiguous exclusionを新しい量子情報タスクとして導入し、量子補完性が明確な状態除外と暗号化の利点を達成するための操作的資源として機能することを示している。測定の補完性が、限られた不確実性のもとでゼロエラー暗号化を可能にすることを確立し、補完性を測定不整合性および量子スティアリングと結びつける。

ABSTRACT

Complementarity is a phenomenon explaining several core features of quantum theory, such as the well-known uncertainty principle. Roughly speaking, two objects are said to be complementary if being certain about one of them necessarily forbids useful knowledge about the other. Two quantum measurements that do not commute form an example of complementary measurements, and this phenomenon can also be defined for ensembles of states. Although a key quantum feature, it is unclear whether complementarity can be understood more operationally, as a necessary resource in some quantum information task. Here we show this is the case, and relates to a novel task which we term $η$-unambiguous exclusion. As well as giving complementarity a clear operational definition, this also uncovers the foundational underpinning of unambiguous exclusion tasks for the first time. We further show that a special type of measurement complementarity is equivalent to advantages in certain encryption tasks. Finally, our analysis suggest that complementarity of measurement and state ensemble can be interpreted as strong forms of measurement incompatibility and quantum steering, respectively.

研究の動機と目的

• 量子補完性を、具体的な量子情報タスクに結びつけることで操作的定義を可能にすること、特に $η$-unambiguous exclusion を対象とする。
• 測定の補完性と状態集合の補完性が、暗号化タスクにおける利点をもたらすリソースであることを実証すること。
• 操作的タスクを通じて、補完性が量子スティアリングおよび測定不整合性において果たす基礎的役割を明確化すること。
• 除外プロトコルにおける誤り確率および不確実性の上限を導出することで、補完性の操作的意義を形式化すること。
• 測定アセンブリが補完的である場合にのみゼロエラー暗号化が可能であることを示し、補完性とセキュリティ利点の直接的関連を確立すること。

提案手法

• $(n+1)$-出力POVMを用いて、エンsemblesから非選択状態を除外するタスク、すなわち $η$-unambiguous exclusion を導入。このタスクでは、最大 $η$ の確率でラウンドを無視する（すなわち $Q_{\emptyset} \leq \eta\mathbb{I}$）。
• 測定補完性を、すべての $x$ に対して $P(a_x|x,\rho)$ のすべての結果確率を同時に下界 $\ell(\rho) = \mathrm{tr}(M\rho)$ で抑えられるような非自明な状態依存下界が存在しない条件として定義。ただし $M=0$ の場合に限る。
• 操作的タスクを用いて、ゼロエラー暗号化の必要十分条件を導出：すべての $b$ に対して $\mathrm{tr}(E_{a_*|0}P_b) + \mathrm{tr}(E_{b|1}(\mathbb{I}-P_b)) = 0$。これは $E_{a_*|0}$ と $E_{b|1}$ の間で直交する補助空間を持つことを意味する。
• トレース距離双対性を適用し、測定演算子間に直交する補助空間がある場合、$E_{a_*|0} = 0$ が導かれ、補完性が成立しない限り矛盾が生じることを示す。
• 相互に偏りのない基底（$|0\rangle,|1\rangle$ および $|+\rangle,|-\rangle$）を用いた2キュービット例を分析し、ゼロエラー除外を達成するための最小不確実性 $\eta_{\text{min}} = 2/(1+\sqrt{2}) \approx 0.828$ を計算。
• 半定型計画法を用いて、不整合性ウィtness $\mathrm{IW}(\mathbf{E})$ の上界を導出し、$1 - \mathrm{IW}(\mathbf{E}) \leq \frac{w^n C_{\text{POVM}}}{d}$ を示し、補完性と不整合性の間の定量的関連を確立。

実験結果

リサーチクエスチョン

• RQ1 量子補完性は、特定の量子情報タスクを通じて操作的定義を与えることができるか？
• RQ2 測定の補完性は、明確な除外および暗号化タスクにおけるリソース的利点を提供するか？
• RQ3 測定アセンブリの補完性は、測定不整合性および量子スティアリングとどのように関連するか？
• RQ4 与えられた補完的測定アセンブリに対して、ゼロエラー明確除外を達成するために必要な最小不確実性 $\eta$ は何か？
• RQ5 暗号化における操作的利点は、測定アセンブリの補完性度と定量的に結びつけることができるか？

主な発見

• 量子補完性は、ゼロエラー明確除外を達成するための必須リソースとして操作的に定義され、最大 $η$ の確率でラウンドを無視する必要があるタスクとして特徴づけられる。
• 測定アセンブリ $\mathbf{E}$ が補完的であるとは、すべての $x$ に対して $E_{a_x|x} \geq M \Rightarrow M=0$ が成り立つことと同値である。これは、すべての結果確率を同時に非自明な状態依存下界で抑えられないことを意味する。
• ゼロエラー暗号化は、測定アセンブリが補完的である場合にのみ可能である。これは、$E_{a_*|0}$ と $E_{b|1}$ の間で非直交補助空間を仮定した場合に矛盾が生じることから示される。
• 相互に偏りのない基底を用いた例では、最小不確実性は $\eta_{\text{min}} = 2/(1+\sqrt{2}) \approx 0.828$ であり、成功確率は約 $0.2929$ でゼロエラー除外が可能である。
• 不整合性ウィtness $\mathrm{IW}(\mathbf{E})$ は $\frac{w^n C_{\text{POVM}}}{d}$ で上界が与えられ、補完性と測定不整合性の間の定量的関連を示している。
• 測定アセンブリの補完性は、測定不整合性と操作的に同等であり、状態集合の補完性は量子スティアリングに対応する。これにより、基礎的関連が確立される。