[論文レビュー] A computational algebraic geometry approach to classify partial Latin rectangles

Raúl Manuel Falcón Ganfornina|arXiv (Cornell University)|Mar 31, 2017

graph theory and CDMA systems参考文献 42被引用数 5

ひとこと要約

本稿は、ヒルベルト関数と根の理想の三角形系を用いて、$r\times s$ の部分ラテン方陣およびその関連する半ネットを、6次までにわたって列挙・分類するための計算代数幾何学的手法を導入する。6次までの部分ラテン方陣の数に対する明示的公式を提示し、点ランク8の2つの新しい半ネット構成が存在することを証明し、ランク8までの分類を完成させる。

ABSTRACT

This paper provides an in-depth analysis of how computational algebraic geometry can be used to deal with the problem of counting and classifying $r imes s$ partial Latin rectangles based on $n$ symbols of a given size, shape, type or structure. The computation of Hilbert functions and triangular systems of radical ideals enables us to solve this problem for all $r,s,n\leq 6$. As a by-product, explicit formulas are determined for the number of partial Latin rectangles of size up to six. We focus then on the study of non-compressible regular partial Latin squares and their equivalent incidence structure called seminet, whose distribution into main classes is explicitly determined for point rank up to eight. We prove in particular the existence of two new configurations of point rank eight.

研究の動機と目的

• サイズや同型型を越えて、形状、タイプ、構造を含めた部分ラテン方陣の列挙・分類を可能にする計算代数幾何学的フレームワークの構築。
• 非圧縮可能な正則部分ラテン方陣の分類を、その等価な半ネット表現を用いて8次まで拡張する。
• 6次までの部分ラテン方陣の数に対する明示的公式を導出する。
• Lyakhが以前に確立した分類を補完するために、点ランク8までの半ネットの分類を完成させる。

提案手法

• 部分ラテン方陣を多項式環における0次元の根の理想としてモデル化し、エントリを変数として、ラテン条件で制約を課す。
• 解集合の基数を計算するためにヒルベルト関数を用いる。これにより、与えられたサイズと構造に対応する部分ラテン方陣の解集合の大きさが得られる。
• 根の理想の三角形分解を適用して解空間を互いに素な部分に分割し、形状、タイプ、同型型に基づく分類を可能にする。
• 非圧縮可能な正則部分ラテン方陣を、3つの平行クラスの直線を持つインシデント構造としての半ネットに翻訳する。この際、代数的制約を用いる。
• 同型型と準同型型の同値関係を活用して解を主クラスにグループ化し、重複を低減する。
• すべての$r,s,n \leq 6$に対してこの手法を計算的に実装し、点ランク8までの半ネットへと拡張する。

実験結果

リサーチクエスチョン

• RQ1 計算代数幾何学を、サイズや同型型を越えて形状や構造を含めた部分ラテン方陣に体系的かつ系統的に適用する方法は何か？
• RQ2 $r,s,n \leq 6$ の範囲で、$r\times s$ の部分ラテン方陣が主クラスにどのように分布しているか？
• RQ3 点ランク8の新しい半ネット構成は存在するか？ それらは既知の分類を完成させるか？
• RQ4 6次までの部分ラテン方陣の数に対する明示的公式は導出可能か？
• RQ5 非圧縮可能な正則部分ラテン方陣と、点ランク8までの半ネットとの関係は何か？

主な発見

• 本稿は、6次までの部分ラテン方陣の数に対する明示的公式を提示し、$r,s,n \leq 6$ のすべての組み合わせに適用可能である。
• すべての$r,s,n \leq 6$ に対して、$Σ_{r,s,n}$ が同型型および主クラスに完全に分布していることが特定され、特定の構成では最大129万件までのカウントが得られた。
• 点ランク8の2つの新しい半ネット構成が存在することが証明され、Lyakhが以前に確立した分類が完成した。
• 非圧縮可能な正則8次部分ラテン方陣の数は、半ネットの同値性を用いて完全に列挙され、最大クラスで1,296,000個のこのような方陣が同定された。
• 三角形系の根の理想を用いた手法により、形状と記号分布に基づく部分ラテン方陣の分類に成功し、詳細な構造的解析が可能になった。
• 点数6個以下の半ネットの集計が確立され、各構成の主クラス数が明示的に計算された。