[论文解读] Cyclotomic Association Schemes and Strongly Regular Graphs

Akihiro Munemasa, Takuya Ikuta|arXiv (Cornell University)|Aug 27, 2008

Finite Group Theory Research参考文献 8被引用 1

一句话总结

本文证明了在所有非平凡关系中具有相同特征值的伪循环关联方案，其第一特征矩阵的主部是对称设计的关联矩阵与全1矩阵的线性组合。通过利用对称设计的性质，本文构建了新的非异质关联方案——包括循环和融合方案，恢复了已知的4类方案，并提出了5类和7类的新方案。

ABSTRACT

Let X be a pseudocyclic association scheme in which all the nontrivial relations are strongly regular graphs with the same eigenvalues. We prove that the principal part of the first eigenmatrix of X is a linear combination of an incidence matrix of a symmetric design and the all-ones matrix. Amorphous pseudocyclic association schemes are examples of such association schemes whose associated symmetric design is trivial. We present several non-amorphous examples, which are either cyclotomic association schemes, or their fusion schemes. Special properties of symmetric designs guarantee the existence of further fusions, and the two known non-amorphous association schemes of class 4 discovered by van Dam and by the authors, are recovered in this way. We also give another pseudocyclic non-amorphous association scheme of class 7 on GF(2^{21}), and a new pseudocyclic amorphous association scheme of class 5 on GF(2^{12}).

研究动机与目标

• 刻画所有非平凡关系均为具有相同特征值的强正则图的伪循环关联方案。
• 探讨对称设计在构造和分类此类关联方案中的结构作用。
• 通过基于设计的融合技术，扩展非异质关联方案的分类，识别新实例。
• 利用对称设计性质，系统性地恢复已知的4类方案（例如van Dam及作者的方案）。
• 利用有限域构造，构建新的伪循环关联方案，包括一个5类的异质方案和一个7类的非异质方案。

提出的方法

• 分析伪循环关联方案的第一特征矩阵，识别出涉及对称设计关联矩阵与全1矩阵的线性组合结构。
• 利用对称设计的性质，保证在基本循环构造之外，仍存在额外的融合方案。
• 通过在循环关联方案中融合关系，构造新关联方案，其依据为特征值均匀性条件。
• 应用有限域结构——特别是GF(2^{12})和GF(2^{21})——以实现5类和7类的新异质与非异质方案。
• 验证所得方案满足伪循环性及强正则性，且特征值均匀。
• 利用特征矩阵结构与设计理论性质之间的对偶性，确保新方案的一致性与存在性。

实验结果

研究问题

• RQ1 在所有非平凡关系均为具有相同特征值的强正则图的伪循环关联方案中，会引发哪些结构约束？
• RQ2 如何利用对称设计从循环关联方案中生成新的融合方案？
• RQ3 已知的4类非异质方案能否通过基于设计的融合机制系统性地恢复？
• RQ4 能否利用特征为2的有限域（特别是GF(2^{12})和GF(2^{21})）构造新的伪循环关联方案？
• RQ5 何种条件可确保具有均匀特征值参数的异质或非异质关联方案的存在？

主要发现

• 此类方案的第一特征矩阵的主部是关于对称设计关联矩阵与全1矩阵的线性组合。
• van Dam及作者所提出的已知4类非异质关联方案，可通过利用对称设计性质对循环方案进行融合而被系统性恢复。
• 在GF(2^{12})上构造出一个新的伪循环异质关联方案，其类为5。
• 在GF(2^{21})上构造出一个新的伪循环非异质关联方案，其类为7。
• 第一特征矩阵分解中所蕴含的对称设计结构，保证了更多融合方案的存在。
• 该框架将循环方案及其融合方案统一于同一设计理论原则之下，从而实现新实例的系统化构造。