No Finite NPA Level Characterizes the Complete Quantum Set in the Simplest Bell Scenario

あなたは、目に見えない不思議な島「量子現実（Quantum Reality）」の境界線をマッピングしようとしていると想像してください。この島は、「起こりうるすべての可能性（Everything That's Possible）」という、るつぼのような霧に包まれたるもっと大きな大陸のすぐ隣に位置しています。科学者たちは長年、NPA階層と呼ばれる特定のツールを使って、どれほど「量子現実」の真の端に近づけることができるのかを知りたいと考えてきました。NPA階層を、ますます詳細で高解像度な衛星地図のセットだと考えてください。各「レベル」は、より詳細な情報を加え、島の海岸線へとズームインしていきます。研究者たちは、もし十分にズームインして、ある特定の有限のレベルに到達すれば、余計な霧や欠落した部分のない、島の正確な輪郭がついに見えるのではないかと、長年期待してきました。これは大きな意味を持ちます。なぜなら、もし有限のマップが完璧に機能するならば、すべての量子的な振る舞いを単一の単純な数学的規則で記述できることを意味し、それによって、ある奇妙な新しい実験が本当に量子的なものなのか、それとも単なる巧妙なトリックなのかを検証することが非常に容易になるからです。

Anubhav Chaturvediによる論文は、この問題に、最もシンプルな設定、つまりアリスとボブがそれぞれ2つの選択を行い、2つの結果が生じるシナリオを用いて取り組みます。これは、量子的な振る舞いをテストするために、実験がわずかに歪められている（「二重に傾いた（doubly tilted）」設定）という、少し特殊な状況における「Hello World」のような、最小の非自明な遊び場です。著者は、シンプルかつ深遠な問いを投げかけています。「NPAマップの『レベル10』や『レベル100』があれば、ついに量子現実の島と完全に一致するのだろうか？」という問いです。答えは、驚くべきことに、決定的な「ノー」です。この論文は、どれほどズームインしても、有限のレベルのマップでは決して量子物理学の全容を正確に捉えることはできないことを証明しています。マップには、実際には存在しない「偽の」領域が、常に小さな、執拗な断片として含まれてしまうのです。

決して着地することのない無限のズーム

これがなぜ問題なのかを理解するために、正方形のピクセルによるグリッドを使って、コインの完璧な円を描こうとしている場面を想像してみてください。低解像度のグリッドを使うと、円は角張ってガタガタに見えます。解像度を上げると、より滑らかに見えます。あなたはこう思うかもしれません。「解像度を上げ続ければ、いつかはピクセルが非常に小さくなり、完璧に曲線と一致するはずだ」と。量子物理学の世界において、NPA階層はそのグリッドにあたります。長年、科学者たちは、これらの最も単純な実験において、これらのグリッドのいずれかが最終的に完璧になるのではないかと考えてきました。

Chaturvediの論文は、特定のタイプの量子実験（量子的な振る舞いの端をテストするために、実験がわずかに歪められている「二重に傾いた」設定）において、これが決して起こらないことを示しています。実験が「ローカル（局所的）」な状態、つまりアリスとボブが量子粒子としての振る舞いをやめ、普通の予測可能な物体として振る舞い始める状態に近づくにつれ、NPAマップの誤差は単に小さくなるだけでなく、奇妙で執拗な挙動を見せます。

著者は、量子的な優位性（量子力学が古典物理学に対して持つ「余分な」パワー）が消え入りそうになっている特定の点に焦点を当てています。それは、勝者が敗者よりもほんの髪の毛一本分だけリードしているレースを見守っているようなものです。論文は、実験が極限に近づくにつれて、この微小な優位性がどのように減少するかを正確に計算しています。結果として、量子的な優位性は、極限への距離の3乗に比例するという、非常に特定の割合で減少することが判明しました。

ここで、魔法のような仕掛けが登場します。著者は、データの特定の見方である数学的な「テストベクトル」を構築し、隠された形状を明らかにします。NPAマップがこの特定の極限において量子集合を近似しようとする際、それが生成する誤差は、**モツキン多項式（Motzkin polynomial）**と呼ばれる有名な数学的対象のように見えるのです。

モツキンの怪物

モツキン多項式は、常に正の値をとる（決してゼロを下回らない）数学的な形状ですが、ある秘密を持っています。それは、他の多項式の平方和として構成することができないという点です。NPA階層の言葉で言えば、何かを「平方和（sums of squares）」から構築できることは、黄金のチケットを得ることに相当します。もしマップが完璧であれば、その作るあらゆる誤差は、平方和として表現できなければなりません。

論文は、もしNPA階層のどの有限レベルであっても正確であるならば、モツキン多項式が平方和であることを強制することになると証明しています。しかし、数学的に知られている通り、モツキン多項式は平方和にはなり得ません。それは、正方形のレンガを使って完璧な円を作ろうとするようなものです。たとえどれほど多くのレンガを使っても、レンガが厳格に正方形である限り、完璧な円を作ることはできません。論文は、NPA階層がどれほど高く設定されても、「正方形のレンガ」（固定された有限の単語のリスト）に縛られており、量子現実の島が持つ「円形の縁」を完璧にトレースすることはできないことを示しています。

機械の中の幽霊

この結果がもたらす帰結は、非常に興味深いものです。NPAマップは決して正確ではないため、常に「ゴースト（幽霊）」のような振る舞いを含んでしまいます。これらは、マップ上では可能であるとされるものの、実際には量子物理学の法則に違反しているシナリオです。論文は、これらのゴーストが宇宙の遠く離れた奇妙な隅っこに隠れているのではないことを示しています。むしろ、それらは最も退屈で予測可能な「古典的」な振る舞いのすぐ隣に蓄積しています。

ローカルな決定論的振る舞いを、地面に置かれた石だと想像してください。論文は、その石にどれほど近づいたとしても、そのすぐ近くに、NPAマップが量子的であると考えるが実際にはそうではない「ゴースト」の振る舞いが常に浮遊していることを証明しています。これは、最も基本的で単純な量子実験においてさえ、固定された有限の規則のセットを用いて、「真に量子的なもの」と「偽の量子的なもの」を完全に分離することはできないということを意味しています。

なぜこれが重要なのか

この結果は、科学者が混同していた2つの異なる問いを切り離します。特定の測定（例えば標準的なCHSHテスト）においては、低レベルのNPAマップが正確な答えを与えることがすでに分かっていました。また、「片側が傾いた（one-sided tilted）」実験については、わずかに高いレベル（Level 1 + AB）が完璧に機能することも分かっていました。これらの特定の断面が機能するのであれば、ケーキ全体も完璧に違いないと考えたくなるのは当然です。

Chaturvediの論文は、その希望に終止符を打ちます。マップは特定の断面や特定の点については完璧かもしれませんが、量子的な振る舞いの集合全体に対しては、決して完璧ではないことを証明しています。誤差は極めて小さいかもしれませんが、それが存在することは数学的に保証されています。集合体としての「完全な量子集合」は、単一の有限の規則のリストでは捉えきれないほど複雑なのです。

結局のところ、この論文は、量子世界が私たちが望んでいたよりも少し捉えどころのないものであることを伝えています。最も単純な形態においてさえ、量子は有限で静的な記述によって縛られることを拒みます。NPA階層は、漸近的に収束しながらも、決して目標に正確に着地することはありません。モツキン多項式は数学的な守護者として立ちふさがり、量子と古典の間の境界線が、いかなる有限の近似からも、常に手の届かない場所にあり続けることを保証しているのです。