[论文解读] Lift of dilogarithm to partition identities

Michael Terhoeven|ArXiv.org|Nov 25, 1992

South Asian Studies and Conflicts参考文献 6被引用 16

一句话总结

本文建立了可积量子场论中的多对数恒等式与二维共形场论（CFT）特征标相关联的划分恒等式之间的直接对应关系。通过利用模不变性与鞍点近似，该文从新的划分恒等式推导出已知的 $D_n$、$E_6$、$E_7$ 和 $E_8$ 多对数恒等式，其中求和侧通过逆卡坦矩阵表示，乘积侧与 CFT 特征标一致，从而完成了从多对数恒等到划分恒等式的‘提升’过程。

ABSTRACT

For the whole set of dilogarithm identities found recently using the thermodynamic Bethe-Ansatz for the $ADET$ series of purely elastic scattering theories we give partition identities which involve characters of those conformal field theories which correspond to the UV-limits of the scattering theories. These partition identities in turn allow to derive the dilogarithm identities using modular invariance and a saddle point approximation. We conjecture on possible generalizations of this correspondance, namely, a lift from dilogarithm to partition identities.

研究动机与目标

• 通过构建能导出 Klassen 和 Melzer（1990）提出的 $D_n$、$E_6$、$E_7$ 和 $E_8$ 多对数恒等式的划分恒等式，填补数学文献中的空白。
• 证明这些划分恒等式对应于特定二维共形场论（CFT）的特征标，特别是与 $U(1)/\mathbb{Z}_2$ 等价类和极小模型相关的 CFT。
• 通过结合计算机代数、模不变性与渐近分析的方法，系统性地建立从多对数恒等到划分恒等式的‘提升’机制。
• 提出该对应关系可推广至其他 CFT，特别是张量积结构下的情形。
• 通过与已知结果（如 Andrews-Gordon 和 Rogers-Ramanujan 恒等式）的一致性验证该方法的有效性。

提出的方法

• 本文使用 $D_n$、$E_6$、$E_7$ 和 $E_8$ 李代数的逆卡坦矩阵作为求和侧指数中的二次型，构造划分恒等式。
• 采用 Richmond 和 Szekeres（1981）的方法，将求和侧的渐近增长与 CFT 的中心荷联系起来，从而推导出多对数恒等式。
• 划分恒等式的右侧被识别为雅可比 theta 函数的组合，这些函数被证明对应于 $\mathcal{W}$-代数或极小模型 CFT 的特征标。
• 利用模不变性将划分函数与求和的渐近行为关联，从而在 $z=0$ 处导出多对数恒等式。
• 通过重现 $A_n$ 和 $T_n$ 系列的已知恒等式，验证了该方法的一致性，确认与先前工作的相符。
• 提出一个猜想：这些恒等式的结构在 CFT 的张量积下保持不变，暗示存在更深层次的代数与模结构。

实验结果

研究问题

• RQ1 能否构造出划分恒等式，使其渐近增长能导出 Klassen 和 Melzer（1990）提出的 $D_n$、$E_6$、$E_7$ 和 $E_8$ 多对数恒等式？
• RQ2 由 $D_n$、$E_6$、$E_7$ 和 $E_8$ 的逆卡坦矩阵导出的划分恒等式是否对应于已知二维共形场论的特征标？
• RQ3 是否存在一种通用机制，通过模不变性与鞍点近似，实现从多对数恒等到划分恒等式的‘提升’？
• RQ4 这些恒等式的结构在共形场论的张量积下如何表现？
• RQ5 用于 $D_n$ 和例外系列的方法能否推广至其他李型或 CFT？

主要发现

• 对于 $D_n$ 系列，划分恒等式为 $ q^{-1/24} \sum_{m_1,\ldots,m_n \geq 0} \frac{q^{\mathbf{m} C^{-1}_n \mathbf{m}^t} e^{\pi i z (m_n - m_{n-1})}}{(q)_{m_1} \cdots (q)_{m_n}} = \frac{1}{\eta(\tau)} (\Theta_{0,n} + \Theta_{n,n})(z, \tau, 0) $，其中 $ C^{-1}_n $ 为 $ D_n $ 的逆卡坦矩阵。
• 当 $ z = 0 $ 时，该恒等式重现了 $ D_n $ 多对数恒等式：$ \frac{1}{L(1)} \left[ 2L\left( \frac{1}{n-1} \right) + \sum_{a=2}^{n-1} L\left( \frac{1}{a^2} \right) \right] = 1 $，对应于中心荷 $ c = 1 $ 的 $ U(1) $ CFT。
• 对于例外情形，将 $ C^{-1}_n $ 替换为 $ E_6 $、$ E_7 $ 和 $ E_8 $ 的逆卡坦矩阵，并令 $ z = 0 $，右侧分别变为 $ \chi_{1,1} + \chi_{1,5} + 2\chi_{1,3} $、$ \chi_{1,1} + \chi_{1,3} $ 和 $ \chi_{1,1} $，与 $ (6,7) $、$ (4,5) $ 和 $ (3,4) $ 维拉索罗极小模型的特征标一致。
• $ E_6 $、$ E_7 $ 和 $ E_8 $ 的划分恒等式分别对应于中心荷为 $ 6/7 $、$ 7/10 $ 和 $ 1/2 $ 的 $ (6,7) $、$ (4,5) $ 和 $ (3,4) $ 极小模型。
• 该方法成功重现了 $ A_n $ 和 $ T_n $ 系列的已知多对数恒等式，与 Nahm 等人（1992）的先前结果一致。
• 本文提出猜想：这些恒等式的结构在 CFT 的张量积下保持不变，暗示其背后存在更深层次的代数与模结构。