[论文解读] Lattices and Norton algebras of Johnson, Grassmann and Hamming graphs

C. D. Maldonado, Davide Penazzi|arXiv (Cornell University)|Apr 9, 2012

Mathematical Analysis and Transform Methods参考文献 13被引用 6

一句话总结

本文为约翰逊图、格拉斯曼图和海明图构建了分级格，利用该格刻画邻接算子的特征子空间，并诱导出紧框架。推导出第二大全特征子空间上诺顿代数乘积的显式公式，其中在海明图情况下由于克雷因参数为零，乘积恒为零。

ABSTRACT

To each of the Johnson, Grassmann and Hamming graphs we associate a lattice and characterize the eigenspaces of the adjacency operator in terms of this lattice . We also show that each level of the lattice induces in a natural way a tight frame for each eigenspace. For the most important eigenspace we compute explicitly the constant associated to the tight frame. Using the lattice we also give a formula for the product of the Norton algebra attached to that eigenspace.

研究动机与目标

• 为约翰逊图、格拉斯曼图和海明图构建格结构，以分析其谱性质。
• 利用该格框架刻画邻接算子的特征子空间。
• 证明格的每一级自然地在每个特征子空间中诱导出一个紧框架。
• 显式计算与第二大全特征值对应的特征子空间 $V_1$ 的框架常数。
• 利用格常数推导出 $V_1$ 上诺顿代数乘积的闭式表达式。

提出的方法

• 为每张图构造一个嵌入到 $\mathbb{R}^X$ 中的有秩有限格，利用顶点的组合结构。
• 定义格的各级 $\Omega_j$ 及其在 $\mathbb{R}^X$ 中的像 $\Lambda_j$，形成一个滤子。
• 利用格刻画邻接算子 $\mathbf{A}$ 的特征子空间 $W_j$，依据定理 4.16。
• 通过定理 5.4 证明格的每一级 $\Omega_j$ 在每个特征子空间 $W_j$ 中诱导出一个紧框架。
• 利用格参数显式计算 $V_1$ 的紧框架常数（命题 5.5）。
• 利用框架常数与格结构推导出 $V_1$ 上的诺顿代数乘积（定理 6.6）。

实验结果

研究问题

• RQ1 如何为约翰逊图、格拉斯曼图和海明图构造一个分级格，以编码其谱结构？
• RQ2 该格的各级如何在邻接算子的特征子空间中诱导出紧框架？
• RQ3 与第二大全特征值相关的特征子空间 $V_1$ 的紧框架常数的显式值是什么？
• RQ4 如何利用格导出的常数表达 $V_1$ 上的诺顿代数乘积？
• RQ5 为何在海明图情况下诺顿乘积恒为零？这与克雷因参数有何关联？

主要发现

• 邻接算子的特征子空间 $W_j$ 完全由格的各级 $\Lambda_j$ 通过定理 4.16 刻画。
• 格的每一级 $\Omega_j$ 在每个特征子空间 $W_j$ 中诱导出一个紧框架，其中在格拉斯曼情形下，$V_1$ 的框架常数为 $\frac{[k]_q}{[n]_q} + \frac{[k-1]_q}{[n-2]_q \cdot q}$。
• 对于约翰逊图 $J(n,k)$，$V_1$ 上的诺顿代数乘积为 $\frac{2k - n}{n(n - 2)}(\check{\tau} + \check{\sigma})$。
• 在格拉斯曼图 $J_q(n,k)$ 中，$V_1$ 上的诺顿乘积为 $-\frac{[k]_q}{[n]_q}(\check{\tau} + \check{\sigma}) + \frac{[k-1]_q}{[n-2]_q \cdot q} \sum_{\rho \leq \tau \vee \sigma} \check{\rho}$。
• 对于海明图 $H(n,2)$，$V_1$ 上的诺顿代数乘积恒为零，即 $\check{\tau} \star \check{\sigma} = \mathbf{0}$，这是由于克雷因参数为零。
• 该格构造使得邻接算子的特征子空间得以重建，并为研究这些对称图中的诺顿代数提供了一个统一框架。