技術要約：SUTURE – 分割型実現可能性保存型VQAのためのシンドローム誘導型修復

1. 問題提起

制約付きバイナリ最適化は、スケジューリング、リソース配分、金融などで蔓延しているNP困難な問題のクラスである。変分量子アルゴリズム（VQA）はこれらの問題に対してハイブリッドなアプローチを提供するが、標準的なペナルティベースの手法は、$2^n$ の全空間を探索するため、実現不可能な解にリソースを浪費してしまう。Rasengan のような制約保存型のアプローチは、制約行列の零空間から導出された遷移ハミルトニアンを使用することで、量子ダイナミクスを実現可能な部分空間に制限する。

しかし、ノイズのある中規模量子（NISQ）ハードウェア上でこれらのアルゴリズムを実行する場合、「生存性（liveness）問題」と呼ばれる決定的な失敗モードに直面する。Rasenganは、短い回路セグメント間で量子レジスタを測定・再初期化する分割実行モデルを採用している。現行の境界ポリシーである**精製（purification）**は、制約に違反する測定結果をすべて破棄する。問題の規模とノザレベルが増大するにつれ、実現可能な測定値（$\phi_t$）が得られる確率は指数関数的に低下する。あるセグメントで実現可能なショットが得られなかった場合、実行チェーンは途中で早期終了してしまう。72量子ビットのIBM Heronハードウェアを用いた実験では、12個の精製チェーンのうち11個がすべてのセグメントを完了する前に終了し、より大規模なインスタンスに対してアルゴリズムが使用不可能な状態となった。

2. 手法：SUTURE

著者らは、実現不可能な測定値を破棄するのではなく、修復するランタイムシステムである SUTURE (Syndrome-Guided Repair for Segmented Feasibility-Preserving VQAs) を提案する。SUTUREは、セグメントの境界において、問題自身の制約をリカバリ信号として利用して動作する。

コアメカニズム

SUTUREは、実現不可能なビット列が、どの制約が違反されているかを正確に明らかにすることを利用する。この違反の集合はシンドローム（$\sigma(y)$）を形成し、エラーの原因となっている変数の「容疑者セット」（$L(\sigma(y))$）を特定する。適切な構造的条件の下では、このシンドロームはエラーを少数の変数に局所化できることが多く、実現可能な修正を見つけるための限定的なローカルサーチを可能にする。

システムは以下の3つのステージで動作する：

1. ステージ1：静的修復可能性プロファイラ（コンパイル時）
   実行前に、プロファイラが制約行列 $C$ と実現可能な初期化サンプルを分析し、修復可能性を予測する。プロファイラは以下の3つの指標を算出する：

   • 検知可能性 ($\delta_{silent}$): シンドロームをトリガーしない（すなわち、$C$ の列がゼロである）「サイレント」なシングルビット反転の発生率。
   • 局所化 ($W_{sus}$): シングル反転後に影響を受ける変数（違反した制約に触れている変数）の容疑者セットの中央値。
   • 曖昧さ ($R$): 実現可能性を回復させるシングル反転修正の数。
     プロファイラは、問題のエンコーディングが検知を可能にしているか、および容疑者セットが効率的な探索のために十分に小さいかを検証する。

2. ステージ2：有界ランタイムデコーダ（実行時）
   分割ループの実行中、すべての測定されたビット列に対して以下を行う：

   • シンドローム計算: 違反した制約を計算する。
   • ピン留め（Pinning）: 容疑者セット外の変数を「ピン留め」する（変更せずに保持する）。
   • 有界探索: デコーダは、固定されたハミング重み予算（$w_{max}$ またはブロック予算 $c_{max}$）内で、容疑者変数のみを探索して実現可能な修正を見つける。
   • 再注入: もし実現可能な修復が見つかった場合、それを次のセグメントのシードとしてレジスタに再注入する。予算内で修復が見つからない場合は、そのショットを破棄する（ギブアップ・ルール）。

   2つのバリアントが実装されている：

   • SUTURE$_C$: 目的関数に依存しない（objective-blind）。制約系（$C, b$）のみを使用する。
   • SUTURE$_G$: グラフ認識型（graph-aware）。ソフトエッジ・エンコーディング（グラフ彩色など）の場合、候補間の衝突を最小限にするためにグラフ隣接関係も追加で使用する。

