[論文レビュー] 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}).

研究の動機と目的

• すべての非自明な関係が同一の固有値を持つ強正則グラフである擬円型関係体系を特徴づけること。
• 対称デザインがこのような関係体系の構築および分類において果たす構造的役割を調査すること。
• 設計に基づく融合技術を用いて、非アモーフアスな関係体系の分類を拡張し、新たな例を同定すること。
• 対称デザインの性質を用いて、van Dam よりもおよび著者らによる4階の既知の関係体系を体系的に回復すること。
• 有限体構成を用いて、5階のアモーフアスな関係体系および7階の非アモーフアスな関係体系を含む、新しい擬円型関係体系を構成すること。

提案手法

• 擬円型関係体系の第一固有行列を分析し、対称デザインの関係行列とすべて1の行列の線形結合構造を同定すること。
• 対称デザインの性質を用いて、基本的な巡回的構成を超えた追加の融合関係体系の存在を保証すること。
• 固有値の一様性条件に従って、巡回的関係体系における関係の融合により新しい関係体系を構成すること。
• 特に GF(2^{12}) および GF(2^{21}) を用いて、5階および7階の新しいアモーフアスおよび非アモーフアスな関係体系を実現すること。
• 得られた関係体系が擬円型および強正則性を満たし、固有値が一様であることを検証すること。
• 固有行列の構造と設計理論的性質の双対性を活用して、新しい関係体系の一貫性および存在を保証すること。

実験結果

リサーチクエスチョン

• RQ1 すべての非自明な関係が同一の固有値を持つ強正則グラフである擬円型関係体系において、どのような構造的制約が生じるか？
• RQ2 対称デザインを用いて、巡回的関係体系から新たな融合関係体系をどのように生成できるか？
• RQ3 既知の4階の非アモーフアスな関係体系は、設計に基づく融合メカニズムを用いて体系的に回復可能か？
• RQ4 特に GF(2^{12}) および GF(2^{21}) を用いた特徴を持つ、2のべき乗を法とする有限体を用いて、どのような新しい擬円型関係体系を構成できるか？
• RQ5 アモーフアスまたは非アモーフアスな関係体系が一様な固有値パラメータを持つための条件は何か？

主な発見

• このような関係体系の第一固有行列の主要部は、対称デザインの関係行列とすべて1の行列の線形結合である。
• van Dam よりもおよび著者らによる4階の既知の非アモーフアスな関係体系は、対称デザインの性質を用いた巡回的関係体系の融合として回復された。
• GF(2^{12}) 上に、新しい擬円型アモーフアス関係体系（5階）が構成された。
• GF(2^{21}) 上に、新しい擬円型非アモーフアス関係体系（7階）が構成された。
• 固有行列分解に内在する対称デザイン構造のおかげで、さらなる融合が保証される。
• この枠組みは、巡回的関係体系とその融合関係体系を、共通の設計理論的原則の下に統合し、新しい例の体系的構成を可能にする。