Certified quantum supremacy in entanglement-assisted prepare-measure random-access-code

技術要約：もつれ支援型準備・測定ランダムアクセス符号における認定された量子超越性

問題提起
本論文は、標準的な準備・測定ランダムアクセス符号（PMRC）の限界に対処するものである。PMRCとは、送信者（アリス）が$n$ビットの文字列を次元$d$の物理系（$l < n$ビットまたは量子ビットを送信）にエンコードし、受信者（ボブ）が入力$y$に基づいた特定のビット$x_y$をデコードする枠組みである。標準的な量子PMRCは古典的なものに対して優位性を示すが、本研究では**事前にもつれ（エンタングルメント）**によって強化された「半デバイス独立（SDI）」シナリオを調査している。具体的には、著者らは、アリスとボブが二部系もつれ状態を共有している$n \to l$ もつれ支援型PMRCゲームの族を探索する。アリスは、自身の入力$x$をエンコードするために自身の部分系に局所量子操作（ユニタリ変換）を施し、その$l$個の量子ビットをボブに送信する。その後、ボブは受け取った量子ビットと、自身が保持しているエンタングルメントの半分を用いて、結合測定を行う。本研究の目的は、これらのゲームにおける最適な量子成功確率を決定し、古典的RACおよび標準的な（もつれを用いない）量子PMRCに対する「量子超越性」を実証することである。

手法
著者らは、通信される系のヒルベルト空間の次元に制限を設けた上で、準備および測定デバイスの内部動作を信頼しない半デバイス独立の枠組みを採用している。核心となる手法は以下の通りである：

1. 解析的最適化： 著者らは、特定のケース（$4 \to 1$、$4 \to 2$、および$5 \to l$）における最適な成功確率を、洗練された解析的手法を用いて導出した。これには、相関関数$I$の観点から成功確率を定式化し、凸不等式およびスケーリングされたフロベニウスノルムの性質を用いて最大化するプロセスが含まれる。
2. 状態および測定の認定： 最適な相関値を実現するために必要な条件を分析することにより、著者らは、共有されている量子状態、アリスのエンコーディング・ユニタリ、およびボブの測定観測量の必要特性を導き出している。
3. 一般化： この枠組みは、任意の$n$に対する量子成功確率の上界を導出するために、一般的な$n \to n-2$のケースへと拡張されている。

主要な貢献と結果

• $4 \to 1$ もつれ支援型PMRC：

  • 著者らは、最適な量子成功確率を $(P_{4\to1}^Q)_{opt} = \frac{1}{2} + \frac{1}{2\sqrt{2}} \approx 0.853$ と解析的に導出した。
  • この値は、$4 \to 2$における最適な古典的成功確率（$P_{4\to2}^C = 0.75$）および標準的な量子PMRC（$P_{4\to1}^{SQ} \approx 0.7415$）を上回っている。
  • 認定（サーティフィケーション）： この最適な確率を達成することは、共有された状態が最大もつれ二量子ビット状態であり、アリスのエンコーディング操作が特定の互いに反交換するユニタリ変換であり、かつボブの測定がこれらの状態によって一意に決定されることを認定する。これは、ユニタリ操作の「セルフテスティング」能力を確立するものである。

• $4 \to 2$ もつれ支援型PMRC：

  • 最適な量子成功確率は $(P_{4\to2}^Q)_{opt} = \frac{1}{2} + \frac{\sqrt{3}}{4} \approx 0.933$ と導出された。
  • これは、3つの古典的ビットが通信された場合（$P_{4\to3}^C$）の古典的限界さえも凌駕する。
  • 状態の必要性： 著者らは、この最適値を達成するためには、共有された状態が三量子ビットGHZ状態（またはGHZクラスの状態）である必要があることを証明した。$4 \to 1$のケースとは異なり、このケースにおいて基底間の「グランド・ユニタリ」変換の存在を解析的に証明することの難しさに言及しているが、状態と測定に関する明示的な構成は提示している。

• $5 \to l$ もつれ支援型PMRC：

  • 本論文は、$5 \to 1$、$5 \to 2$、および$5 \to 3$のシナリオに対する上界を導出している。
  • 導出された上界は、それぞれ約$0.847$、$0.887$、および$0.947$である。
  • これらの結果は、同一の通信制約下において、古典的RACに対する量子的な優位性を一貫して示している。

• 一般的な $n \to n-2$ のケース：

  • 枠組みは、$l = n-2$である任意の$n$へと一般化されている。
  • 量子成功確率の上界が $P_{n\to n-2}^Q \leq \frac{1}{2} + \frac{\sqrt{n(n-1)}}{2^n}$ として導出された。
  • 本論文は、$n=\{3, 4, 5\}$において、先に導出された具体的な結果がこの一般的な上界を満たすことを確認している。

意義と主張
本論文は、もつれ支援型通信ゲームの文脈において、認定された量子超越性を実証していると主張している。主な意義は、古典的および標準的な量子プロトコルを凌駕するだけでなく、半デバイス独立な方法で基礎となる物理的リソースと操作を**認定（サーティファイ）**できる点にある。

具体的には、著者らは以下のことを主張している：

1. 優位性： もつれ支援型PMRCは、解析されたケースにおいて、古典的RACおよび標準的な量子PMRCの両方を厳密に上回る。
2. セルフテスティング： $4 \to 1$のケースにおける最適成功確率は、共有された状態が最大もつれ状態であり、アリスの局所ユニタリ操作が特定の反交換演算子であり、ボブの測定が固定されていることを認定する証拠（ウィットネス）として機能する。
3. リソースの特定： $4 \to 2$のケースにおいて、最適値は共有されたリソースがGHZクラスの状態である場合にのみ達成可能であることが示されており、これらの通信タスクにおける多部系もつれの具体的な役割を浮き彫りにしている。

著者らは、彼らの概念的および技術的枠組みが、もつれ支援型通信ゲームを系統的に調査するための基礎を提供するものであると結論付けている。ただし、任意の$l$に対する一般的な$n$ビットのケースは計算量的に困難であり、今後の課題として残されていることも述べている。また、ノイズに対するこれらのプロトコルの堅牢性を研究することも、潜在的な将来の研究方向であると示唆している。