IBM量子コンピューターで非可換SU(2)格子ゲージ理論の局所熱化を大規模にシミュレーション
この論文は、SU(2)という非可換(非アベリアン)ゲージ理論の「熱化」過程を、実際のIBMの量子コンピューター上で大規模にシミュレーションした研究を報告します。著者らは、最小限に切り詰めたモデル(電気場の表現を低次の二つの値に制限)を格子の一列に並べた「プラケット鎖」として取り扱い、最長で151プラケット(=151量子ビットに対応)まで扱える回路を実行しました。ハードウェアの結果は誤差緩和を施した上で、古典シミュレータを外挿(広げて推定)した結果と、最大101プラケットまで一致しました。これは現在の雑音の多い量子機械でも、局所的な熱化の挙動を追えることを示しています。
研究で扱う「熱化」とは、局所的な観測量が時間とともに熱平衡の期待値に近づく過程を指します。著者らはこの過程を、ある区間(サブシステム)のエンタングルメント(量子もつれ)の分布で追跡しました。具体的には、エンタングルメントスペクトル(部分系が持つ「もつれの構造」を示す数列)、R\'enyi-2エントロピー(エンタングルメントの大きさを測る指標の一つ)、そして「アンチフラットネス」と呼ぶ指標を時間依存で計測しました。アンチフラットネスが大きいときは、その瞬間の量子状態が古典的に扱いにくい「量子的特殊性(quantum magic)」を示すことが知られており、熱化の重要な局面を明らかにします。
方法については、SU(2)の格子理論を局所的なスピン(パウリ行列)モデルに写像し、演算子を分解して時間発展を順次適用する「トロッター化」を用いて回路を組み立てました。初期状態は全てのスピンが下向きの強結合真空の単純な直積状態で、これを量子回路で準備して時間発展させます。部分系の密度行列は量子トモグラフィーで再構成し、そこからエンタングルメントスペクトルやR\'enyi-2を算出しました。回路実装のために三量子ビットゲートはハダマード、Z回転、制御NOTで構成する標準的な方法を使っています。
量子ハードウェア側では、現実のノイズに向き合うためいくつかの誤差緩和手法を併用しました。具体的には、ダイナミカルデカップリング(量子ビットの干渉からの保護)、パウリツイリング(誤差を平均化する技術)、および演算子デコヒーレンスの再正規化といった方法が使われています。これらを組み合わせた後のハードウェア結果は、古典シミュレータを用いた外挿結果と良好に一致し、101プラケット程度までは物理的信号が回復できることが示されました。
重要な注意点と限界も明示されています。まずこの研究は「最小トランケーション」と呼ばれる単純化を使っています。電気場の自由度を最も低い二値(角運動量表現j≤1/2)に切り詰めており、完全なSU(2)理論そのものとは異なります。また初期状態は準備しやすい一方でエネルギー分散が大きく、遅い時刻では非熱的な振動が残る可能性があると著者は述べています。さらに、使用する定式化や切り詰め方によっては、はるかに少ない資源で同様のベンチマークができる場合もあり、最適なアプローチの探索は始まったばかりです。最後に、現行の量子ハードウェアのノイズは依然としてシミュレーション可能な時間を制限します。今回の成功は局所的な熱化の研究が「可能であること」を示す重要な一歩ですが、より長時間・より厳密な再現にはさらに改良された装置と手法が必要です。