arXiv++ Combinatorics

In the projective space $\mathrm{PG}(N,q)$ over the Galois field of order $q$, $N\ge3$, an iterative step-by-step construction of complete caps by adding a new point on every step is considered. It is proved that uncovered points are evenly placed on the space. A natural conjecture on an estimate of the number of new covered points on every step is done. For a part of the iterative process, this estimate is proved rigorously. Under the conjecture mentioned, new upper bounds on the smallest size $t_{2}(N,q)$ of a complete cap in $\mathrm{PG}(N,q)$ are obtained, in particular, \begin{align*} t_{2}(N,q)<\frac{\sqrt{q^{N+1}}}{q-1}\left(\sqrt{(N+1)\ln q}+1\right)+2\thicksim q^\frac{N-1}{2}\sqrt{(N+1)\ln q},\quad N\ge3. \end{align*} A connection with the Birthday problem is noted. The effectiveness of the new bounds is illustrated by comparison with sizes of complete caps obtained by computer in wide regions of $q$.

A $2$-semiarc is a pointset ${\mathcal S}_k$ with the property that the number of tangent lines to ${\mathcal S}_k$ at each of its points is two. Using some theoretical results and computer aided search, the complete classification of $2$-semiarcs in PG$(2,q)$ is given for $q\leq 7,$ the spectrum of their sizes is determined for $q\leq 9$, and some results about the existence are proven for $q=11$ and $q=13.$ For several sizes of $2$-semiarcs in $\mathrm{PG}(2,q)$, $q\leq 7$, classification results have been obtained by theoretical proofs.

Tables of sizes of random complete arcs in the plane $PG(2,q)$ are given. The sizes are close to the smallest known sizes of complete arcs in $PG(2,q)$, in particular, to ones constructed by Algorithm FOP (fixed order of points). The random arcs are obtained in the region $\{3\leq q\leq 46337,~q \mbox{prime}\}$.

