Certifying Measurement Incompatibility under Bounded Classical Communication

技術要約：限定された古典通信下における測定不両立性の認証

問題の定義
測定の不両立性（incompatibility）は、通信、状態識別、およびデバイス非依存プロトコル（量子鍵配送やプライベート乱数生成など）における量子的な優位性を可能にする基本的なリソースである。不両立性はベル非局所性のために必要であるが、古典的な通信が許容される実験設定においてそれを認証することは困難である。独立した測定の選択が行われる標準的なベルシナリオでは、両立可能な測定は局所隠れた変数モデルをもたらす。しかし、送信者が古典的なメッセージを受信者に送る場合、受信者はその情報を用いて測定を選択したり出力を生成したりすることができ、本来であれば不両立な測定を必要とする統計量を再現してしまう可能性がある。

本稿が扱う中心的な問題は、「受信者が送信者から限定された古典メッセージ $m$ を受け取っているという条件下で、観測された条件付き確率 $p(b|x, y)$ のみに基づいて、受信者の測定が不両立であることを認証できるか？」 という点である。課題は、真に不両立な測定によって生成された統計量と、許可された古典通信および任意の非シグナリング（nonsignalling）共有リソースによって補完された両立可能な測定によって説明可能な統計量とを区別することにある。

手法
本稿では、最大漏洩（maximal leakage）の概念から派生した情報理論的な量である**「和最大漏洩（union maximal leakage）」**に基づくフレームワークを導入する。手法は以下の通りである。

1. 古典シミュレーションモデル: 著者は、「共通の古典的シミュレーション」を定義する。ここでは、送信者の入力 $x$ がランダム変数 $Z$（メッセージおよび共有リソースの出力を表す）へとエンコードされる。受信者の出力 $b$ は、$Z$ と受信者の測定設定 $y$ に条件付けられた応答チャネルによって生成される。
2. 和最大漏洩 ($\Lambda_\cup$): 不両立性を定量化するために、著者は $\Lambda_\cup(p)$ を、すべての可能な設定に対する出力の文字列 $s$ を持つ結合出力分布 $q(s|x)$ の最小値として以下のように定義する：
   $$\Lambda_\cup(p) := \min_{q \in \mathcal{C}(p)} \sum_{s \in \Omega} \max_{x} q(s|x)$$
   ここで、$\mathcal{C}(p)$ は観測された周辺分布 $p(b|x, y)$ と矛盾しない結合分布の集合である。この量は、シミュレーションの出力から送信者の入力 $x$ を推測する際の最適な確率の乗法的増加を表している。
3. 線形計画法による定式化: $\Lambda_\cup(p)$ の最小化は線形計画法（LP）として定式化される。変数は結合出力確率およびその上界である。これにより、基礎となる量子状態や測定演算子を再構成することなく、観測データから直接不両立性の認証量を計算することが可能になる。
4. 双対性とウィットネス: LPの双対は、観測された確率の重み付き和である線形ウィットネス $W(p)$ を提供する。$W(p)$ が通信境界を超えた場合、それは不両立性を認証する。

主な貢献と結果

• 両立性境界: もし受信者の測定が各メッセージ値 $m$ に対して両立しており、メッセージのアルファベットサイズが $|M| \le 2^k$（$k$ ビット）であるならば、和最大漏洩は次を満たすことを本稿は証明している：
  $$\Lambda_\cup(p) \le |M|$$
  この境界は、あらゆる非シグナリング操作理論において成立する。この境界の違反（$\Lambda_\cup(p) > |M|$）は、少なくとも一つのメッセージ値に対して測定が不両立であることを認証する。
• 量子もつれの含意: 量子理論において、もし古典通信を用いてこの境界が破られた場合、最初に共有されていた量子状態は量子もつれ状態（entangled state）でなければならない。本稿は、共有された乱数または可分状態（separable state）を用いるいかなるプロトコルも、境界 $\Lambda_\cup(p) \le |M|$ を満たすことを確立している。
• 逆問題とシミュレーションコスト: $\lceil \Lambda_\cup(p) \rceil$ は、両立可能な測定と任意の非シグナリングによる補助を用いて観測結果を再現するために必要な最小のメッセージ・アルファベットサイズであることが示されている。したがって、この指標はタイト（tight）である。
• ベル非局性とによる特性付け: 固定された共有量子状態と固定された受信者測定に対し、本稿はいつ違反が起こり得るかを正確に特徴付けている。違反は、あるメッセージ値 $m$ に対して、受信者の測定（$m$ に条件付けられたもの）が、その状態に対する2出力の送信者測定の族に対してベル非局性的である場合にのみ発生する。これにより、通信ベースのテストが標準的なベル非局性と直接結び付けられる。
• プライベート乱数生成の認証: 著者は、送信者（潜在的に敵対的）が受信者の出力と相関した量子サイド情報を保持している場合のプライベート乱数生成にこのテストを適用している。
  • 条件付きフォン・ノイマン・エントロピー $H(B|EXYM)$（ここで $E$ は敵対者のシステム）の明示的な下界を、違反の大きさ $\delta = [\Lambda_\cup(p) - |M|]^+$ に基づいて導出している。
  • 一般化されたエントロピー蓄積（entropy accumulation）を用い、デバイスにメモリがある場合でも、逐次ラウンドにわたってコンポーザブルに安全な（composably secure）乱数抽出を行うプロトコルを確立している。このプロトコルは、抽出された文字列がほぼ一様であり、かつ敵対者から独立していることを保証する。

意義と主張
本稿は、限定された古典通信が存在する場合における測定の不両立性を認証するための、堅牢でデバイス非依存な（状態や測定の再構成を必要としないという意味での）手法を提供すると主張している。

• 汎用性: 特定の状態推定モデルや既知の測定演算子を必要とする従来のテストとは異なり、このテストは観測された確率 $p(b|x, y)$ から直接動作する。
• タイト性: 境界は達成可能かつ必要であることが示されており、指標 $\Lambda_\cup(p)$ は適合的な説明に必要な通信コストを正確に定量化している。
• ベル非局性との関連: 本研究は、通信による不両立性とベル非局性の関係を明確にしており、固定されたリソースに対して通信境界を破る能力は、2出力の送信者測定を用いたベル不等式の破れと等価であることを示している。
• 暗号学的応用: 本稿は、受信者と通信し、かつ量子サイド情報を保持する送信者に対するプライベート乱数生成の認証手法を提供することで、プライベート乱数生成の分野に貢献している。不両立性境界の違反が、敵対者の不確実性の下限に直接変換され、安全な抽出を可能にすることを確立している。

著者は、シミュレーションにおいて任意の非シグナリングリソースを許容しているものの、シミュレーションを量子リソースに限定した場合、特定の確率に対してより多くの通信が必要になる可能性があり、これはより強力なテストのための未解決の課題であると述べている。本研究は、実験的な認証やセキュリティ証明への即時適用が可能な理論的フレームワークとして提示されており、特定の新しい実験装置を提案するものではない。