[论文解读] An Algorithmic Approach to Operator Product Expansions, $W$-Algebras and $W$-Strings

Kris Thielemans|ArXiv.org|Jun 23, 1995

Black Holes and Theoretical Physics被引用 24

一句话总结

本文提出了一种用于计算二维共形场论中算符乘积展开（OPEs）的算法框架，适用于 $W$-代数和 $W$-弦理论。该研究提出了一种系统方法，利用 Mathematica 中的符号计算来计算 OPE 系数，首次实现了 $W\!B_{2}$-代数的显式构造，并提供了自由场实现的判据，从而实现了规范 $W$-对称理论中精确关联函数的计算。

ABSTRACT

String theory is currently the most promising theory to explain the spectrum of the elementary particles and their interactions. One of its most important features is its large symmetry group, which contains the conformal transformations in two dimensions as a subgroup. At quantum level, the symmetry group of a theory gives rise to differential equations between correlation functions of observables. We show that these Ward-identities are equivalent to Operator Product Expansions (OPEs), which encode the short-distance singularities of correlation functions with symmetry generators. The OPEs allow us to determine algebraically many properties of the theory under study. We analyse the calculational rules for OPEs, give an algorithm to compute OPEs, and discuss an implementation in Mathematica. There exist different string theories, based on extensions of the conformal algebra to so-called W-algebras. These algebras are generically nonlinear. We study their OPEs, with as main results an efficient algorithm to compute the beta-coefficients in the OPEs, the first explicit construction of the WB_2-algebra, and criteria for the factorisation of free fields in a W-algebra. An important technique to construct realisations of W-algebras is Drinfel'd- Sokolov reduction. The method consists of imposing certain constraints on the elements of an affine Lie algebra. We quantise this reduction via gauged WZNW-models. This enables us in a theory with a gauged W-symmetry, to compute exactly the correlation functions of the effective theory. Finally, we investigate the critical W-string theories based on an extension of the conformal algebra with one symmetry generator of dimension N. We clarify how the spectrum of this theory forms a minimal model of the W_N-algebra.

研究动机与目标

• 开发一种系统化、算法化的共形场论中算符乘积展开（OPEs）计算方法。
• 将该框架扩展至非线性 $W$-代数，特别是源自 Drinfel'd-Sokolov 归约的代数。
• 通过规范化的 WZNW 模型实现 $W$-对称理论中关联函数的精确计算。
• 基于 $W_N$-代数及其最小模型谱系，阐明临界 $W$-弦理论的结构。
• 在 Mathematica 中实现 OPE 计算算法，以供高能理论物理研究的实际应用。

提出的方法

• 基于对称性约束和 Ward 恒等式，建立 OPE 计算的规则。
• 提出一种算法以计算 OPE 系数，特别是 $W$-代数 OPE 中的 $\beta$-系数。
• 利用符号运算、变换规则以及自定义函数（如 Map、Apply 和 Block）在 Mathematica 中实现该算法。
• 通过规范仿射李代数约束，将方法应用于 Drinfel'd-Sokolov 归约，从而在有效理论中实现关联函数的精确计算。
• 使用正规排序、泊松括号和模式展开，推导 OPE 结构并分析其代数性质。
• 利用投影算子和李代数的分级结构，系统地分解并计算 OPE 奇点。

实验结果

研究问题

• RQ1 如何以保证效率和正确性的方式，算法化地计算 $W$-代数中的 OPE？
• RQ2 一个 $W$-代数要具备自由场实现，其必要且充分条件是什么？
• RQ3 如何通过规范化的 WZNW 模型对 Drinfel'd-Sokolov 归约过程进行量子化，以计算精确的关联函数？
• RQ4 $W\!B_{2}$-代数的结构是什么？它与标准 $W_N$-代数有何不同？
• RQ5 基于 $W_N$-代数的临界 $W$-弦理论的谱系如何构成最小模型？

主要发现

• 本文首次给出了 $W\!B_{2}$-代数的显式构造，这是一种具有特定非线性 OPE 关系的新 $W$-代数。
• 开发出一种高效算法以计算 $W$-代数 OPE 中的 $\beta$-系数，从而可系统化地计算算符奇点。
• 推导出 $W$-代数中自由场分解的判据，提供了此类实现的必要且充分条件。
• 规范化的 WZNW 模型表述使得 $W$-对称理论中关联函数的精确计算成为可能。
• 证明了基于 $W_N$-代数的临界 $W$-弦理论的谱系构成最小模型，确认了其一致性和可积性。
• 在 Mathematica 中的实现支持正常排序、模式展开和变换规则，使得 OPE 的实际符号计算成为可能。