Non-abelian quantum cellular automata: $1{+}1$-dimensional $SU(2)$ Yang--Mills with fermions

技術要約：1+1次元SU(2)ヤン＝ミルズ理論とフェルミオンのための非アーベル量子セル・オートマトン

問題提起
量子場理論（QFT）、特にフェルミオンが結合したSU(2)ヤン＝ミルズのような非アーベルゲージ理論の定式化およびシミュレーションは、極めて困難である。従来の離散化手法は、以下のような重大な障壁に直面している：

• ラグランジアン的手法（ユークリッド経路積分）は、ローレンツ対称性の喪失と「符号問題」に苦しみ、古典的なモンテカルロ法による計算が困難であり、量子アルゴリズムへの直接的な変換も容易ではない。
• ハミルトニアン的手法（アナログシミュレーション）は、時間と空間を非対称（$\Delta t \ll \Delta x$）に扱うことが多く、これにより相対論的対称性が崩れ、シミュレーションが短寿命のダイナミクスに限定されてしまう。
• **既存の量子セル・オートマトン（QCA）**は、アーベル理論（QED）やフェルミオン相互作用のモデリングには成功しているが、フェルミオンが結合した非アーベル理論に対する、厳密でユニタリかつゲージ共変なQCAの構築は、依然として未解決の課題である。

手法
著者らは、量子セル・オートマトン（QCA）として定式化されたデジタル量子シミュレーションスキームを提案している。このアプローチは、時空を等価に扱い（$\Delta t = \Delta x = \epsilon$）、動力学を無限に繰り返される量子回路として構成する。本手法は、以下の2点において標準的なQFTの文献とは異なる：

1. クレブシュ・ゴルダン分解の回避： コアとなる動力学における複雑な群論的和（クレブシュ・ゴルダン係数）に依存する代わりに、ゲージリンク更新の**点逐積構造（pointwise-product structure）**を利用して構成されている。これにより、標準的な量子コンピューティングの記法を用いた、ユニタリ性とゲージ共変性の自己完結的な行単位の証明が可能となる。
2. 多粒子領域へのリフティング： 単一粒子ゲートを、フェルミオンの反交換関係とゲージ共変性を維持したまま多粒子セクターへと拡張するための厳密なフレームワークを提供している。これには、合成行列（compound matrices）の理論を用いている。

主要な貢献と結果

1. ゲージ共変なフェルミオン転送
中心的な技術的課題は、フェルミオンのホッピングが局所的なSU(2)ゲージ変換と可換であることを保証することである。

• 問題： 標準的なホッピング項（$\bar{b}^\dagger M^\dagger \bar{a}$）は、隣接するサイト間のゲージ変換（$G_x$ と $G_{x+1}$）が相殺されないため、ゲージ共変性を満たさない。
• 解決策： 著者らは、行列 $M$ を、$L^2(SU(2))$ 上に作用する演算子 $\hat{M}$ へと昇格させる。
• メカニクス： $\hat{M}$ は、ウィグナーモード（基本表現）の点逐積を通じて定義される。具体的には、$\hat{M}$ は波動関数に対して群要素 $g$ による乗算として作用する。
• 証明： ゲージ変換 $G$ の下で、演算子が $G(\hat{M}) = g_x^\dagger \hat{M} g_{x+1}$ と変換されることを著者らは証明している。フェルミオン演算子の変換と組み合わせることで、内部のゲージ行列が相殺され、共変性が回復する（$G(TR) = TR$）。
• ユニタリ性： $\hat{M}^\dagger \hat{M} = I$ および $\hat{M} \hat{M}^\dagger = I$ であることを示すことにより、輸送ステップのユニタリ性を証明している。これは $g \in SU(2)$ において $\det(g) = 1$ であるという性質に基づいている。

2. 多粒子拡張
単一粒子の量子ウォーク（QW）から完全なQCAへと移行するために：

• 著者らは、非相互作用の多粒子拡張が、単一粒子のユニタリ演算に対応する合成行列（小行列の行列）であることを確立している。
• 彼らは、$K$粒子セクターの進化が、単一粒子進化の第$K$次合成行列によって与えられることを示している。
• この構造により、すべての粒子数セクターにおいてユニタリ性とゲージ共変性が保持される。
• 結果として得られる多粒子演算子（$S, T, C$）は、局所的な1量子ビットおよび2量子ビットゲートに分解され、量子ハードウェアへの実装が可能となっている。

3. ゲージ場ダイナミクスとガウスの法則

• 電気的ダイナミクス： 1+1次元では、磁気プラケットは存在しない。ゲージ場のダイナミクスは、電気場エネルギー（二次カシミール演算子）のみによって支配される。これは、リンク状態 $|jm\rangle|jn\rangle$ に作用する対角位相ゲート $U_E$ によって実装される。ここで、位相 $e^{-i\theta_{YM} j(j+1)}$ が適用される。
• 截断（Truncation）： 著者らは、無限次元のゲージリンク・ヒルベルト空間を截断する方法について論じている。彼らは、電気的位相の周期性に基づく「$q(p)$ 変形」された截断スキームを提案しており、これはユニタリ性を失うことなく（ナイーブなカットオフとは異なり）、有限の $j_{max}$ で代数を自然に閉じる。
• ガウスの法則： 物理的ヒルベルト空間は、ゲージ不変な部分空間 $G_x |\Psi\rangle = |\Psi\rangle$ によって定義される。著者らは、隣接するリンクの表現との間のクレブシュ・ゴルダン結合（具体的には角運動量の三角不等式）を介して、サイトにおけるカラー電荷を拘束する非アーベル離散ガウス則を導出している。

4. 連続極限
論文では、構成されたQCAの連続極限（$\epsilon \to 0$）の概略が述べられている：

• 離散的なフェルミオンセクターは、ゲージ場に結合した連続的なディラック方程式に収束する。
• 離散的なゲージセクターは、標準的な平坦接続表現に収束する。
• QCAステップの一次展開から導かれる全ハミルトニアンは以下の通りである：
  $$H = -i (\sigma_z \otimes I_2) D_x + m (\sigma_x \otimes I_2) + \int dx \frac{g_{YM}^2}{2} (\hat{E}_1^a(x))^2$$
  これは、質量を持つディラックフェルミオンに最小結合した1+1次元SU(2)ヤン＝ミルズ理論に対して期待されるハミルトニアンと一致する。

意義と主張
著者らは、本研究がSU(2)ゲージ・ヤン＝ミルズ理論と結合した、初のSU(2)ゲージ理論のためのQCAを提供すると主張している。その意義は以下の点にある：

• 構成的厳密性： 従来の文献に見られるような不明瞭なクレブシュ・ゴルダン和への依存を避け、量子コンピューティングの記法を用いて、ユニタリ性とゲージ共変性が構成的に証明された、明示的かつアルゴリズム的な理論の定式化を提供している。
• デジタルシミュレーション： アナログ・ハミルトニアン的手法とは異なり、相対論的対称性（$\Delta t = \Delta x$）を尊重する、長寿命で誤訂正可能なデジタルシミュレーションスキームを提示している。
• 基礎的な一歩： 非アーベル理論におけるフェルミオン・ボゾン相互作用をQCAの枠組み内でモデル化する能力を確立しており、数値計算スキームおよび理論自体の代替的な提示としての役割を担っている。

著者らは、連続極限に関して謙虚な姿勢を保っており、一次展開は正しいハミルトニアンを与えるものの、演算子のドメインやトポロジーを含む厳密な収束証明は今後の課題であるとしている。同様に、高次元（2+1, 3+1）への拡張やフェルミオンのダブリング問題についても、今後の展望として挙げられている。