[論文レビュー] An Automated Generation of Bootstrap Equations for Numerical Study of Critical Phenomena

Mocho Go|arXiv (Cornell University)|Jun 7, 2020

Model Reduction and Neural Networks参考文献 103被引用数 14

ひとこと要約

本学位論文は、グローバル対称性をもつ自己エネルギー場理論（CFT）の数値的・厳密な研究を著しく簡素化する2つの自動化ツール、autoboot と qboot を導入する。これらのツールは、ブートストラップ方程式と半定値計画問題（SDP）の自動生成を可能にし、SDPBソルバと統合することで、3次元イジング模型やO(2)スカラー模型などのモデルにおける臨界指数やオペレーター スペクトルの厳密かつ効率的な計算を可能にする。その結果、Δε′ < 3.83 および Δσ′ < 5.3 といった無関係なオペレーターに対するきつい境界が得られた。

ABSTRACT

In this thesis, we introduce new tools for the conformal bootstrap, autoboot and qboot. Each tool solves a different step in the whole computational stack, and combined with an existing efficient tool SDPB which solves semidefinite programming (SDP), our tools make it easier to study conformal field theories with more complicated global symmetries and with more general spectra. In the introduction, we review how the conformal bootstrap method gives rich information about the theory at the fixed point of renormalization group, or in other words, the critical phenomena such as the Ising model at criticality. The following three sections focus on the theories behind the implementation of autoboot and qboot, and the explicit implementation, freely available at https://github.com/selpoG/autoboot/ and https://github.com/selpoG/qboot/, is discussed in section 5. We also have two applications in the last section, the Ising model and the O(2) vector model in three dimensions, each of them has close relationship with a physical system in the real world.

研究の動機と目的

• グローバル対称性をもつ自己エネルギー場理論（CFT）のブートストラップ方程式を自動生成することで、手作業による導出の複雑さを低減すること。
• qboot を通じてブートストラップ方程式を半定値計画問題（SDP）に変換するプロセスを簡素化し、効率的な数値解析を可能にすること。
• 複雑なスペクトルと非アーベルグローバル対称性をもつCFTにおけるブートストラップ計算の効率性とスケーラビリティを向上させること。
• 3次元イジング模型やO(2)模型のような統計場理論における臨界現象を体系的かつ再現可能、かつオープンソースのフレームワークで研究するための基盤を提供すること。
• 無関係なオペレーターのスペクトル、特にスケーリング次元の主な補正項に対する厳密な境界を可能にすること。

提案手法

• autoboot は、グローバル対称性群の表現論を用いて、群論的データとCFTのオペレーター内容から自動的にブートストラップ方程式を生成する。
• qboot は、有理近似と自己エネルギー関数の分解を用いて、得られたブートストラップ方程式を半定値計画（SDP）に適した形式に変換する。
• フレームワークはSDPBソルバと統合され、得られたSDPを効率的に解くことで、CFTスペクトルに対する数値的制約が可能になる。
• 特にアイランドプロット手順において収束を加速するために、ホットスタート技術が適用されている。
• 対角極限および自己エネルギー関数の横方向微分を活用することで、数値的安定性と精度が向上している。
• パイプライン全体はGitHubで公開されたオープンソースコードとして実装されており、再現可能性と拡張性が保証されている。

実験結果

リサーチクエスチョン

• RQ1 グローバル対称性をもつCFTのブートストラップ方程式を、手作業による導出を最小限に抑えて自動生成するにはどうすればよいか？
• RQ2 ブートストラップ方程式を半定値計画（SDP）ソルバに適した形式に変換する最も効率的な方法は何か？
• RQ3 自動化ツールは、臨界モデルにおける主要オペレーターのスケーリング次元に対する境界の精度と厳密性を向上させられるか？
• RQ4 得られた無関係なオペレーターに対する境界は、モンテカルロ法やε展開の結果とどのように比較できるか？
• RQ5 有限なスペクトルの切断は、制御された方法で完全なブートストラップ解をどれほどよく近似できるか？

主な発見

• フレームワークは3次元イジング模型およびO(2)ベクトル模型のブートストラップ方程式を正常に生成し、既知の臨界指数と整合していることを確認した。
• 3次元イジング模型では、Z2偶性を持つ無関係なスカラーのスケーリング次元に対して、Δε′ < 3.83 という厳密な上界が得られ、以前の非厳密な推定値を上回る精度を達成した。
• O(2)模型では、(Δϕ, Δs) 平面上にきつい除外領域が得られ、モンテカルロ法およびヘリウム-4の実験データと整合的であった。
• イジング模型におけるZ2奇性を持つ無関係なスカラーの主な補正項に対して、Δσ′ < 5.3 という厳密な上界が得られ、モンテカルロ推定値と整合的でありながらも、よりきつい境界であった。
• この方法に従って行われたイジング模型のスペクトルの有限な切断は、将来の切断に基づくブートストラップ手法の出発点として有望である。
• autoboot と qboot がSDPBと統合されることで、複雑なグローバル対称性をもつCFTの効率的でスケーラブルかつ再現可能な数値的ブートストラップ研究が可能になった。