On upper bounds on the smallest size of a saturating set in a projective plane

TL;DR

This paper establishes probabilistic upper bounds on the minimal size of saturating sets in projective planes, extending to multiple saturating sets and higher-dimensional spaces, with implications for linear covering codes.

Contribution

It introduces new probabilistic bounds for saturating sets in projective planes and extends results to multiple and higher-dimensional cases, connecting to coding theory.

Findings

Upper bound s(2,q) ≤ 2√(q ln q) + o(√q) for saturating sets.

High probability that random sets of certain sizes are saturating.

Bounds on (1,μ)-saturating sets for 2 ≤ μ ≤ √q.

Abstract

In a projective plane $\Pi _{q}$ (not necessarily Desarguesian) of order $q,$ a point subset $S$ is saturating (or dense) if any point of $\Pi _{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 $\Pi _{q}$ is proved: \begin{equation*} s(2,q)\leq 2\sqrt{(q+1)\ln (q+1)}+2\thicksim 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 $\Pi _{q}$ with $ 2c\sqrt{(q+1)\ln(q+1)}+2\le k<\frac{q^{2}-1}{q+2}\thicksim q$ is a saturating set with probability greater than $1-1/(q+1)^{2c^{2}-2}.$ Our probabilistic approach is also applied to multiple saturating sets. A point set $S\subset \Pi_{q}$ is $(1,\mu)$-saturating if for every point $Q$ of $\Pi _{q}\setminus S$ the number of secants of $S$ through $Q$ is at least $\mu $, counted with multiplicity. The multiplicity of a secant $ \ell $ is computed as ${\binom{{\#(\ell \,\cap S)}}{{2}}}.$ The following upper bound on the smallest size $s_{\mu }(2,q)$ of a $(1,\mu)$-saturating set in $\Pi_{q}$ is proved: \begin{equation*} s_{\mu }(2,q)\leq 2(\mu +1)\sqrt{(q+1)\ln (q+1)}+2\thicksim 2(\mu +1)\sqrt{ q\ln q}\,\text{ for }\,2\leq \mu \leq \sqrt{q}. \end{equation*} By using inductive constructions, upper bounds on the smallest size of a saturating set (as well as on a $(1,\mu)$-saturating set) in the projective space $PG(N,q)$ are obtained. All the results are also stated in terms of linear covering codes.