BZPEER

preprint2022arXiv

Differential biases, $c$ -differential uniformity, and their relation to differential attacks

Differential cryptanalysis famously uses statistical biases in the propagation of differences in a block cipher to attack the cipher. In this paper, we investigate the existence of more general statistical biases in the differences. To this end, we discuss the $c$ -differential uniformity of S-boxes, which is a concept that was recently introduced in Ellingsen et. al. to measure certain statistical biases that could potentially be used in attacks similar to differential attacks. Firstly, we prove that a large class of potential candidates for S-boxes necessarily has large $c$ -differential uniformity for all but at most $B$ choices of $c$ , where $B$ is a constant independent of the size of the finite field $q$ . This result implies that for a large class of functions, certain statistical differential biases are inevitable. In a second part, we discuss the practical possibility of designing a differential attack based on weaknesses of S-boxes related to their $c$ -differential uniformity.

preprint2022arXiv

Non-minimum tensor rank Gabidulin codes

The tensor rank of some Gabidulin codes of small dimension is investigated. In particular, we determine the tensor rank of any rank metric code equivalent to an $8$ -dimensional $\mathbb{F}_q$ -linear generalized Gabidulin code in $\mathbb{F}_{q}^{4\times4}$ . This shows that such a code is never minimum tensor rank. In this way, we detect the first infinite family of Gabidulin codes which are not minimum tensor rank.

preprint2022arXiv

On the classification of low-degree ovoids of Q(4,q)

Ovoids of the non-degenerate quadric Q(4,q) of PG(4,q) have been studied since the end of the '80s. They are rare objects and, beside the classical example given by an elliptic quadric, only three classes are known for q odd, one class for $q$ even, and a sporadic example for $ìq=3^5. It is well known that to any ovoid of Q(4,q) a bivariate polynomial f(x,y) can be associated. In this paper we classify ovoids of Q(4,q) whose corresponding polynomial f(x,y) has 'low degree' compared with q, in particular deg(f)<(q/6.3)^(3/13)-1. Finally, as an application, {two classes} of permutation polynomials in characteristic 3 are obtained.

preprint2022arXiv

Towards the classification of exceptional scattered polynomials

Scattered polynomials over finite fields attracted an increasing attention in the last years. One of the reasons is their deep connection with Maximum Rank Distance (MRD) codes. Known classification results for exceptional scattered polynomials, i.e. polynomials which are scattered over infinite field extensions, are limited to the cases where their index $\ell$ is small, or a prime number larger than the $q$ -degree $k$ of the polynomial, or an integer smaller than the $k$ in the case where $k$ is a prime. In this paper we completely classify exceptional scattered polynomials when the maximum between $\ell$ and $k$ is odd, and give partial results when it is even, extending a result of Ferraguti and Micheli in 2021.

preprint2021arXiv

On construction and (non)existence of $c$ -(almost) perfect nonlinear functions

Functions with low differential uniformity have relevant applications in cryptography. Recently, functions with low $c$ -differential uniformity attracted lots of attention. In particular, so-called APcN and PcN functions (generalization of APN and PN functions) have been investigated. Here, we provide a characterization of such functions via quadratic polynomials as well as non-existence results.

preprint2020arXiv

$r$ -fat linearized polynomials over finite fields

In this paper we prove that the property of being scattered for a $\mathbb{F}_q$ -linearized polynomial of small $q$ -degree over a finite field $\mathbb{F}_{q^n}$ is unstable, in the sense that, whenever the corresponding linear set has at least one point of weight larger than one, the polynomial is far from being scattered. To this aim, we define and investigate $r$ -fat polynomials, a natural generalization of scattered polynomials. An $r$ -fat $\mathbb{F}_q$ -linearized polynomial defines a linear set of rank $n$ in the projective line of order $q^n$ with $r$ points of weight larger than one. When $r$ equals $1$ , the corresponding linear sets are called clubs, and they are related with a number of remarkable mathematical objects like KM-arcs, group divisible designs and rank metric codes. Using techniques on algebraic curves and global function fields, we obtain numerical bounds for $r$ and the non-existence of exceptional $r$ -fat polynomials with $r>0$ . In the case $n\leq 4$ , we completely determine the spectrum of values of $r$ for which an $r$ -fat polynomial exists. In the case $n=5$ , we provide a new family of $1$ -fat polynomials. Furthermore, we determine the values of $r$ for which the so-called LP-polynomials are $r$ -fat.

preprint2020arXiv

