Optimal Hamiltonian recognition of unknown quantum dynamics

この論文「Optimal Hamiltonian recognition of unknown quantum dynamics（未知の量子ダイナミクスに対する最適ハミルトニアンの認識）」は、量子技術における重要な課題である「未知のハミルトニアンの同定」に対して、量子仮説検定と量子メトロロジーを架橋する新たな枠組み「ハミルトニアン認識（Hamiltonian recognition）」を提案し、その最適性を理論的に証明するとともに、超伝導量子プロセッサでの実験的検証を行ったものです。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記します。

1. 問題設定

量子状態の進化はシュレーディンガー方程式 $U_H(\theta) := \exp(-iH\theta)$ によって記述されます。従来の量子メトロロジーでは、ハミルトニアン $H$ が既知であり、パラメータ $\theta$ を推定する問題が主流でした。また、ハミルトニアン学習（Hamiltonian learning）では進化時間を制御可能であることが一般的です。

しかし、本研究が扱うハミルトニアン認識の問題は以下の通りです：

• 未知のハミルトニアン $H$：既知の候補集合 $\{H_0, H_1, \dots, H_{m-1}\}$ のいずれかから選ばれているが、具体的にどれかは不明。
• 未知のパラメータ $\theta$：進化時間 $\theta$ もまた未知であり、任意の値を取りうる。
• タスク：未知のユニタリ演算 $U_H(\theta)$ に $k$ 回クエリ（問い合わせ）を行い、$H$ がどの候補であるかを識別する。
• 目的：すべての可能な $H$ と $\theta$ に対する平均成功確率を最大化するプロトコルを開発すること。

これは、複合仮説検定（Composite Hypothesis Testing）の一種であり、特にパラメータ $\theta$ が連続的に変化する無限の要素を持つ集合間の識別問題となります。

2. 手法とアルゴリズム

本研究は、量子信号処理（Quantum Signal Processing: QSP）の枠組みと半正定値計画（Semidefinite Programming: SDP）、および群表現論を組み合わせることで、最適プロトコルを構築・証明しました。

A. 二値ハミルトニアン認識（Binary Recognition）

2 つの直交する単一量子ビットハミルトニアン（例：$X$ と $Z$）を識別する問題に対して、QSP を用いたプロトコルを提案しました。

• QSP 回路の構成：
  信号ユニタリ $e^{-iH\theta}$ と制御可能な回転ゲート $e^{iZ\phi_j}$ を交互に配置する回路 $QSP_{H,k}(\theta)$ を設計します。
  $$QSP_{H,k}(\theta) := e^{iZ\phi_0} \prod_{j=1}^k e^{-iH\theta} e^{iZ\phi_j}$$
• 多項式近似：
  適切な位相シーケンス $\vec{\phi}$ を選択することで、測定結果が特定の多項式 $f_k(\theta)$ に従うように制御します。具体的には、$H=Z$ の場合は常に正解し、$H=X$ の場合の誤り確率を $f_k(\theta)$ で表すように設計します。
• 誤り関数：
  識別誤り確率 $f_k(\theta)$ は、$k$ 回のクエリに対して以下のような多項式として実現可能です。
  $$f_k(\theta) = \sum_{l=-k}^{k} \frac{k - |l| + 1}{(k + 1)^2} e^{2il\theta}$$
  これにより、$\theta$ 全体で平均した誤り確率は $O(1/k)$ となります。

B. 三値ハミルトニアン認識（Ternary Recognition）

3 つの直交するハミルトニアン（$X, Y, Z$）を識別する問題に対して、2 つの QSP 回路（$\{X, Z\}$ 用と $\{Y, Z\}$ 用）をコヒーレントに結合した量子アルゴリズムを提案しました。

• 回路設計：3 量子ビット回路を用い、中間測定を行わずにコヒーレントに情報を保持・増幅する構造を採用しています。
• 結果：奇数回のクエリ $k$ に対して、平均成功確率が $(k + \max\{p_i\})/(k+1)$ に達し、これも最適であることを示しました。

C. 最適性の証明（SDP と群表現論）

提案されたプロトコルが理論的に最適であることを証明するために、SDP の双対問題（Dual Problem）を構築しました。

• 性能演算子（Performance Operator）：パラメータ $\theta$ に対して平均化した Choi 演算子 $\Omega_H^{(k)}(t)$ を定義します。
• 双対問題の構築：識別問題の上限を SDP で定式化し、群表現論を用いて実行可能解（feasible solution）を解析的に構成しました。
• 結論：提案された QSP ベースの逐次プロトコル（Sequential Protocol）が、この SDP の上限に達すること、およびエンタングルメントや不定因果順序（Indefinite Causal Order）を含む一般的な戦略でもこれ以上改善できないことを証明しました。

3. 主要な結果

1. 最適スケーリングの達成：
   未知のユニタリ変換へのクエリ回数 $k$ に対して、平均誤り確率が $O(1/k)$ で減衰します。これは、すべての可能なハミルトニアンとパラメータを平均した場合の理論的上限（最適スケーリング）です。

   • 成功確率：$Suc \approx 1 - O(1/k)$
   • 特に、$H=Z$ の場合は誤りなし、$H=X$ の場合のみ誤りが $1/(k+1)$ となります。

2. エンタングルメント不要の完全識別：
   任意の正整数 $k$ に対して、互いに直交しない（非直交な）2 つのユニタリ演算の集合 $\Theta_0, \Theta_1$ が存在し、それらを $k$ 回の適応的クエリ（エンタングルメントなし）で完全に識別できることを示しました（Corollary 2）。これは、従来の「任意の 2 つのユニタリは有限回で識別可能」という知見を、集合間の識別へと拡張したものです。

3. 実験的検証：
   騰訊（Tencent）が提供するSurface-13 型可変結合超伝導量子プロセッサ上で、二値認識（$X$ と $Z$）のプロトコルを実装しました。

   • 異なる $\theta$ 値に対して 512 回の実験を行い、誤分類率が $k$ の増加とともに減少し、理論予測と一致することを確認しました。
   • 単一量子ビットゲートの忠実度（約 99.94%）が十分高く、プロトコルの実用性と堅牢性が実証されました。

4. 多量子ビット系への拡張：
   ヘイゼンベルグ型ハミルトニアンの識別タスクに対して、変分量子アルゴリズム（VQA）を用いた数値シミュレーションを行い、クエリ回数 $k$ の増加とともに成功確率が向上することを示しました。これにより、多量子ビット系における有効な識別プロトコルの存在可能性を示唆しました。

4. 意義と貢献

• 理論的枠組みの確立：「ハミルトニアン認識」という新しいタスクを定義し、量子仮説検定と量子メトロロジーを統合する枠組みを提供しました。
• 最適性の証明：QSP を用いた具体的なプロトコルが、SDP によって導かれる理論的上限に達することを初めて証明しました。また、このタスクにおいてエンタングルメントが不要であることを示し、リソース効率の良さを強調しました。
• 実用性：超伝導量子ハードウェアでの実証実験を通じて、理論が現実のノイズ環境下でも機能することを示しました。
• 将来への展望：この研究は、複合チャネル識別や量子メトロロジーの新たな道を開くとともに、多体量子系や非直交ハミルトニアンの識別への拡張、および量子デバイス検証や量子ダイナミクスの性質解析への応用が期待されます。

総じて、この論文は、未知の量子ダイナミクスからハミルトニアンを効率的に同定するための、理論的に最適かつ実験的に検証された手法を提示した画期的な研究です。