2025-11-13T04:31:10.769780

Notes on conformal integrals: Coulomb branch amplitudes, magic identities and bootstrap

He, Jiang, Liu et al.

We study multi-loop conformal integrals for four-point correlators of planar ${\cal N}=4$ super-Yang-Mills theory, and in particular those contributing to Coulomb branch amplitudes in the ten-dimensional lightlike limit, where linear combinations of such integrals are determined by the large R-charge octagons exactly known from integrability. Exploiting known results for integrands, we review those combinations of dual conformal invariant (DCI) integrals that must evaluate to determinants of ladders, generalizing the simplest cases of Basso-Dixon fishnet integrals; in this way, we summarize all-loop predictions for the integrands (which are extracted from $f$-graphs) contributing to components of Coulomb branch amplitudes, such as next-to-fishnet integrals. Moreover, this exercise produces new ``magic identities", {\it i.e.} certain combinations of DCI integrals equal zero, and we enumerate and simplify such identities up to six loops explicitly. On the other hand, most of these individual integrals have not been computed beyond three loops, and as a first step we consider a bootstrap program for DCI integrals based on their leading singularities and the space of pure functions. We bootstrap the $3$ non-trivial DCI integrals for four-loop Coulomb branch amplitudes (providing an independent verification of the four-loop magic identity), which all take remarkably simple form as weight-$8$ single-valued harmonic polylogarithms. We also compute all leading singularities and a large portion of the pure functions for the $34$ DCI integrals contributing to five-loop amplitudes, where not only some integrals evaluate to functions beyond harmonic polylogarithms but they also contain lower-weight pieces individually.

academic

Notes on conformal integrals: Coulomb branch amplitudes, magic identities and bootstrap

基本信息

论文ID: 2502.08871
标题: Notes on conformal integrals: Coulomb branch amplitudes, magic identities and bootstrap
作者: Song He, Xuhang Jiang, Jiahao Liu, Yao-Qi Zhang
分类: hep-th (高能物理-理论)
发表时间: 2025年10月16日
论文链接: https://arxiv.org/abs/2502.08871

摘要

本文研究了平面 $\mathcal{N}=4$ 超Yang-Mills理论四点关联函数的多圈共形积分，特别关注在十维类光极限下对Coulomb分支振幅的贡献。在这个极限下，积分的线性组合由可积性精确已知的大R荷八边形确定。作者利用已知的被积函数结果，回顾了必须求值为梯形行列式的对偶共形不变(DCI)积分组合，推广了Basso-Dixon鱼网积分的最简单情况；总结了对Coulomb分支振幅分量贡献的被积函数的全圈预测。此外，这一研究产生了新的"魔术恒等式"，并明确枚举和简化了六圈内的此类恒等式。另一方面，基于前导奇点和纯函数空间，作者考虑了DCI积分的bootstrap程序，成功bootstrap了四圈Coulomb分支振幅的3个非平凡DCI积分，以及五圈振幅的34个DCI积分的大部分结果。

研究背景与动机

问题背景

四点关联函数的重要性: $\mathcal{N}=4$ 超Yang-Mills理论中半BPS算符的四点关联函数在微扰计算、可积性和共形bootstrap的交叉点上发挥关键作用。
积分计算的挑战: 虽然四点关联函数和振幅的平面圈被积函数已确定到令人印象深刻的高阶，但对积分结果的了解却非常有限。三圈以上的共形积分涉及新的前导奇点和超越简单调和多对数的新超越函数。
十维共形对称性的发现: 文献28发现了隐藏的十维共形对称性，不仅允许将所有高荷四点关联函数打包到10维关联函数中，还为被称为大R荷关联函数或八边形的10维类光极限提供了精确的积分结果。

研究动机

Coulomb分支振幅: 通过与八边形的对偶性，这些振幅在所有阶数都已求解，由梯形积分的行列式给出。
魔术恒等式: 利用某些DCI积分组合等于各种Coulomb分支振幅分量这一事实，可以推导出非平凡的"魔术恒等式"。
Bootstrap方法: 需要系统性方法来计算高圈四点共形积分的解析结果。

