[論文レビュー] JuliBootS: a hands-on guide to the conformal bootstrap

Miguel F. Paulos|arXiv (Cornell University)|Dec 12, 2014

Black Holes and Theoretical Physics参考文献 25被引用数 50

ひとこと要約

JuliBootS は、線形計画法にダンツィッヒのシンプレックス法を用いた高精度な数値コンフォーマルブートストラップ計算を実装する Julia ベースのオープンソースパッケージです。コンフォーマル次元および OPE コefficient に対する効率的で並列化可能な境界を提供し、グローバル対称性と任意精度演算をサポートしており、コンフォーマルブートストラップ研究への参入障壁を著しく低下させます。

ABSTRACT

We introduce { t JuliBootS}, a package for numerical conformal bootstrap computations coded in { t Julia}. The centre-piece of { t JuliBootS} is an implementation of Dantzig's simplex method capable of handling arbitrary precision linear programming problems with continuous search spaces. Current supported features include conformal dimension bounds, OPE bounds, and bootstrap with or without global symmetries. The code is trivially parallelizable on one or multiple machines. We exemplify usage extensively with several real-world applications. In passing we give a pedagogical introduction to the numerical bootstrap methods.

研究の動機と目的

• 研究者にとって使いやすく、オープンソースの数値コンフォーマルブートストラップ計算ツールを提供し、参入障壁を低減すること。
• Julia でダンツィッヒのシンプレックス法を用いて、連続的な探索空間を持つ高精度な線形計画法を実装すること。
• コンフォーマル次元、OPE コefficient、対称的 CFT への応用を含む、広範なブートストラップ応用をサポートすること。
• シングルマシンまたはクラスタ上で、並列化が容易な構造を提供し、計算効率を向上させること。
• 将来的な高度なブートストラップ手法の開発を促進する、公開可能で拡張可能なフレームワークを提供すること。

提案手法

• 任意精度を用いた線形計画問題を解くために、Julia でダンツィッヒのシンプレックス法を実装する。
• 性能向上のため、Mathematica ノートブック（ComputeTables.nb）を用いて計算されたコンフォーマルブロックと、事前に計算されたテーブルを使用する。
• SO(N) のようなグローバル対称性を扱えるように、複数のベクトル型（例：スレート型、随伴型、ベクトル型）をサポートする。
• Julia のネイティブな並列化機能（@everywhere および pmap）を統合し、マルチコアシステムにおける分散計算を可能にする。
• 線形計画法の設定、ソルバ実行、結果保存の各モジュールを別々に設計したモジュラーなコード構造を提供する。
• クラスタ対応のスクリプト（例：quickstart.jl、runner.jl、batchfuncs.jl）を用いて、スケーリング次元の範囲を自動スキャン可能にする。

実験結果

リサーチクエスチョン

• RQ1 数値最適化に深い専門知識がなくても、コンフォーマルブートストラップを研究者にどのように容易に利用可能にすることができるか？
• RQ2 線形計画法を用いて、コンフォーマル次元および OPE コefficient に対する鋭い境界を効率的に計算する最良の方法は何か？
• RQ3 任意精度線形計画法をコンフォーマルブートストラップ計算に効果的に統合するにはどうすればよいか？
• RQ4 シングルマシンおよびクラスタ上で、Julia ベースのブートストラップフレームワークの性能とスケーラビリティはどのように現れるか？
• RQ5 ベクトル型ラベルを用いて、SO(N) のようなグローバル対称性をブートストラップ制約に体系的に統合するにはどうすればよいか？

主な発見

• JuliBootS はシンプレックス法を用いた高精度な線形計画法を成功裏に実装し、コンフォーマル次元および OPE コefficient に対する正確な境界を可能にした。
• スカラーおよびベクトル型のオペレーターをサポートしており、ラベルされたベクトル型を用いることで、SO(N) のようなグローバル対称性を伴うブートストラップ計算が可能になった。
• Julia の @everywhere および pmap を用いた並列化が容易であり、スケーリング次元の範囲を効率的にスキャン可能である。
• ベンチマーク結果から、1 ポイントあたり 1 コアでクラスタ上で良好にスケーリングすることが確認され、saveresults を用いた自動結果保存も可能である。
• ComputeTables.nb で生成された事前計算済みのコンフォーマルブロックテーブルの使用により、高速かつ再現性のある計算が保証された。
• フレームワークはプロダクション環境で使用可能で、拡張性も高く、高スピンブロックや改善された収束アルゴリズムなどの将来的な強化にも対応可能である。