[论文解读] Weizmann Lectures on the Numerical Conformal Bootstrap

Shai M. Chester|arXiv (Cornell University)|Jul 11, 2019

Quantum Chromodynamics and Particle Interactions被引用 7

一句话总结

本文为高维（$d>2$）共形场论（CFTs）的数值共形 bootstrap 方法提供了实用的、分步指南，重点通过 SDPB 求解半定规划（SDP）来实现交叉对称性约束。该方法利用混合相关函数 $\bbZ_2$ bootstrap 计算了三维伊辛模型的临界指数，对标量维度 $\Delta_\sigma$ 和 $\Delta_\epsilon$ 得到了与已知结果一致的精确边界。

ABSTRACT

These lectures were given at the Weizmann Institute in the spring of 2019. They are intended to familiarize students with the nuts and bolts of the numerical bootstrap as efficiently as possible. After a brief review of the basics of conformal field theory in $d>2$ spacetime dimensions, we discuss how to compute conformal blocks, formulate the crossing equations as a semi-definite programming problem, solve this problem using SDPB on a personal computer, and interpret the results. We include worked examples for all steps, including bounds for 3d CFTs with $\mathbb{Z}_2$ or $O(N)$ global symmetries. Each lecture includes a problem set, which culminate in a precise computation of the 3d Ising model critical exponents using the mixed correlator $\mathbb{Z}_2$ bootstrap. A Mathematica file is included that transforms crossing equations into the proper input form for SDPB.

研究动机与目标

• 为研究生和研究人员提供一份自包含的、教学性质的数值共形 bootstrap 方法入门指南。
• 演示如何将交叉方程表述为半定规划（SDP），并使用 SDPB 在个人计算机上高效求解。
• 实现三维 CFT 中具有全局对称性的算符维数和 OPE 系数的精确计算，特别是三维伊辛模型。
• 提供从共形块到 SDP 约束的完整计算流程，包括用于准备输入的 Mathematica 代码。
• 通过使用混合标量相关函数和 $\bbZ_2$ 对称性，在 $(\Delta_\sigma, \Delta_\epsilon)$ 空间重现伊辛模型的 bootstrap 岛。

提出的方法

• 利用 Zamolodchikov 递推关系推导高维（$d>2$）标量算符的共形块。
• 通过在交叉比展开并应用径向展开法，将交叉方程表述为多项式矩阵规划。
• 通过 SDPB 求解器实现半定规划（SDP）约束，重点关注收敛性和数值稳定性。
• 为具有两个标量算符 $\sigma$ 和 $\epsilon$ 的 $\bbZ_2$ 对称理论构造混合相关函数块 $g_{\Delta,\ell}^{\Delta_{ij},\Delta_{kl}}$。
• 通过引入能隙假设，仅将谱限制为 $\sigma$ 和 $\epsilon$ 作为相关算符，从而隔离三维伊辛模型。
• 使用自定义 Mathematica 脚本从交叉方程生成 SDPB 输入文件，包括对极点和导数的正确处理。

实验结果

研究问题

• RQ1 如何系统性地向几乎没有共形场论背景的学生教授数值共形 bootstrap 方法？
• RQ2 在 $d=3$ 维下，如何精确地计算混合标量相关函数的共形块和交叉方程？
• RQ3 如何利用半定规划在具有 $\bbZ_2$ 对称性的三维 CFT 中推导出算符维数的严格边界？
• RQ4 是否可以使用 $\Lambda=11$ 的混合相关函数 bootstrap 方法准确重现三维伊辛模型的临界指数？
• RQ5 能隙假设和对称性约束在共形 bootstrap 图景中隔离三维伊辛模型的作用是什么？

主要发现

• 本文成功使用 $\Lambda=11$ 的混合相关函数 $\bbZ_2$ bootstrap 方法，在 $(\Delta_\sigma, \Delta_\epsilon)$ 空间重现了三维伊辛模型的 bootstrap 岛。
• 计算得到的 $\Delta_\sigma$ 和 $\Delta_\epsilon$ 边界与蒙特卡洛模拟及其他 bootstrap 研究的已知结果一致。
• 通过 Zamolodchikov 递推方法，实现了高达 $r_{\text{max}}=20$ 阶的共形块高精度计算，极点替换确保了在交叉对称点处的准确性。
• 混合块的 SDPB 约束实现需要为每个 $(\Delta_{\sigma}, \Delta_{\epsilon})$ 对计算一组新的导数矩阵 $Q^{m,n}_{\ell}$，该过程通过 scalar_blocks 包高效完成。
• 习题集表明，仅在 $(\Delta_\sigma, \Delta_{\epsilon})$ 空间中选取少数网格点，即可清晰识别出被禁止区域包围的允许区域，证实了三维伊辛模型岛的存在。
• 提供的 Mathematica 脚本自动化了从交叉方程到 SDPB 输入格式的转换，实现了方法的可重现性和可扩展性。