Faking entanglement with imperceptible measurement deviations

技術要約：知覚不可能な測定偏差によるもどき（フェイク）の絡み合い

問題提起
量子もつれ（量子エンタングルメント）は、量子通信、量子計算、量子ネットワークを含む新興技術にとって不可欠な基本的リソースである。高次元システムにおける量子もつれの正確な検証、特にエンタングルメント・ウィットネス（もつれ証拠）による検証は極めて重要である。しかし、標準的な検証手法、例えばエンタングルメント・ウィットネスは、規定された量子観測量（測定）が完全な精度で実装可能であるという仮定に基づいている。実際には、量子系の次元が増大するにつれて、理想的な測定の実装の複雑さが増し、理論モデルと実験的実装との間の不可避な乖離が生じる。デバイス非依存（device-independent）なテストも存在するが、それらは実験的に非常に困難である。現在のデバイス依存的な手法は、測定の不完全性は小さく確率的であると想定していることが多いが、系統的かつ敵対的な偏差が、たとえ知覚できないほど微小であっても、高次元領域におけるエンタングルメント認証の妥当性を損なう可能性があるかどうかについての厳密な分析を欠いている。

手法
著者らは、高次元エンタングルメント検証が高次元の敵対的な測定偏差に対して持つ脆弱性を調査している。彼らは、計算基底とそのフーリエ変換（互いに直交する基底）という、2つの相補的な基底における相関に基づく、広く用いられているエンタングルメント・ウィットネスに焦点を当てている。

1. 理論的な攻撃の構築： 著者らは、ターゲットとなる基底に対して$\epsilon$-近い（ここで$\epsilon$は測定インフィデリティを表す）明示的な測定基底を構築した。これらは、セパラブル（積）状態に対してウィットネス値を最大化するように特別に設計されている。彼らは、測定忠実度を定量化するために、以下の3つの誤差モデルを分析した。

   • 平均忠実度モデル（Average Fidelity Model）： ターゲットと実装された測定結果の平均的な重なりが$1-\epsilon$によって制限される。
   • 最悪ケース忠実度モデル（Worst-Case Fidelity Model）： 個々の測定結果のすべてが忠実度境界$1-\epsilon$を満たす。
   • 個別の射影を伴う最悪ケースモデル（Worst-Case with Individual Projections）： 光子学において、多出力測定が単一射影のシーケンスとして実装される場合に該当する、各射影に対して独立した偏差を許容するモデル。

   各モデルについて、古典的な積状態を用いて最適な攻撃戦略を導出した。彼らは、測定基底ベクトルに特定の小さな摂動を導入することで、セパラブル状態がセパラブル状態の理論的境界を超えるウィットネス値（$W_d$）を生じさせ、高次元のエンタングルメントが存在するという誤った判定を下すことを示した。

2. 実験的実証： 著者らは、横方向の空間自由度（マクロピクセル基底）に符号化された古典的光子状態を用いて、理論的な予測を実験的に検証した。

   • セットアップ： 減衰パルスレーザーが、相関のない光子対（積状態をシミュレートしたもの）の光源として機能する。空間光変調器（SLM）は、特定の積状態の生成および摂動を加えた測定基底の実装に使用される。
   • 実装： 実験は次元$d=61$まで及ぶ。著者らは、測定装置に制御された$\epsilon$-摂動を導入した。また、固有の実験的不完全性、具体的にはモード間のクロストークを考慮し、クロストーク行列を特性評価して理論的境界に組み込んだ。
   • 検証： 摂動を加えた条件下での積状態に対するエンタングルメント・ウィットネス$W_d$を測定し、実験的クロストークを含む理論的予測と比較した。

主な結果

• 理論的知見： 本研究は、敵対的に符号化された測定誤差が、セパラブル状態において任意のレベルの高次元エンタングルメントを偽造できることを証明している。固定された誤差$\epsilon$に対して、偽造されるエンタングルメントの大きさ（シュミット数$K$で定量化）は、システム次元$d$とともに急激に増加する。例えば、61次元のシステムでは、わずか$\epsilon = 0.7\%$の誤差があれば、$K=47$次元のエンタングルメントを偽造するのに十分である。
• 実験的検証： 著者らは、積状態における相当量のエンタングルメントの偽造を実験的に実証した。
  • 31次元のシステムにおいて$\epsilon = 0.7\%$の場合、測定されたウィットネス値は$W_d = 1.36 \pm 0.03$であり、これは$K=11$の偽りのシュミット数に対応する。
  • 61次元のシステムにおいて、同じ誤差率$\epsilon = 0.7\%$の場合、実験は$K=26$のシュミット数を偽造することに成功した。
  • 固有のクロストーク（約1:700から1:760の比率で測定）に対して補正された実験データは、攻撃モデルの理論的予測とよく一致している。
• 脆弱性の堅牢性： この脆弱性は、3つの誤差モデル（平均忠実度、最悪ケース忠実度、および個別射影）のすべてにおいて持続する。この結果は、この欠陥が特定の実験的実装や忠実度の定量化手法によるアーティファクトではなく、従来のデバイス依存的なエンタングルメント・ウィットネスのパラダイムに内在するものであることを示している。

意義と主張
本論文は、現在の高次元エンタングルメント検出法における根本的な脆弱性を明らかにすることを目的としている。著者らは、量子系が複雑になる（高次元になる）につれて、理想的な測定を実現するという実験的課題が増大し、それが逆説的に、敵対的な攻撃の実行を容易にすると主張している。測定デバイスにおける、注意深く調整された微小な偏差が、完全にセパラブルな古典的状態を用いて、最大級のエンタングルメントの統計的兆候をシミュレートすることができる。

これらの知見の意義は二重である：

1. セキュリティリスク： これは、複雑な量子デバイスが小さな敵対的摂動に対して脆弱であることを浮き彫りにしており、現在の検証プロトコルが洗練された攻撃に対して量子技術を保護するには不十分である可能性を示唆している。
2. 方法論的な必要性： これらの結果は、理論と実験の間の限定された不一致に対して堅牢な、量子情報の安全な検証方法を開発することの緊急性を強調している。著者らは、将来の検証スキームは、一般的な限定的誤差の仮定の下で動作する必要があり、理想的な測定の実装という仮定に依存しない、デバイス非依存またはセミデバイス非依存のフレームワークへと移行すべきであると示唆している。

本論文は、偽造されるエンタングルメントの具体的なレベルは誤差がどのように定量化されるかに依存するものの、小規模な誤差が高次元において大きな偽陽性を生成するという定性的な挙動は、現在のエンタングルメント・ウィットネスのパラダイムにおける普遍的な特徴であると結論付けている。