A Separation between Full-Rank PVM and Assumption-free Self-Testing

量子物理学の奇妙で直感に反する世界では、粒子は、私たちの日常的な空間や時間の経験を超越した方法で結びつくことがあります。これら2つの粒子が「もつれ（エンタングルメント）」と呼ばれる深い繋がりを共有するとき、一方を測定すると、たとえどれほど離れていても、もう一方に関する情報が即座に明らかになります。科学者たちは、使用される測定機器を信頼することなく、これらの粒子が真に量子もつれ状態にあり、量子論が予測する通りに振る舞っていることを検証する方法を長らく模索してきました。このプロセスは「セルフテスティング（自己検証）」と呼ばれます。これは暗号のロックのようなものです。粒子を用いて特定のゲームを行い、その結果を確認することで、観測者は、デバイス自体がブラックボックスであったとしても、そのシステムの内部状態を数学的に確実に把握することができます。この検証を実世界で有用なものにするためには、測定がわずかに不完全であっても、量子状態に関する結論が依然として有効であること、つまり「堅牢性（ロバストネス）」を備えていなければなりません。

ある研究者が、これらの量子システムを認証しようとする試みにおける、微細ながらも決定的な欠陥を明らかにしました。その研究者は、量子測定の捉え方における2つの異なる視点の間に存在する、驚くべきギャップを露呈させる特定のゲームを構築しました。量子力学の理想化された世界では、測定は「射影的（プロジェクティブ）」である、つまり可能性を明確に分離する完璧なフィルターのように機能すると想定されることが多く、また、関与する粒子は「フルランク」の状態である、つまりシステムのあらゆる可能な構成が活性化され、アクセス可能であると想定されます。研究者は、もしこれら両方の条件を同時に課すならば、特定の単純な量子戦略を認証できることを証明しました。しかし、完璧な射影性を求める要件を取り除けば、ゲームのスコアにおいては同一に見えるものの、その内部メカニズムにおいては根本的に異なる、別の成功した戦略が現れることも示しました。この発見は、これら2つの仮定を情報を失うことなく組み合わせることができるのかという長年の疑問を解決し、標準的なシステム認証手法が、わずかな不完全性に直面した際に、これまで考えられていたほど信頼できるものではないことを示しています。

研究者の一人であるRanyiliu Chen氏率いるチームは、これらの概念をテストするために複雑なゲームを設計しました。このゲームには、アリスとボブという2人のプレイヤーが参加し、彼らは一対の量子もつれ状態にある粒子を共有しています。彼らは質問を受け取り、自身の粒子をどのように測定するかに基づいて回答を提供しなければなりません。目標は、できる限り高い頻度で勝利することです。研究者は、2つのよく知られたタイプのゲームを1つの大きなチャレンジへと組み合わせました。第一の部分は、宇宙が局所的な隠れた変数によって支配されていないことを証明することで有名な、古典的な量子もつれテストである「CHSHゲーム」です。第二の部分は、使用される測定の性質によって挙動が異なる、新たに構築された補助的なゲームです。

理想的なシナリオにおいて、プレイヤーが完璧な射影測定を用い、粒子が完全に活性な状態にある場合、ゲームで最大勝率で勝つ唯一の方法は、特定の単純な戦略を用いることです。この戦略では、プレイヤーはある種の質問を受けた際に、常に特定の「中断（アボート）」という回答を与える、つまりその瞬間における量子の複雑さを事実上無視するというものです。このような厳格な条件下では、ゲームはシステムをセルフテストし、プレイヤーが意図された量子もつれ状態と測定を使用していることを確認します。

しかし、研究者は、測定が完璧な射影演算子であることを求めるルールを緩和すれば、同じ最大スコアへの別の道が開かれることを発見しました。この代替戦略では、プレイヤーは「正演算子値測定（POVM）」と呼ばれる、より複雑なタイプの測定を使用します。このタイプの測定は、鋭く明確な切り分けではなく、むしろ「曖昧（ファジー）」で重なり合った可能性を許容します。この曖昧な測定を用いることで、プレイヤーは完璧な戦略と同じ勝利スコアを達成できますが、決して中断を選択することはありません。代わりに、彼らは多様な非ゼロの回答を提供します。

重要な発見は、これら2つの戦略は、同じスコースを達成しているものの、根本的に相容れないものであるということです。第一の戦略は、プレイヤーが特定の質問に対して量子デバイスを事実上オフにするという点に依存していますが、第二の戦略は、異なる種類の測定を用いてデバイスを完全に稼働させ続けます。内部メカニズムがこれほどまでに異なるため、たとえ追加の隠れた変数や補助的な系を許容したとしても、第二の戦略を第一の戦略へと変換することは数学的に不可能です。これは、ゲームの最終的なスコアだけを見ても、プレイヤーが実際にどちらの戦略を使用しているのかを判別できないことを意味します。ゲームは量子もつれ状態自体は認証しますが、厳格な射影性の仮定を外すと、完全な測定戦略の認証には失敗します。

