Optimality of Gaussian Entanglement of Formation

技術要約：ガウス型生成のエントロピーの最適性

問題設定
本論文は、連続変数（CV）量子情報理論における長年の未解決問題、具体的には2005年に提示された「オープン量子問題29」に取り組んでいる。中心となる問いは、2モード・ガウス状態の生成のエントロピー（$E_F$）が、そのガウス制限（$E_F^G$）と一致するかどうかである。

二部系の状態 $\rho$ に対して、生成のエントロピーは、あらゆる可能な純粋状態のアンサンブル分解に対する平均エントロピーの下限として定義される：
$$E_F(\rho) = \inf_{\{p_j, |\psi_j\rangle\}} \sum_j p_j E(|\psi_j\rangle)$$
ここで、$E(|\psi_j\rangle)$ は簡約状態のエントロピーである。ガウス状態 $\rho_V$ に対し、ガウス型生成のエントロピー $E_F^G(V)$ は、この最適化をガウス純粋状態のアンサンブルのみに限定するものである。ガウス・アンサンブルの集合はすべてのアンサンブルの部分集合であるため、不等式 $E_F(\rho_V) \leq E_F^G(V)$ は常に成立する。この未解決問題は、一般的な非対称ガウス状態においてこの不等式が厳密なものとなるのか、あるいは最適な分解が常にガウス型となるのかを問うている。先行研究では対称な状態については解決されていたが、非対称なケースについては未解決のままであり、様々なアプローチが非ガウス・アンサンブルを厳密に排除することに失敗してきた。

手法
著者は、任意の（ガウス型および非ガウス型を含む）純粋二モード状態に対して有効な、エントロピーと一般化されたEPR観測量の間の鋭いアフィン関係に基づいた証明を展開している。

1. 一般化EPR観測量： 著者は、相対ゲイン・パラメータ $t$ ($0 < t \leq 1$) を含む、パラメータ化された観測量 $\hat{D}_t$ を定義する：
   $$\hat{D}_t = (ta - b^\dagger)^\dagger (ta - b^\dagger) = \frac{1}{2} \left[ (tx_A - x_B)^2 + (tp_A + p_B)^2 + 1 - t^2 \right]$$
   ここで、$t=1$ は標準的なバランスの取れたEPR観測量に対応し、$t < 1$ は非対称な状態に対応する。

2. アフィン極値定理（定理1）： 証明の核となるのは、任意の有限平均エネルギーを持つ純粋二モード状態 $|\psi\rangle$ のエントロピー $E(\psi)$ と、その $\hat{D}_t$ の期待値との間にある不等式である。任意の $0 < q < t \leq 1$ に対して：
   $$E(\psi) + \lambda_{q,t} \left[ \langle \hat{D}_t \rangle_\psi - d_t(q) \right] \geq E(q)$$
   ここで、$E(q)$ はスクイージング・パラメータ $q$ を持つ二モード・スクイーズド真空（TMSV）のエントロピーであり、$d_t(q)$ はそのTMSVにおける $\hat{D}_t$ の期待値である。この不等式は、固定されたエントロピーの下で、TMSVが一般化されたEPR期待値を最小化することを意味している。

3. 証明戦略： 定理1の証明は以下の3つのステップで進められる：

   • 特異値不等式： 新しい不等式により、EPR汎関数を、スケーリングされた数列における「正の部分」操作を用いて、状態の順序付けられたシュミット係数のみに依存する式へと還元する。これにより、リスケーリングされた数列における上昇ステップへの人工的なペナルティを回避している。
   • 幾何学的ブロック平均化： 隣接するシュミット係数のブロックを（幾何学的因子 $t^{2n}$ で重み付けして）平均化する手順を導入し、エントロピーやEPR汎関数を増加させることなく、幾何学的比条件（$c_{n+1} \leq t c_n$）を満たす新しい数列を作成する。このステップにより、従来の再配置議論で必要とされていた制限的な幾何学的比条件を取り除いている。
   • 対数ソボレフ不等式： 位相共変ガウスチャネルに対するメタ対数ソボレフ不等式を適用し、残りのエントロピーとEPRのトレードオフが幾何級数（TMSVに対応）によって最小化されることを示す。

4. 混合状態への拡張： 定理1の不等式は、観測量の期待値に対してアフィンであるため、あらゆるアンサンブルに対して平均化が可能である。これにより、著者はいかなる混合状態（ガウス型または非ガлоウス型）に対しても、測定された $\hat{D}_t$ の期待値に基づく生成のエントロピーの下限を構築できる。

主要な結果

• 二モード・ガウス状態における等価性： 二モード・ガウス状態の標準的な分解（局所的なシンプレクティック変換により、TMSVと直交ノイズの組み合わせの形に持ち込める）にこのアフィン境界を適用することで、著者は下限が既知のガウス型上限と一致することを証明した。その結果、以下のことが示された：
  $$E_F(\rho_V) = E_F^G(V)$$
  これは、すべての二モード・ガウス状態において、最適な分解が実際にガウス型であることを裏付けている。

• 双対称マルチモード状態への拡張： この結果は、$A:B$ 分割に対して双対称な $(m+n)$ モード・ガウス状態にも拡張される。これらの状態は、相関を持つ二モード・コアと、無相関な局所熱モードのテンソル積として、局所ユニタリ変換が可能である。局所熱モードは $E_F$ や $E_F^G$ に影響を与えないため、等号は双対称状態全体に対して成立する。

• 非ガウス状態に対する下限： 導出された不等式は、任意の非ガウス二モード状態に対する生成のエントロピーの、測定可能かつ定量的な下限を提供する。この境界は、二つの一般化されたEPR四方の分散のみに依存し、完全な状態トモグラフィーや光子数分解検出を必要としない。

意義と主張
本論文は、二モードのケースにおける「オープン量子問題29」を完全に解決し、ガウス制限が単なる近似ではなく、すべての二モード・ガウス状態に対する生成のエントロピーの正確な値であることを確立したと主張している。

• 理論的影響： 確立された解析的な公式および効率的な数値アルゴリズム（以前はガウス型アンサンブルに限定されていた）を、無制限の凸包（convex roof）である $E_F$ に対する厳密な言明へと昇格させている。
• 実験的有用性： 著者は、標準的なEPRテスト（位相分解ホーミングまたはマイクロ波測定）に使用されるものと同じ実験データを用いて、非ガウス状態に対する生成のエントロピーの厳密な下限を得ることができることを示している。損失のある非ガウス「真空ペア」状態を用いた具体的な例では、最適化された境界は、正確な生成のエントロピーの98.0%を捉えた。
• 方法論的貢献： 証明は、任意のシュミット基底に関する無限次元の最適化を、スクイージング・パラメータに関する一次元の最適化へと削減している。導入された手法、特に特異値欠損不等式と幾何学的ブロック平均化法は、他のボゾン系凸包問題においても有用である可能性がある。

結論として、一般的な非対称マルチモードの問題は依然として未解決であるが、二モードおよび双対称のケースは完全に解決されており、ガウス型最適化と生成のエントロピーという基本リソース尺度との間の決定的な結びつきを提供している。