A new family of maximum scattered linear sets in $\mathrm{PG}(1,q^6)$

We generalize the example of linear set presented by the last two authors in "Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$ " (2019) to a more general family, proving that such linear sets are maximum scattered when $q$ is odd and, apart from a special case, they are are new. This solves an open problem posed in "Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$ " (2019). As a consequence of Sheekey's results in "A new family of linear maximum rank distance codes" (2016), this family yields to new MRD-codes with parameters $(6,6,q;5)$ .

preprint2020arXiv

Algebraic constructions of complete $m$ -arcs

Let $m$ be a positive integer, $q$ be a prime power, and $\mathrm{PG}(2,q)$ be the projective plane over the finite field $\mathbb F_q$ . Finding complete $m$ -arcs in $\mathrm{PG}(2,q)$ of size less than $q$ is a classical problem in finite geometry. In this paper we give a complete answer to this problem when $q$ is relatively large compared with $m$ , explicitly constructing the smallest $m$ -arcs in the literature so far for any $m\geq 8$ . For any fixed $m$ , our arcs $\mathcal A_{q,m}$ satisfy $|\mathcal A_{q,m}|-q\rightarrow -\infty$ as $q$ grows. To produce such $m$ -arcs, we develop a Galois theoretical machinery that allows the transfer of geometric information of points external to the arc, to arithmetic one, which in turn allows to prove the $m$ -completeness of the arc.

preprint2020arXiv

Asymptotics of Moore exponent sets

Let $n$ be a positive integer and $I$ a $k$ -subset of integers in $[0,n-1]$ . Given a $k$ -tuple $A=(α_0, \cdots, α_{k-1})\in \mathbb{F}^k_{q^n}$ , let $M_{A,I}$ denote the matrix $(α_i^{q^j})$ with $0\leq i\leq k-1$ and $j\in I$ . When $I=\{0,1,\cdots, k-1\}$ , $M_{A,I}$ is called a Moore matrix which was introduced by E. H. Moore in 1896. It is well known that the determinant of a Moore matrix equals $0$ if and only if $α_0,\cdots, α_{k-1}$ are $\mathbb{F}_q$ -linearly dependent. We call $I$ that satisfies this property a Moore exponent set. In fact, Moore exponent sets are equivalent to maximum rank-distance (MRD) code with maximum left and right idealisers over finite fields. It is already known that $I=\{0,\cdots, k-1\}$ is not the unique Moore exponent set, for instance, (generalized) Delsarte-Gabidulin codes and the MRD codes recently discovered by Csajbók, Marino, Polverino and the second author both give rise to new Moore exponent sets. By using algebraic geometry approach, we obtain an asymptotic classification result: for $q>5$ , if $I$ is not an arithmetic progression, then there exist an integer $N$ depending on $I$ such that $I$ is not a Moore exponent set provided that $n>N$ .

preprint2020arXiv

Locally recoverable codes from automorphism groups of function fields of genus $g \geq 1$

A Locally Recoverable Code is a code such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. When we have $δ$ non overlapping subsets of cardinality $r_i$ that can be used to recover the missing coordinate we say that a linear code $\mathcal{C}$ with length $n$ , dimension $k$ , minimum distance $d$ has $(r_1,\ldots, r_δ)$ -locality and denote it by $[n, k, d; r_1, r_2,\dots, r_δ].$ In this paper we provide a new upper bound for the minimum distance of these codes. Working with a finite number of subgroups of cardinality $r_i+1$ of the automorphism group of a function field $\mathcal{F}| \mathbb{F}_q$ of genus $g \geq 1$ , we propose a construction of $[n, k, d; r_1, r_2,\dots, r_δ]$ -codes and apply the results to some well known families of function fields.

preprint2020arXiv

on a conjecture on permutation rational functions over finite fields

Let $p$ be a prime and $n$ be a positive integer, and consider $f_b(X)=X+(X^p-X+b)^{-1}\in \Bbb F_p(X)$ , where $b\in\Bbb F_{p^n}$ is such that $\text{Tr}_{p^n/p}(b)\ne 0$ . It is known that (i) $f_b$ permutes $\Bbb F_{p^n}$ for $p=2,3$ and all $n\ge 1$ ; (ii) for $p>3$ and $n=2$ , $f_b$ permutes $\Bbb F_{p^2}$ if and only if $\text{Tr}_{p^2/p}(b)=\pm 1$ ; and (iii) for $p>3$ and $n\ge 5$ , $f_b$ does not permute $\Bbb F_{p^n}$ . It has been conjectured that for $p>3$ and $n=3,4$ , $f_b$ does not permute $\Bbb F_{p^n}$ . We prove this conjecture for sufficiently large $p$ .

