Tight bound for the total time in digital-analog quantum computation

技術要約：デジタル・アナログ量子計算における総時間のタイトな境界

問題設定
デジタル・アナログ量子計算（DAQC）は、自然なもつれを生むハミルトニアン（$H_S$）の下での自由進化と、単一量子ビットゲートの適用を組み合わせた普遍的なパラダイムである。DAQCは任意のユニタリ演算をシミュレートするための堅牢な枠組みを提供する一方で、重要なリソース指標として、特定のプロトコルを実行するために必要な総時間が残されている。先行研究では、この総時間に対して、具体的には量子ビット数（$n$）に対して二次的にスケールする劣最適な上界が確立されていた。Baßler-Heinrich-Klieschによる予想では、ZZ-イジング・ハミルトニアンに対しては、$n$に対して線形にスケールするよりタイトな境界が示唆されていた。しかし、これらの境界の正確なタイトさや、一般的な二体ハミルトニアンに対する挙動は未解決のままであった。本研究で取り組む中心的な問題は、DAQCの枠組みにおいて、任意のターゲット・ハミルトニアン（$H_P$）をソース・ハミルトニアン（$H_S$）を用いてシミュレートするために必要な、総アナログ時間（$\|t_{opt}\|_1$）のタイトな上界を決定することである。

手法
著者らは、DAQCプロトコルのコンパイルを線形代数問題として捉えている。ターゲット（$h_P$）およびソース（$h_S$）のハミルトニアンの結合（coupling）をベクトル化することにより、最適なアナログ・ブロック時間（$t$）を見つける問題は、線形システム $M t = b$ を解く問題へと還元される。ここで、$b = T (h_P \oslash h_S)$ であり、$M$ は単一量子ビットゲート（パウリまたはクリフォード）によって生成される結合の有効な符号を表す行列である。

タイトな境界を導出するために、著者らは凸多面体に基づく幾何学的視点を用いている：

1. 幾何学的解釈： 行列 $M$ の各列は、$\mathbb{R}^d$ における凸多面体の頂点として扱われる（ここで $d$ は結合の数）。$t$ を解くことは、ターゲットベクトル $b$ をこれらの頂点の正の線形結合として表現することに対応する。
2. 多面体解析： 著者らはこの多面体の性質を分析しており、頂点の数は $n$ に対して指数関数的に増加する一方で、空間の次元は二次的にしか増加しないことに注目している。彼らは、$n$ が増加するにつれて、多面体が高次元の球体に近づいていくことを論じている。
3. 再帰的構造： 行列 $M$ の再帰的構造（$M(n+1)$ が $M(n)$ と符号変化行列から構成されること）を利用して、最悪のケースにおける総時間は、原点から多面体の表面までの最小距離がシステムサイズ $n$ に依存して増加するような形ではスケールしないことを証明している。
4. 証明戦略： 証明は二段階で構成されている。まずZZハミルトニアンに対する境界を確立し、次にそれを任意の二体ハミルトニアンへと一般化する。著者らは、最悪のケースとなる問題が、追加の係数がゼロに設定された最小の非自明なシステムサイズ（2または3量子ビット）に対応することを特定している。

主な貢献と結果

• タイトな上界： 本論文は、二体ハミルトニアンをシミュレートする任意の普遍的なDAQCプロトコルについて、総アナログ時間が以下の通りタイトに上界付けられることを証明している：
  $$\|t_{opt}\|_1 \leq T \sqrt{3} \|h_P \oslash h_S\|_2$$
  ここで、$T$ はターゲットの進化時間であり、$\|\cdot\|_2$ は結合ベクトルのユークリッドノルムを表す。
• 従来の予想の反駁： 著者らは、Baßler-Heinrich-Klieschの予想（$n$が奇数または偶数の場合に$n$に対して線形にスケールすると提案したもの）に対する反例を提示し、境界が実際には $n$ には明示的に依存せず、代わりに結合の2-ノルムに依存することを示した。
• スケーリング挙動： 結果は、境界は明示的に量子ビット数に依存しないものの、最悪のシナリオ（全結合ハミルトニアン）においては、結合ベクトルの2-ノルムが $n$ に対して線形にスケールすることを示している。これは、線形スケーリングの直感を裏付けるものであるが、より精密な数学的定式化を提供している。
• 数値的検証： 最大 $n=10$ 量子ビットまでの、ZZおよび任意の二体ハミルトニアンに関する広範な数値計算が行われた。ランダムな問題分布や、軸や面（facet）に沿った特定の端点（edge case）を含むシミュレーションにより、導出された上界がタイトであること、および一様ランダムな問題が境界に対して劣線形な挙動を示すことが確認された。

意義
本論文は、DAQCのリソース見積もりに関する未解決問題を解決したと主張している。タイトで明示的な上界を提供することで、本研究は以下を可能にする：

1. 精密なリソース見積もり： 研究者は、DAQCの枠組み内で実装される量子シミュレーションおよびアルゴリズムに必要な時間リソースを正確に見積もることができるようになる。
2. 厳密な比較： この境界は、完全なデジタル量子計算（DQC）などの他のパラダイムに対するDAQCの効率性の厳密な比較を容易にする。
3. 誤差解析： 精密な時間境界により、回路コンパイルにおける誤差の見積もりが容易になり、最先端の技術を通じてトロッター化誤差を特定・削減することに寄つへる可能性がある。
4. パラダイムの開発： 結果は、上界が（結合のノルムを介して）システムサイズに対して線形に依存することを裏付けており、スケーラブルな計算パラダイムとしてのDAQCの生存能力を支持している。

著者らは、これらの境界が、任意の、あるいは固定された単一量子ビット回転角が使用されるかに関わらず、総時間を最適化するプロトコルに適用されることを強調しており、パウリゲートで構成されるプロトコルがこれらのバリエーションの中で最悪のケースを代表することを述べている。