Genuine Multipartite Nonlocality for Arbitrary Input: Maximal Randomness Generation and Robust Self-Testing

本論文は、任意の奇数個の測定に対して、真の多粒子非局所性の次元に依存しないセルフテストを可能にし、最大級のデバイス非依存乱数生成を実現し、かつ実験的実現可能性のためのノイズ耐性を向上させた、新しいベル不等式を導入するものである。

要約

想像してみてください。あるグループの友人たちが、部屋の向こう側で複雑な「伝言ゲーム」をしている様子を。ただし、言葉をささやくのではなく、秘密の量子コインを共有しているのです。物理学の世界では、このゲームは**ベル・テスト（Bell test）**と呼ばれています。通常、科学者たちは、各プレイヤーがたった2つの選択肢しか持たない単純なルールブック（ベル不等式）を用いて、友人たちが不正をしていないかを確認します。もし彼らがそのルールを破れば、単なる事前に合意された信号ではなく、「不気味な」量子的なつながりを用いていることがわかります。

しかし、この論文は、より多くの人数（任意の数の人々）で、かつより多くの選択肢（3、5、7といった奇数の選択肢）を持つための、より洗練された新しいルールブックを紹介しています。

著者が達成したことを、シンプルな概念ごとに分かりやすく解説します。

1. 「真のチームワーク」の検出器（真正多粒子非局所性）

従来のゲームでは、システムを欺くことができてしまう場合がありました。例えば、2人の友人が密かに結託して残りの1人を出し抜こうとする、といった具合です。これは「バイローカル（二局所的）」な振る舞いと呼ばれます。

著者らが作成した新しいルールブックは、**「真のチームワーク」**を見抜くことができる特別なものです。それは、以下の違いを判別できます：

• 偽のチームワーク： 2人が残りのメンバーに対して共謀している状態。
• 真のチームワーク： グループ内のどの部分集合（サブセット）も、単独では説明できないほど、全員が深く結びついている状態。

これはパズルのようなものです。古いルールでは、2人のグループがパズルの半分を解いてシステムを欺くことができました。しかし、この新しいゲームでは、全員が多くの選択肢を持っているためにパズルが非常に複雑になっており、全員が完璧に協力しなければ解けないようになっています。もしグループがルールを破れば、それは全員が真に連結されていることを証明することになります。

2. 「魔法の数学」のトリック（平方和：Sum-of-Squares）

通常、量子システムがどれほどうまく機能しているかを証明するには、物理学者はそのシステムが小さい（単純な2ビットコンピュータのような）ものであると仮定する必要があります。しかし、実際の量子システムは巨大で、非常に複雑です。

著者らは、平方和（SOS）分解と呼ばれる巧妙な数学的ツールを使用しました。箱を開けずに、その中に金が入っていることを証明しようとする場面を想像してください。箱のサイズを推測する代わりに、彼らは箱のサイズがどれほどであっても機能する数学的な「秤（はかり）」を作り上げました。これにより、測定している量子世界の規模を知ることなく、量子システムが得られる絶対的な最高スコアを算出することが可能になりました。

3. 「セルフテスト」（機械が本物であることの証明）

量子技術における最大の課題の一つは、マシンを信頼できるかどうかです。もしデバイスが「量子的なランダムネスを生み出している」と言ったとしても、それが単にランダムな数字を生成しているだけの偽物のコンピュータではないと、どうやって確信できるのでしょうか？

この論文は、セルフテストを提供しています。これは、量子マシンのための「運転免許試験」のようなものです。マシンが新しいルールブックを特定の方法で破っているかどうかを確認することで、以下のことを数学的に証明できます：

• そのマシンが特定の量子状態（完璧に同期したダンスのような「GHZ状態」）を保持していること。
• マシンが粒子を正しく測定していること。

マシンの中を見る（箱を開ける）必要はありません。ゲームの結果そのものが、内部で何が起きているかを正確に教えてくれるのです。

4. 「純粋なランダムネス」の工場

