[论文解读] Pure N=2 Super Yang-Mills and Exact WKB

Amir-Kian Kashani-Poor, Jan Troost|arXiv (Cornell University)|Apr 30, 2015

Black Holes and Theoretical Physics参考文献 47被引用 11

一句话总结

该论文将精确 WKB 方法应用于纯 ${\cal N}=2$ 超杨–米尔斯理论在 $\epsilon_1$-微扰区域的划分函数，揭示了非微扰修正项 $\sim \exp[-\mathrm{SW\, periods}/\epsilon_1]$ 的出现，其源于 instanton 数与 $\epsilon_1$ 展开之间求和顺序的反转。这些修正项被猜想起源于世界面描述，并通过复参数 Mathieu 方程的 Stokes 图与特征指数分析进行计算。

ABSTRACT

We apply exact WKB methods to the study of the partition function of pure N=2 epsilon_i-deformed gauge theory in four dimensions in the context of the 2d/4d correspondence. We study the partition function at leading order in epsilon_2/epsilon_1 (i.e. at large central charge) and in an expansion in epsilon_1. We find corrections of the form ~ exp[- SW periods / epsilon_1] to this expansion. We attribute these to the exchange of the order of summation over gauge instanton number and over powers of epsilon_1 when passing from the Nekrasov form of the partition function to the topological string theory inspired form. We conjecture that such corrections should be computable from a worldsheet perspective on the partition function. Our results follow upon the determination of the Stokes graphs associated to the Mathieu equation with complex parameters and the application of exact WKB techniques to compute the Mathieu characteristic exponent.

研究动机与目标

• 理解 $\mathcal{N}=2$ 超杨–米尔斯理论中 instanton 划分函数在 $\epsilon_1$-展开中的非微扰修正。
• 识别划分函数在 $\epsilon_1$-展开中出现 $\sim \exp[-\mathrm{SW\, periods}/\epsilon_1]$ 形式非微扰修正的根源。
• 通过 2d/4d 对应关系，将这些修正与拓扑弦理论的世界面描述联系起来。
• 使用精确 WKB 技术（包括 Stokes 图与 Voros 乘子）计算复参数下 Mathieu 方程的特征指数。
• 阐明在小 $\epsilon$ 区域中微扰 WKB 方法的失效原因，并通过 Hill 方法与矩阵行列式等数值方法验证结果。

提出的方法

• 将来自 2d CFT 的零向量消去方程应用精确 WKB 方法，将其映射为具有复参数的 Mathieu 方程。
• 构建复参数 Mathieu 方程的 Stokes 图，以分析波函数中的非微扰修正与不连续性。
• 使用 WKB 微扰理论至四阶计算 Mathieu 方程的特征指数，并与数值结果进行比较。
• 使用 Hill 方法与三对角矩阵行列式，以线性缩放方式数值计算特征指数。
• 实现由 Mathieu 方程递推关系导出的三对角矩阵行列式 $\Delta(0)$ 的线性递推关系。
• 将 Mathematica 内置算法与 WKB 及数值结果进行比较，以评估其在小 $\epsilon$ 条件下的可靠性，揭示其在小-$\epsilon$ 区域的局限性。

实验结果

研究问题

• RQ1 在 $\mathcal{N}=2$ 超杨–米尔斯理论的 instanton 划分函数中，$\epsilon_1$-展开下会产生哪些非微扰修正？
• RQ2 为何在先对 $\epsilon_1$ 幂次求和、后对 instanton 数求和时，会出现 $\sim \exp[-\mathrm{SW\, periods}/\epsilon_1]$ 形式的修正？
• RQ3 如何利用复参数 Mathieu 方程的 Stokes 图来计算特征指数的非微扰修正？
• RQ4 为何在小 $\epsilon$ 条件下，Mathematica 的数值算法与 WKB 微扰理论之间存在差异？
• RQ5 $\epsilon_i$-微扰理论的世界面解释是否能自然地解释这些非微扰修正？

主要发现

• 识别出非微扰修正项 $\sim \exp[-\mathrm{SW\, periods}/\epsilon_1]$ 源于划分函数展开中 instanton 数与 $\epsilon_1$ 幂次之间求和顺序的反转。
• 通过精确 WKB 方法计算复参数 Mathieu 方程的特征指数，揭示了在 $u = \pm 1$ 奇点处的 Stokes 现象与 Voros 乘子的跳跃行为。
• 通过 Hill 方法与三对角行列式递推的数值验证表明，四阶 WKB 微扰理论与数值结果高度一致，而 Mathematica 的算法在小 $\epsilon$ 条件下失效。
• 决定特征指数的行列式 $\Delta(0)$ 满足线性递推关系，使得其计算成本随矩阵大小线性增长。
• 在 $\epsilon = 10^{-2}$，$u = 6e^{i\pi/8}$ 条件下，WKB 近似给出 $301.757 - 1507.262i$，与数值结果高度一致；而 Mathematica 返回 $301.347 - 1507.309i$，表明虚部存在约 $2\pi i$ 的差异。
• 本研究通过 2d/4d 对应关系，建立了划分函数 $\epsilon_1$-展开与拓扑弦理论之间的联系，表明此类修正可从世界面视角进行计算。