Certified Optimal Measurement Reduction over Quantum Context Landscapes

技術要約：量子コンテクスト・ランドスケープにおける証明付き最適測定削減

問題提起
近未来の量子デバイス上で量子ハミルトニアン $\langle H \rangle$ の期待値を推定するには、$H$ を測定可能な断片（コンテクスト）に分解し、分散を最小化するように測定ショットを割り当てる必要がある。QWC（Qubit-Wise Commuting）グルーピングから古典的シャドウ、フェルミオン断片に至る既存の戦略は、特定の宣言された測定モデルに対するショットコストの厳密な下限値なしに測定スケジュールを生成することが多い。その結果、観察された改善が「固定されたランドスケープ内のより優れた点」によるものなのか、「ランドスケープの拡大（新しいコンテクストの追加）」によるものなのか、あるいは「既存の枠組み内での係数分割の最適化不足」によるものなのかを区別することが困難である。本論文は、「宣言された測定コンテクストの集合と共分散モデルの範囲内で、回避不可能な最小ショットコストはいくらであり、与えられたスケジュールはこの最適値にどの程度近いのか？」という問いに答えるための「証明（サーティフィケート）」の必要性に取り組んでいる。

手法
著者らは、測定削減問題を「連続的な内層」と「非凸な外層」の2つの異なる最適化レイヤーに分割するフレームワークを提案している。

1. 内層（凸最適化）: 固定された測定コンテクストの辞書 $\mathcal{D} = \{(V_\ell, c_\ell)\}$ と宣言された共分散モデル $\Gamma_\ell$ に対して、最適な線形層化推定器（$H$ を断片 $F_\ell \in V_\ell$ に分解し、ショット $N_\ell$ を割り当てる）を見つける問題は、**二次錐計画法（SOCP）**として定式化される。

   • 目的関数は、再構成制約 $\sum F_\ell = H$ の下で、主要なショット定数 $\Phi = \min \sum \sqrt{c_\ell} \|F_\ell\|_\rho$ を最小化することである。
   • この定式化は、すべての係数分割の自由度（重複する分割や状態依存の共分散の使用を含む）を単一の凸ゲージへと包含する。

2. 双対証明（Dual Certificates）: SOCPは、**下限値の証拠（lower-bound witness）**となる共役錐双対を持つ。

   • 主問題の解は、特定のスケジュールのコストを表す上界（$U$）を与える。
   • 双対実行可能ベクトル $y$ は、同じ辞書上のいかなづの偏りのない線形層化推定器も、これより低いコストを達成できないことを証明する。
   • ギャップ $U/L$ は、機械的にチェック可能な最適性の証明となる。もし $U=L$ であれば、そのスケジュールは宣言されたランドスケープに対してグローバルに最適である。

3. 外層（組合せ探索）: 辞書自体の設計（どのコンテクストを含めるか）および共分散モデルの較正は非凸問題である。著者らは、RANGE（人工蜂コロニー法と遺伝的アルゴリズムをハイブリッド化した、堅牢で適応的な自然着想型グローバルオプティマイザ）を用いて以下を行う。

   • 最適なサブ辞書の探索（圧縮）。
   • 列生成（Column Generation）の実行：双対証拠を「価格付けオラクル（pricing oracle）」として使用し、双対制約を違反する（すなわち、コストを確実に下げることができる）欠落したコンテクストを特定する。
   • パイロットデータを用いた共分散半径モデルの較正。

4. ロバスト性: 共分散モデル（パイロット測定やプロキシ状態から得られるもの）の不確実性を扱うため、本フレームワークは共分散行列の同時信頼区間（サンドイッチ）を構築する。これにより、真の状態 $\rho$ の知識を必要とせずに、高確率で成立するデータ駆動型のロバストな証明（$L_{rob} \le \Phi \le U_{rob}$）が得られる。

主な貢献

