[论文解读] 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

一句话总结

本文使用概率方法建立了射影平面中饱和集最小大小的改进上界。证明了 $ 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

研究动机与目标

• 改进射影平面中饱和集最小大小 $ s(2,q) $ 的已知上界。
• 分析给定大小的随机点集成为饱和集的概率，提供集中性界限。
• 将概率框架扩展至 $ (1,\mu) $-饱和集，其中每个外部点至少位于集合的 $ \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 射影平面中饱和集的最小可能大小是多少，能否比以往已知结果更紧密地界定？
• RQ2 大小为 $ k $ 的随机点集在 $ \Pi_q $ 中成为饱和集的可能性有多大，何种大小可确保高概率饱和？
• RQ3 概率方法能否扩展至 $ (1,\mu) $-饱和集，使得每个外部点至少位于集合的 $ \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} $。
• 在 $ PG(N,q) $ 中，当 $ N = 2t - 2 \geq 6 $，$ N \neq 8,12 $，且 $ q \geq 79 $ 时，有 $ 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，验证了边界的正确性。