Frame-dependent coherence of Gaussian quantum states

技術要約：ガウス量子状態のフレーム依存コヒーレンス

問題提起
ガウス量子状態（GQS）は、量子力学、情報理論、および光学において基礎的な存在である。そのコヒーレンスは通常、正規直交基底（具体的にはエルミート・ガウス基底）を用いて記述されるが、著者はタイトフレームを利用した代替的な記述を提案している。タイトフレームとは、冗長性（非直交または非単位ベクトル）を許容することで正規直交基底を一般化した、恒等分解を満たすベクトルの集合である。本論文では、連続変数ガウス状態（CVGS）および離散変数ガウス状態（DVGS）のフレーム依存コヒーレンスを定義し、計算する必要性について論じている。これには、すべての標準的な（CVGSの場合）または離散的な（DVGSの場合）コヒーレント状態からなるタイトフレームを用いる。目的は、このコヒーレンスの明示的な公式を導出し、離散近似と連続状態との間の収束関係を確立することである。

手法
本論文は、連続量子系と離散量子系を比較する数学的枠組みを用いている：

1. 系の定義:
   • 連続変数（CV）: 変換演算子（displacement operators）とウィグナー関数を用いたヒルベルト空間 $L^2(\mathbb{R})$ 内で定義される。混合CVGSは共分散行列 $\sigma$ によって定義される。
   • 離散変数（DV）: 離散変換演算子と離散ウィグナー関数を用いた奇数次元のヒルベルト空間 $H_d$ （$d=2s+1$）内で定義される。
2. 状態の構成:
   • 純粋DVGSは、ヤコビのテータ関数を用いて、純粋CVGSの離散版として構成される。
   • 混合DVGSは、混合CVGSのウィグナー関数を離散化することによって構成される。著者は（数値的証拠に基づき）、これらの離散演算子が正定値性を維持すると推測している。
3. コヒーレンスの尺度:
   • 著者は、$\ell_1$ ノルムの概念をタイトフレームへと拡張したものを用いている。状態 $\varrho$ とタイトフレーム $\mathcal{F} = \{|\phi_j\rangle\}$ に対して、フレーム依存コヒーレンスは次のように定義される：
     $$C_{\mathcal{F}}(\varrho) = \frac{d^2}{2m^2} \sum_{j,k} |\langle \phi_j | \varrho | \phi_k \rangle|$$
     ここで、$m$ はフレーム内のベクトルの数、$d$ はヒルベルト空間の次元である。
4. 導出:
   • 著者は、標準的なコヒーレント状態のフレームに対するCVGSのフレーム依存コヒーレンスの明示的な公式を導出した。
   • 次元（$d = 3, 5, \dots, 15$）を増加させた際の、CVGSとその対応するDVGS近似との間の純粋度（purity）とコヒーレンスの比較を行うため、数値シミュレーションを実施した。

主な貢献

1. CVGSコヒーレンスの明示的な公式: 主要な理論的成果は、混合ガウス状態 $\varrho_\sigma$ のフレーム依存コヒーレンスを、その共分散行列 $\sigma$ のみを用いて記述する明示的な公式（式35）である：
   $$C_{\mathcal{F}}(\varrho_\sigma) = \frac{1}{\sqrt{\det \sigma} (\sqrt{\det \sigma} + \text{tr} \sigma + 1)}$$
   これは、エルミート・ガウス基底を用いた記述よりも簡潔な記述を提供する。
2. 離散・連続の収束: 本論文は、次元 $d \to \infty$ のとき、与えられた連続変数状態 $\varrho_\sigma$ に収束する一連の離散変数量子状態 ($\tilde{\varrho}_\sigma$) を構築している。
3. 数値的検証: 著者は、純粋度（$\text{tr} \varrho^2$）および離散状態のフレーム依存コヒーレンスが、連続状態へと急速に収束することを確認する数値データ（表1）を提供している。この収束は、$d \approx 15$ 程度の低い次元でも十分に近い近似が得られるほど速いことが指摘されている。

結果

• 導出された公式（35）により、共分散行列の行列式（determinant）とトレース（trace）のみを用いて、あらゆる単一モードのガウス状態（純粋または混合）のコヒーレンスを直接計算することが可能となる。
• 数値結果は、特定の共分散行列に対して、離散近似 $\tilde{\varrho}_\sigma$ が連続極限 $\varrho_\sigma$ に迅速に近づくことを示している。例えば、テストされたケースでは、$d=15$ における純粋度とコヒーレンスの値は、連続極限とほぼ同一である。
• 本研究は、フレーム依存コヒーレンスが、有限次元ヒルベルト空間において効果的に近似できる堅牢な尺度であることを裏付けている。

意義および主張
本論文は、ガウス状態をコヒーレント状態のタイトフレームによって記述することは、従来のエルミート・ガウス基底による記述よりも簡便であると主張している。この簡便さが、明示的なコヒーレンス公式（35）の導出を容易にしている。

著者は、自身の研究を、基底依存のコヒーレンスから、より一般的で堅牢な概念であるフレーム依存コヒーレンスへの自然な拡張として位置づけている。現在の研究は単一モードのゼロ変位状態に焦点を当てているが、結果は、非ゼロ変位およびマルチモードガウス状態への拡張が可能であることを示唆している。本論文は新しい実験装置を提案するものではなく、有限次元の離散系を用いて連続変数量子特性を近似するための理論的枠組みと数値的検証を提供するものである。