[論文レビュー] Searching for line transitive, point imprimitive, linear spaces

Gregory Cresp|ArXiv.org|Apr 25, 2006

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

ひとこと要約

この論文は、計算探索手法を用いて、線的対称的で点不可約な線形空間の存在を調査する。451点への群作用からそのような空間を構成するためのGAPおよびCベースのアルゴリズムを開発し、軌道定理と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の理論的作業によって特定された2つの特定の自己同型群が451点に作用する場合に、その探索アルゴリズムの実行可能性を検証すること。
• 与えられた制約下で解が存在しないことを証明することで、特定の群作用を今後の検討から除外すること。

提案手法

• 探索は軌道定理を用いて、対称性およびインシデント条件を満たすブロック軌道を生成することで、候補デザインを生成する。
• GAPとCで書かれたハイブリッドアルゴリズムが、使用済みの軌道と行カバレッジを追跡しながら、再帰的にブロックを構築することで、可能なブロック系を体系的に探索する。
• 被覆済みの軌道と行を追跡するデータ構造を用いて制約を強制し、無効な構成を早期に除外する。
• Delandtsheer-Doyen定理を適用して、点集合上の不変部分集合の分析により、可能なパラメータ集合を制限する。
• 2つの主要な条件をチェックする：インターセプトベクトル条件（軌道構造に関連）と軌道条件（各軌道間での一貫したブロックインシデントを保証）。
• アルゴリズムの正しさを確認するため、既知の例で検証を行い、その後451点に作用する2つのターゲット群に適用する。

実験結果

リサーチクエスチョン

• RQ1 既知の射影平面例以外に、451点における線的対称的で点不可約な線形空間は存在するか？
• RQ2 提案されたアルゴリズムは、そのような空間の既知の例を正確に再構成できるか、その妥当性を確認できるか？
• RQ3 451点に作用する2つの特定の自己同型群は、線的対称的で点不可約な線形空間を許容するか？
• RQ4 Delandtsheer-Doyen定理と軌道構造から得られる制約は、どのようにして潜在的な解を効果的に排除するか？
• RQ5 この計算的手法は、設計理論におけるより大きなパラメータ集合を探索するのにスケーラブルで十分に効率的か？

主な発見

• 451点に作用する2つの自己同型群の両方について、線的対称的で点不可約な線形空間は得られなかった。
• 探索アルゴリズムは既知の例で正当性が確認され、正しく信頼できることが示された。
• 軌道および行の追跡データ構造の実装により、無効な探索経路の効率的な除外が可能になった。
• Delandtsheer-Doyen定理の適用により、非実現可能なパラメータ集合が大幅に削減され、探索空間が狭められた。
• アルゴリズムは他の群やパラメータ集合へも拡張可能であり、今後の設計理論における探索に再利用可能なフレームワークを提供する。
• テストした群について解が存在しないことから、これらの作用はそのような線形空間をサポートしない可能性が示され、今後の探索方向が絞り込まれた。