[论文解读] Searching for line transitive, point imprimitive, linear spaces

Gregory Cresp|ArXiv.org|Apr 25, 2006

Advanced Graph Theory Research参考文献 3被引用 3

一句话总结

本文利用计算搜索方法研究了线传递、点非本原线性空间的存在性。通过基于GAP和C的算法，从451个点上的群作用构造此类空间，应用轨道定理与Delandtsheer-Doyen约束条件以缩小搜索空间。尽管进行了全面测试，仍未发现新实例，但该方法为设计理论中的未来搜索提供了稳健的框架。

ABSTRACT

A finite linear space is a finite set of points and lines, where any two points lie on a unique line. Well known examples include projective planes. This project focuses on linear spaces which admit certain types of symmetries. Symmetries of the space which preserve the line structure are called automorphisms. A group of these is called an automorphism group of the linear space. Two interesting properties of linear spaces are point imprimitivity and line transitivity. Point imprimitive spaces admit a second structure on the points aside from the lines, which is also preserved by an automorphism group. In line transitive spaces, given any two lines, an automorphism can be found that maps one line to the other. Very few point imprimitive, line transitive linear spaces, apart from projective planes, are known. Such spaces that have been found have been surprising. One point of interest is whether such spaces are rare and the known ones are in some sense exceptional, or if there are many such spaces, but mathematicians have been looking in the wrong places. Here we investigate methods to construct a line transitive, point imprimitive linear space over a given point set and automorphism group. We employ these methods on two given automorphism groups, both on a set of 451 points. This was an exceptional situation identified in theoretical work of Praeger and Tuan. Included in this is the development of an algorithm, written in GAP, an algebraic programming system, and C, to perform these constructions. This algorithm is extendible to a wider class of groups.

研究动机与目标

• 确定除射影平面外，点非本原、线传递线性空间是否因搜索偏差而稀少或被低估。
• 开发一种系统化的计算方法，从点集上的群作用构造此类线性空间。
• 测试该搜索算法在Praeger和Tuan的理论工作所识别的两个特定自同构群作用于451个点上的可行性。
• 通过证明在给定约束下解的存在性不成立，排除某些群作用的进一步考虑。

提出的方法

• 搜索利用轨道定理从群作用生成候选设计，确保块轨道满足对称性与关联条件。
• 采用GAP与C编写的混合算法，通过递归构建块并跟踪已用轨道与行覆盖情况，系统探索可能的块系统。
• 通过跟踪已覆盖轨道与行的数据结构强制实施约束条件，并通过早期剪枝避免无效配置。
• 应用Delandtsheer-Doyen定理，通过分析点集上的不变划分来限制可能的参数集。
• 算法检查两个关键条件：截距向量条件（与轨道结构相关）和轨道条件（确保块在各轨道间的一致性关联）。
• 在已知实例上验证该方法，以确认其正确性后，再将其应用于451个点上的两个目标群。

实验结果

研究问题

• RQ1 除了已知的射影平面实例外，是否存在其他具有451个点的线传递、点非本原线性空间？
• RQ2 所提出的算法能否成功重构此类空间的已知实例，以确认其有效性？
• RQ3 作用于451个点的两个特定自同构群是否允许存在任何线传递、点非本原线性空间？
• RQ4 Delandtsheer-Doyen定理与轨道结构所施加的哪些约束有效消除了潜在解？
• RQ5 该计算方法在设计理论中是否具备足够的可扩展性与效率，以探索更大的参数集？

主要发现

• 在作用于451个点的两个自同构群中，均未发现线传递、点非本原线性空间。
• 搜索算法在已知实例上成功验证，确认其正确性与可靠性。
• 轨道与行跟踪数据结构的实现，有效促进了无效搜索路径的剪枝。
• Delandtsheer-Doyen定理的应用显著缩小了搜索空间，通过排除不可行的参数集。
• 该算法可扩展至其他群与参数集，为设计理论中的未来搜索提供可复用的框架。
• 对所测试群未发现解，表明这些作用可能不支持此类线性空间，从而缩小了未来搜索的方向。