ランダムネス（無作為性）は、暗号化やセキュリティにおいて価値のあるリソースです。著者らは、この新しいゲームが完璧な量子レベルで行われるとき、そのプレイヤー数に対して可能な限り最大量のランダムネスを生成することを示しました。

• プレイヤーが3人の場合、3ビットの純粋なランダムネスが得られます。
• プレイヤーが5人の場合、5ビットが得られます。

これまでの手法では、プレイヤーが全員真に連結されていない場合にのみ、これほどのランダムネスを得ることができました。この論文は、最大級のランダムネスを得ると同時に、全員が真に連結されていることを同時に証明できる初めての手法です。

5. 「ノイズ耐性」のシールド

現実の世界は混沌としています。そこには、ラジオの静電気や手の震えのような「ノイズ」が存在します。通常、実験に少しでもノイズが混じると、証明は崩れ、結果を信頼できなくなります。

しかし、著者らは驚くべき利点を見出しました：プレイヤーに与える選択肢（設定）を増やすほど、ゲームはノイズに対して強くなるのです。

• 弱い橋が、少しの風で崩壊してしまう様子を想像してください。
• この新しいゲームは、車線を増やせば増やすほど頑丈になる橋のようなものです。
• 実験が完璧ではなくても、プレイヤーの選択肢（設定）が十分に多ければ（例えば、わずか3つではなく11個など）、多少の「静電気（ノイズ）」があっても、システムが正しく機能し、ランダムネスを生成していることを証明できることを著者らは示しました。

まとめ

この論文は、多くの人々が関わる量子システムをテストするための、新しい堅牢な方法を導入しています。多くの選択肢を持つ複雑なルールブックを用いることで、全員が真に繋がっていること（真正多粒子非局所性）を証明し、システムが最大限のランダムネスを生成することを可能にし、実験に多少のノイズがあっても機能する自己検証メカニズムとして機能します。これは、ハードウェアを信頼することなく、安全で検証可能な量子ネットワークを構築するための大きな一歩です。

技術概要

技術要約：任意の入力に対する真の多体非局所性：最大ランダムネス生成とロバストなセルフテスティング

問題提起
ベル非局所性は、量子デバイスのデバイス非依存（DI）認証の基礎となる。二体系の非局所性はよく理解されているが、多体系のシナリオはより豊かな相関の階層、具体的には、局所的および二体系のリソースを組み合わせたハイブリッドモデルに還元できない「真の多体非局所性（GMNL）」を示す。GMNLを証跡するための既存の枠組み（スヴェトリーチニー型の不等式など）は、しばしば以下の制限に直面する：

1. 入力の制約： Mermin–Ardehali–Belinskii–Klyshko (MABK) ファミリーのような標準的な不等式の多くは、各当事者が2つの測定設定を持つシナリオに限定されている。
2. 解析的障壁： オペレーターを $2\times2$ ブロックに分解することで解析を簡略化するジョルダンの補題の使用は、2入力のシナリオにおいてのみ有効である。これは、任意の数の測定設定（$n \ge 3$）を持つシナリオの解析的な取り扱いを妨げる。
3. ランダムネスとロバスト性： 最大 $m$ ビット（$m$ 個の当事者）のDIランダムネスを認証する既存の手法は、GMNLを証跡できないか、あるいは多設定シナリオにおける実験的ノイズに対するロバスト性の解析に欠けている。

手法
著者らは、各当事者が任意の奇数個の測定入力 $n$ を持つ、任意の $m$ 体シナリオに対して設計されたベル汎関数 $\Gamma_m^n$ の一族を導入する。核となる手法の革新は以下の通りである：

