技術要約：量子・古典モーメント双対性を用いた量子最適化および回路切断の認証

1. 問題提起

本論文は、近未来の量子コンピューティングにおける2つの重要な課題に対処している：

1. 性能認証の欠如： 量子近似最適化アルゴリズム（QAOA）や変分量子パワーメソッド（VQPM）などの変分量子アルゴリズム（VQA）は、多くの場合、状態ごとの厳密な性能保証を欠いている。それらの近似比は、インスタンス依存であったり、あるいはグローバルな最適解への収束に依存したりすることが多く、ノイズの多い実行や早期終了時の認証においてギャップが生じている。
2. 回路切断のオーバーヘッド： 限られたハードウェア上で実行するために、大きな量子回路をより小さなサブ回路に分解すること（回路切断）は、最適な二部グラフ分割を求める場合にはNP完全である。既存のヒューリスティックは、幾何学的な仮定や総当たり探索に依存することが多く、測定可能な相関データに基づく厳密な誤差範囲を欠いている。

著者らは、2点Pauli-Z相関データのみを用いてこれら両方の問題を解決するために、「量子・古典モーメント双対性」を活用した統一的なフレームワークを提案している。

2. 手法：量子・古典モーメント辞書

コアとなる手法は、任意の量子状態の物理的特性と、古典的な次数2のSum-of-Squares（SoS）緩和空間との間の直接的なマッピングを確立することである。

2.1 マッピング

$n$ 量子ビット上の任意の量子状態（密度行列）を $\rho$ とする。著者らは、単一量子ビットおよび2量子ビットのPauli-Z期待値を抽出して行列 $Y_{\text{quantum}}$ を構成するマッピング $\Phi$ を定義する：
$$Y_{\text{quantum}} = \Phi(\rho) = \begin{pmatrix} 1 & \langle Z_1 \rangle_\rho & \cdots & \langle Z_n \rangle_\rho \\ \langle Z_1 \rangle_\rho & 1 & \cdots & \langle Z_1 Z_n \rangle_\rho \\ \vdots & \vdots & \ddots & \vdots \\ \langle Z_n \rangle_\rho & \langle Z_n Z_1 \rangle_\rho & \cdots & 1 \end{pmatrix}$$
ここで、$\langle O \rangle_\rho = \text{Tr}(\rho O)$ である。

2.2 理論的基礎

定理 2.1 (厳密な実行可能性の保持): 本論文は、任意の 有効な量子状態 $\rho$ に対して、得られる行列 $Y_{\text{quantum}}$ が常に古典的な次数2のSoSコーン（Goemans–Williamson SDP緩和）の実行可能点であることを証明している。

• 証明の論理: 対角要素が1である理由は $Z_i^2 = I$ であるためである。この行列は半正定値（PSD）である。なぜなら、任意のベクトル $v$ に対して $v^T Y_{\text{quantum}} v = \text{Tr}(\rho O_v^2)$ （ここで $O_v$ はエルミート観測量）となるからである。$\rho$ と $O_v^2$ は共にPSDであるため、それらのトレースの積は非負となる。

この観察は、「ユニバーサルなセーフティネット」を生み出す：量子状態自体が、能動的なSDP解法を必要とせず、連続的な半正定値錐の幾何学構造内における能動的な最適化プロキシとして機能する。

3. 主な貢献

3.1 Max-Cutに対するユニバーサルな認証

$Y_{\text{quantum}}$ が次数2のSoS SDPに対して実行可能であることを確立することで、著者らは古典的なGoemans–Williamson（GW）ランダムハイパープレーン・ラウンディングを、量子由来の行列に直接適用している。

• 結果: GWラウンディングによって得られる期待カット重み $E[\text{Cut}]$ は、以下の条件を満たす：
  $$E[\text{Cut}] \geq \alpha_{GW} \langle H \rangle_\rho$$
  ここで $\alpha_{GW} \approx 0.87856$ であり、$\langle H \rangle_\rho$ はMax-Cutハミルトニアンの量子期待値である。
• 意義: これは、あらゆる状態の最適化軌道に対して、近似比の認証された下限を提供する。これは、アルゴリズムの収束から性能認証を切り離すものである。たとえアルゴリズムがノイズを含んでいたり、局所解にトラップされていたり、あるいは早期終了していたとしても、この性質は有効である。

