On an infinite sequence of strongly regular digraphs with parameters $(9(2n+3), 3(2n+3), 2n+4, 2n+1, 2n+4)$

Each language version is independently generated for its own context, not a direct translation.

这篇文章讲述了一个关于**“寻找完美社交网络”**的数学故事。

想象一下，你正在设计一个巨大的、无限延伸的社交网络（在数学里叫“有向图”）。在这个网络里，每个人（节点）都有一些特定的规则：

每个人都必须恰好向3(2n+3) 个人发送消息（出度），同时也恰好从3(2n+3) 个人那里接收消息（入度）。
如果你给某人发了一条消息，那么你们之间恰好有 2n+4 个“共同好友”（中间人），能形成“你 -> 中间人 -> 他”的链条。
如果你没给某人发消息，那么你们之间恰好有 2n+1 个“共同好友”能连接你们。

这种结构非常特殊，被称为**“强正则有向图”**。就像是一个完美的舞会，每个人跳舞的步调、互动的频率都严丝合缝，没有任何混乱。

1. 任务：寻找无限多的完美舞会

作者（Byzov 和 Pushkarev）的目标是找到无限多种这样的完美舞会。

难点：随着人数（ $n$ ）的增加，可能的排列组合像宇宙中的星星一样多，根本数不过来。
参数：他们找到的舞会人数是 $9(2n+3) $。比如当$ n=1 $时，有 45 人；$ n=2$ 时，有 63 人，以此类推。

2. 方法：用“乐高积木”和“魔法咒语”来构建

面对海量的可能性，作者没有一个个去试（那会累死），而是用了两个聪明的策略：

A. 乐高积木法（分块循环矩阵）

想象你要铺一块巨大的地板。如果你把地板分成很多块，每一块都是完全一样的，只是旋转了一下位置（就像旋转木马），那么整个地板的规律就大大简化了。

作者把巨大的社交网络矩阵（表格）切成了 $9 \times 9$ 的大块。
每一块小格子本身又是一个“循环矩阵”（就像旋转的圆盘）。
这样，原本需要处理几万个数字的复杂问题，就变成了处理几个简单的“旋转公式”。

B. 魔法咒语（多项式压缩）

为了进一步简化，作者发明了一种“压缩魔法”。

他们把每一块旋转的积木，压缩成一个数学公式（多项式）。
这就好比把一本厚厚的说明书，压缩成一句口诀。
在这个“压缩世界”里做乘法（计算连接关系），就像在普通算术里做加法一样简单，只要记得一个规则： $x$ 转一圈回到原点（ $x^{2n+3} = 1$ ）。

3. 实验：电脑侦探与 GAP 系统

虽然有了公式，但具体怎么拼还是很难猜。于是作者派出了“电脑侦探”：

第一步（pychoco 库）：用电脑程序在 $n=1$ 到 $5$ 的小规模案例中疯狂搜索。就像在迷宫里先走几步，看看哪条路是通的。
第二步（GAP 系统）：一旦找到了几个成功的例子，就用 GAP 系统分析它们的“对称性”（自同构群）。这就像是在问：“这个舞会里，有多少种换座位的方法，能让整个舞会的规则看起来完全没变？”
发现：电脑发现，虽然 $n$ 在变，但这些舞会的“骨架”和“对称性”有着惊人的相似规律。

4. 成果：找到了通用的“万能图纸”

基于电脑发现的规律，作者大胆猜想并证明了：
存在一个通用的公式（定理 7），可以生成任意 $n$ 值的完美社交网络！

这个公式就像是一个万能模具：

只要把 $n$ 代入公式，就能自动“打印”出那个完美的社交网络。
他们证明了，用这个模具造出来的网络，完全符合所有严格的“强正则”规则。

5. 未解之谜：舞会的“管理员”是谁？

文章最后提出了一个有趣的猜想（猜想 8）：
这些完美舞会的“管理员”（自同构群）似乎都有一个固定的家族结构：

