[論文レビュー] 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)$-配置の存在が効率的に確認され、$\mathbb{Q}[\sqrt[3]{108+12\sqrt{93}}]$上に定義された実現空間を備えた、新しい幾何的$(18_4)$-配置が発見された。

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)$-配置が存在することが確認され、過去の結果と一致した。
• $\mathbb{Q}[\sqrt[3]{108+12\sqrt{93}}]$上に定義された実現空間を有する新しい幾何的$(18_4)$-配置が発見され、従来のものとは異なる。
• 新しい配置の自己同型群は$\mathbb{Z}_2 \times \mathbb{Z}_2$に同型であり、完全に幾何的に実現可能である。これに対して、従来の配置では群の一部しか幾何的に可視化されていなかった。
• 新しい配置の実現空間は2点から構成され、両方とも同じ立方根の無理数を用いて表現可能である。
• この新しい配置の発見により、特に$((18+17m)_4)$の形をとる無限個の幾何的$(n_4)$-配置の族を構成する可能性が開かれたが、$n \in \{19,22,23,26,37,43\}$における存在性は未解決のままである。
• 本手法により、組合せ的列挙の後に実現可能性テストを実施するのと比較して、計算コストを著しく削減できる位相的配置の直接列挙が可能となった。