3.2 相関に基づく回路切断

同一のモーメント行列は、状態のエンタングルメント構造をも捉えることができ、これにより、基礎となるユニタリ $U$ のテンソル積分解を検出する多項式時間のプロセスが可能になる。

• 正確な検出: ユニタリ $U$ が $A_S \otimes B_T$ と分解できる場合、連結相関 $C_{ij} = \langle Z_i Z_j \rangle - \langle Z_i \rangle \langle Z_j \rangle$ は、すべての $i \in S, j \in T$ に対して消失する。著者らは、閾値処理された相関からグラフを構築することを提案しており、非連結成分が正確なカットを示す。
• 近似的な切断: 正確な積状態ではない状態に対して、この手法は $|C_{ij}|$ をエッジの重みとして用いた加重最小カット問題を定式化し、パーティション間の相関を最小化する二部グラフ分割を見出す。
• 誤差範囲: 論文では、元の状態と最良の積状態近似との距離を定量化する厳密な誤差範囲を提供している：
  • シングルプローブ: 距離は $\sqrt{I(S:T)}$ によって抑えられる。ここで $I(S:T)$ は量子相互情報量である。
  • グローバルな認証: Choi状態を用いることで、著者らは演算子ノルム距離 $\|U - A_S \otimes B_T\|_\infty$ に関する境界を導出し、特定の状態だけでなく、任意の入力に対して分解が成立することを保証している。

4. 結果と検証

本フレームワークは、2つの側面から数値的に検証された：

1. 変分アルゴリズム (QAOA および VQPM):

   • QAOA ($p=1$ on 4-Cycle): 研究により、GWラウンディングによる下限 $F(\gamma, \beta)$ は、生のエネルギー $E_\rho$ が最適でない場合でも、最適化の軌道を通じて解析的なフロア $\alpha_{GW} E_\rho$ を常に上回り続けることが示された。
   • VQPM: 本手法は、その「量子ロッキング」ヒューリスティックを含む変分量子パワーメソッドに適用された。結果として、モーメント行列による認証は、積極的なロッキングが行われた後でも有効であり、早期収束に対するセーフティネットとして機能することが示された。認証された下限は真の性能を一貫して追跡し、状態が計算基底の解に到達したときには、正確なMax-Cutの値へと収束した。

2. 回路切断 (ランダム状態):

   • $n=6$ 量子ビットのHaarランダム状態を用い、著者らはモーメント行列による相関ベースのカットを総当たり探索と比較した。
   • 精度: モーメント行列を介して見出されたカットの相互情報量 ($I_Y$) は、総当たり探索で見出されたグローバルな最適相互情報量 ($I_{\text{best}}$) とほぼ完全に一致した。
   • 誤差範囲: 真の状態と再構成された積状態との間の2ノルム誤差は、一貫して理論的境界 $\sqrt{I(S:T)}$ を下回っていた。
   • 成功率: 正確な積状態に対して、このアルゴリズムは様々なサブシステムサイズにわたって、テンソル積構造を100%の成功率で特定した。

5. 意義と主張

本論文は、根本的な構造的洞察を主張している：任意の量子状態の2量子ビットPauli-Z相関行列は、自動的に古典的な次数2のSoSコーンの実行可能点となる。

この発見には、主に3つの含意がある：

1. 受動的認証: 以前の研究とは異なり、この手法はSDPを能動的に解くのではなく、量子デバイスを単に測定データの生成に使用する。したがって、認証は受動的な後処理であり、標準的なエネルギー推定以外の追加の量子リソースを必要としない。
2. 収束と認証の分離: 変分アルゴリズムのための「セーフティネット」を提供し、古典的な最適化器が収束しているか、あるいはハードウェアにノイズがあるかにかかわらず、性能のフロアを保証する。
3. 効率的な回路切断: 幾何学に依存しない、厳密な誤差範囲を伴う多項式時間の回路切断手法を提供する。これは、測定可能な2点相関から直接導出され、最適なカットを見つけるためのNP完全な複雑性を回避する。

著者らは、この研究を、量子最適化と古典的な凸緩和の架け橋となる「ユニバーサルなセーフティネット」として位置づけており、高次の相関測定や複雑なトモグラフィーを必要とせずに、解の質（Max-Cut）と回路の構造（切断）の両方に対して厳密な保証を提供している。