preprint2020arXiv

On planes through points off the twisted cubic in $\mathrm{PG}(3,q)$ and multiple covering codes

Let $\mathrm{PG}(3,q)$ be the projective space of dimension three over the finite field with $q$ elements. Consider a twisted cubic in $\mathrm{PG}(3,q)$ . The structure of the point-plane incidence matrix in $\mathrm{PG}(3,q)$ with respect to the orbits of points and planes under the action of the stabilizer group of the twisted cubic is described. This information is used to view generalized doubly-extended Reed-Solomon codes of codimension four as asymptotically optimal multiple covering codes.

preprint2020arXiv

On the weight distribution of some minimal codes

Minimal codes are a class of linear codes which gained interest in the last years, thanks to their connections to secret sharing schemes. In this paper we provide the weight distribution and the parameters of families of minimal codes recently introduced by C. Tang, Y. Qiu, Q. Liao, Z. Zhou, answering some open questions.

preprint2020arXiv

Planar Polynomials arising from Linearized polynomials

In this paper we construct planar polynomials of the type $f_{A,B}(x)=x(x^{q^2}+Ax^{q}+Bx)\in \mathbb{F}_{q^3}[x]$ , with $A,B \in \mathbb{F}_{q}$ . In particular we completely classify the pairs $(A,B)\in \mathbb{F}_{q}^2$ such that $f_{A,B}(x)$ is planar using connections with algebraic curves over finite fields.

preprint2020arXiv

Tables, bounds and graphics of short linear codes with covering radius 3 and codimension 4 and 5

The length function $\ell_q(r,R)$ is the smallest length of a $q$ -ary linear code of codimension (redundancy) $r$ and covering radius $R$ . The $d$ -length function $\ell_q(r,R,d)$ is the smallest length of a $q$ -ary linear code with codimension $r$ , covering radius $R$ , and minimum distance $d$ . By computer search in wide regions of $q$ , we obtained following short codes of covering radius $R=3$ : $[n,n-4,5]_q3$ quasi-perfect MDS codes, $[n,n-5,5]_q3$ quasi-perfect Almost MDS codes, and $[n,n-5,3]_q3$ codes. In computer search, we use the step-by-step leximatrix and inverse leximatrix algorithms to obtain parity check matrices of codes. The new codes imply the following new upper bounds (called lexi-bounds) on the length and $d$ -length functions: $\ell_q(4,3)\le\ell_q(4,3,5)<2.8\sqrt[3]{\ln q}\cdot q^{(4-3)/3}=2.8\sqrt[3]{\ln q}\cdot\sqrt[3]{q}=2.8\sqrt[3]{q\ln q}~\text{for}~11\le q\le7057;$ $\ell_q(5,3)\le\ell_q(5,3,5)<3\sqrt[3]{\ln q}\cdot q^{(5-3)/3}=3\sqrt[3]{\ln q}\cdot\sqrt[3]{q^2}=3\sqrt[3]{q^2\ln q}~~\text{ for }~37\le q\le839.$ Moreover, we improve the lexi-bounds, applying randomized greedy algorithms, and show that $\ell_q(4,3)\le \ell_q(4,3,5)< 2.61\sqrt[3]{q\ln q}~\text{ if }~13\le q\le4373;$ $\ell_q(4,3)\le \ell_q(4,3,5)< 2.65\sqrt[3]{q\ln q}~\text{ if }~4373<q\le7057;$ $\ell_q(5,3)<2.785\sqrt[3]{q^2\ln q}~\text{ if }~11\le q\le401;$ $\ell_q(5,3)\le\ell_q(5,3,5)<2.884\sqrt[3]{q^2\ln q}~\text{ if }~401<q\le839.$ The codes, obtained in this paper by leximatrix and inverse leximatrix algorithms, provide new upper bounds (called density lexi-bounds) on the smallest covering density $μ_q(r,R)$ of a $q$ -ary linear code of codimension $r$ and covering radius $R$ : $μ_q(4,3)<3.3\cdot\ln q~~\text{ for }~11\le q\le7057;$ $μ_q(5,3)<4.2\cdot\ln q~~\text{ for }~37\le q\le839.$

preprint2016arXiv

A family of semifields in characteristic 2

