All non-locally Realized Continuous Variable Bipartite Gaussian States are Entangled

技術要約：すべての非局所的に実現される連続変数二部系ガウス状態はもつれ状態である

問題提起
もつれ（エンタングルメント）と量子非局所性は異なる現象であるが、その関係性は連続変数（CV）二部系ガウス状態において依然として厳密な解明を要する領域である。もつれは量子技術のリソースとして広く認識されており、非局所性はしばつてもつれの証拠と見なされているが、一方が他方を包含する正確な条件は、特にハイゼンベルク描像においては完全には解析的に確立されていない。先行研究では、もつれが存在しても必ずしもベルの不等式の破れ（非局所性）を保証するわけではないことや、逆に、特定の文脈において非積状態がもつれていないにもかかわらずベルの不等式を破る可能性があることが示されている。ガウス状態における非局所性を定量化するための直接的な解析的表現、特に、もつれの基準と非局所性を結びつけるものは、文献における「グレーゾーン」として特定されている。本論文は、ガウス状態におけるベルの不等式の破れに関する解析的表現を定式化し、この特定のクラスの状態に対して非局所性ともつれの間の論理的依存関係を決定的に確立する必要性に取り組むものである。

手法
本研究では、位相空間のウィグナー表現を用いて、二部系CVガウス状態に対するベル関数を定式化する。手法は以下のステップで進行する。

1. 相関行列の標準化： 著者らは、二部系ガウス状態を、$4 \times 4$の実対称相関行列（$V'$）によって表現することから始める。そして、局所的なスクイージングと回転からなる局所線形ユニタリ・ボゴリューボフ演算子（LLUBO）を適用し、この行列を標準形式（$V$）へと変換する。この標準形式は、不確定性原理の制約に従いつつ、パラメータ $n, m$（局所分散を表す）および $c_1, c_2$（相互相関を表す）によって特徴付けられる。
2. ベル関数の定式化： 非局所性は、ウィグナー準確率関数を用いて表現されるベル関数の最大値（$|B_{max}|$）によって定量化される。ベル関数は、特定の位相空間ベクトルにおいて評価されたウィグナー関数の線形結合として定義される。
3. 解析的最大化： 著者らは、ウィグナー関数の指数部を最適化することにより、最大化されたベル関数（$B_{max}$）の解析的表現を導出する。これには、位相角（$\theta_I, \theta_S$）および振幅（$\alpha_I, \alpha_S$）を変化させてグローバルな最大値を見つけるプロセスが含まれる。導出された結果は、相関行列の行列式と相互相関パラメータに依存する閉形式の表現を与える。
4. 比較分析： 導出された非局所性の条件（$B_{max} \geq 2$）を、サイモン（Simon）のもつれの十分条件と比較する。著者らは、両方の条件を支配する数学的な不等式を分析し、一方の充足が他方の充足を意味するかどうかを判断する。

主な貢献と結果

• 非局所性の解析的表現： 本論文は、一般的な二部系CVガウス状態に対する最大化されたベル関数（$B_{max}$）の閉形式の解析的表現（式9）を提供する。この表現は、標準形式の相関行列の要素から直接導出されており、純粋な数値的最大化を行うことなく非局所性をテストする直接的な手法を提供する。
• TMSV限界の検証： 導出された公式は、二モードスクイーズド真空（TMSV）状態に関する既知の結果を正常に再現している。具体的には、スクイージング係数 $r \to \infty$ のとき、状態が最大非局所限界（$B_{max} \approx 2.19$）に近づくことを確認している。
• もつれと非局所性の論理的関係：
  • 非局所性 $\implies$ もつれ： 著者らは、二部系ガウス状態において、非局所性の条件（ベルの不等式の破れ）はもつれの十分条件であることを証明している。もし状態が非局所的に実現可能であれば、それは必然的にもつれている。
  • もつれ $\nRightarrow$ 非局所性： 逆に、本論文は、もつれは非局所性を保証するための十分条件ではないことを示している。ベルの不等式を破らない（すなわち、局所的に実現可能な）もつれたガウス状態が存在する。
  • 必要性： 分析により、この文脈において、もつれは非局所性のための必要条件であることが確認された。もつれていない（可分な）状態は非局所性を示すことはできない。

意義と主張
本論文は、特にガウス状態におけるもつれと非局所性の関係に関する曖昧さを解消することを主張している。解析的な定式化を提供することで、本研究は明確な境界条件を確立している。すなわち、すべての二部系ガウス状態は非局所的に実現されるとき、それらはもつれているが、その逆は真ではない。著者らは、自らの分析がこれら二つの現象の決定的なつながりを構築しており、非局所性がガウス系におけるもつれの堅牢な証拠（ウィットネス）として機能する一方で、もつれ単体では非局所的な挙動を保証しないことを証明していることを強調している。本研究は、新しい実験セットアップや将来の応用を提案するものではなく、ウィグナー位相空間形式を用いたこれらの基本的な量子相関の理論的解明に焦点を当てている。