[論文レビュー] Equivalence classes of Latin squares and nets in CP^2

Corey Dunn, Matthew S. Miller+2 more|ArXiv.org|Mar 6, 2007

graph theory and CDMA systems参考文献 10被引用数 4

ひとこと要約

本稿は、組合せ的ラベリングと代数的実現条件を用いて、対称なラテン方陣の同値類を分析することで、ℂℙ²における(4,k)-ネットを分類する。k=4,5,6に対しては、k=3の既知のヘシアン配置を除き、(4,k)-ネットは存在しないことを証明し、線形配置の幾何的制約を明示的に解くことにより、非存在性の問題を解決する。

ABSTRACT

The fundamental combinatorial structure of a net in CP^2 is its associated set of mutually orthogonal latin squares. We define equivalence classes of sets of orthogonal Latin squares by label equivalences of the lines of the corresponding net in CP^2. Then we count these equivalence classes for small cases. Finally, we prove that the realization spaces of these classes in CP^2 are empty to show some non-existence results for 4-nets in CP^2.

研究の動機と目的

• ℂℙ²における(4,k)-ネットを、対称なラテン方陣から導かれる組合せ的構造を用いて分類すること。
• ネットの線のラベル置換に関して、対称なラテン方陣のペアの同値類を定義し、計算すること。
• 線の交差に関する代数的制約を用いて、各同値類がℂℙ²における(4,k)-ネットとして実現可能かどうかを特定すること。
• ヘシアン配置を除き、k=4,5,6における(4,k)-ネットの非存在性を解明すること。

提案手法

• ℂℙ²における対応するネットの線のラベル置換に基づいて、k×k対称ラテン方陣のペアに同値関係 ∼′ を定義する。
• 各同値類を標準的なラテン方陣ペアとして表現し、線の交差データから関連するインシデント行列 M(L₁,L₂) を計算する。
• インシデント関係から多項式方程式系を構成し、その解空間がネットの実現空間 R(L₁,L₂) に対応するようにする。
• 線ラベルの4組の辞書式順序を用いてインシデント行列の小行列式を計算し、t や r などのパラメータに関する代数的制約を導出する。
• 命題4.1を適用して、同値なラテン方陣ペア間で実現空間が同型であることを示し、代表的解析の正当性を裏付ける。
• 得られた代数的システムを解き、R(L₁,L₂) が空集合か非空集合かを特定することで、ネットの非存在性または存在性を決定する。

実験結果

リサーチクエスチョン

• RQ1 k=3 のヘシアン配置を除き、ℂℙ²に(4,k)-ネットは存在するか？
• RQ2 対称なラテン方陣ペアの同値類は、ℂℙ²における(4,k)-ネットの異なる組合せ的型に対応するか？
• RQ3 k=4,5,6 に対して、与えられた対称ラテン方陣ペアの実現空間 R(L₁,L₂) が非空であるか？
• RQ4 ℂℙ²における(4,k)-ネットで一貫した線の交差を要求するとき、どのような代数的制約が生じるか？
• RQ5 ヘシアン配置以外に、ℂℙ²において射影同型を除き(4,3)-ネットは存在しないか？

主な発見

• k=3 に対しては、対称ラテン方陣ペアの同値類がちょうど1つ存在し、それがℂℙ²におけるヘシアン配置を実現する。
• k=4 に対しては、対称ラテン方陣ペアの同値類がちょうど1つ存在するが、その実現空間は空であるため、ℂℙ²に(4,4)-ネットは存在しないことが証明される。
• k=5 に対しては、対称ラテン方陣ペアの同値類が最大で2つ存在するが、両方の実現空間が空であるため、ℂℙ²に(4,5)-ネットは存在しないことが証明される。
• (4,4)-ネットのシステムの解空間は矛盾する制約を生じる：r = (1−t⁻²)/4、t = −2±√5、および t²+3=0 であり、これらは整合しない。
• ラテン方陣が (12345),(15432) である (4,5)-ネットは t=0 または t=1 を導き、重複する線を生じるため、実現空間は空である。
• ラテン方陣が (12345),(14253) である (4,5)-ネットは t⁵=1 かつ t³=1 を満たし、t=1 を意味する。これも再び線の重複を引き起こすため、実現空間は空である。