1. 古典的な系譜を持つ厳密な最適性: 本論文は、有限の辞書に対する最小の主要ショット定数がSOCPの値であることを確立した。これは、マルチレスポンス $c$-最適実験計画の量子コンテクストへの特化であり、係数分割のデザイン空間のグローバルな凸包を提供する。
2. 独立して検証可能な証明: 従来の作業がスケジュールと推定分散を報告するのに対し、本フレームワークは双対証拠をエクスポートする。検証者は、オプティマイザを信頼することなく、実行可能性の残差を修正し、境界を再計算して、報告されたギャップが保守的かつ有効であることを確認できる。
3. 共分散の不確実性下での妥当性: 定理4は、パイロットデータを用いた高信頼度のロバストな証明を提供し、オラクルベースの証明をデータ駆動型のものへとアップグレードする。
4. 列生成による辞書の証明: 双対証拠は価格付けオラクルとして機能する。欠落したコンテクストが双対制約を違反する場合、それは辞書に追加される。これにより、フレームワークは初期に解いたランドスケープよりも大きなランドスケープに対して最適性を証明したり、ランドスケープを拡大する必要があるかどうかを判断したりすることができる。
5. 格付け計器: この証明は、3つのレジームを区別する：自身のランドスケープ内で既に最適であるヒューリスティック、自身の設定内で「ゲージの自由度（最適化されていない分割）」を残しているヒューリスティック、そして根本的に劣っており拡大が必要なランドスケープである。

数値結果
本フレームワークは、合成ランドスケープ、分子ハミルトニアン（H$_2$, LiH, BeH$_2$, H$_2$O）、およびプロダクション規模のf元素ハミルトニアン（CeO, NdO, UO$_2^+$, UO$_2^+$、29–35量子ビット）にわたって検証された。

• 最適性ギャップ: H$_2$のような小規模なシステムでは、標準的な戦略（ソート挿入など）が正確に最適であることが判明した。しかし、H$_2$Oのような大規模なシステムでは、標準的な戦略は、自身の設定内において、ショットコストで2.1〜7.7倍の未最適化な要素を残していた。
• 辞書圧縮: グローバル探索を用いることで、著者らは分子コンテクストの辞書を4.3〜6.1倍に圧縮しながら、証明されたショットコストの増加をわずか**0.2〜2.1%**に抑えた。これにより、辞書サイズとコストの間の鋭い「ニー（膝）」が明らかになった。
• 絡み合い設定の影響: 完全可換（FC）コンテクスト（絡み合い設定）を追加することで、分子システムにおける証明された最適値は**25〜56%低下した。プロダクション規模のf元素ハミルトニアンについては、QWCのみの辞書と比較して、この拡大により31〜70%**のショット削減が可能となった。
• 圧縮 vs サンプリング: 圧縮技術（ブロックエンコーディングノルムを減少させるもの）が、必ずしもサンプリングコストを減少させるとは限らないことが示された。例えば、対称性のシフトはブロックエンコーディングノルムを大幅に減少させたが、証明された測定定数にはほとんど影響を与えなかった一方で、量子テーパリングはショット数を大幅に減少させた。
• プロダクション規模: 本手法は、約 $2 \times 10^4$ 項および約 $10^4$ コンテクスト（約 $2 \times 10^6$ 個の錐変数）を持つハミルトニアンに対して、単一のCPUノードで8〜15分で証明を生成することに成功し、証明されたギャップは$10^{-1}\%$未満であった。

意義と主張
本論文は、測定削減の主張に対する共通の基準を確立することを主張している。非凸な設計選択（辞書の選択）を凸なコア（最適な割り当て）から分離することで、本フレームワークは、グローバル探索が真の組合せ問題に対して予約される一方で、凸最適化が割り当てに対する厳密な保証を提供することを保証する。

著者らは、本フレームワークは既存のヒューリスティック（ShadowGroupingや最小クリーク被覆など）に取って代わるものではなく、その上に証明レイヤーを提供するものであることを強調している。ヒューリスティックが辞書またはスケジュールを提案した後、錐計画法が残りの自由度を最適化し、双対証拠が結果が理論的限界にどの程度近いかを証明する。論文は、測定削減は「幾何学と最適化」として捉えられるべきであり、ランドスケープの幾何学は許可されたコンテクストによって定義され、証明は進捗を評価するために必要な厳密な境界を提供する、と結論付けている。

著者らは、制限事項についても明記している。証明は宣言された共分散モデルに依存しており（ゴミのような共分散は、ゴミに関する厳密な記述を生む）、保証は宣言されたランドスケープに対して相対的なものである（すべての可能なスタビライザーコンテクストに対する正確な価格付けは依然として困難な組合せ問題である）。本フレームワークは、層化された偏りのない推定器（既知のターゲットに対して）のために設計されており、適応的または情報的に完全なプロトコル（informationally complete protocols）のためのものではないが、それらのプロトコルによって誘導される推定器を格付けすることは可能である。