[論文レビュー] On upper bounds on the smallest size of a saturating set in a projective plane

Daniele Bartoli, Alexander A. Davydov+3 more|arXiv (Cornell University)|May 6, 2015

Limits and Structures in Graph Theory参考文献 12被引用数 5

ひとこと要約

本稿は、確率的技法を用いて、射影平面の位数 $q$ における飽和集合の最小サイズの上界を改善した。$s(2,q) \leq 2\sqrt{(q+1)\ln(q+1)} + 2 \sim 2\sqrt{q\ln q}$ を証明し、従来の定数を顕著に改善した。さらに、複数の飽和集合および高次元射影空間への分析を拡張し、線形被覆符号への応用も示した。

ABSTRACT

In a projective plane $Π_{q}$ (not necessarily Desarguesian) of order $q,$ a point subset $S$ is saturating (or dense) if any point of $Π_{q}\setminus S$ is collinear with two points in$~S$. Using probabilistic methods, the following upper bound on the smallest size $ s(2,q)$ of a saturating set in $Π_{q}$ is proved: \begin{equation*} s(2,q)\leq 2\sqrt{(q+1)\ln (q+1)}+2 hicksim 2\sqrt{q\ln q}. \end{equation*} We also show that for any constant $c\ge 1$ a random point set of size $k$ in $Π_{q}$ with $ 2c\sqrt{(q+1)\ln(q+1)}+2\le k

研究の動機と目的

• 射影平面の位数 $q$ における飽和集合の最小サイズ $s(2,q)$ の既知の上界を改善すること。
• 与えられたサイズのランダムな点集合が飽和集合である確率を分析し、濃度の集中を示すこと。
• 各外部点が集合の少なくとも $\mu$ 個の弦上にあるような $(1,\mu)$-飽和集合への確率的枠組みの拡張。
• 再帰的構成を用いて、高次元射影空間 $PG(N,q)$ における飽和集合の上界を導出すること。
• 飽和集合とパリティ検査行列との関係を用いて、線形被覆符号、特に $[n,n-r]_q R$ 符号および $\mu$-多重被覆符号に結果を結びつけること。

提案手法

• 著者らは、$\Pi_q$ におけるサイズ $k$ のランダムな点集合が飽和集合である確率を推定するために、未被覆点数の尾確率を用いる確率的技法を採用した。
• 点 $Q$ を通る弦 $\ell$ の多重度を $\binom{\#(\ell \cap S)}{2}$ として定義し、$(1,\mu)$-飽和集合の分析を可能にした。
• 主な不等式は、$Q \notin S$ が $S$ のいかなる弦によっても被覆されない確率を、指数的尾確率推定を用いて上界で抑え込むことである。
• $PG(N,q)$ においては、$PG(2,q)$ の飽和集合から再帰的構成を用い、サイズを $q^{(N-2)/2}$ 倍することで高次元における大きな集合を構築した。
• ${\sqrt{(q+1)\ln(q+1)}}$ の漸近的挙動を活用し、$s(2,q)$ および $s_\mu(2,q)$ のタイトな上界を導出した。
• 結果は、線形被覆符号の長さ関数 $\ell(2,r,q)$ への変換により、組合せ的幾何学と符号理論を結びつけた。

実験結果

リサーチクエスチョン

• RQ1 射影平面の位数 $q$ における飽和集合の最小サイズは何か？ かつての結果よりタイトに上界を示せるか？
• RQ2 サイズ $k$ のランダムな点集合が $\Pi_q$ で飽和集合である確率はどの程度か？ また、高い確率で飽和が達成されるためのサイズは？
• RQ3 確率的技法は、各外部点が集合の少なくとも $\mu$ 個の弦上にある $(1,\mu)$-飽和集合へ拡張可能か？
• RQ4 高次元射影空間 $PG(N,q)$ における最小飽和集合の上界はどのように導出可能か？
• RQ5 これらの幾何的上界は、被覆半径 2 の線形被覆符号の長さにどのように翻訳されるか？

主な発見

• 本稿は、上界 $s(2,q) \leq 2\sqrt{(q+1)\ln(q+1)} + 2 \sim 2\sqrt{q\ln q}$ を確立し、以前の結果における定数因子を顕著に改善した。
• 任意の $c \geq 1$ に対して、サイズ $k \geq 2c\sqrt{(q+1)\ln(q+1)} + 2$ のランダム集合は、確率 $1 - 1/(q+1)^{2c^2 - 2}$ 以上で飽和集合である。
• $2 \leq \mu \leq \sqrt{q}$ の $(1,\mu)$-飽和集合に対して、$s_\mu(2,q) \leq 2(\mu+1)\sqrt{(q+1)\ln(q+1)} + 2 \sim 2(\mu+1)\sqrt{q\ln q}$ を証明した。
• $N = 2t - 2 \geq 6$、$N \neq 8,12$、$q \geq 79$ の $PG(N,q)$ において、$s(N,q) \leq \left(2\sqrt{(q+1)\ln(q+1)} + 2\right)q^{(N-2)/2} + 2q^{(N-4)/2}$ が成り立つ。
• $\mu$-多重被覆符号へも拡張され、$s_\mu(N,q) \leq q^{(N-2)/2} n_{q,\mu} + \max(3,\mu)\frac{q^{(N-2)/2} - 1}{q - 1}$ が得られた。ここで $n_{q,\mu} = 2D_\mu\sqrt{(q+1)\ln(q+1)} + 2$ である。
• 特に $q \geq 125$ かつ $d=1.4$ の場合、$\mu=4$ のとき非飽和の確率は 1 より下がり、上界の妥当性が確認された。