就像是一个由2 个核心管理员，带领着一大群旋转的助手（ $C_{2n+2}^2$ ），最后由一个总指挥（ $C_{2n+3}$ ）来统帅。
虽然还没完全证明，但目前的证据都指向这个完美的结构。

总结

这就好比：
以前，人们想造一个完美的摩天大楼，只能一块砖一块砖地试，造几层就累倒了。
而这两位作者，先是用电脑在几层楼的小模型里试出了“砖块排列的规律”，然后发现这个规律可以写成一首**“建筑咒语”**。
现在，只要念出这个咒语（代入 $n$ ），就能瞬间变出无限多座结构完美、坚不可摧的摩天大楼（强正则有向图）。

这篇论文不仅找到了这些大楼，还画出了它们的设计图纸，并猜测了它们的物业管理结构，是组合数学领域的一次精彩突破。

Each language version is independently generated for its own context, not a direct translation.

以下是基于 Viktor A. Byzov 和 Igor A. Pushkarev 于 2026 年 3 月发表的论文《On an infinite sequence of strongly regular digraphs with parameters (9(2n + 3), 3(2n + 3), 2n + 4, 2n + 1, 2n + 4)》的详细技术总结：

1. 研究问题 (Problem)

本文旨在构造并证明存在一个无限序列的强正则有向图（Strongly Regular Digraphs, dsrg）。
具体目标是寻找参数为 $(v, k, t, \lambda, \mu)$ 的有向图，其中参数随整数 $n \ge 1$ 变化：

$v = 9(2n + 3)$ （顶点数）
$k = 3(2n + 3)$ （每个顶点的出度和入度）
$t = 2n + 4$ （每个顶点 $x$ 到自身的长度为 2 的回路数）
$\lambda = 2n + 1$ （若存在边 $x \to y$ ，则 $x$ 到 $y$ 的长度为 2 的路径数）
$\mu = 2n + 4$ （若不存在边 $x \to y$ ，则 $x$ 到 $y$ 的长度为 2 的路径数）

这类图的存在性在组合数学中是一个经典难题，特别是对于大规模参数，直接构造极其困难。

2. 方法论 (Methodology)

作者采用了一种结合代数结构与计算机辅助搜索的混合方法：

A. 数学建模：分块循环矩阵与紧致化

分块循环结构：将邻接矩阵 $A_n$ 表示为 $9 \times 9 $的分块矩阵，每个块是一个阶数为$ 2n+3$ 的循环矩阵（Circulant Matrix）。
紧致化（Compactification）：利用循环矩阵环 $\mathbb{Z}[x]/(x^{2n+3}-1)$ $Z [x] / (x^{2 n + 3} - 1)$ 与多项式环的同构关系，将矩阵运算转化为多项式运算。
- 矩阵 $M$ 被映射为多项式矩阵 $M(x)$ 。
- 矩阵乘法 $M_1 \cdot M_2$ 对应多项式乘法 $M_1(x) \cdot M_2(x) \pmod{x^{2n+3}-1}$ 。
约束条件：为了缩小搜索空间，作者施加了严格的对称性和结构约束（如特定行之间的循环移位关系、特定块的值固定等），将问题转化为在多项式环中寻找满足特定同余方程的矩阵 $A_n(x)$ 。

B. 计算机实验

工具：使用约束编程库 pychoco 进行搜索，使用 GAP 系统分析自同构群。
过程：
1. 针对 $n=1$ 到 $5$ 的小规模参数进行穷举搜索。
2. 发现满足条件的邻接矩阵后，计算其自同构群。
3. 观察 $n=1, \dots, 5$ 的解的结构规律，归纳出通用的代数公式。

3. 关键贡献 (Key Contributions)

A. 显式构造公式

作者基于计算机发现的规律，提出了一个通用的显式公式，定义了无限序列的邻接矩阵 $A_n(x)$ （见论文公式 17）。

