Improved local models and new Bell inequalities via Frank-Wolfe algorithms

量子力学という奇妙な世界では、粒子が日常的な因果関係の経験を覆すような方法で結びつくことがあります。2つの粒子が「もつれ（エンタングル）」状態にあるとき、一方を測定すると、どれほど遠く離れていても、もう一方に関する何かが即座に明らかになります。数十年にわたり、科学者たちはこの不気味なつながりが自然の根本的な特徴なのか、それとも私たちがまだ発見していない隠れた古典的な規則によって説明できるものなのかについて議論してきました。この問いが、「ベルの不等式」の作成へとつながりました。これは、これら2つの可能性を区別するための厳格なテストとして機能します。もしテストに合格すれば、粒子は真に非局所的な量子的な振る舞いをしていることになり、もし失敗すれば、その振る舞いは依然として局所的な古典物理学によって説明できる可能性があります。この分野における大きな謎の一つは、「ヴェルナー状態」として知られる特定の混合量子状態です。これは、完全に絡み合ったペアとランダムなノイズの混合物です。科学者たちは、量子的なつながりが、古典的な規則によって模倣できるほど弱くなるのは、どの程度のノイズが加えられた時なのか、その正確な転換点を長年知りたがってきました。

ツーゼ研究所ベルリンの研究チームは、複雑な数学的問題を解決するための非常に効率的な新しい手法を開発することで、この転換点に関する私たちの理解を研ぎ澄ませました。彼らは、特定の量子相関が「局所モデル」——つまり、二人が通信することなく従うことができる、あらかじめ合意された一連のルール——によって説明できるかどうかを判断するという課題に焦ら注力しました。もしそのようなモデルが存在するなら、そのシステムは局所的であり、存在しないなら、非局所的です。研究者たちは、この問題を幾何学的な風景の中を旅することとして捉えることで、この問題に取り組みました。複雑で多角形の形状の外側にある点から、その形状自体への最短経路を見つけようとする場面を想像してみてください。チームは、もともと一般的な最適化のために設計された高度なアルゴリズムを使用して、従来のメソッドよりもはるかに速く正確に、この風景をナビゲートしました。彼らはこの空間内での動き方を洗練させることで、より優れた局所モデルを構築し、非局在性のより鋭いテストを導き出すことができました。

彼らの研究の主要な成果は、2量子ビットのヴェルナー状態におけるノイズ閾値の既知の上限と下限の間のギャップを大幅に狭めたことです。長年、科学界は真の答えが不明な広い区間に足止めされてきました。研究者たちの新しい計算は、システムが依然として局所的であると確信できる地点である下限をかつてないほど高く押し上げる一方で、システムが非局所的であると確信できる地点である上限をこれまで以上に低く押し下げました。これは、不確実性の範囲が両側から絞り込まれたことを意味します。彼らの知見は、これらの量子状態が以前考えられていたよりも広い範囲のノイズに対して局所的（古典的な規則で説明可能）であり続けることを示唆していますが、同時に、初期のより精度の低い推定値よりも早く非局所的になることも証明しています。チームはこれらの新しい限界に対して正確な解析的な数値を提供し、コンピュータ・シミュレーションに伴うことがよくある推測を排除しました。

具体的な数値を超えて、研究者たちは、彼らの手法が2者間だけでなく、3者以上の当事者が関わるより複雑なシナリオにも対応できるほど強力であることを実証しました。彼らはこの手法を3量子ビットのシステム、具体的にはGHZ状態とW状態として知られる2つの有名な絡み合い状態に適用しました。彼らは両方の状態に対して新しい境界を確立しましたが、計算の修正において明示的に記されたように、GHZ状態とW状態の非局在性閾値の厳格な分離は維持されませんでした。これは、異なる種類の量子もつれの回復力を区別することの繊細さを浮き彫りにしています。研究者たちはまた、彼らの発見を、特定の次元において特定の数学的不等式がどの程度成立するかに関連する、グロタンディック定数として知られる有名な数学定数に結びつけました。量子閾値の境界をタイトにすることで、彼らはこの定数に対してもより精密な推定値を事実上提供しました。

結果が単なる数値的な近似ではなく厳密な証明であることを保証するために、チームは計算を完全に解析的に行うために多大な努力を払いました。彼らは、古い手法によく見られる「ジグザグ」現象——解が定まることなく前後に行ったり来たりする挙動——を軽減する特定のタイプのアルゴリズムを使用しました。代わりに、彼らの改良されたアプローチは、この振動を減少させ、解に向かってより直接的に移動することを可能にし、無限の可能な測定セットに対して数学的に機能することが証明できる有限の測定セットを用いて局所モデルを構築することを可能にしました。彼らはコード全体をソフトウェアライブラリとして公開し、他の科学者がこれらのツールを使用してさらに探求することを推奨しています。この研究は、量子非局在性の謎全体を解明したと主張するものではありませんが、不確実性の層を一段階取り除き、これらの特定の状態に対して、古典的世界と量子世界の境界がどこにあるのかを示す、より明確で精密な地図を提供しました。