[论文解读] Families of parameters for SRNT graphs

Norman Biggs|ArXiv.org|Nov 12, 2009

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

一句话总结

本文通过在参数 $q$ 和 $c$ 上引入更简单的可除性与奇偶性约束，改进了无三角形强正则图（SRNT 图）的可行性条件，从而识别出无限多组可行参数。本文提升了顶点数 $n$ 的下界，表明对于大多数 $q$，有 $n \geq 4q^3 + 6q^2$，并通过对第二子构图的特征值重数重新诠释了 Krein 界。

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 图）参数的可行性条件。
• 建立无限多组可行参数对 $(q, c)$，其可生成有效的 SRNT 图。
• 改进此类图中顶点数 $n$ 的已知下界，尤其针对较大的 $q$。
• 通过第二子构图 $X_2$ 的特征值重数，提供 Krein 界的新解释。

提出的方法

• 利用特征值重数 $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$ 的取值有限，并以 $c$ 和导出参数 $h$ 表示 $q_{\text{max}}$。
• 使用公式 $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$，并通过 $qc(c+2q)z = (q^2 + qc + c)K_2$ 将 $z$ 与 Krein 参数 $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$ 的特征值结构如何与 Krein 界关联？这对图的可实现性有何含义？

主要发现

• 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$（除 $q = 2,4,5,6,7,8,12,47$ 外），有 $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 时可行。
• 第二子构图 $X_2$ 中特征值 $-(q+c)$ 的重数 $z$ 为非负整数，当且仅当 Krein 参数 $K_2 \geq 0$，从而为 Krein 界提供了新解释。
• 当 $c = q(q+1)$ 时，重数 $z = 0$，意味着 $X_2$ 本身也是 SRNT 图，且此时下界 $n = 4q^3 + 6q^2$ 被达到。