Signed graphs with fixed smallest eigenvalue at least $-3$ and their lattices

技术摘要：最小特征值至少为 −3 的符号图及其格点

问题陈述
本文研究了最小特征值 $\lambda_{\min}(G, \sigma)$ 被限制在接近 $-3$的连通符号图$(G, \sigma)$ 的结构性质。具体而言，作者探讨了当这些图具有足够大的最小度（valency）时，其表现出的行为。研究重点在于以下两个主要方面：

1. 确定在满足高最小度条件下，最小特征值是否会被迫至少为 $-3$（而非仅仅大于$-3 - \varepsilon$）。
2. 刻画与这些图相关的整格点 $\Lambda(G, \sigma)$，特别是确定它是否嵌入到标准格点 $\mathbb{Z}^n$ 与 $E_8$ 根格点的直和中。
3. 分析这些图的可扩展性（extendability）：即一个具有 $\lambda_{\min} \ge -3$ 的符号图是否可以作为更大且具有相同特征值界限的连通符号图的真诱导子图。

方法论
作者结合了谱图论与格点理论，利用了以下关键工具：

• 格点关联： 对于具有最小特征值 $\lambda$ 的符号图，矩阵 $G_r(G, \sigma) = A(G, \sigma) - \lfloor \lambda \rfloor I$ 是半正定的。格点 $\Lambda(G, \sigma)$ 定义为由矩阵 $N$ 的列生成的整格点，其中 $G_r(G, \sigma) = N^T N$。
• 霍夫曼符号图（Hoffman Signed Graphs）： 作者利用了霍夫曼符号图的框架，这类图由“瘦”顶点（slim vertices）和“胖”顶点（fat vertices）组成。通过将胖顶点替换为正团（positive cliques）来构造更大的图。该框架允许分析随着团规模增长时的特征值极限。
• 最小禁图（Minimal Forbidden Subgraphs）： 证明策略依赖于识别针对阈值 $\lambda = -3$ 的有限个“最小禁胖霍夫曼符号图”集。通过证明该集合是有限的，作者确立了具有足够大最小度的图不能包含这些禁结构，从而迫使特征值满足特定的界限。
• 无根幺正格点（Rootless Unimodular Lattices）： 本文利用由平方范数为 3 的向量（不含根）生成的不可约幺正格点（如较短的 Leech 格点和 Conway-Borcherds 格点），构造了不可扩展符号图的示例。

核心贡献与结果

1. 消除特征值间隙（定理 1.3）：
   本文证明存在一个正实数 $\varepsilon$ 和一个正整数 $\kappa_3$，使得如果一个连通符号图满足 $\lambda_{\min} > -3 - \varepsilon$ 且最小度至少为 $\kappa_3$，则 $\lambda_{\min} \ge -3$。这强化了先前对 $\lambda_{\min} \in (-2, -1]$ 和 $(-1-\sqrt{2}, -1]$ 情况的刻画结果。

2. 格点结构（定理 1.3）：
   在上述条件下，其相关格点 $\Lambda(G, \sigma)$ 被证明是标准格点 $\mathbb{Z}^n$ 与若干个 $E_8$ 根格点之直和的子格点。这推广了早期的发现，即 $\lambda_{\min} \ge -2$ 时的格点被限制在根格点 $A_n, D_n, E_6, E_7, E_8$ 中。

3. 图的可扩展性（定理 1.7）：
   作者表明，如果一个连通符号图具有 $\lambda_{\min} \ge -3$ 且具有足够大的最小度，则它是可扩展的。也就是说，它可以被嵌入为无限多个同样满足 $\lambda_{\min} \ge -3$ 的更大连通符号图的真诱导子图。这意味着此类图在特征值保持的语境下不是极大的。

4. 不可扩展图的构造：
   本文构造了特定的具有 $\lambda_{\min} = -3$ 的不可扩展正则符号图。这些图源自由平方范数为 3 且不含根的不可约幺正格点（例如较短的 Leech 格点、奇 Leech 格点和 Conway-Borcherds 格点）。

   • 提供了一个阶数为 2300、度数为 891 的示例。
   • 该构造表明，定理 1.7 中的常数 $\kappa_4$（可扩展性阈值）至少为 892。

5. 禁结构的有限性（定理 3.2）：
   一个关键的技术结果是证明了针对 $\lambda = -3$ 的最小禁胖霍夫曼符号图集合是有限的。这种有限性对于确立存在性阈值 $\kappa_3$ 至关重要。

意义与主张
本文将自身定位为对先前关于固定最小特征值符号图刻画的实质性加强。

• 动机： 本工作受到 $\lambda_{\min} \ge -2$ 符号图（对应于根格点）分类的启发，以及确定欧几里得空间中具有特定角度的最大双角线（biangular lines）数量这一更广泛问题的启发。
• 分类： 作者指出，虽然存在无穷多个具有 $\lambda_{\min} \ge -3$ 的可扩展图，但不可扩展图的存在性很可能是有限的（或者至少局限于特定的格点构造）。他们提出了问题 1.9：“是否存在无穷多个具有至少 $-3$ 最小特征值的不可扩展符号图的切换类（switching classes）？”基于其研究结果，他们预期答案是否定的。
• 局限性： 本文并未声称完全分类所有具有 $\lambda_{\min} = -3$ 的不可扩展符号图，而是提供了一个理解其格点性质并构造特定示例的框架。它强调了可扩展性定理所需的常数 $\kappa_4$ 是非平凡的（至少为 892），这表明小规模图的行为可能与具有高最小度的图不同。

总而言之，本文确立了高最小度强制符号图在特征值接近 $-3$时符合特定的格点结构（$\mathbb{Z}^n \oplus E_8^k$），同时识别出由格点衍生的特定构造，作为该区间内不可扩展、极大符号图的潜在候选者。