[論文レビュー] The no-three-in-line problem on a torus

Jim Fowler, Andrew Groot+2 more|arXiv (Cornell University)|Mar 29, 2012

Geometric and Algebraic Topology参考文献 6被引用数 4

ひとこと要約

本稿は、離散トーラス上のno-three-in-line問題を調査し、$ℤ_m \times \mathbb{Z}_n$ における巡回部分群の陪集合として直線を再定義する。群論とグレブナー基底を用いて、最大点配置数の正確な値を確立する：$T(\mathbb{Z}_p \times \mathbb{Z}_{p^2}) = 2p$ および $T(\mathbb{Z}_p \times \mathbb{Z}_{pq}) = p+1$（$p$, $q$ は異なる素数）、さらにマカウレイ2を用いたヒルベルト系列による、$2 \leq m \leq 7$、$2 \leq n \leq 19$ の $T(\mathbb{Z}_m \times \mathbb{Z}_n)$ の計算を行う。

ABSTRACT

Let $T(\Z_m imes \Z_n)$ denote the maximal number of points that can be placed on an $m imes n$ discrete torus with "no three in a line," meaning no three in a coset of a cyclic subgroup of $\Z_m imes \Z_n$. By proving upper bounds and providing explicit constructions, for distinct primes $p$ and $q$, we show that $T(\Z_p imes \Z_{p^2}) = 2p$ and $T(\Z_p imes \Z_{pq}) = p+1$. Via Gröbner bases, we compute $T(\Z_m imes \Z_n)$ for $2 \leq m \leq 7$ and $2 \leq n \leq 19$.

研究の動機と目的

• 離散トーラス $m \times n$ 上に、直線が $\mathbb{Z}_m \times \mathbb{Z}_n$ の巡回部分群の陪集合として定義されるとき、3点が一直線上に並ばない最大点数を求める。
• 特に素数および合成数の次数を持つトーラス次元について、$T(\mathbb{Z}_m \times \mathbb{Z}_n)$ の正確な値を確立する。
• グレブナー基底とヒルベルト系列を含む、代数的計算手法を発展・適用し、解を列挙し、境界を検証する。
• トーラス上の解と平面上の格子上の解を比較し、トーラス的制約が最大解のサイズを小さくするという事実を明らかにする。

提案手法

• 被覆写像を介して $\mathbb{Z} \times \mathbb{Z}$ 上の直線の像としてトーラス上の直線を定義し、$\mathbb{Z}_m \times \mathbb{Z}_n$ の最大巡回部分群の陪集合に対応させる。
• 巡回部分群構造を分析することで、$T(\mathbb{Z}_m \times \mathbb{Z}_n)$（3点が一直線上にない最大点数）の上界を群論的に導出する。
• 有限体上のグレブナー基底を用い、no-three-in-line条件を多項式環におけるイデアルとしてモデル化し、点の配置と禁止配置を符号化する。
• $I$ が no-three-in-line制約を符号化するとき、商環 $R = K[x_{i,j}]/I$ のヒルベルト系列を計算し、各サイズの解を列挙する。
• コンピュータ代数システム Macaulay2 を用いてヒルベルト関数およびヒルベルト系列を計算し、非ゼロの最高次項の次数を最大解のサイズとして抽出する。
• 特に $\mathbb{Z}_p \times \mathbb{Z}_{p^2}$ および $\mathbb{Z}_p \times \mathbb{Z}_{pq}$ について、明示的な点集合の構成により結果を実験的に検証する。

実験結果

リサーチクエスチョン

• RQ1 巡回部分群の陪集合上に3点が一直線上に並ばないような、離散トーラス $\mathbb{Z}_m \times \mathbb{Z}_n$ 上に配置可能な点の最大数は何か？
• RQ2 トーラス上の最大解は、平面上の $n \times n$ 格子上の解と比べて、サイズおよび数においてどのように異なるか？
• RQ3 異なる素数 $p$, $q$ に対して、$T(\mathbb{Z}_p \times \mathbb{Z}_{p^2})$ および $T(\mathbb{Z}_p \times \mathbb{Z}_{pq})$ に対して正確な公式を導出可能か？
• RQ4 小規模な $m$, $n$ に対して $T(\mathbb{Z}_m \times \mathbb{Z}_n)$ を体系的に計算するための計算手法は何か？
• RQ5 $14 \times 14$ トーラスはそのサイズにもかかわらず12点しか許されないが、これはなぜか？この現象はトーラス的制約について何を明らかにするか？

主な発見

• 異なる素数 $p$ および $q$ に対して、$\mathbb{Z}_p \times \mathbb{Z}_{p^2}$ トーラス上に3点が一直線上に並ばない最大点数は正確に $2p$ である。
• 異なる素数 $p$ および $q$ に対して、$\mathbb{Z}_p \times \mathbb{Z}_{pq}$ トーラス上に3点が一直線上に並ばない最大点数は $p+1$ である。
• すべての正の整数 $n$ に対して、$T(\mathbb{Z}_2 \times \mathbb{Z}_{2n}) = 4$ が成り立ち、明示的構成により確立されている。
• $14 \times 14$ 離散トーラス上では、3点が一直線上に並ばない点の最大数は12にとどまり、これは解のサイズがトーラスのサイズを下回る異常事態である。
• $2 \leq m \leq 7$ および $2 \leq n \leq 19$ に対して、本稿ではグレブナー基底とヒルベルト系列を用いて $T(\mathbb{Z}_m \times \mathbb{Z}_n)$ を明示的に計算している。
• トーラス上の最大解の数は、一般に平面上の格子上の解の数に比べてはるかに少ないが、奇数次トーラスは偶数次トーラスと比較して格子解に近い性質を示す。