arXiv++ Combinatorics

In this paper we present the complete classification of caps in PG(4,3). These results have been obtained using a computer based exhaustive search that exploits projective equivalence.

In this paper we present the complete classification of caps in PG(4,2). These results have been obtained using a computer based exhaustive search that exploits projective equivalence.

In this paper we present the complete classification of caps in PG(5,2). These results have been obtained using a computer based exhaustive search that exploits projective equivalence.

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.

In this work we solve the packing problem for complete (n,3)-arcs in PG(2,16), determining that the maximum size is 28 and the minimum size is 15. We also performed a partial classification of the extremal size of complete (n,3)-arcs in PG(2,16).

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.

For $q=p^r$ with a prime $p\ge 7$ such that $q \equiv 1$ or $19\pmod {30},$ the desarguesian projective plane $PG(2,q)$ of order $q$ has a unique conjugacy class of projectivity groups isomorphic to the alternating group $A_6$ of degree 6. For a projectivity group $Γ\cong A_6$ of $PG(2,q)$, we investigate the geometric properties of the (unique) $Γ$-orbit $\mathcal{O}$ of size 90 such that the 1-point stabilizer of $Γ$ in $\mathcal O$ is a cyclic group of order 4. Here $\mathcal O$ lies either in $PG(2,q)$ or in $PG(2,q^2)$ according as 3 is a square or a non-square element in $GF(q)$. We show that if $q\geq 349$ and $q\neq 421$, then $\mathcal O$ is a 90-arc, which turns out to be complete for $q=349, 409, 529, 601,661.$ Interestingly, $\mathcal O$ is the smallest known complete arc in $PG(2,601)$ and in $PG(2,661).$ Computations are carried out by MAGMA.

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.

In this paper it has been verified, by a computer-based proof, that the smallest size of a complete arc is 14 in PG(2,31) and in PG(2,32). Some examples of such arcs are also described.

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.

We prove the non existence of quantum caps of sizes 37 and 39. This completes the spectrum of quantum caps in PG(4, 4). This also implies the non existence of linear [[37,27,4]] and [[39,29,4]]-codes. The problem of the existence of non linear quantum codes with such parameters remains still open.

We propose geometrical methods for constructing square 01-matrices with the same number n of units in every row and column, and such that any two rows of the matrix contain at most one unit in common. These matrices are equivalent to n-regular bipartite graphs without 4-cycles, and therefore can be used for the construction of efficient bipartite-graph codes such that both the classes of its vertices are associated with local constraints. We significantly extend the region of parameters m,n for which there exist an n-regular bipartite graph with 2m vertices and without 4-cycles. In that way we essentially increase the region of lengths and rates of the corresponding bipartite-graph codes. Many new matrices are either circulant or consist of circulant submatrices: this provides code parity-check matrices consisting of circulant submatrices, and hence quasi-cyclic bipartite-graph codes with simple implementation.

Calderbank, Rains, Shor and Sloane (see \cite{Sloane}) showed that error-correction is possible in the context of quantum computations. Quantum stabilizer codes are a class of additive quaternary codes in binary projective spaces, which are self-orthogonal with respect to the symplectic form. A geometric description is given in \cite{Bierbra}, where also the notion of quantum cap is introduced. Quantum caps correspond to the special case of quantum stabilizer codes of distance $d=4$ when the code is linear over GF(4). In the present paper we review the translation from quantum error-correction to symplectic geometry and study quantum codes in PG(4,4) where we construct complete quantum caps with 20, 29, 30, 32, 33, 34, 36 and 38 points and incomplete quantum caps with 10, 12, 13, 20, 23, 24, 25 and 26 points and we prove the non existence of 11-quantum caps. In particular the quantum caps of sizes 36 and 38 yield positive answers to the existence questions of quantum codes $[[36,26,4]]$ and $[[38,28,4]]$ that remained open in the data base \cite{codetable}.

Let A_{R,q} denote a family of covering codes, in which the covering radius R and the size q of the underlying Galois field are fixed, while the code length tends to infinity. In this paper, infinite sets of families A_{R,q}, where R is fixed but q ranges over an infinite set of prime powers are considered, and the dependence on q of the asymptotic covering densities of A_{R,q} is investigated. It turns out that for the upper limit of the covering density of A_{R,q}, the best possibility is O(q). The main achievement of the present paper is the construction of asymptotic optimal infinite sets of families A_{R,q} for any covering radius R >= 2. We first showed that for a given R, to obtain optimal infinite sets of families it is enough to construct R infinite families A_{R,q}^{(0)},A_{R,q}^{(1)},...,A_{R,q}^{(R-1)} such that, for all u >= u_{0}, the family A_{R,q}^{(v)} contains codes of codimension r_{u}=Ru+v and length f_{q}^{v}(r_{u}) where f_{q}^{v}(r)=O(q^{(r-R)/R) and u_{0} is a constant. Then, we were able to construct the needed families A_{R,q}^{(v)} for any covering radius R >= 2, with q ranging over the (infinite) set of R-th powers. For each of these families A_{R,q}^{(v)}, the lower limit of the covering density is bounded from above by a constant independent of q.

Some new families of small complete caps in $PG(N,q)$, $q$ even, are described. By using inductive arguments, the problem of the construction of small complete caps in projective spaces of arbitrary dimensions is reduced to the same problem in the plane. The caps constructed in this paper provide an improvement on the currently known upper bounds on the size of the smallest complete cap in $PG(N,q),$ $N\geq 4,$ for all $q\geq 2^{3}.$ In particular, substantial improvements are obtained for infinite values of $q$ square, including $ q=2^{2Cm},$ $C\geq 5,$ $m\geq 3;$ for $q=2^{Cm},$ $C\geq 5,$ $m\geq 9,$ with $C,m$ odd; and for all $q\leq 2^{18}.$