機械学習と可逆写像で作る正確な「大域的」更新:SU(2)格子ゲージ理論のモンテカルロ提案法
この論文は、格子ゲージ理論のサンプリング(モンテカルロ法)で使える、機械学習で作る大域的な提案(proposal)を提案します。研究者はSU(2)という非可換(非アベリアン)群に基づく格子リンク変数上で動く「カップリングフロー」と呼ぶ可逆変換を設計しました。重要な点は、この変換が群の一様な基準測度(Haar測度)の積を保つため、正しいMetropolis–Hastings(メトロポリス-ヘイスティングス)受容判定と組み合わせても形式的に正しいアルゴリズムになることです。つまり、学習された非局所更新を使いつつも、サンプリングの理論的な保証を失わない点が本研究の主張です。
研究者たちは次のように進めました。格子上の全てのリンクを「更新するアクティブな集合」と「凍結された背景集合」に分けます。アクティブなリンクだけを、凍結リンクを条件とする神経ネットワークが出力する群元で左から掛け替える形で更新します。出力は三成分の実ベクトルで、これはLie代数su(2)の元と解釈され、パウリ行列を使う指数写像でSU(2)の群元に変換されます。アクティブ部分だけを条件付きで変える設計(カップリング層)は可逆性を保証します。さらに、更新が左作用であるためHaar測度が保たれ、ヤコビアン補正が不要になります。提案には逆方向を明示するために±1の補助ブランチ変数を導入し、順逆の確率を対称にしています。
実装と評価はまず試験場として二次元の純SU(2)格子ゲージ理論で行いました。測定対象は格子の各プラケット(最小ループ)の平均やいくつかのWilsonループです。学習した提案を、従来の局所的なMetropolis法を基準とするリファレンスカーネルと比較しました。結果として学習提案は試験した配置で統計的分解能の中でターゲット分布を再現しました。局所ステップ数を揃えた保守的な比較(seedレベルの統計を用いた場合)では、学習提案は基準に匹敵する品質を示したものの上回ることはありませんでした。一方で、局所更新と学習更新を混ぜたハイブリッド設定では、単位時間あたりの有効サンプル数でわずかな改善が見られました。
なぜこれが意味を持つのか。従来の流れモデルをそのままMonte Carlo提案に使うと、逆向き遷移確率が計算できずに厳密な受容判定ができない場合がありました。本研究は「可逆で測度を保つ」設計により、受容確率が単純なボルツマン重み比(exp(−ΔS))に帰着することを示しました。したがって、学習された非局所更新を正確なMCMCの一部として安全に組み込めます。これが大きな概念的前進であり、将来のより大きな格子や現実的な格子QCD(量子色力学)へ応用するための基礎になります。
重要な限界も明示されています。今回の検証は二次元の小さなテストベッドに限られます。学習した変換はほとんど恒等写像に近い「near-identity」領域にあり、本格的に最適化された従来手法を明確に超える性能を示したわけではありません。効率改善は設定や配置に依存しており、得られた改善は控えめです。著者自身も本成果を「形式的正当性の証明」として位置づけており、大規模系や高次元の非アベリアン理論で同様の利得が得られるかどうかは今後の課題だと述べています。以上を踏まえ、本研究は機械学習に基づく非局所更新を理論的に安全に使うための具体的手法を示した、実用化に向けた重要な第一歩といえます。