[論文レビュー] Families of parameters for SRNT graphs

Norman Biggs|ArXiv.org|Nov 12, 2009

Finite Group Theory Research参考文献 9被引用数 3

ひとこと要約

本稿は、三角形のない強正則グラフ（SRNTグラフ）の実現可能性条件を、$q$ と $c$ のパラメータにおけるより単純な整除性および偶奇制約を導入することで精緻化し、無限個の実現可能なパラメータ族の同定に成功した。また、頂点数 $n$ の下界を改善し、$n \geq 4q^3 + 6q^2$ を大多数の $q$ に対して示した。さらに、第二部分構成の固有値重複度を用いて、クレイン境界の新たな解釈を提示した。

ABSTRACT

The feasibility conditions obtained in a previous report are refined, and used to determine several infinite families of feasible parameters for strongly regular graphs with no triangles. The methods are also used to improve the lower bound for the number of vertices, and to derive yet another interpretation of the Krein bound.

研究の動機と目的

• 三角形のない強正則グラフ（SRNTグラフ）のパラメータの実現可能性条件を、従来の整除性および偶奇制約を簡略化することにより精緻化すること。
• 有効な SRNT グラフを生成する無限個のパラメータ対 $(q, c)$ の族を確立すること。
• このようなグラフにおける頂点数 $n$ の既知の下界を改善し、特に大きな $q$ の場合に有効であるようにすること。
• 第二部分構成グラフ $X_2$ の固有値重複度を用いて、クレイン境界の新たな解釈を提供すること。

提案手法

• 固有値重複度 $m_1$ および $m_2$ の整数性および偶奇性を用いて等価な実現可能性条件を導出し、$\alpha = (q^4 - q^2)/c$ および $\beta = q(q+1)(q+2)(q+3)/(c+2q)$ が同じ偶奇性を持つ整数でなければならないことを示した。
• 数論的恒等式を適用して、固定された $c$ に対する $q$ の可能な値を制限し、$c = 2,4,6$ を除いては有限であることを示し、$q_{\text{max}}$ を $c$ および導出されたパラメータ $h$ の関数として特定した。
• 頂点数の式 $n_q(c) = A c + B + D/c$ を用い、$A = (q+1)(q+2)$、$B = 2q^3 + 3q^2 - q$、$D = q^4 - q^2$ として、頂点数を分析し、最小値を特定した。
• SRNT グラフの第二部分構成 $X_2$ を分析し、トレース恒等式を用いて固有値重複度 $x, y, z$ を計算し、$z$ をクレインパラメータ $K_2$ と関係づける式 $qc(c+2q)z = (q^2 + qc + c)K_2$ を導出した。
• 明示的計算と代数的操作を用いて、$c = q$、$c = q(q-1)/2$、$c = q(q+1)$ などの特定の族に対して実現可能性を検証し、無限個の族が存在することを確認した。

実験結果

リサーチクエスチョン

• RQ1 どのパラメータ対 $(q, c)$ が三角形のない強正則グラフの実現可能性を満たし、実現可能性条件はどのように簡略化できるか？
• RQ2 固定された $c$ に対して、無限個の実現可能なパラメータ $(q, c)$ の族は存在するか？また、そのような族が存在する $c$ はどれか？
• RQ3 SRNT グラフにおける頂点数 $n$ の下界は改善可能か？また、その下界がタイトである条件は何か？
• RQ4 第二部分構成 $X_2$ の固有値構造はクレイン境界とどのように関係するか？これはグラフ実現可能性にどのような含意を持つか？

主な発見

• SRNT グラフのパラメータ $(q, c)$ の実現可能性は、$\alpha = (q^4 - q^2)/c$ および $\beta = q(q+1)(q+2)(q+3)/(c+2q)$ が同じ偶奇性を持つ整数であることと同値である。
• 無限個の実現可能なパラメータ族は、$c = 2, 4, 6$、$c = q$、$c = q(q-1)/2$、$c = q(q-1)$、$c = q(q+1)$ に対して存在し、$k \geq 3$ および $k > c \geq 1$ を満たすすべての $q$ に対して有効である。
• 頂点数 $n$ の下界は、$q = 2,4,5,6,7,8,12,47$ を除くすべての $q$ に対して $n \geq 4q^3 + 6q^2$ に改善された。$q = 2,4,5,6,7,8,12,47$ の場合、下界は $4q^3 + 6q^2 - 2(q+1)$ である。
• $q = 4,6,8$ の場合、下界は $4q^3 + 6q^2 - 2(q-1) + 12/(q-2)$ であり、$c = q-2$ のとき達成され、これは $q-2$ が 12 を割り切るような $q$ のみで実現可能である。
• 第二部分構成 $X_2$ の固有値 $-(q+c)$ の重複度 $z$ が非負整数であることと、クレインパラメータ $K_2 \geq 0$ であることは同値であり、クレイン境界の新たな解釈が得られた。
• $c = q(q+1)$ のとき、重複度 $z = 0$ であり、$X_2$ 自身が SRNT グラフであることを意味し、下界 $n = 4q^3 + 6q^2$ が達成される。