• 解析的な平方和（SOS）分解： ジョルダンの補題の制限を回避するために、著者らは解析的なSOS分解を構築する。著者らは、特定のヒルベルト空間次元を仮定することなく、ベル汎関数が最適な量子値を上回るように、正定値オペレーター $\gamma_m^n$ を定義する。これにより、最適な量子違反の完全なデバイス非依存の導出が可能となる。
• スワップ回路によるセルフテスティング： 著者らは、スワップベースの認証スキームを用いる。未知の物理状態と観測量を、参照システム（具体的にはGHZ状態）へと写像する局所的なイソメトリ（スワップ回路）を構築することで、これを行う。これにより、最適な量子違反を達成することが、局所的なイソメトリを除いて、基礎となる状態と観測量を一意に認証することを確認する。
• ロバスト性解析： 三体系のケースにおいて、著者らは実験的な不完全性を、実装された観測量の偏差としてモデル化する。彼らは、観測された違反と、抽出された状態および観測量のフィデリティ、ならびに認証されたランダムネスとの間の明示的な境界を導出する。

主要な結果

1. 最適な量子違反とGMNL：
   著者らは、提案された不等式の最適な量子値を $(\Gamma_m^n)_{Q}^{opt} = 2n^{m-1} \cos(\frac{\pi}{2n})$ として導出する。彼らは以下の厳密な階層を解析的に証明する：
   $$(\Gamma_m^n)_{Q}^{opt} > (\Gamma_m^n)_{BL} > (\Gamma_m^n)_{L}$$
   ここで、$(\Gamma_m^n)_{BL} = 2n^{m-2}(n-1)$ はバイローカル（二局所）境界であり、$(\Gamma_m^n)_{L} \le 2(n-1)^{m-1}$ は完全なローカル（局所）境界である。この分離は、任意の奇数 $n$ および任意の $m$ に対してGMNLの証跡を裏付けるものである。

2. 最大DIランダムネス生成：
   この枠組みは、最適な量子違反において、最大 $m$ ビットの最大グローバルDIランダムネスの抽出を可能にする。著者らは、特定の測定設定において、結合確率分布が一様（$1/2^m$）になることを示し、$R_{max} = m$ を導き出す。これは、従来の最大ランダムネス認証がGMNLの提示と相反していた制限を克服するものである。

3. GHZ状態と観測量のセルフテスティング：
   本論文は、明示的なセルフテスティングに関する記述を提供している。最適な違反を達成した場合：

   • 共有された状態は、純粋なもつれ状態（具体的にはGHZ状態 $|GHZ\rangle = \frac{1}{\sqrt{2}}(|0\rangle^{\otimes m} + |1\rangle^{\otimes m})$）として認証される。
   • 測定観測量は、特定の反交換関係と期待値、例えば $\langle \{A_k^{i_k}, A_k^{i_k+x}\} \rangle = 2(-1)^x \cos(\frac{\pi x}{n})$ を満たす。
   • これらの特性は、システム次元の仮定なしに認証される。

4. ノイズに対するロバスト性：
   三体系のシナリオにおいて、著者らは、実装された観測量の不完全さに対する耐性が、測定設定の数 $n$ と共に増加することを示す。$n$ が大きくなるにつれて、量子境界とバイローカル境界の差が広がり、理想的な最大値よりも大幅に低い違反であっても、状態と観測量の抽出に成功できる。例えば、$n=11$ の場合、理想的な最大値よりも著しく低い違反であっても、高いフィデリティで状態を抽出できる。

意義と主張
本論文は、以下の3つの目標を同時に達成することで、多体系の量子リソースの認証におけるギャップを埋めることを主張している：

1. 一般化： GMNLの証跡を、制限的な2設定のパラダイムを超えて、任意の数の測定設定（奇数 $n$）を持つシナリオへと拡張した。
2. 最大ランダムネス： 最大 $m$ ビットのDIランダムネスが、真に非局所的な領域内で具体的に認証できることを示し、従来の最大ランダムネスプロトコルがGMNLを保証できなかったという問題を解決した。
3. ロバスト性： 測定設定の数を増やすことが、セルフテスティングプロトコルのノイズに対するロバスト性を高めることを確立し、多体系のもつれの認証を実験的実装においてより実現可能なものにした。

著者らは、ロバスト性解析は三体系について明示的に計算されているものの、コアとなる枠組みは一般的な $m$ 体シナリオへ拡張できるように設計されていると述べている。また、現在の不等式は奇数個の設定に限定されていることを認め、偶数への一般化を今後の課題としている。