In the previous works of the authors, a step-by-step algorithm FOP which uses any fixed order of points in the projective plane $\mathrm{PG}(2,q)$ is proposed to construct small complete arcs. In each step, the algorithm adds to a current arc the first point in the fixed order not lying on the bisecants of the arc. The algorithm is based on the intuitive postulate that $\mathrm{PG}(2,q)$ contains a sufficient number of relatively small complete arcs. Also, in the previous papers, it is shown that the type of order on the points of $\mathrm{PG}(2,q)$ is not relevant. A complete lexiarc in $\mathrm{PG}(2,q)$ is a complete arc obtained by the algorithm FOP using the lexicographical order of points. In this work, we collect and analyze the sizes of complete lexiarcs in the following regions: \begin{align*}& \textbf{all } q\le321007,~ q \mbox{ prime power}; & 15 \mbox{ sporadic $q$'s in the interval }[323761\ldots430007], \mbox{ see (1.10)}. \end{align*} In the work [9], the smallest known sizes of complete arcs in $\mathrm{PG}(2,q)$ are collected for all $q\leq160001$, $q$ prime power. The sizes of complete arcs, collected in this work and in [9], provide the following upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in the projective plane $\mathrm{PG}(2,q)$: \begin{align*} t_{2}(2,q)&<0.998\sqrt{3q\ln q}<1.729\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le160001;\\ t_{2}(2,q)&<1.05\sqrt{3q\ln q}<1.819\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le321007. \end{align*} Our investigations and results allow to conjecture that the bound $t_{2}(2,q)<1.05\sqrt{3q\ln q}<1.819\sqrt{q\ln q}$ holds for all $q\ge7$. It is noted that sizes of the random complete arcs and complete lexiarcs behave similarly. This work can be considered as a continuation and development of the paper [11].

Tables of the currently known parameters of symmetric configurations are given. Formulas for parameters of the known infinite families of symmetric configurations are presented as well. The results of the recent paper [18] are used. This work can be viewed as an appendix to [18], in the sense that the tables given here cover a much larger set of parameters.

In the projective planes $\mathrm{PG}(2,q)$, we collect the smallest known sizes of complete arcs for the regions \begin{align*} &\mbox{all } q\le160001,~~ q \mbox{ prime power};\\ &Q_{4}=\{34 \mbox{ sporadic }q'\mbox{s in the interval }[160801\ldots430007], \mbox{ see Table 3}\}. \end{align*} For $q\le160001$, the collection of arc sizes is complete in the sense that arcs for all prime powers are considered. This proves new upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in $\mathrm{PG}(2,q)$, in particular \begin{align*} t_{2}(2,q)&<0.998\sqrt{3q\ln q}<1.729\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le160001;~~(1) \\ t_{2}(2,q)&<\sqrt{q}\ln^{0.7295}q&\mbox{ for }&&109&\le q\le160001;~~(2)\\ t_{2}(2,q)&<\sqrt{q}\ln^{c_{up}(q)}q,~~c_{up}(q)=\frac{0.27}{\ln q}+0.7,&\mbox{ for }&&19&\le q\le160001;~~(3)\\ t_{2}(2,q)&<0.6\sqrt{q}\ln^{\varphi_{up}(q;0.6)} q,~~\varphi_{up}(q;0.6)=\frac{1.5}{\ln q}+0.802,&\mbox{ for }&&19&\le q\le160001.~~(4) \end{align*} Moreover, the bounds (2) -- (4) hold also for $q\in Q_{4}$. Also, \begin{align*} t_{2}(2,q)&<1.006\sqrt{3q\ln q}<1.743\sqrt{q\ln q}&\mbox{ for }&&q\in Q_{4}.~~(5) \end{align*} Our investigations and results allow to conjecture that the bounds (2) -- (5) hold for all $q\geq109$.

We show that no additive [15,5,9]_4-code exists. As a consequence the largest dimension k such that an additive quaternary [15,k,9]_4-code exists is k=4.5.

The spectrum of possible parameters of symmetric configurations is investigated. We both survey known constructions and results, and propose some new construction methods. Many new parameters are obtained, in particular for cyclic symmetric configurations, which are equivalent to deficient cyclic difference sets. Both Golomb rulers and modular Golomb rulers are a key tool in our investigation. Several new upper bounds on the minimum integer E(k) such that for each v >= E(k) there exists a symmetric configuration v_{k} are obtained. Upper bounds of the same type are provided for cyclic symmetric configurations. From the standpoint of applications, it should be noted that our results extend the range of possible parameters of LDPC codes, generalized LDPC codes, and quasi-cyclic LDPC codes.

New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for q <= 9109. From these new bounds it follows that for q <= 2621 and q = 2659,2663,2683,2693,2753,2801, the relation t_{2}(2,q) < 4.5\sqrt{q} holds. Also, for q <= 5399 and q = 5413,5417,5419,5441,5443,5471,5483,5501,5521, we have t_{2}(2,q) < 4.8\sqrt{q}. Finally, for q <= 9067 it holds that t_{2}(2,q) < 5\sqrt{q}. The new upper bounds are obtained by finding new small complete arcs with the help of a computer search using randomized greedy algorithms.

New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for 853 <= q <= 4561 and q\in T1\cup T2 where T1={173,181,193,229,243,257,271,277,293,343,373,409,443,449,457, 461,463,467,479,487,491,499,529,563,569,571,577,587,593,599,601,607,613,617,619,631, 641,661,673,677,683,691, 709}, T2={4597,4703,4723,4733,4789,4799,4813,4831,5003,5347,5641,5843,6011,8192}. From these new bounds it follows that for q <= 2593 and q=2693,2753, the relation t_{2}(2,q) < 4.5\sqrt{q} holds. Also, for q <= 4561 we have t_{2}(2,q) < 4.75\sqrt{q}. It is showed that for 23 <= q <= 4561 and q\in T2\cup {2^{14},2^{15},2^{18}}, the inequality t_{2}(2,q) < \sqrt{q}ln^{0.75}q is true. Moreover, the results obtained allow us to conjecture that this estimate holds for all q >= 23. The new upper bounds are obtained by finding new small complete arcs with the help of a computer search using randomized greedy algorithms. Also new constructions of complete arcs are proposed. These constructions form families of k-arcs in PG(2,q) containing arcs of all sizes k in a region k_{min} <= k <= k_{max} where k_{min} is of order q/3 or q/4 while k_{max} has order q/2. The completeness of the arcs obtained by the new constructions is proved for q <= 1367 and 2003 <= q <= 2063. There is reason to suppose that the arcs are complete for all q > 1367. New sizes of complete arcs in PG(2,q) are presented for 169 <= q <= 349 and q=1013,2003.

New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for 853<= q<= 2879 and q=3511,4096, 4523,5003,5347,5641,5843,6011. For q<= 2377 and q=2401,2417,2437, the relation t_{2}(2,q)<4.5\sqrt{q} holds. The bounds are obtained by finding of new small complete arcs with the help of computer search using randomized greedy algorithms. Also new sizes of complete arcs are presented.

In PG(2,32) the following two results are proven by a computer aided search. (i) Uniqueness of hyperfocused 12-arcs, up to projectivities; (ii) Non-existence of hyperfocused 14-arcs. The existence problem for hyperfocused 16-arcs remains open.