[论文解读] Algorithms for affine Kac-Moody algebras

Terry Gannon|ArXiv.org|Jun 14, 2001

Algebraic structures and combinatorial models参考文献 9被引用 9

一句话总结

本文提出了高效算法，用于计算仿射 Kac-Moody 代数中模 S-矩阵的矩阵元以及确定奇偶性符号，尤其针对例外李代数。通过利用 Weyl 群对称性和伽罗瓦作用，该方法将计算复杂度降低至 O((log |W|)^3) 次算术运算和 O((log |W|)^2) 次三角函数求值，从而实现了 Wess-Zumino-Witten conformal field theory 中 S-矩阵元和融合规则的快速计算。

ABSTRACT

Weyl groups are ubiquitous, and efficient algorithms for them -- especially for the exceptional algebras -- are clearly desirable. In this paper we provide several of these, addressing practical concerns arising naturally for instance in computational aspects of the study of affine algebras or Wess-Zumino-Witten conformal field theories. We also discuss the efficiency and numerical accuracy of these algorithms.

研究动机与目标

• 开发用于计算仿射 Kac-Moody 代数中 S-矩阵元的实用且高效算法。
• 解决由大 Weyl 群带来的计算挑战，特别是 E8 等例外代数中 |W| 超过 6 亿个元素的情形。
• 提供快速方法，用于确定将权重映射到其标准代表元的仿射 Weyl 群元素的奇偶性 ε(λ) = det(ŵ)。
• 明确表达伽罗瓦自同构对模不变量和 S-矩阵元的作用，并使其计算上可访问。
• 支持共形场论中的应用，包括模不变量、融合规则以及共形嵌入的分支规则。

提出的方法

• 利用有限 Weyl 群 W 及其对权重的作用，将 S-矩阵公式 (1c) 中的 W 求和简化为可处理的形式。
• 以公式 Sλμ = κ−r/2 s ∑w∈W (det w) exp[−2πi w(λ+ρ)·(μ+ρ)/κ] 作为核心计算对象。
• 应用伽罗瓦对称性，关联自同构 σℓ 下的 S-矩阵元，通过 σ(λ) = [ℓ(λ+ρ)−ρ] 和 εσ(λ) = ε′ℓ ε(ℓ(λ+ρ)−ρ) 实现 σ(λ) 和 εσ(λ) 的快速计算。
• 利用雅克比符号高效计算数论因子 ε′ℓ，借助二次互反律。
• 提出算法，利用仿射 Weyl 群作用在 P+k 中寻找标准代表元 [λ] = ŵ.λ。
• 利用分母恒等式与乘积公式（如 mρ 的情形），简化当 λ 为 ρ 的倍数时的 Sλμ，再通过对称性与伽罗瓦作用推广至一般权重。

实验结果

研究问题

• RQ1 如何高效计算仿射 Kac-Moody 代数中 S-矩阵元，特别是针对 Weyl 群庞大的例外类型？
• RQ2 如何为 P+k 中给定权重 λ 高效计算仿射 Weyl 群轨道代表元 [λ]？
• RQ3 如何在不显式求出 ŵ 的情况下，高效计算将 λ 映射到其标准代表元的仿射 Weyl 群元素的奇偶性 ε(λ) = det(ŵ)？
• RQ4 伽罗瓦自同构在关联 S-矩阵元方面起什么作用？其作用如何高效计算以应用于模不变量？
• RQ5 能否利用 S-矩阵元与奇偶性的快速算法推导或验证共形嵌入中的分支规则？

主要发现

• 该算法使用 O((log |W|)^3) 次算术运算和 O((log |W|)^2) 次三角函数求值来计算 S-矩阵元，显著降低了对大 Weyl 群求和的计算成本。
• 对于 E8 等例外代数（|W| ≈ 6.97×10^8），该方法将计算负担从暴力求和降低为可处理的对数尺度运算。
• 奇偶性 ε(λ) 可通过 εσ(λ) = ε′ℓ ε(ℓ(λ+ρ)−ρ) 计算，其中 ε′ℓ 为雅克比符号，从而在无需完整群作用的情况下实现超快速符号判定。
• 伽罗瓦作用 σℓ 通过 σ(λ) = [ℓ(λ+ρ)−ρ] 映射权重，且该变换保持模不变性，从而实现对不变量的高效检验。
• 该方法通过计算 S-矩阵元并应用 Kac-Walton 公式，推导出此前缺失或仅作为猜想的共形嵌入分支规则。
• 该方法为计算模不变量和验证奇偶性规则 Mλμ ≠ 0 ⇒ εσ(λ) = εσ(μ) 提供了系统且高效的方式，而该规则对模不变量的分类至关重要。