[論文レビュー] Bounds for the minimum diameter of integral point sets

Sascha Kurz, Reinhard Laue|arXiv (Cornell University)|Apr 8, 2008

Mathematical Approximation and Integration参考文献 12被引用数 3

ひとこと要約

本稿は、すべての対比較距離が整数である$m$次元ユークリッド空間内の整数点集合の最小径$d(m,n)$の新たな上界を確立する。幾何的構成——例えば直線上の点と1点のずれた点、または直線の周りの球面上の点——を用いて、$d(m,m^2+m) \leq 17$を証明し、$n=122$までの一意な値$d(2,n)$を提供する。特に$d(3,24)=244$は、既知の境界を顕著に改善する。

ABSTRACT

Geometrical objects with integral sides have attracted mathematicians for ages. For example, the problem to prove or to disprove the existence of a perfect box, that is, a rectangular parallelepiped with all edges, face diagonals and space diagonals of integer lengths, remains open. More generally an integral point set $\mathcal{P}$ is a set of $n$ points in the $m$-dimensional Euclidean space $\mathbb{E}^m$ with pairwise integral distances where the largest occurring distance is called its diameter. From the combinatorial point of view there is a natural interest in the determination of the smallest possible diameter $d(m,n)$ for given parameters $m$ and $n$. We give some new upper bounds for the minimum diameter $d(m,n)$ and some exact values.

研究の動機と目的

• m次元ユークリッド空間内における整数点集合の最小径$d(m,n)$のより緊密な上界を特定すること。
• 特に低次元における特定の$m$と$n$について、$d(m,n)$の正確な値を同定すること。
• 小径の整数点集合を生成する幾何的構成を開発し、改善された境界を得ること。
• 最小径整数点集合の漸近的挙動と構造的制約を調査すること。

提案手法

• 既知の平面整数点集合を用いて、$n-1$個の点を直線上に配置し、1点を直線から高さ$h$の位置に置くことにより、$m$次元整数点集合を構築する。
• $(m-1)$次元の半径$h$の球面上に$n'$個の点を直線の中心に配置することで、平面の構成を高次元に拡張し、すべての対比較距離が整数のまま保たれることを保証する。
• 特に$f^2 + v^2 = w^2$を満たす整数$w$を用いて、非直線上の点と直線上の点との間の距離が整数であることを保証するピタゴラス数の利用。
• 正単体の切断を用いて、直径を制御した$m^2 + m$点の整数点集合を生成する。
• 計算的手法による全探索を用いて、$n$が122までにわたる$d(2,n)$の正確な値を検証する。
• 対称的・正則な配置の使用を含む、構造的解析と既知の構成との比較を通じて、境界のタイトさを証明する。

実験結果

リサーチクエスチョン

• RQ1 サイズ$n$の$m$次元整数点集合の最小径$d(m,n)$の最小値は何か？
• RQ2 すべての対比較距離が整数であることを保つ幾何的構成を用いて、$d(m,n)$の新たな上界を導出可能か？
• RQ3 特に低次元において、特定の$m$と$n$について、$d(m,n)$の正確な値を特定可能か？
• RQ4 固定された$m$に対して$n$が増加する際、$d(m,n)$の境界は漸近的にどのように振る舞うか？
• RQ5 $d(m,m^2+m) \leq 17$の境界はタイトか？他の構成へ一般化可能か？

主な発見

• 本稿は、すべての$m \geq 2$に対して$d(m,m^2+m) \leq 17$を確立し、このクラスの構成に対する既存の境界を顕著に改善する。
• 90から122までの$n$について$d(2,n)$の正確な値が計算され、$d(2,122) = 4883$が得られ、既知の最小径の系列が拡張された。
• 3次元整数点集合のサイズ24について、$d(3,24) = 244$が正確な最小径として確立された。
• 切断された正単体を用いた構成により、$a=7$、$b=8$のとき、$m^2 + m$点の$m$次元整数点集合が直径17で得られ、$d(m,m^2+m) \leq 17$の境界が証明された。
• 9 ≤ n ≤ 122の範囲で、$d(m,n-2+m) \leq d(2,n)$が証明され、平面の最小構成を直径を制御して高次元に持ち上げられることを示した。
• 本稿は、$d(3,9) = 16$であることを確認し、文献に誤って記載されていた17という値を是正した。