この分離は、量子認証の信頼性に深刻な影響を及ぼします。研究者は、このゲームが堅牢ではないことを示しました。堅牢なテストにおいては、最適に近い戦略は、理想的な戦略へと容易に変換できるはずです。しかしここで、研究者は、最適スコアに極めて近いが、依然として「曖昧な」測定モードに留まっている戦略のファミリーを構築しました。スコアがいかに最大値に近づいたとしても、測定の内部構造は理想的な射影版とは根本的に異なるままです。理想的なものへと変換するための誤差は縮小することなく、大きなまま残ります。これは、セルフテスティングの結果が脆弱であり、非射影的な測定が関与する可能性がある場合には信頼できないことを証明しています。

この研究は、なぜこのようなことが起こるのかについて、深い代数的な説明も提供しています。研究者は最適戦略の数学的構造を分析し、すべての可能な勝利相関が連続的な線（ライン）を形成していることを見出しました。その線の片方の端は、プレイヤーが常に中断を選択する単純な決定論的戦略を表しています。もう一方の端は、プレイヤーが決して中断しない複雑な曖昧な戦略を表しています。線の中心部には、両者の混合物が含まれています。研究者が測定は射影的でなければならないという条件を課すと、数学的構造が崩壊し、単純な決定論的な端の部分だけが残りました。複雑な曖昧な端の部分は、厳格な射影規則の下では存在し得ないため、消失したのです。この崩壊こそが、なぜこれら2つの戦略がこれほどまでに異なるのかを説明しています。それらは、可能性の極限においてのみ接する、異なる数学的世界に属しているのです。

この知見の影響は、構築された特定のゲームの範囲を超えています。それは、測定が射影的であることを要求することが、無害な簡略化であるという仮定に異議を唱えるものです。多くの量子プロトコルにおいて、科学者たちは、もしある戦略がうまく機能するならば、それは射影的なものによって近似できるはずだと想定しています。本論文は、特定のタスクにおいては、この近似が完全に失敗することを明らかにしています。「曖昧な」測定は、単に完璧なものの少し不完全なバージョンではなく、完璧な戦略を単に微調整することでは到達できない、明確に異なる最適解なのです。これは、将来の量子ネットワークや暗号システムの設計において、エンジニアが測定の性質に関して行う仮定に対して、極めて慎重にならなければならないことを示唆しています。

研究者は、演算子代数の特性と、圧縮下での量子状態の振る舞いに依拠した特定の数学的枠組みを用いて、これらの結果を証明しました。彼らは、「曖昧な」測定戦略が、標準的な射影戦略がそうであるような「完全に活性な」状態とは異なる状態に対応していることを示しました。この状態を射影的な型に押し込もうとすると、システムの振る舞いに関する不可欠な情報が失われます。論文は、量子もつれ状態自体を認証することは可能であるものの、フルランクと射影性の両方の仮定の下では、完全な測定戦略を認証することはできないと結論付けています。これら2種類の戦略の間の分離は、程度の問題ではなく、正確かつ絶対的なものです。

この研究は、組み合わせることでこのような障害が生じるのではないかと疑っていた他の研究者による予想を解決しました。明示的な例を提供することで、著者は、この分野を推測から証明へと導きました。彼らは、量子戦略の景観はこれまでマップされていたよりも複雑であり、遠くからはピーク（頂点）に見えても、実際には全く異なる地形である「隠れた谷」が存在することを示しました。量子セルフテスティングを用いてシステムのセキュリティや機能を保証しようとするすべての人にとって、これは極めて重要な警告です。ゲームのルールが「曖昧な」測定を許容する場合、理想的でシャープな戦略が唯一の勝者とは限らず、システムは見た目通りの姿ではない可能性があるのです。

この研究は、量子力学が壊れているとか、量子もつれが信頼できないと示唆しているわけではありません。むしろ、「測定」や「状態」という言葉を定義する際に求められる精密さを強調しています。研究者は、2つの非常に異なる方法で量子ゲームをプレイすることを区別できるツールを構築し、私たちの現在のデバイス検証手法には盲点があることを明らかにしました。量子技術が実験室から実世界のアプリケーションへと移行するにつれ、これらの微妙な区別を理解することが、真に安全で信頼できるシステムを構築するために不可欠となるでしょう。本論文は、量子的な領域において、解への道筋は解そのものと同じくらい重要であり、時には最も直接的なルートが唯一機能するルートではないこともある、ということを厳密に示したものです。