[论文解读] New complete 2-arcs in the uniform projective Hjelmslev planes over chain rings of order 25

Kiermaier, Michael, Matthias Koch|arXiv (Cornell University)|Mar 10, 2015

Coding theory and cryptography参考文献 6被引用 3

一句话总结

本论文在链环 ℤ₂₅ 上的统一射影 Hjelmslev 平面中构造了大小为 21 的新完整 2-弧，在 𝔽₅[X]/(X²) 上的大小为 22，两者均超过先前已知的界限。通过使用带有同构过滤的定制化回溯算法，并结合一种加速 2-弧验证的合并技术，作者识别出这些极大 2-弧并分析其几何结构，挑战了关于 Hjelmslev 几何中弧大小主导性的先前猜想。

ABSTRACT

In this paper a 2-arc of size 21 in the projective Hjelmslev plane PHG(2,\Z_25) and a 2-arc of size 22 in PHG(2,\F_5[X]/(X^2)) are given. Both arcs are bigger than the 2-arcs previously known in the respective plane. Furthermore, we will give some information on the geometrical structure of the arcs.

研究动机与目标

• 确定在阶为 25 的有限链环上的统一射影 Hjelmslev 平面中 2-弧的最大可能大小。
• 研究非伽罗瓦链环是否可容纳比其伽罗瓦环对应物更大的 2-弧，从而挑战先前的猜想。
• 开发并应用一种高效的计算搜索方法，通过早期过滤同构配置并使用合并技术加速 2-弧验证。
• 分析新发现的 2-弧的几何结构，并评估其在 Hjelmslev 几何背景下的意义。

提出的方法

• 采用深度优先回溯算法在 ℤ₂₅ 和 𝔽₅[X]/(X²) 上的射影 Hjelmslev 平面中搜索 2-弧，同构性约减应用于搜索树的前七个层级。
• 该算法使用一种合并技术以避免冗余的 2-弧检查：若一个集合的所有三元点子集均有效，则该集合有效，从而在搜索过程中实现高效的前向传播。
• 仅在叶节点执行同构性测试，并利用平面的自同构群来引导搜索，减少冗余计算。
• 利用自然同态 φ: R → 𝔽₅ 将 Hjelmslev 几何投影到经典射影平面 PG(2,𝔽₅)，并以弧的像作为过滤器以限制搜索空间。
• 该方法利用同态原理，将作用群限制为 PGL(3,𝔽₅) 中投影弧的稳定子群，显著降低计算成本。
• 算法使用 Leiterspiel 框架进行规范标记和同构性测试，从而能够高效处理平面的大型自同构群。

实验结果

研究问题

• RQ1 在链环 ℤ₂₅ 上的统一射影 Hjelmslev 平面中，2-弧的最大大小是多少？
• RQ2 在非伽罗瓦 Hjelmslev 平面中的 2-弧是否可能超过其伽罗瓦环对应物中已知最大的 2-弧？
• RQ3 如何优化计算搜索技术以处理 Hjelmslev 几何中的大型自同构群和同构副本？
• RQ4 新发现的 Hjelmslev 平面中 2-弧的几何结构特征是什么？

主要发现

• 在射影 Hjelmslev 平面 PHG(2, ℤ₂₅) 中发现了一个大小为 21 的完整 2-弧，超过了此前已知的最大值 20。
• 在 PHG(2, 𝔽₅[X]/(X²)) 中发现了一个大小为 22 的完整 2-弧，超过了该平面中此前已知的最大值 18。
• PHG(2, 𝔽₅[X]/(X²)) 中的该弧是目前在任意阶为 25 的非伽罗瓦链环上的统一射影 Hjelmslev 平面中已知最大的 2-弧。
• PHG(2, ℤ₂₅) 中的该弧是该平面中首次发现的大小为 21 的 2-弧，表明此前的界限并非紧致。
• 搜索结果暗示可能存在一个反例，以挑战‘伽罗瓦环为基础的 Hjelmslev 平面总是比同 q 的非伽罗瓦平面容纳更大 2-弧’的猜想。
• 这些弧的几何结构表明，其点集不包含于投影 φ 的任意单一纤维中，表明其在剩余域几何中具有非平凡的分布。