[论文解读] Ocneanu Cells and Boltzmann Weights for the SU(3) ADE Graphs

David Evans, Mathew Pugh|ORCA Online Research @Cardiff|Jun 23, 2009

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

一句话总结

本文计算了除 $τ}_4^{(12)}$ 外所有 SU(3) ADE 图的 Ocneanu 单元和 Boltzmann 权重，使可积统计力学模型的构建成为可能，并为 SU(3) 平面代数和辫状子因子奠定了基础。结果通过 $α$-归纳实现了所有 SU(3) 模形式不变量，并在 nimrep 图上实现了 Hecke 代数表示。

ABSTRACT

We determine the cells, whose existence has been announced by Ocneanu, on all the candidate nimrep graphs except $\mathcal{E}_4^{(12)}$ proposed by di Francesco and Zuber for the SU(3) modular invariants classified by Gannon. This enables the Boltzmann weights to be computed for the corresponding integrable statistical mechanical models and provide the framework for studying corresponding braided subfactors to realise all the SU(3) modular invariants as well as a framework for a new SU(3) planar algebra theory.

研究动机与目标

• 确定除 $\mathcal{E}_4^{(12)}$ 外所有 SU(3) ADE 图的 Ocneanu 单元，如 Ocneanu 所宣布。
• 为与这些图相关的可积统计力学模型计算 Boltzmann 权重。
• 提供一个框架，通过辫状子因子和 $α$-归纳实现所有 SU(3) 模形式不变量。
• 为新的 SU(3) 平面代数理论及其模类建立基础。
• 通过识别早期工作中存在的印刷错误，解决先前 Hecke 代数表示中的不一致之处，特别是针对 $\mathcal{E}^{(24)}$ 的情况。

提出的方法

• 使用 SU(3) Hecke 代数的表示理论计算 Ocneanu 单元的数值。
• 在 nimrep 图上构造 Hecke 代数的矩阵表示 $U^{(i,j)}$，以编码三价顶点权重。
• 使用量子整数记号 $[n] = \frac{q^n - q^{-n}}{q - q^{-1}}$ 将矩阵元素表示为量子维数的形式。
• 应用 $α$-归纳程序，通过 Verlinde 代数将子因子与模形式不变量联系起来。
• 将计算出的表示与 Sochen [41] 中的结果进行比较，识别出不一致之处，并将其归因于印刷错误。
• 使用谱测度和图谱验证 nimrep 图与模形式不变量之间的对应关系。

实验结果

研究问题

• RQ1 除 $\mathcal{E}_4^{(12)}$ 外，SU(3) ADE 图的 Ocneanu 单元的显式数值是多少？
• RQ2 如何从这些单元推导出可积 SU(3) 统计模型的 Boltzmann 权重？
• RQ3 在 nimrep 图上，Hecke 代数表示是否唯一？是否与先前文献中的表示一致？
• RQ4 能否通过此框架利用辫状子因子实现所有 SU(3) 模形式不变量？
• RQ5 $\mathcal{E}_4^{(12)}$ 图在 SU(3) ADE 分类中起什么作用？为何其被排除在此计算之外？

主要发现

• 除 $\mathcal{E}_4^{(12)}$ 外，所有 SU(3) ADE 图的 Ocneanu 单元均已计算，为三价顶点提供了完整的数值权重集。
• 从计算出的单元推导出了可积 SU(3) 统计模型的 Boltzmann 权重，从而实现了这些模型的构建。
• 明确确定了 SU(3) Hecke 代数的矩阵表示 $U^{(i,j)}$，其元素以量子整数 $[n]$ 的形式表达。
• Sochen [41] 报告的 $\mathcal{E}^{(24)}$ 的 Hecke 表示中的不一致之处被归因于印刷错误，因为计算出的权重在绝对值上存在差异。
• 该框架支持通过 $α$-归纳和辫状子因子实现所有 SU(3) 模形式不变量，$\mathcal{E}_4^{(12)}$ 除外。
• 结果为发展新的 SU(3) 平面代数理论及其模类提供了连贯的基础。