[论文解读] Lining up a Positive Semi-Definite Six-Point Bootstrap

António Antunes, Sebastian Harris+2 more|arXiv (Cornell University)|Jan 1, 2023

Optimal Experimental Design Methods参考文献 76被引用 3

一句话总结

本文提出了一种用于共形场论（CFT）中六点关联函数的正半定数值bootstrap框架，将梳状通道中的交叉对称方程重新表述为半定规划（SDP）问题。通过利用反射正定性和后代空间表述，作者推导出对CFT数据——特别是三重扭结间隙——的严格界限，涵盖广义自由场（GFF）和广义自由玻色子（GFB）理论，展示了具有可控误差范围的高阶关联函数bootstrap方法的可行性。

ABSTRACT

In this work we initiate a positive semi-definite numerical bootstrap program for multi-point correlators. Considering six-point functions of operators on a line we reformulate the crossing symmetry equation for a pair of comb-channel expansions as a semi-definite programming problem. We provide two alternative formulations of this problem. At least one of them turns out to be amenable to numerical implementation. Through a combination of analytical and numerical techniques we obtain rigorous bounds on CFT data in the triple-twist channel for several examples.

研究动机与目标

• 开发一种用于多点关联函数的正半定数值bootstrap程序，克服以往方法缺乏严格误差控制的局限性。
• 将梳状通道中的六点交叉方程重新表述为半定规划（SDP）问题，确保反射正定性并实现严格界限。
• 利用分析与数值SDP技术，推导广义自由场（GFF）和广义自由玻色子（GFB）理论中三重扭结间隙的定量界限。
• 通过将提取的OPE系数与已知的闭式表达式进行比较，验证该方法，确认其与幺正性和谱计数的一致性。
• 为更高阶bootstrap程序奠定基础，使其能够访问更丰富的CFT数据，同时保持数学严谨性。

提出的方法

• 使用后代空间表述，将梳状通道中的六点交叉方程重新表述，将关联函数表示为具有正系数的共形块之和。
• 通过将关联函数划分为两个相互反射的半部分，利用反射正定性，确保所得内积为正半定。
• 构建两种替代的SDP表述：一种为原始形式（通过泛函获得精确解），另一种为对偶形式（使用SDPA进行数值优化）。
• 通过生成多项式SOS（平方和）表示，将正定性约束编码到SDP求解器中，实现对偶方法的实施。
• 利用梳状通道展开，访问STT–STT–标量数据，同时保持对严格界限所要求的正半定结构的兼容性。
• 通过将提取的OPE系数与共形块展开中的已知解析公式交叉验证，验证数值结果的正确性。

实验结果

研究问题

• RQ1 能否将梳状通道中的六点交叉方程重述为一个正半定规划问题，从而实现对CFT数据的严格界限？
• RQ2 利用该新型bootstrap框架，广义自由场（GFF）和广义自由玻色子（GFB）理论中三重扭结间隙的定量界限是什么？
• RQ3 数值提取的OPE系数与已知的解析结果相比如何？是否满足幺正性约束？
• RQ4 该梳状通道表述在确保反射正定性的同时，能在多大程度上保持对动力学数据的访问能力？
• RQ5 该方法能否在未来扩展至访问更高扭结数据（如STT–STT–STT系数）的更高阶bootstrap？

主要发现

• 作者成功地将梳状通道中的六点交叉方程表述为半定规划问题，其中至少一种表述形式可通过SDPA实现数值求解。
• 在GFF和GFB理论中均获得了三重扭结间隙的严格界限，其中主导三重扭结初级算符分别出现在维度3∆ψ + 3（GFF）和3∆ϕ + 3（GFB）处。
• 在GFF和GFB理论中提取的三重扭结算符OPE系数与已知的解析公式完全一致，包括P131 = 2∆²ψ(1 + 2∆ψ)，证实了与幺正性和谱计数的一致性。
• 该方法确认在GFF中维度3∆ψ + 4处不存在初级算符，与退化度计数N3∆ψ+n = ⌊(n−1)/2⌋ − ⌊(n−1)/3⌋的结果一致。
• GFB理论中的OPE系数仅在双迹谱中表现出偶数整数位移，且主导系数P0,0,0 = 6与闭式公式预期值完全匹配。
• 采用多项式SOS表示的SDP实现成功生成了数值稳定且可验证的结果，验证了该方法在后续更高阶bootstrap应用中的有效性。