[论文解读] Leonard pairs, spin models, and distance-regular graphs

Kazumasa Nomura, Paul Terwilliger|arXiv (Cornell University)|Jul 8, 2019

Finite Group Theory Research参考文献 24被引用 6

一句话总结

本文建立了代数图论中一个已知结果的逆定理：若距离正则图 Γ 的 Terwilliger 代数的所有不可约模都具有与 Leonard 对相关联的特定形式，则 Γ 具备自旋模型。作者利用自旋 Leonard 对与 Boltzmann 对的理论，为 q-Racah 型图显式构造了此类自旋模型，证明了这些模结构的存在性正是图具备自旋模型的充要条件。

ABSTRACT

A Leonard pair is an ordered pair of diagonalizable linear maps on a finite-dimensional vector space, that each act on an eigenbasis for the other one in an irreducible tridiagonal fashion. In the present paper we consider a type of Leonard pair, said to have spin. The notion of a spin model was introduced by V.F.R. Jones to construct link invariants. A spin model is a symmetric matrix over $\mathbb{C}$ that satisfies two conditions, called the type II and type III conditions. It is known that a spin model $\sf W$ is contained in a certain finite-dimensional algebra $N({\sf W})$, called the Nomura algebra. It often happens that a spin model $\sf W$ satisfies ${\sf W} \in {\sf M} \subseteq N({\sf W})$, where $\sf M$ is the Bose-Mesner algebra of a distance-regular graph $Γ$; in this case we say that $Γ$ affords $\sf W$. If $Γ$ affords a spin model, then each irreducible module for every Terwilliger algebra of $Γ$ takes a certain form, recently described by Caughman, Curtin, Nomura, and Wolff. In the present paper we show that the converse is true; if each irreducible module for every Terwilliger algebra of $Γ$ takes this form, then $Γ$ affords a spin model. We explicitly construct this spin model when $Γ$ has $q$-Racah type. The proof of our main result relies heavily on the theory of spin Leonard pairs.

研究动机与目标

• 建立一个已知刻画的逆定理：若距离正则图 Γ 的 Terwilliger 代数的所有不可约模均符合特定形式，则 Γ 具备自旋模型。
• 利用自旋 Leonard 对与 Boltzmann 对理论，为 q-Racah 型距离正则图显式构造自旋模型。
• 证明此前已知为图具备自旋模型所必需的模结构条件，同时也是充分条件。
• 通过 Nomura 代数与 Bose-Mesner 代数框架，统一自旋模型、Leonard 对与距离正则图的理论。

提出的方法

• 利用自旋 Leonard 对及其关联的 Boltzmann 对理论，分析邻接矩阵与对偶邻接矩阵在不可约模上的作用。
• 通过归一化因子 f 和由 q-Racah 型 Leonard 系的 Huang 数据构造的特征值序列 τi，定义矩阵 W。
• 利用 Terwilliger 代数的结构与模分解，证明 W 满足自旋模型所需的 II 型与 III 型条件。
• 验证 W 属于 Bose-Mesner 代数 M，且与主模结构可交换，从而确保 W 属于 Nomura 代数 N(W)。
• 通过不可约模上平衡 Boltzmann 对的性质，证明 W 满足必要的代数条件，从而确立其为自旋模型。
• 通过 q 与 a 的显式参数化构造 W，应用于已知图（如完全图、环图、Higman-Sims 图）并验证条件成立。

实验结果

研究问题

• RQ1 若距离正则图的 Terwilliger 代数的所有不可约模均符合特定形式，这一条件是否足以保证该图具备自旋模型？
• RQ2 能否利用自旋 Leonard 对理论，为 q-Racah 型距离正则图显式构造自旋模型？
• RQ3 在距离正则图中，自旋模型 W 的存在性与 Nomura 代数 N(W)、Bose-Mesner 代数 M 之间存在何种关系？
• RQ4 q-Racah 系列中的参数 q 与 a 如何影响 W 的构造以及 II 型与 III 型条件的满足？
• RQ5 由特征值序列与归一化因子 f 构造的矩阵 W 在何种条件下可成为自旋模型？

主要发现

• 逆定理成立：若距离正则图 Γ 的 Terwilliger 代数的所有不可约模均符合 Caughman、Curtin、Nomura 与 Wolff 所描述的形式，则 Γ 具备自旋模型。
• 对于 q-Racah 型距离正则图，可显式构造自旋模型 W = f ∑ τi Ei，其中 f 由 ∑k_i τ_i 确定。
• 通过 W 及其对偶 W* 在不可约模上的作用，验证了 W 满足自旋模型所需的 II 型与 III 型条件。
• 所构造的自旋模型 W 不属于 Hadamard 型，因为 τ₁ ≠ ±τ₀，此结论由 q-Racah 系列的参数约束所确认。
• 该构造适用于已知实例：完全图、4-环、Higman-Sims 图、Hadamard 图、Higman-Sims 的双覆盖图、奇数与偶数长度的环图，所有这些图均被证明具备自旋模型。
• 归一化因子 f 满足 f⁻² = |X|⁻³/² ∑k_i τ_i，此条件确保 Boltzmann 对 (W, W*) 在主模上作用为平衡对。