3. ステージ3：デプロイメント・レジマ分析（オフライン）
   著者らは、ノイズレベル（$\lambda$）に基づいて、修復を使用するか精製を使用するかを決定するためのレジマ・マップを定義する：

   • レジマ I ($\lambda < \lambda_q$): 精製が好ましい（修復による品質の利点がない）。
   • レジマ II ($\lambda_q \le \lambda < \lambda_s$): 修復が好ましい。両方の手法が生存するが、修復の方が高い品質をもたらす。
   • レジマ III ($\lambda_s \le \lambda < \lambda_r$): 修復が**生存性（liveness）**のために不可欠である。精製のチェーンは崩壊するが、SUTUREは継続できる。
   • レジマ IV ($\lambda \ge \lambda_r$): 修復自体が予算制限により失敗する。

3. 主な貢献

1. 静的修復可能性プロファイラ: 4つの制約ファミリー（グラフ彩色、施設配置、$k$-分割、セットカバー）において、シングル反転による回復精度を最大誤差0.011で予測するコンパイルタイム・ツール。
2. インループ修復メカニズム: 分割型VQAの実行ループ内で動作する、初のデプロイ可能な目的関数非依存の修復メカニズム（SUTURE$_C$）。これは、終端後のポストプロセッシング手法とは異なる。
3. レジマ分析: 修復が精製を上回るクロスオーバーポイント（$\lambda_q$）と、精製が失敗する生存の崖（$\lambda_s$）を特定する形式的なフレームワーク。
4. ハードウェア検証: 実機量子ハードウェア（IBM Heron）を用いた実証により、SUTUREが精製ベースのアプローチが達成できない実行チェーンを完了できることを示す。

4. 実験結果

評価は、15から120量子ビットに及ぶ109のベンチマーク・インスタンスを対象とした。

• プロファイラの精度: 70のインスタンスにおいて、静的プロファイラは測定されたシングル反転回復を最大誤差0.011で予測した。
• シミュレーション（生存性）: 120量子ビットまでのシミュレーションにおいて、SUTUREは精製が崩壊するノイズレベルを超えても実行チェーンを継続できた。
• ハードウェア（IBM Heron - 72量子ビット）:
  • 生存性: 72量子ビットのグラフ彩色実験において、12個のSUTURE実行のすべてが全セグメントを完了したが、12個の精製チェーンのうち11個は早期に終了した。
  • 品質: 36および48量子ビットにおいて、SUTURE$_G$は精製よりも有意に優れた解の品質（衝突数で測定）を達成した。
  • 目的関数非依存の性能: ハードエッジ実験（78および90量子ビット）において、デコーダに目的関数が隠されている状況でも、SUTURE$_C$は全セグメントを完了したが、精製のチェーンは最初の境界で実現可能なショットがゼロになったため即座に死亡した。
• オーバーヘッド: デコーディングおよび修復プロセスによる実行パスのレイテンシへの追加はわずか1.6%であり、ハードウェア上の総パイプライン・レイテンシへの追加は1%未満であった。
• 局所性: ハードウェア測定により、実現不可能な測定は通常1〜2個のエンコーディング・ブロックのみを活性化することが確認され、エラーが有界探索が可能な程度に局所化されているという仮定が検証された。

5. 意義と主張

本論文は、SUTUREがノイズのある分割型量子実行のための実用的かつ有界な回復インターフェースを提供すると主張している。その主な意義は、分割型VQAにおける「生存性」の問題を、致命的な失敗モードから管理可能なランタイム条件へと変貌させたことにある。

• 普遍的な解決策ではない: 著者らは、修復が常に優れているわけではないことを認め、特定のノイズクロスオーバー（$\lambda_q$）以下では、精製が保守的な選択肢となることを指摘している。
• QECではない: SUTUREは量子誤り訂正（QEC）とは異なる。コード量子ビットを追加するのではなく、最適化制約に内在する冗長性を利用して、測定境界における古典的状態を回復する。
• 帰属: システムは、品質の向上が（純粋なノイズを供給するA0制御を用いた「汚染スクリーン」によって）古典的なソルバーではなく、量子計算に起因することを保証するように設計されている。
• スケーラビリティ: 結果は、SUTUREが現在のハードウェアにおけるVQAの有効な動作範囲を拡張し、従来の精製ベースのアプローチが完全に失敗する問題サイズ（例：72量子ビット以上）での実行を可能にすることを実証している。

結論として、恩恵はエンコーディング、デコーダの設計、およびノイズレベルに依存するものの、SUTUREは、そうでなければ終了してしまうノイズの多いハードウェア上での分割型実現可能性保存型VQAの継続を成功裏に実現している。