We construct and describe the basic properties of a family of semifields in characteristic $2.$ The construction relies on the properties of projective polynomials over finite fields. We start by associating non-associative products to each such polynomial. The resulting presemifields form the degenerate case of our family. They are isotopic to the Knuth semifields which are quadratic over left and right nucleus. The non-degenerate members of our family display a very different behaviour. Their left and right nucleus agrees with the center, the middle nucleus is quadratic over the center. None of those semifields is isotopic or Knuth equivalent to a commutative semifield. As a by-product we obtain the complete taxonomy of the characteristic $2$ semifields which are quadratic over the middle nucleus, bi-quadratic over the left and right nucleus and not isotopic to twisted fields. This includes {determining} when two such semifields are isotopic and the order of the autotopism group.

preprint2016arXiv

Algebraic Geometric codes from Kummer Extensions

For Kummer extensions defined by $y^m = f (x)$ , where $f (x)$ is a separable polynomial over the finite field $\mathbb{F}_q$ , we compute the number of Weierstrass gaps at two totally ramified places. For many totally ramified places we give a criterion to find pure gaps at these points and present families of pure gaps. We then apply our results to construct many points algebraic geometric codes with good parameters.

preprint2016arXiv

Multi-Point AG Codes on the GK Maximal Curves

In this paper we investigate multi-point Algebraic-Geometric codes associated to the GK maximal curve, starting from a divisor which is invariant under a large automorphism group of the curve. We construct families of codes with large automorphism groups.

preprint2016arXiv

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

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\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 $Π_{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 Π_{q}$ is $(1,μ)$ -saturating if for every point $Q$ of $Π_{q}\setminus S$ the number of secants of $S$ through $Q$ is at least $μ$ , 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_{μ}(2,q)$ of a $(1,μ)$ -saturating set in $Π_{q}$ is proved: \begin{equation*} s_{μ}(2,q)\leq 2(μ+1)\sqrt{(q+1)\ln (q+1)}+2\thicksim 2(μ+1)\sqrt{ q\ln q}\,\text{ for }\,2\leq μ\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,μ)$ -saturating set) in the projective space $PG(N,q)$ are obtained. All the results are also stated in terms of linear covering codes.

preprint2016arXiv

Tables, bounds and graphics of the smallest known sizes of complete caps in the spaces $\mathrm{PG}(3,q)$ and $\mathrm{PG}(4,q)$

In this paper we present and analyze computational results concerning small complete caps in the projective spaces $\mathrm{PG}(N,q)$ of dimension $N=3$ and $N=4$ over the finite field of order $q$ . The results have been obtained using randomized greedy algorithms and the algorithm with fixed order of points (FOP). The computations have been done in relatively wide regions of $q$ values; such wide regions are not considered in literature for $N=3,4$ . The new complete caps are the smallest known. Basing on them, we obtained new upper bounds on $t_2(N,q)$ , the minimum size of a complete cap in $\mathrm{PG}(N,q)$ , in particular, \begin{align*} &t_{2}(N,q)<\sqrt{N+2}\cdot q^{\frac{N-1}{2^{\vphantom{H}}}}\sqrt{\ln q},\quad q\in L_{N},\quad N=3,4,\\ &t_{2}(N,q)<\left(\sqrt{N+1}+\frac{1.3}{\ln (2q)}\right)q^{\frac{N-1}{2^{\vphantom{H}}}}\sqrt{\ln q},\quad q\in L_{N},\quad N=3,4, \end{align*} where \begin{align*} &L_{3}:=\{q\le 4673, ~q\ \textrm{prime}\} \cup \{5003,6007,7001,8009\},\\ &L_{4}:=\{q\le 1361, ~q\ \textrm{prime}\} \cup \{1409\}. \end{align*} Our investigations and results allow to conjecture that these bounds hold for all $q$ .

preprint2015arXiv

Completeness of cubic curves in PG(2, q), q <= 81

Theoretical results are known about the completeness of a planar algebraic cubic curve as a (n,3)-arc in PG(2,q). They hold for q big enough and sometimes have restriction on the characteristic and on the value of the j-invariant. We determine the completeness of all cubic curves for q <= 81.

preprint2015arXiv

Constant dimension codes from Riemann-Roch spaces

Some families of constant dimension codes arising from Riemann-Roch spaces associated to particular divisors of a curve $\X$ are constructed. These families are generalizations of the one constructed by Hansen

preprint2015arXiv

Further results on multiple coverings of the farthest-off points

