[论文解读] autoboot: A generator of bootstrap equations with global symmetry

Mocho Go, Yuji Tachikawa|arXiv (Cornell University)|Mar 25, 2019

Theoretical and Computational Physics参考文献 61被引用 4

一句话总结

本文介绍了 *autoboot*，一种基于 Mathematica 的工具，可利用群表示数据自动为具有全局对称性的共形场论生成混合相关函数的bootstrap方程。该工具将这些方程编译为优化后的Python代码，供 *sdpb* 半定规划求解器使用，通过一种新颖的“热启动”技术显著加速数值bootstrap计算，该技术在相邻参数点之间重用求解器状态。

ABSTRACT

We introduce autoboot, a Mathematica program which automatically generates mixed-correlator bootstrap equations of an arbitrary number of scalar external operators, given the global symmetry group and the representations of the operators. The output is a Python program which uses Ohtsuki's cboot which in turn uses Simmons-Duffin's sdpb. In an appendix we also discuss a simple technique to significantly reduce the time to run sdpb, which we call hot-starting.

研究动机与目标

• 自动化推导具有任意全局对称性的共形场论中的混合相关函数bootstrap方程，减少人为错误和工作量。
• 实现对具有非阿贝尔全局对称性的共形场论（如 $D_8$、$O(N)$ 和 $O(2)$）的高效数值bootstrap研究，这些理论因技术复杂性而长期未被充分探索。
• 从群论数据到 *sdpb* 可执行半定规划输入的端到端流程进行优化，与现有工具（如 *cboot* 和 *PyCFTBoot*）集成。
• 提出并验证一种“热启动”技术，通过在连续参数评估之间重用对偶和原始求解器状态，大幅减少排除图生成的运行时间。

提出的方法

• 该工具通过 GAP 使用 SmallGrp 库检索有限群（阶数不超过 2000）的群论数据，包括特征表和 Clebsch-Gordan 系数。
• 针对变换于指定群表示下的标量算符，构建算符乘积展开（OPE）分解，并施加四点函数上的对称性约束。
• 从交叉对称性和共形块分解中符号化推导 bootstrap 方程，随后将其重新表述为半定规划（SDP）约束。
• 通过 *cboot* 接口将 SDP 转换为 Python 脚本，该脚本生成 *sdpb* 求解器所需的 XML 输入。
• 通过将前一次运行中 *sdpb* 求解器的最终迭代状态 $(x,X,y,Y)$ 作为附近参数点的初始状态，实现一种新颖的“热启动”技术。
• 该方法包含启发式策略以增强鲁棒性：若求解器进入病态状态（步长减小且障碍参数 $\mu$ 增大），则从早期状态重启。

实验结果

研究问题

• RQ1 是否可以完全自动化共形场论中具有全局对称性的混合相关函数bootstrap方程的推导，以减少人为错误和工作量？
• RQ2 在数值bootstrap框架中，如何降低生成标量维度排除图的计算成本？
• RQ3 在相邻参数点之间重用 *sdpb* 求解器的内点迭代状态，能在多大程度上加速收敛？
• RQ4 在多次运行中重用求解器状态时，需要哪些启发式策略以维持稳定性？

主要发现

• *autoboot* 工具成功为具有全局对称性的共形场论生成了bootstrap方程，已在 $D_8$、三维伊辛模型和 $O(2)$ 模型上验证，涉及标量算符在标态和基础表示中的情形。
• 基于经验基准测试，热启动技术使 *sdpb* 的运行时间相比默认初始化减少了约 10 至 20 倍。
• 将前一次运行的求解器状态用作下一次运行的初始值，能显著加速收敛，尤其在扫描邻近标量维度时效果明显。
• 即使原始 *sdpb* 假设中“原始可行性排除对偶可行性”不再成立，该方法在结合对偶可行性检测和原始跳跃检测时仍保持鲁棒性。
• 当障碍参数 $\mu$ 开始增大且步长 $\alpha_P$、$\alpha_D$ 缩小至接近零时，必须从先前的稳定状态重启，以指示陷入停滞。