Universal computation with magic Hamiltonians

技術要約：魔法のハミルトニアンによるユニバーサル計算

問題提起
従来の量子計算理論におけるユニバーサル性は、離散的なユニタリゲート集合（例：クリフォード・ゲートと単一の$T$ゲート）の性質によって定義される。しかし、実際の物理実験プラットフォームは、離散的なゲートではなく、パラメータ化されたハミルトニアンによる連続時間の発展として動作することが一般的である。多くのセットアップにおいて、特定の制御操作（局所ハミルトニアン）は「安価」または実装が容易で高フィデリティであるが、他の操作は「高価」または困難である。本論文は、少数の局所的で安価なハミルトニアン制御が、単一の「高価」または「魔法の（magic）」ハミルトニアンと組み合わされたとき、ユニバーサル量子計算に必要な完全なリー代$\mathfrak{su}(2^n)$を生成できるかという問いに取り組んでいる。著者らは、このハミルトニアン資源理論の枠組み内で、ソロヴェイ・キタエフの定理の連続的な類似物を定式化することを目指している。

手法
著者らは、ユニタリ群の生成を分析するために、リー代理論、幾何学的制御理論、および作用素代数のツールを用いている。

1. リー代生成: 核となる数学的課題は、リソースとなるハミルトニアンの集合$S$と魔法のハミルトニアン$H$によって生成されるリー代が、完全な空間$\mathfrak{su}(2^n)$を張るかどうかを判定することである。これには、生成子の反復交換子$[H_i, [H_j, \dots]]$の計算が含まれる。
2. パウリ・ストリング解析: 著者らは、パウリ行列のテンソル積であるパウリ・ストリングの特定の性質、特にその直交性と交換関係$[P, Q] = 2\delta_{[P,Q]\neq 0}PQ$を利用している。彼らは、交換構造を保持しながら異なるパウリ生成子の集合を関連付ける「PauLie」写像を定義し、生成されるリー代（例：$\mathfrak{so}(2n)$、$\mathfrak{su}(2^n)$、または直和）を分類することを可能にしている。
3. アルゴリズム的構成: 代数的な生成から物理的な実装へと移行するために、著者らはチョウ・ラシェフスキーの定理を適応させている。これは、「ジグザグ」形式の指数のシーケンスを用いることで、安価なリソースと魔法のハミルトニアンを交互に用いて、生成されるリー群の任意の要素を近似するための構成的な手法を提供する。
4. 複雑性解析: 著者らは、「交互近似長」を分析している。これは、精度$\epsilon$で任意のユニタリを近似するために必要な、リソース集合と魔法のハミルトニアンの間の最小の交互回数として定義される。彼らは、リー群に対する被覆数（Szarekの結果に基づく）の推定値を用いて、この長さの下限を導出している。

主要な貢献と結果

• 魔法のハミルトニアンの定義: 本論文は、リソース集合$S$に対してハミルトニアン$H$が「魔法的（magic）」であるとは、生成されるリー代$iS \cup \{iH\}$が$\mathfrak{su}(2^n)$であることを指すと正式に定義している。
• ユニバーサル性の具体的な例: 著者らは、ユニバーサル性を達成するリソース集合$S$（1局所および2局所パウリ・ストリングで構成）と魔法のハミルトニアンの具体的な表を提供している。注目すべき例は以下の通りである：
  • 局所制御 $X^{(2)} \cup Z^{(1)}$ と、単一量子ビット制御 $X_1 + Z_1Z_2$ の組み合わせ。
  • イジング・ハミルトニアン $J_{\gamma, \lambda} = \sum_j [(1+\gamma)X_jX_{j+1} + (1-\gamma)Y_jY_{j+1}] + \lambda \sum_j Z_j$ を魔法のリソースとして使用する場合。彼らは、$\lambda \neq 0$ かつ $\gamma \notin \{-1, 0, 1\}$ である限り、$J_{\gamma, \lambda}$ が、単一量子ビットの完全な制御によって増強された、ほぼ可換なリソース（例：$Z^{(2)}$）に対して魔法的であることを示している。
• 計算における相転移: 論文は、イジング・ハミルトニアンのパラメータに基づくシステムの計算能力における「相転移」を特定している。特定の$\gamma$の値（例：$\gamma = \pm 1$）では、生成されるリー代は小さく留まり（多項式次元、例：$\mathfrak{so}(n)$）、ユニバーサル性を達成できない。しかし、一般的な$\gamma$に対しては、次元は指数関数的なサイズ（$\mathfrak{su}(2^n)$）へと跳ね上がる。これは、イジングモデルの基底状態に関する作用素代数理論で見られる相転移を反映している。
• アルゴリズム的実装: 著者らは、任意の望ましいユニタリを構成するための準アルゴリズム的手順を提案している：
  1. リー代$L(S)$を計算し、$L(S \cup \{H\}) = \mathfrak{su}(2^n)$であることを示す。
  2. 完全な代数の基底要素を、生成子の反復交換子として表現する。
  3. Chow-Rashevskiiの「ジグザグ」法を用いて、これらの交換子を近似する。
  4. トロッター分解（Trotterization）を適用して、最終的なユニタリを近似する。
     彼らは、任意のパウリ・ストリングを生成するために必要な交換子の数に関する明示的な境界を提供している。
• 近似の指数的コスト: 中心的な結果は、ユニバーサル性は達成可能であるが、そのコストが高いことである。著者らは、交互近似長 $l_H(\epsilon|S)$ が量子ビット数 $n$ に対して指数関数的にスケールすることを証明している。具体的には、精度$\epsilon$で任意のユニタリを近似するために必要な$H$の適用回数は、$n$に対して指数関数的にスケールする。この指数関数的なスケーリングは、ソロヴェイ・キタエフの定理自体からではなく、ユニタリ群の次元に適用されたSzarekの被覆数結果から導出されている。著者らは、この挙動が、高次元空間におけるユニタリ近似の複雑さに関するソロヴェイ・キタエフの定理が提供する一般的な直感と一致していると述べている。

意義と主張
本論文は、ユニバーサル量子計算のための「ハミルトニアン・リソース理論」を確立したと主張している。その意義は以下の点にある：

1. 理論と実験の架け橋: 抽象的なゲートベースのユニバーサルモデルと、物理実験（例：トランスモン量子ビット、中性原子）で使用される連続的なハミルトニアン制御モデルを結びつけている。
2. リソースのトレードオフの特性付け: 局所制御に厳しい制限がある場合（例：可換な$Z$型相互作用のみが利用可能な場合）でも、単一の「魔法の」ハミルトニアンを加えることで、ユニバーサル性が回復できることを示している。
3. コストの定量化: 論文は、このアプローチが制限されたシステムにおいてユニバーサル計算を可能にするものの、それはおそらく高価であると控えめに結論づけている。交互近似長の指数関数的な下限は、完全な局所制御を持つ標準的なゲートベースのモデルと比較して、大きな$n$において任意のユニタリを実装するために必要な時間が膨大になることを示唆している。
4. アルゴリズムの実現可能性: 著者らは、リー代の生成および近似シーケンスの構築は、たとえ結果として得られる量子回路の深さが指数関数的であったとしても、古典コンピュータで計算可能であり、実行可能であることを強調している。

本論文は新しい実験的ハードウェアを提案するものではなく、既存のハミルトニアン制御を利用してユニバーサル性を達成するための理論的枠組みとアルゴリズムのレシピを提供しており、制御の局所性と計算時間の間のトレードオフを浮き彫りにしている。