[论文解读] On Wreath Products of One-Class Association Schemes

Sung‐Yell Song, Bangteng Xu|arXiv (Cornell University)|Aug 12, 2010

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

一句话总结

本文对单类关联方案的Wreath积的Bose-Mesner代数与Terwilliger代数提供了完整的代数表征。证明了Terwilliger代数的所有非主不可约模均为一维，并确定了一组生成一维理想的中心幂等元，从而以邻接矩阵与对偶幂等矩阵的形式，全面描述了这些代数的结构。

ABSTRACT

We give a full description of the algebraic structures of the Bose-Mesner algebra and Terwilliger algebra of the wreath product of one-class association schemes.

研究动机与目标

• 为单类关联方案的Wreath积的Bose-Mesner代数与Terwilliger代数提供完整的结构描述。
• 表征Terwilliger代数的不可约模，特别是识别其为一维的条件。
• 确定中心幂等元在Terwilliger代数中的作用及其代数性质。
• 推广并扩展关于汉明方案与群方案的Terwilliger代数的先前结果。
• 建立一个理解Bose-Mesner代数与对偶Bose-Mesner代数在Wreath积背景下对偶性的框架。

提出的方法

• 本文使用标准模 $ V = \mathbb{C}^X $，并将Bose-Mesner代数 $ \mathcal{A} $ 定义为对称关联方案的邻接矩阵 $ A_0, \dots, A_d $ 生成的代数。
• 引入由投影矩阵 $ E_i^*(x) $ 生成的对偶Bose-Mesner代数 $ \mathcal{A}^*(x) $，这些矩阵投影到子构成部分 $ R_i(x) $，即与固定顶点 $ x $ 距离为 $ i $ 的顶点集合。
• Terwilliger代数 $ \mathcal{T}(x) $ 定义为由 $ \mathcal{A} $ 和 $ \mathcal{A}^*(x) $ 生成的代数，并通过三重积 $ E_i^* A_j E_h^* $ 分析其结构。
• 利用交数 $ p_{ij}^h $ 推导关键恒等式，并证明 $ E_i^* A_j E_h^* = 0 $ 当且仅当 $ p_{ij}^h = 0 $，从而将代数结构与组合学联系起来。
• 作者为 $ i \in \{1,\dots,d\} $，$ h \in [i-1] $ 定义了中心幂等元 $ F_{ih} $，并证明其满足 $ F_{ih}^2 = F_{ih} $，表明其为幂等且中心的。
• 他们证明每个非零 $ F_{ih} $ 在 $ \mathcal{T}(x) $ 中生成一个一维理想，并推导出与 $ g $ 相对于 $ h $ 的显式依赖关系的交换关系 $ A_g F_{ih} = F_{ih} A_g $。

实验结果

研究问题

• RQ1 单类关联方案的Wreath积的Bose-Mesner代数的完整代数结构是什么？
• RQ2 Terwilliger代数的非主不可约模在何种条件下为一维？
• RQ3 在此背景下，三重积 $ E_i^* A_j E_h^* $ 如何与交数 $ p_{ij}^h $ 相关联？
• RQ4 中心幂等元 $ F_{ih} $ 在Terwilliger代数中起什么作用？它们如何生成一维理想？
• RQ5 邻接矩阵 $ A_g $ 如何与幂等元 $ F_{ih} $ 交换？其精确的特征值类关系是什么？

主要发现

• 本文确立了单类关联方案的Wreath积的Terwilliger代数的所有非主不可约模均为一维。
• 集合 $ \{F_{ih} \mid i \in \{1,\dots,d\}, h \in [i-1]\} $ 由中心幂等元组成，且每个非零元素在Terwilliger代数 $ \mathcal{T}(x) $ 中生成一个一维理想。
• 非零 $ F_{ih} $ 的数量为 $ \frac{d(d+1)}{2} - b $，其中 $ b = |\{i \in \{1,\dots,d\} : n_i = 2\}| $，且 $ n_i = 2 $ 对应于 $ k_i = \sum_{j=0}^{i-1} k_j $ 的情形。
• 每个 $ F_{ih} $ 满足 $ F_{ih}^2 = F_{ih} $，确认其为幂等元，且与所有邻接矩阵 $ A_g $ 交换，其行为具有显式的特征值类依赖关系，取决于 $ g $ 相对于 $ h $ 的位置。
• 交换关系 $ A_g F_{ih} = F_{ih} A_g $ 被显式计算：当 $ g \leq h $ 时等于 $ k_g F_{ih} $，当 $ g = h+1 $ 时等于 $ -\left(\sum_{j=0}^h k_j\right) F_{ih} $，否则为 0。
• 本文确认Terwilliger代数由三重积 $ E_i^* A_j E_h^* $ 生成，并提供了以这些幂等元及其关系为基的完整结构基。