[論文レビュー] Leonard pairs, spin models, and distance-regular graphs

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

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

ひとこと要約

本稿は代数的グラフ理論における既知の結果の逆を確立する：距離正則グラフ Γ のテルウィリッジャー代数のすべての非可約モジュールが、レナード対に関連する特定の形をとるならば、Γ はスピンモデルをもつ。著者らは、q-ラカハ型のグラフに対して、スピンレナード対およびボルツマン対の理論を用いて、そのようなスピンモデルを明示的に構成し、これらのモジュール構造の存在が、スピンモデルをもつグラフを特徴づけることを証明する。

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.

研究の動機と目的

• 既知の特徴づけの逆を確立する：距離正則グラフ Γ のテルウィリッジャー代数のすべての非可約モジュールが特定の形をとるならば、Γ はスピンモデルをもつ。
• スピンレナード対およびボルツマン対を用いて、q-ラカハ型の距離正則グラフに対して明示的なスピンモデルを構成する。
• スピンモデルをもつグラフに対して、これまでに必要条件として知られていたモジュール構造の条件が、十分条件であることも示す。
• ノムラ代数とボーズ＝メスナー代数の枠組みを用いて、スピンモデル、レナード対、距離正則グラフの理論を統一する。

提案手法

• スピンレナード対およびそれらに関連するボルツマン対の理論を用いて、隣接行列および双対隣接行列が非可約モジュールに作用する様子を分析する。
• q-ラカハ型のレナード系のアンダーソンデータから得られる固有値列 τi を用いて、正規化係数 f を用いて行列 W を定義する。
• テルウィリッジャー代数の構造およびモジュール分解を用いて、W がスピンモデルに必要なタイプIIおよびタイプIIIの条件を満たすことを証明する。
• W がボーズ＝メスナー代数 M に属し、主モジュールの構造と可換であることを検証し、W がノムラ代数 N(W) に含まれることを保証する。
• 非可約モジュールにおけるバランスの取れたボルツマン対の性質を用いて、W が必要な代数的条件を満たすことを示し、W がスピンモデルであることを確立する。
• q および a を用いた明示的なパラメータ化を用いて、既知のグラフ（例：完全グラフ、4-サイクル、ヒグマン＝サイトスグラフ）に対して W を構成し、条件を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 距離正則グラフのテルウィリッジャー代数のすべての非可約モジュールが特定の形をとるという条件は、そのグラフがスピンモデルをもつために十分か？
• RQ2 スピンレナード対理論を用いて、q-ラカハ型の距離正則グラフに対してスピンモデルを明示的に構成できるか？
• RQ3 距離正則グラフにおけるスピンモデル W の存在と、ノムラ代数 N(W)、ボーズ＝メスナー代数 M の間の関係は何か？
• RQ4 q-ラカハ族におけるパラメータ q および a は、W の構成およびタイプIIおよびタイプIIIの条件の満たし方とどのように関係するか？
• RQ5 固有値列および正規化係数 f から構成された行列 W がスピンモデルとみなされるための条件は何か？

主な発見

• 逆が成り立つ：距離正則グラフ Γ のテルウィリッジャー代数のすべての非可約モジュールが、カフマン、カーティン、ノムラ、ウォルフが述べた形をとるならば、Γ はスピンモデルをもつ。
• q-ラカハ型の距離正則グラフに対して、W = f ∑ τi Ei という式を用いてスピンモデル W が明示的に構成可能であり、f は ∑k_i τ_i の和によって定まる。
• W は、W およびその双対 W* が非可約モジュールに作用する様子を用いて、スピンモデルに必要なタイプIIおよびタイプIIIの条件を満たすことが確認された。
• τ₁ ≠ ±τ₀ であるため、構成されたスピンモデル W はハダマール型ではないことが確認され、q-ラカハ族のパラメータ制約と整合的である。
• 構成法は既知の例（完全グラフ、4-サイクル、ヒグマン＝サイトスグラフ、ハダマールグラフ、ヒグマン＝サイトスグラフの二重被覆、奇数および偶数のサイクル）に適用可能であり、それらすべてがスピンモデルをもつことが示された。
• 正規化係数 f は f⁻² = |X|⁻³/² ∑k_i τ_i で定まり、これによりボルツマン対 (W, W*) が主モジュール上でバランスの取れた対として作用することが保証される。