Quantum complexity resource in Gaussian boson sampling: Core structure of the semidefinite program

技術要約：ガウス・ボソン・サンプリングにおける量子複雑性リソース

問題提起
本論文は、ガウス・ボソン・サンプリング（GBS）におけるガウス状態によって記述される連続変数（CV）量子系において、「量子複雑性リソース」を特定し、その構造を特徴付ける課題に取り組んでいる。このような系からのサンプリングの計算量的な困難さは、共分散行列のハフニアン（hafnian）の$\sharp$P-hardな評価に関連しているが、このリソースを定量化するための従来の手法は限定的であった。先行研究（Ohら）では、リソースをスカラー値、すなわち、最小の物理的量子共分散行列 $V_q^*$ のトレースから導かれる「計算不可能な」スクイーズド光子の数としてのみ特定していた。このスカラー値は、全共分散行列 $V$ を最小限の物理的量子部分 $V_q$ と古典的ノイズの余剰 $V_c = V - V_q$ に分解する半正定値計画問題（SDP）を介して得られるものである。しかし、最適解である $V_q^*$ 自体の幾何学的および代数的な構造は、そのトレースを超えては特徴付けられていなかった。本論文は、最適解 $V_q^*$ を一つの量子状態および幾何学的対象として厳密に分析し、その一意性、純粋性、および全最適化問題の簡約メカニズムを明らかにすることを目的としている。

手法
著者らは、式(1.3)で定義されるSDPを分析するために、凸最適化理論、シンプレクティック幾何学、および線形代数の組み合わせを用いている：
$$V_q^* = \arg \min \{ \text{Tr}(V_q) : V_q + \frac{i}{2}\Omega \succeq 0, \ V - V_q \succeq 0 \}$$
ここで $\Omega$ はシンプレクティック形式である。手法は以下のステップに従って進行する：

1. 双対理論： 著者らは、ラグランジュ乗数行列 $S \succeq 0$ を導入することで、カルッシュ・クーン・タッカー（KKT）条件を用いた双対問題を構築する。彼らは、スレーター条件（厳密に混合した状態）の下で強双対性を確立し、原始的な最適解 $V_q^*$ と双対的な最大化因子 $S^*$ を結びつける最適性条件を導出する。
2. オラクル構築： 内側の最小化問題（重み付きトレースの最小化）を厳密に解く。著者らは、与えられた重み $A$ に対して、$\text{Tr}(AV_q)$ を最小化する唯一の純粋状態を返す「オラクル」写像 $V_q(A)$ を定義する。
3. 代数的特徴付け： オラクルの性質を分析し、それが代数的リカッチ恒等式を満たすことを明らかにする。この恒等式により、双対データから原始的な最適解を再構成することが可能となる。
4. シンプレクティック簡約： 古典的余剰の核（kernel）と双対乗数のサポートを分析することにより、問題がより低次元の「活性シンプレクティック・セクター」へと厳密に簡約できることを証明する。
5. 幾何学的再定式化： 最適化を、純粋な共分散をこの多様体上の点として扱う、シーゲル上半平面（対称空間 $Sp(2M)/U(M)$）上の最小化問題として再定式化する。

主要な貢献と結果
本論文は、量子複雑性リソースに関するいくつかの構造的事実を確立している：

• 純粋性と一意性（定理2および5）： 最適解 $V_q^*$ は、一意な純粋ガウス状態であることが証明されている。量子部分における熱的過剰分は、実現可能性を維持したままトレースを厳切に下げるように除去できるため、すべてのシンプレクティック固有値に対して真空の底へと強制される。
• オラクルとリカッチ恒等式（定理7および8）： 著者らは、内側の最小化問題に対する明示的な閉形式解を提供している：$V_q(A) = \frac{1}{2}A^{-1/2}|B(A)|A^{-1/2}$。ここで $B(A) = A^{1/2}\Omega A^{1/2}$ である。このオラクルは、代数的リカッチ恒等式 $V_q(A) A V_q(A) = \frac{1}{4}\Omega^\top A \Omega$ を満たす。この恒等式は、双対証明書 $S^*$ から原始的な最適解を再構成するためのメカニズムとして機能する。
• 核の多重度（定理13）： 古典的余剰 $V_c^* = V - V_q^*$ は、少なくとも $\kappa(V)$ 個の独立な方向に対して特異であることが示されている。ここで $\kappa(V)$ は、$V$ の「サブ真空（sub-vacuum）」固有値（分散が真空の底を下回る方向）の数である。これは、古典的ノイズがこれらの特定の方向において使い果たされていることを意味する。
• 厳密な活性簡約（定理17）： 全 $2M$ 次元の問題は、活性シンプレクティック・セクター $W^* = \text{Ran}(S^*) + \Omega\text{Ran}(S^*)$ 上に厳密に圧縮されることが示される。問題は、この部分空間上での最小化へと簡約され、傍観モード（spectator modes）は真空と、有効共分散へのシュア補集合による補正のみを寄与する。
• パッシブ対角化可能状態の閉形式解（定理14）： 本論文は、特定のクラスの状態、すなわちパッシブ（直交・シンプレクティック）変換によって対角化可能な状態に対する、初の明示的な閉形式解を提供している。これらの状態については、解はサブ真空の分散を保持し、共役な分散を最小不確定性限界に設定することを含む。
• 幾何学的再定式化（定理18）： このSDPは、共分散行列に関する制約の下で、シーゲル上半平面 $Sp(2M)/U(M)$ 上のフロベニウスノルムの二乗を最小化することと等価である。

意義と主張
本論文は、GBSにおける量子複雑性リソースの詳細な分析のための「構造的基礎」を提供するものであると主張している。最適解を（光子数という）スカラー値としてのトレースを超えて、一意な純粋状態として特徴付けることで、この研究は、リソースが「標準的な局在化した純粋ガウス成分」であることを確立している。

著者らは、自らの結果が以下の点にあると強調している：

1. 曖昧さの解消： 量子成分がその大きさだけでなく、一意に決定されることを証明した。
2. 簡約の実現： リソースを抽出するための計算複雑性が、特定の活性シンプレクティック・セクターに限定されることを示し、将来のアルゴリズムを簡素化できる可能性を示した。
3. 解けるケースの提示： 最初の解けるクラス（パッシブ対角化可能状態）を提供し、これをより複雑なシナリオのベンチマークおよび出発点とした。

論文は、パッシブ対角化可能クラスを超えた、一般的な外側の双対サポート適合問題に対する閉形式解は確立されていないことを控えめに述べている。また、一般的な最小活性セクターの幾何学や、ガロア理論的な障害によって根号による公式が妨げられる2モード結合セクターなど、今後の研究の方向性を特定している。結果は、即時の実験的提案としてではなく、厳密な数学的特徴付けとして提示されている。