核心贡献

f-图形约束的全圈预测: 通过10维极限确定了一些f-图形系数，包括消失系数的大类和特殊DCI积分（如Basso-Dixon鱼网及其推广）之间的有趣联系。
魔术恒等式的系统研究: 继续了文献28开始的"魔术恒等式"研究，通过减去已知的"零"来简化这些恒等式，枚举了六圈内的非平凡简化魔术恒等式。
四圈DCI积分的Bootstrap: 成功bootstrap了四圈的3个非平凡DCI积分，它们都以权重8的单值调和多对数(SVHPL)的形式出现，提供了四圈魔术恒等式的独立验证。
五圈积分的前导奇点分析: 计算了贡献于五圈振幅的34个DCI积分的所有前导奇点和大部分纯函数，发现某些积分不仅求值为超出调和多对数的函数，还包含较低权重的部分。

方法详解

任务定义

研究平面 $\mathcal{N}=4$ 超Yang-Mills理论中四点半BPS算符关联函数的多圈共形积分，特别是那些在十维类光极限下对Coulomb分支振幅有贡献的DCI积分。

f-图形方法

f-图形表示: ℓ圈被积函数可以写成所有(4+ℓ)点f-图形的线性组合： $H^{(\ell)}_{2222} = \sum_{i=1}^{N_\ell} c_i^{(\ell)} f_i^{(\ell)}$ 其中实线表示极点 $1/x_{ij}^2$ ，虚线表示分子 $x_{ij}^2$ 。
全排列对称性: 被积函数在 $x_1, \cdots, x_{4+\ell}$ 的任意排列下不变，即具有完全排列对称性 $S_{4+\ell}$ 。

十维提升和Coulomb分支振幅

主关联函数: 所有不同R荷的关联函数来自单一的主四点关联函数： $G(x_{ij}^2, y_{ij}^2) = \langle O(x_1,y_1)O(x_2,y_2)O(x_3,y_3)O(x_4,y_4)\rangle$
十维类光极限: $X_{i,i+1}^2 \to 0 \Leftrightarrow d_{i,i+1} \to 1 \Leftrightarrow y_{ij}^2 \to -x_{ij}^2$ 对应于主关联函数的大R荷极限。
Coulomb分支振幅分解: $M = 1 + \sum_{a,b \geq 1} (1-d_{13})^a(1-d_{24})^b M_{a,b}$

Bootstrap方法

前导奇点分析: 通过分析积分的前导奇点来确定函数空间的结构。
SVHPL基: 使用单值调和多对数作为函数基，具有确定的宇称性：
- 奇宇称: $L_{odd}(z,\bar{z}) = -L_{odd}(\bar{z},z)$
- 偶宇称: $L_{even}(z,\bar{z}) = L_{even}(\bar{z},z)$
渐近展开约束: 利用各种运动学区域的渐近展开来确定参数。

实验设置

数据和工具

HyperlogProcedures包: 用于计算SVHPL函数和某些共形积分。
pySecDec: 用于数值验证解析结果。
f-图形数据: 利用已知的f-图形系数数据，来自文献34,35的图形bootstrap结果。

计算策略

魔术恒等式验证: 通过已知的八边形结果验证DCI积分的线性组合。
渐近展开匹配: 使用文献27提供的渐近展开作为边界条件。
数值检验: 使用pySecDec以 $O(10^{-6})$ 精度进行数值验证。

已知积分: 34个DCI积分中的25个可以通过HyperlogProcedures计算或通过求解"boxing"微分方程得到。
梯形等价性: 14个积分等于五圈梯形积分 $F_5$ ： $I_9^{(5)} = I_{10}^{(5)} = \cdots = I_{32}^{(5)} = F_5$
非均匀权重: 某些积分包含较低权重部分，如 $I_{33}^{(5)}$ 是纯权重9函数。