It was conjectured by Edoukou in 2008 that a non-degenerate Hermitian threefold in has at most points in common with a threefold of degree d defined over . He proved the conjecture for . In this paper, we show that the conjecture is true for and .
It was conjectured by Edoukou in 2008 that a non-degenerate Hermitian threefold in has at most points in common with a threefold of degree d defined over . He proved the conjecture for . In this paper, we show that the conjecture is true for and .
In this paper we completely classify spreads of 2-dimensional subspaces of a 6-dimensional vector space over a finite field of characteristic not two or three upon which a cyclic group acts transitively. This addresses one of the remaining open cases in the classification of flag-transitive linear spaces. We utilise the polynomial approach innovated by Pauley and Bamberg to obtain our results.
A (projective, geometrically irreducible, non-singular) curve defined over a finite field is maximal if the number of its -rational points attains the Hasse-Weil upper bound, that is where is the genus of . An important question, also motivated by applications to algebraic-geometry codes, is to find explicit equations for maximal curves. For a few curves which are Galois covered of the Hermitian curve, this has been done so far ad hoc, in particular in the cases where the Galois group has prime order. In this paper we obtain explicit equations of all Galois covers of the Hermitian curve with Galois group of order where p is the characteristic of . Doing so we also determine the -isomorphism classes of such curves and describe their full -automorphism groups.
In this paper we introduce a multistep generalization of the guess-and-determine or hybrid strategy for solving a system of multivariate polynomial equations over a finite field. In particular, we propose performing the exhaustive evaluation of a subset of variables stepwise, that is, by incrementing the size of such subset each time that an evaluation leads to a polynomial system which is possibly unfeasible to solve. The decision about which evaluation to extend is based on a preprocessing consisting in computing an incomplete Gröbner basis after the current evaluation, which possibly generates linear polynomials that are used to eliminate further variables. If the number of remaining variables in the system is deemed still too high, the evaluation is extended and the preprocessing is iterated. Otherwise, we solve the system by a complete Gröbner basis computation.
Having in mind cryptanalytic applications, we present an implementation of this strategy in an algorithm called MultiSolve which is designed for polynomial systems having at most one solution. We prove explicit formulas for its complexity which are based on probability distributions that can be easily estimated by performing the proposed preprocessing on a testset of evaluations for different subsets of variables. We prove that an optimal complexity of MultiSolve is achieved by using a full multistep strategy with a maximum number of steps and in turn the standard guess-and-determine strategy, which essentially is a strategy consisting of a single step, is the worst choice. Finally, we extensively study the behaviour of MultiSolve when performing an algebraic attack on the well-known stream cipher Trivium.
In recent years, several families of scattered polynomials have been investigated in the literature. However, most of them only exist in odd characteristic. In [9], [24], the authors proved that the trinomial of is scattered under the assumptions that q is odd and . They also explicitly observed that this is false when q is even. In this paper, we provide a different set of conditions on c for which this trinomial is scattered in the case of even q. Using tools of algebraic geometry in positive characteristic, we show that when q is even and sufficiently large, there are roughly elements such that is scattered. Also, we prove that the corresponding MRD-codes and -linear sets of are not equivalent to the previously known ones.
We construct algebraic-geometry codes by using projective systems from projective curves over a finite field and the global sections of invertible sheaves on these curves. We also prove a formula for the Hilbert function of a finite set of points in a projective space in terms of the rank of a matrix constructed with the Veronese embedding and we use it to estimate the minimum distance of the dual codes.
Bonini, Borello and Byrne started the study of saturating linear sets in Desarguesian projective spaces, in connection with the covering problem in the rank metric. In this paper we study 1-saturating linear sets in PG, that is -linear sets in PG with the property that their secant lines cover the entire plane. By making use of a characterization of generalized Gabidulin codes, we prove that the rank of such a linear set is at least 5. This answers to a recent question posed by Bartoli, Borello and Marino.
In this paper, as an analogue of the integer case, we study detailedly the period and the rank of the generalized Fibonacci sequences of polynomials over a finite field modulo an arbitrary polynomial. We establish some formulas to compute them, and we also obtain some properties about their quotient. We find that the polynomial case is much more complicated than the integer case.
In this paper, we examine superspecial genus-2 curves in odd characteristic p. As a main result, we show that the difference between any two elements in is a square in . Moreover, we show that C is maximal or minimal over without taking its -form (we give an explicit criterion in terms of p that tells whether C is maximal or minimal). As an application, we also study the maximality of superspecial hyperelliptic curves of genera 3 and 4 whose automorphism groups contain .