[论文解读] Enumerating topological $(n_k)$-configurations

Jürgen Bokowski, Vincent Pilaud|arXiv (Cornell University)|Oct 1, 2012

graph theory and CDMA systems参考文献 11被引用 6

一句话总结

本文提出了一种新颖的算法，可直接枚举拓扑$(n_k)$-配置，而无需先生成所有组合配置。该算法高效地确认了16个拓扑$(18_4)$-配置的存在，并发现了一个新的几何$(18_4)$-配置，提供了首个在$\mathbb{Q}[\sqrt[3]{108+12\sqrt{93}}]$上定义实现空间的显式实现。

ABSTRACT

An $(n_k)$-configuration is a set of $n$ points and $n$ lines in the projective plane such that their point-line incidence graph is $k$-regular. The configuration is geometric, topological, or combinatorial depending on whether lines are considered to be straight lines, pseudolines, or just combinatorial lines. We provide an algorithm for generating, for given $n$ and $k$, all topological $(n_k)$-configurations up to combinatorial isomorphism, without enumerating first all combinatorial $(n_k)$-configurations. We apply this algorithm to confirm efficiently a former result on topological $(18_4)$-configurations, from which we obtain a new geometric $(18_4)$-configuration. Preliminary results on $(19_4)$-configurations are also briefly reported.

研究动机与目标

• 开发一种高效的方法，用于在不首先生成所有组合配置的前提下枚举拓扑$(n_k)$-配置。
• 验证并扩展先前关于$(18_4)$-配置的拓扑与几何实现性的结果。
• 发现具有特定代数坐标的$(n_k)$-配置的新几何实现。
• 探索将新发现的配置推广为无限多个几何$(n_4)$-配置家族的潜力。

提出的方法

• 提出一种利用关联结构约束和伪线排列的直接生成算法，用于拓扑$(n_k)$-配置。
• 采用一种组合搜索策略，避免在首先枚举所有组合$(n_k)$-配置时产生的指数级膨胀。
• 应用可满足性求解器和几何实现性准则，以验证候选配置的拓扑与几何实现性。
• 利用射影变换和代数数域计算，分析并表示实现空间。
• 利用莱维图中的对称性与对偶性特性，减少搜索空间并识别同构配置。
• 通过显式坐标构造验证结果，并与先前文献中的已知配置进行比较。

实验结果

研究问题

• RQ1 是否可以高效地枚举拓扑$(n_k)$-配置，而无需首先生成所有组合配置？
• RQ2 存在多少个拓扑$(18_4)$-配置，其中哪些是几何可实现的？
• RQ3 能否构造一个具有不同实现空间和自同构群的新几何$(18_4)$-配置？
• RQ4 是否可能将新发现的几何$(18_4)$-配置推广为无限多个几何$(n_4)$-配置家族？

主要发现

• 该算法成功确认了恰好存在16个拓扑$(18_4)$-配置，与先前结果一致。
• 发现了一种新的几何$(18_4)$-配置，其在$\mathbb{Q}[\sqrt[3]{108+12\sqrt{93}}]$上定义实现空间，与先前已知的配置不同。
• 新配置的自同构群同构于$\mathbb{Z}_2 \times \mathbb{Z}_2$，且完全在几何上实现，而先前的配置中仅部分自同构群在几何上可见。
• 新配置的实现空间由两个点组成，两者均可使用相同的三次无理数表达。
• 该新配置的发现为构造无限多个几何$(n_4)$-配置家族（特别是$(18+17m)_4$形式）打开了可能性，尽管尚未解决$n \in \{19,22,23,26,37,43\}$的存在性问题。
• 该方法实现了拓扑配置的直接枚举，与先进行组合枚举再测试实现性的方法相比，显著降低了计算开销。