Multiple coverings of the farthest-off points ( $(R,μ)$ -MCF codes) and the corresponding $(ρ,μ)$ -saturating sets in projective spaces $PG(N,q)$ are considered. We propose and develop some methods which allow us to obtain new small $(1,μ)$ -saturating sets and short $(2,μ)$ -MCF codes with $μ$ -density either equal to 1 (optimal saturating sets and almost perfect MCF-codes) or close to 1 (roughly $1+1/cq$ , $c\ge1$ ). In particular, we provide new algebraic constructions and some bounds. Also, we classify minimal and optimal $(1,μ)$ -saturating sets in $PG(2,q)$ , $q$ small.

preprint2015arXiv

On the spectrum of sizes of semiovals contained in the Hermitian curve

Some constructions and bounds on the sizes of semiovals contained in the Hermitian curve are given. A construction of an infinite family of 2-blocking sets of the Hermitian curve is also presented.

preprint2015arXiv

Tables, bounds and graphics of the smallest known sizes of complete arcs in the plane $\mathrm{PG}(2,q)$ for all $q\le160001$ and sporadic $q$ in the interval $[160801\ldots 430007]$

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^{φ_{up}(q;0.6)} q,~~φ_{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$ .

preprint2014arXiv

2-semiarcs in $\mathrm{PG}(2,q)$ , $q\leq 13$

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.

preprint2014arXiv

A probabilistic construction of small complete caps in projective spaces

In this work complete caps in $PG(N,q)$ of size $O(q^{\frac{N-1}{2}}\log^{300} q)$ are obtained by probabilistic methods. This gives an upper bound asymptotically very close to the trivial lower bound $\sqrt{2}q^{\frac{N-1}{2}}$ and it improves the best known bound in the literature for small complete caps in projective spaces of any dimension. The result obtained in the paper also gives a new upper bound for $l(m,2,q)_4$ , that is the minimal length $n$ for which there exists an $[n,n-m, 4]_q2$ covering code with given $m$ and $q$ .

preprint2014arXiv

Tables of sizes of random complete arcs in the plane $PG(2,q)$

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}\}$.

preprint2013arXiv

Complete arcs and complete caps from cubics with an isolated double point

Small complete arcs and caps in Galois spaces over finite fields $\fq$ with characteristic greater than 3 are constructed from cubic curves with an isolated double point. For $m$ a divisor of $q+1$ , complete plane arcs of size approximately $q/m$ are obtained, provided that $(m,6)=1$ and $m<\{1}{4}q^{1/4}$. If in addition $m=m_1m_2$ with $(m_1,m_2)=1$ , then complete caps of size approximately $\{m_1+m_2}{m}q^{N/2}$ in affine spaces of dimension $N\equiv 0 \pmod 4$ are constructed.

preprint2013arXiv

Small complete caps from nodal cubics

Bicovering arcs in Galois affine planes of odd order are a powerful tool for constructing complete caps in spaces of higher dimensions. In this paper we investigate whether some arcs contained in nodal cubic curves are bicovering. For $m_1$ , $m_2$ coprime divisors of $q-1$ , bicovering arcs in $AG(2,q)$ of size $k\le (q-1)\frac{m_1+m_2}{m_1m_2}$ are obtained, provided that $(m_1m_2,6)=1$ and $m_1m_2<\sqrt[4]{q}/3.5$ . Such arcs produce complete caps of size $kq^{(N-2)/2}$ in affine spaces of dimension $N\equiv 0 \pmod 4$ . For infinitely many $q$ 's these caps are the smallest known complete caps in $AG(N,q)$ , $N \equiv 0 \pmod 4$ .

preprint2013arXiv

The nonexistence of an additive quaternary [15,5,9]-code

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.

preprint2012arXiv

A computer based classification of caps in PG(4,2)

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.

preprint2012arXiv

A computer based classification of caps in PG(4,3)

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.

preprint2012arXiv

A computer based classification of caps in PG(5,2)

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.

preprint2012arXiv

Classification of minimal 1-saturating sets in $PG(2,q)$ , $q\leq 23$

Minimal 1-saturating sets in the projective plane $PG(2,q)$ are considered. They correspond to covering codes which can be applied to many branches of combinatorics and information theory, as data compression, compression with distortion, broadcasting in interconnection network, write-once memory or steganography (see \cite{Coh} and \cite{BF2008}). The full classification of all the minimal 1-saturating sets in PG(2,9) and PG(2,11) and the classification of minimal 1-saturating sets of smallest size in PG(2,q), $16\leq q\leq 23$ are given. These results have been found using a computer-based exhaustive search that exploits projective equivalence properties.

