Quantum-advantage resource of a two-mode Gaussian state: Analytical theory of convex optimization and a Galois no-go for the closed-form solution

技術要約：二モードガウス状態における量子優位性リソース

問題提起
本論文は、マルチモード光の混合ガウス状態から「量子優位性リソース」を抽出するという問題に取り組んでいる。このリソース $V_q$ は、共分散行列 $V$ の不可避な非古典的成分を表し、状態の結合光子数統計をサンプリングするために必要な古典的計算コスト（具体的には $\sharp P$-困難性）の認証済み下界として機能する。このリソースは、物理的な共分散行列 $V$ を古典的なノイズ部分 $V_c$ と最小限の物理的な量子部分 $V_q$ に分解する半正定値計画問題（SDP）を通じて定義される：
$$V_q^\star = \arg \min \{ \text{Tr}(V_q) : V_q + \frac{i}{2}\Omega \succeq 0, \ V - V_q \succeq 0 \}$$
ここで $\Omega$ はシンプレクティック形式である。$\text{Tr}(V_q)$ は全エネルギーに対応し、これを最小化することで非古典性を孤立させる。単一モードの場合や、特定のデカップルされたマルチモードの場合には既知の解が存在するが、一般の二モードケース（すなわち、モードが「真に結合している」場合）については、解析的に未解決のままである。本論文の目的は、二モード（$M=2$）ケースに対して完全な証明付きの解を提供し、閉形式の解が存在するかどうかを判定することである。

手法
著者らは、原始的なSDPを分析するために、凸最適化理論、特にカルシュ・クーン・タッカー（KKT）条件を用いている。その手法は、以下の3つの主要な柱に基づいている：

1. 双対性とオラクル： 問題は、正定値なラグランジュ乗数行列 $S$ を含む双対最大化問題へと変換される。この解には、先行研究（文献23）から導かれた「オラクル」を利用する。これは、与えられた重み行列 $A$ に対して、重み付きトレース $\text{Tr}(AV_q)$ を最小化する純粋状態の閉形式の式を提供する。最適な $V_q^\star$ は、$V_q(I+S^\star)$ として特定される。ここで $S^\star$ は双対目的関数 $D(S)$ を最大化する。
2. 非古典的方向の幾何学的分析： 分析は、真空限界（$1/2$）を下回る固有値に対応する $V$ の固有ベクトルに焦点を当てる。これらは「サブ真空（sub-vacuum）」または「非古典的」方向と呼ばれる。著者らは、行列 $J$（1/4回転位相回転）によって定義されるこれらの方向間のシンプレクティック内積を調査し、非古典的セクターがデカップルするかどうかを検討する。
3. 代数的障害の分析： 一般的な結合ケースにおいて、著者らは双対問題の定常条件を分析する。彼らは多項式系を導出し、ガロア理論を用いて、最適なトレースの可解性を判定する。具体的には、最適なトレースが満たす最小多項式を計算し、そのガロア群を分析して、根号による表現が可能かどうかをテストする。

主な貢献と結果

• 二モードに関する完全な解析理論： 本論文は、二モード量子優位性リソースに関する初の完全な解を提示している。解は、サブ真空方向の数（$\kappa$）とその適合性に基づいて層別化される：

  • $\kappa = 0$： 状態は古典的であり、リソースは真空である（$V_q^\star = \frac{1}{2}I$）。
  • $\kappa = 1$： 閉形式の解が存在し（定理2）、最適化関数は単一のサブ真空固有ベクトルに沿って正確にスクイーズされる。
  • $\kappa = 2$（適合）： 二つのサブ真空固有ベクトル $v_1, v_2$ が適合条件 $v_1^\top J v_2 = 0$（すなわち、それらがシンプレクティックに直交するモードを生成する）を満たす場合、二つの共役対から構成される閉形式の解が存在する（定理4）。
  • $\kappa = 2$（不適合／結合）： $v_1^\top J v_2 \neq 0$ である一般的な結合ケースでは、最適化関数のスクイーズされたモードは $V$ の固有ベクトルとは一致しない。

• ガロア・ノーゴー定理： 著者らは、一般的な不適合（結合）二モード状態に対して、根号による閉形式の解は存在しないことを厳密に証明した（定理7）。

  • 最適なトレース $\text{Tr}(V_q^\star)$ は、$V$ の成分の次数12の代数関数である。
  • このトレースを支配する最小多項式のガロア群は、完全対称群 $S_{12}$ である。
  • $S_{12}$ は可解ではないため、根は入れ子状の根や算術演算を用いて表現することはできない。これは、結合されたガウス状態に対して、なぜこれまでの試みが一般的な公式を見つけることに失敗してきたのかという理由を説明している。

• 双対定式化と計算効率： 著者らは、ランク2の行列 $S$ に依存する、明示的で滑らかな凹双対目的関数（式14）を提供する。この双対定式化は、10次元空間における元の制約付き最小化問題を、単一のスカラー関数に対する最大化へと置き換える。この双対関数の勾配はオラクルによって明示的に与えられており、内部でのSDP解決を必要とせずに効率的な数値計算を可能にする。

• 明示的な多項式特性： 結合領域において、最小の実根が最適なトレースとなる次数12の多項式 $P(x; V)$（式20）を導出している。この多項式の係数は、$V$ の「パッシブ不変量」（パッシブ線形光学変換の下で不変な量）の多項式であることが示されている。

意義と主張
本論文は、真に結合したセクターにおける量子複雑性リソースの孤立という問題に対し、初の完全な証明付きの解を提供すると主張している。その意義は以下の点にある：

1. 二モードケースの解決： 二モードの量子リソースを完全に特徴付け、閉形式の解が存在する場合と数学的に不可能な場合を区別している。
2. 代数的限界の確立： 結合されたガウス状態に対する根号による解法を妨げる根本的な代数的障害（ガロア群 $S_{12}$）を実証しており、これは過去の一般的な公式の探索がなぜ失敗したのかを明確にする結果である。
3. リソース推定の精緻化： これらの結果は、量子優位性リソース $N_q(V)$ が、一般に（共通のプロキシである）ブロック・メシアン・スーパーモードにおけるスクイーズ光子数よりも小さくなること（結合系では大きな差が生じることが多い）を示している。
4. 手法の進展： 問題を滑らかな凹双対最大化へと還元することで、本論文は、この特定の構造に対して直接的な原始的SDPソルバーよりも優れた、堅牢かつ効率的な計算経路を提供している。

著者らは、一般的なマルチモード問題は依然として未解決であるが、二モードの解はリソースの代数的および幾何学的構造の完全な特徴付けを提供し、将来の一般的なマルチモード系の分析のための基礎となる、と結論付けている。