该公式定义了 $9 \times 9 $的多项式矩阵，其元素由多项式$ P(x), Q(x), R(x), S(x)$ 及其移位组成。
其中 $P(x) = \sum_{i=0}^n x^i$ ， $Q(x) = \sum_{i=0}^{2n+2} x^i$ 等。
该构造适用于所有 $n \ge 2$ （通过计算机验证了 $n=1$ 的情况）。

B. 理论证明

论文严格证明了由上述公式构造的矩阵 $A_n(x)$ 的“去紧致化”（decompactification）结果确实满足强正则有向图的定义方程：
$A_n^2 = tI_v + \lambda A_n + \mu(J_v - I_v - A_n)$
$A_n J_v = J_v A_n = k J_v$
证明过程利用了多项式环的性质（如 $Q(x)^2 \equiv (2n+3)Q(x)$ 等引理），通过计算 $W(x) = A_n(x)^2 + 3A_n(x)$ 并验证其所有元素均等于 $(2n+4)Q(x)$ 来完成。

C. 自同构群猜想

基于对 $n=1$ 到 $5$ 的计算机计算结果，作者提出了关于该无限序列图自同构群结构的猜想：

猜想 8：对于参数为 $(9(2n+3), 3(2n+3), 2n+4, 2n+1, 2n+4)$ 的强正则有向图，其自同构群同构于：
$C_2 \times (C_2^{2n+2} \rtimes C_{2n+3})$
其中 $C_k$ 表示 $k$ 阶循环群， $\rtimes$ 表示半直积。

4. 主要结果 (Results)

存在性确认：成功构造了参数为 $(9(2n+3), 3(2n+3), 2n+4, 2n+1, 2n+4)$ 的无限序列强正则有向图。
填补空白：在计算机搜索部分，作者发现并确认了参数为 $(63, 21, 8, 5, 8)$ ( $n=2$ ) 和 $(81, 27, 10, 7, 10)$ ( $n=3$ ) 的强正则有向图的存在性。据作者指出，在论文撰写时，现有的文献（如 Table [7]）中尚无关于这两个参数图存在性的记录。
结构规律：揭示了这些图具有高度对称的分块循环结构，且其邻接矩阵可以通过简单的多项式公式生成，而非随机搜索。
计算效率：虽然随着 $n$ 增大搜索时间急剧增加（ $n=5$ 时耗时约 90354 秒），但通过引入结构约束，使得在 $n \le 5$ 的范围内能够找到解，并据此推导出通解。

5. 意义 (Significance)

组合数学理论：扩展了强正则有向图（dsrg）的已知家族。dsrg 的构造通常比无向图更困难，因为缺乏对称性约束。本文提供了一个参数随 $n$ 线性增长的无限族，丰富了该领域的理论成果。
方法论示范：展示了“计算机辅助发现 + 代数证明”在现代组合数学研究中的强大作用。通过小规模实例的搜索发现模式，进而推广到无限序列，是解决复杂组合构造问题的有效范式。
潜在应用：强正则图在编码理论、密码学（如设计哈希函数或伪随机数生成器）以及网络拓扑设计中具有重要应用。新的无限族可能为这些领域提供新的构造素材。
自同构群研究：提出的自同构群猜想若被证明，将揭示这类图深层的代数对称性，有助于理解其几何和代数性质。

综上所述，该论文通过巧妙的代数构造和严谨的计算机辅助验证，成功解决了一类特定参数的强正则有向图的无限构造问题，并为后续研究提供了明确的数学公式和猜想。

On an infinite sequence of strongly regular digraphs with parameters (9(2n+3),3(2n+3),2n+4,2n+1,2n+4)(9(2n+3), 3(2n+3), 2n+4, 2n+1, 2n+4)(9(2n+3),3(2n+3),2n+4,2n+1,2n+4)