preprint2012arXiv

The maximum and the minimum size of complete (n,3)-arcs in PG(2,16)

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).

preprint2011arXiv

On sizes of complete arcs in PG(2,q)

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.

preprint2011arXiv

Upper bounds on the smallest size of a complete arc in the plane PG(2,q)

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.

preprint2010arXiv

New quantum caps in PG(4,4)

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}.

Daniele Bartoli

Research overview

Is this your work?

39 publications

Differential biases, ccc-differential uniformity, and their relation to differential attacks

Non-minimum tensor rank Gabidulin codes

On the classification of low-degree ovoids of Q(4,q)

Towards the classification of exceptional scattered polynomials

On construction and (non)existence of ccc-(almost) perfect nonlinear functions

rrr-fat linearized polynomials over finite fields

A new family of maximum scattered linear sets in PG(1,q6)\mathrm{PG}(1,q^6)PG(1,q6)

Algebraic constructions of complete mmm-arcs

Asymptotics of Moore exponent sets

Locally recoverable codes from automorphism groups of function fields of genus g≥1g \geq 1g≥1

on a conjecture on permutation rational functions over finite fields

On planes through points off the twisted cubic in PG(3,q)\mathrm{PG}(3,q)PG(3,q) and multiple covering codes

On the weight distribution of some minimal codes

Planar Polynomials arising from Linearized polynomials

Tables, bounds and graphics of short linear codes with covering radius 3 and codimension 4 and 5

A family of semifields in characteristic 2

Algebraic Geometric codes from Kummer Extensions

Multi-Point AG Codes on the GK Maximal Curves

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

Tables, bounds and graphics of the smallest known sizes of complete caps in the spaces PG(3,q)\mathrm{PG}(3,q)PG(3,q) and PG(4,q)\mathrm{PG}(4,q)PG(4,q)

Completeness of cubic curves in PG(2, q), q <= 81

Constant dimension codes from Riemann-Roch spaces

Further results on multiple coverings of the farthest-off points

On the spectrum of sizes of semiovals contained in the Hermitian curve

Tables, bounds and graphics of the smallest known sizes of complete arcs in the plane PG(2,q)\mathrm{PG}(2,q)PG(2,q) for all q≤160001q\le160001q≤160001 and sporadic qqq in the interval [160801…430007][160801\ldots 430007][160801…430007]

2-semiarcs in PG(2,q)\mathrm{PG}(2,q)PG(2,q), q≤13q\leq 13q≤13

A probabilistic construction of small complete caps in projective spaces

Tables of sizes of random complete arcs in the plane PG(2,q)PG(2,q)PG(2,q)

Complete arcs and complete caps from cubics with an isolated double point

Small complete caps from nodal cubics

The nonexistence of an additive quaternary [15,5,9]-code

A computer based classification of caps in PG(4,2)

A computer based classification of caps in PG(4,3)

A computer based classification of caps in PG(5,2)

Classification of minimal 1-saturating sets in PG(2,q)PG(2,q)PG(2,q), q≤23q\leq 23q≤23

The maximum and the minimum size of complete (n,3)-arcs in PG(2,16)

On sizes of complete arcs in PG(2,q)

Upper bounds on the smallest size of a complete arc in the plane PG(2,q)

New quantum caps in PG(4,4)

See the researcher in context

Building this map preview

Differential biases, $c$ -differential uniformity, and their relation to differential attacks

On construction and (non)existence of $c$ -(almost) perfect nonlinear functions

$r$ -fat linearized polynomials over finite fields

A new family of maximum scattered linear sets in $\mathrm{PG}(1,q^6)$

Algebraic constructions of complete $m$ -arcs

Locally recoverable codes from automorphism groups of function fields of genus $g \geq 1$

On planes through points off the twisted cubic in $\mathrm{PG}(3,q)$ and multiple covering codes

Tables, bounds and graphics of the smallest known sizes of complete caps in the spaces $\mathrm{PG}(3,q)$ and $\mathrm{PG}(4,q)$

Tables, bounds and graphics of the smallest known sizes of complete arcs in the plane $\mathrm{PG}(2,q)$ for all $q\le160001$ and sporadic $q$ in the interval $[160801\ldots 430007]$

2-semiarcs in $\mathrm{PG}(2,q)$ , $q\leq 13$

Tables of sizes of random complete arcs in the plane $PG(2,q)$

Classification of minimal 1-saturating sets in $PG(2,q)$ , $q\leq 23$