Genuine certification of incompatible quantum instruments through sequential communication tasks

技術要約：逐次通信タスクを通じた量子インストルメントの真の非適合性の認証

問題提起
量子的な非適合性（incompatibility）は、量子理論を古典理論から区別する決定的な特徴であり、測定、チャネル、そしてより一般的には量子インストルメント（quantum instruments）において顕在化します。測定やチャネルの非適合性は広く研究され、ベル非局所性や量子ステアリングのようなリソースと結び付けられてきましたが、量子インストルメントの非適合性の操作的な意義については、まだ十分に探索されていません。量子インストルメントは、測定と量子チャネル（状態更新）を単一のエンティティとして包含しています。

認証プロトコルには、重要なギャップが存在します。既存の手法は、多くの場合、インストルメントによって誘導される測定やチャネルの非適合性に依存しています。しかし、誘導された測定および誘導されたチャネルが互いに適合している場合でも、インストルメントのペア自体は非適合である可能性があります。このようなインストルメントは、**本質的に非適合（intrinsically incompatible）**であると呼ばれます。本論文は、「真の」認証プロトコル、すなわち、誘導された構成要素の非適合性に依存することなく、インストルメント自体の非適合性を認証できるプロトコルの設計という課題に取り組んでいます。

手法
著者らは、以下の3者の関与による逐次通信タスクに基づく、**半デバイス非依存（SDI）**フレームワークを提案しています。

1. アリス（送信者）： 入力 $x$ を受け取り、$d_A$ 次元のシステム（古典的または量子的なもの）をボブに送る。
2. ボブ（中継者）： 入力 $y$ とアリスからのメッセージを受け取る。彼は量子インストルメント $\{I_y\}$ を実装し、古典的な出力 $b_y$ を生成するとともに、チャーリーへ送るための量子状態を生成する。
3. チャーリー（受信者）： ボブから受け取った状態（入力 $y$ はなし）を受け取り、測定を行って出力 $c$ を生成する。

性能は、条件付き確率 $p(b_y, c|x, y)$ の線形関数である性能指標 $S$ によって定量化されます。著者らは、3つの達成可能な統計量の集合を定義しています。

• $C$: 古典的な戦略（古典的なメッセージ）。
• $Q$: 一般的な量子戦略（量子的なメッセージ、潜在的に非適合なインストルメント）。
• $QC$: ボブのインストルメントが適合している量子戦略。

核心となる手法は、適合したインストルメントによって達成可能な性能指標のタイトな上界 $S^{QC}_{op}$ を導出し、それを古典的な境界 $S^{C}_{op}$ および最適な量子境界 $S^{Q}_{op}$ と比較することです。著者らは、特定のタスクにおいて $S^{C}_{op} = S^{QC}_{op}$ となることを証明しています。したがって、この境界のいかなる違反（$S > S^{C}_{op}$）も、ボブのインストルメントが非適合であることを認証します。

主要な貢献と結果

1. 古典的戦略と適合な量子戦略の操作的な等価性：
   本論文は、任意の逐次通信タスクにおいて、古典的な戦略によって達成可能な統計量の集合が、適合なインストルメントを用いた量子戦略によって達成可能な統計量の部分集合であること（$C \subseteq QC$）を証明する命題1を確立しています。その結果、これらのタスクにおける最適な古典的性能指標は、最適な適合量子インストルメントの性能指標と等しくなります（$S^{C}_{op} = S^{QC}_{op}$）。これにより、いかなる量子的な優位性も、インストルメントの非適合性に由来しなければならないことが示されます。

2. 真の認証の定義：
   著者らは、誘導された測定およびチャネルが互いに適合している場合でも、一対の非適合なインストルメントを認証できるプロトコルを「真の（genuine）」認証と定義しています。彼らは、周辺確率（例：$p(b_y|x,y)$ や $p(c|x,y)$）のみに依存する標準的な性能指標は、適合な誘導成分があれば十分であるため、これを達成できないことを示しています。提案されたプロトコルは、結合統計量 $p(b_y, c|x, y)$ に依拠しています。

3. $(m_A, d)$-逐次XORタスク：
   著者らは、アリスが次元 $m_A$ のメッセージを送り、タスクがモジュロ-$d$ 算術を含む、パラメータ $(m_A, d)$ によって特徴付けられる特定のタスクの族を導入しています。

   • ケース $(2, 2)$： 最も単純なケース（$m_A=2, d=2$）において、著者らは適合なインストルメントに対するタイトな上界 $S^{QC}_{op}(2, 2) = 3/4$ を導出しています。
   • 本質的に非適合なペア： 彼らは、誘導された測定は（一方が自明であり）適合であり、誘導されたチャネルは同一（したがって適合）である、特定の量子ビット・インストルメントのペア $(J_0, J_1)$ を構築しています。それにもかかわらず、このペアは本質的に非適合であることが証明されています。
   • 量子的な優位性： この $(J_0, J_1)$ ペアを用いると、量子性能指標は $S^{Q}_{op}(2, 2) = \frac{1}{2}(1 + \frac{1}{\sqrt{2}}) \approx 0.853$ に達し、古典的／適合な境界である $0.75$を厳密に超えます。この違反は、$(J_0, J_1)$ の非適合性を真に認証します。

4. 次元 $d$ への一般化：
   結果は $(d, d)$-逐次XORタスクへと一般化されています。著者らは、適合なインストルメントの場合、境界は $S^{QC}_{op}(d, d) = \frac{1}{2}(1 + \frac{1}{d})$ となることを示しています。彼らは、本質的に非適合であり、量子性能指標 $\frac{1}{2}(1 + \frac{1}{\sqrt{d}})$ を達成する $d$ 次元のインストルメントのペア $(\hat{J}_0, \hat{J}_1)$ を構築しています。これはすべての $d \geq 2$ に対して境界を違反します。

5. 最小シナリオによる認証：
   本論文は、アリスが3つの入力（$n_A=3$）を持ち、バイナリ出力と次元を持つ最小のシナリオを調査しています。彼らは特定の性能指標 $\bar{S}$ を定義し、適合なインストルメントに対して境界が $\bar{S}^{QC}_{op} = 4$ であることを証明しています。これは、タスクの構造が適切に設計されていれば、$(2, 2)$ XORタスクよりも入力数の少ないシナリオにおいても、真の認証が可能であることを示しています。

意義
本論文は、この研究が量子インストルメントの非適合性の真の認証に関する最初の操作的な実証を提供すると主張しています。誘導された成分が適合している場合でも、インストルメントの非適合性を認証できることを示すことで、著者らは、インストルメントの非適合性が単なる測定やチャネルの非適合性の副産物ではなく、独立した根本的な特徴であることを確立しています。

その意義は二重です。

1. 基礎的側面： 測定およびチャネルの非適合性の認証を、より広範なインストルメントの非適合性の枠組みの下に統合し、後者が特定の操作的な文脈において、前者よりも厳密に強い概念であることを示しています。
2. リソースの特定： インストルメントの非適合性を、逐次通信タスクにおける量子的な優位性のためのリソースとして特定しています。特に、「古典的」な限界が適合な量子インストルメントによって定義されるシナリオにおいて、その重要性が示されています。

著者らは、この認証プロトコルが「真の」ものであると結論付けています。なぜなら、それは誘導された成分の非適合性に依存せず、インストルメント自体の非適合性を量子的な優位性の源泉として孤立させているからです。