-
$r$-primitive $k$-normal elements in arithmetic progressions over finite fields
Authors:
Josimar J. R. Aguirre,
Abílio Lemos,
Victor G. L. Neumann,
Sávio Ribas
Abstract:
Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements. For a positive divisor $r$ of $q^n-1$, the element $α\in \mathbb{F}_{q^n}^*$ is called \textit{$r$-primitive} if its multiplicative order is $(q^n-1)/r$. Also, for a non-negative integer $k$, the element $α\in \mathbb{F}_{q^n}$ is \textit{$k$-normal} over $\mathbb{F}_q$ if…
▽ More
Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements. For a positive divisor $r$ of $q^n-1$, the element $α\in \mathbb{F}_{q^n}^*$ is called \textit{$r$-primitive} if its multiplicative order is $(q^n-1)/r$. Also, for a non-negative integer $k$, the element $α\in \mathbb{F}_{q^n}$ is \textit{$k$-normal} over $\mathbb{F}_q$ if $\gcd(αx^{n-1}+ α^q x^{n-2} + \ldots + α^{q^{n-2}}x + α^{q^{n-1}} , x^n-1)$ in $\mathbb{F}_{q^n}[x]$ has degree $k$. In this paper we discuss the existence of elements in arithmetic progressions $\{α, α+β, α+2β, \ldotsα+(m-1)β\} \subset \mathbb{F}_{q^n}$ with $α+(i-1)β$ being $r_i$-primitive and at least one of the elements in the arithmetic progression being $k$-normal over $\mathbb{F}_q$. We obtain asymptotic results for general $k, r_1, \dots, r_m$ and concrete results when $k = r_i = 2$ for $i \in \{1, \dots, m\}$.
△ Less
Submitted 31 July, 2023; v1 submitted 3 November, 2022;
originally announced November 2022.
-
Pairs of $r$-primitive and $k$-normal elements in finite fields
Authors:
Josimar J. R. Aguirre,
Victor G. L. Neumann
Abstract:
Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements and $r$ be a positive divisor of $q^n-1$. An element $α\in \mathbb{F}_{q^n}^*$ is called $r$-primitive if its multiplicative order is $(q^n-1)/r$. Also, $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α(x) = αx^{n-1}+ α^q x^{n-2} + \ldots + α^{q^{n-2}}x + α^{q^{n-1}}$ and…
▽ More
Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements and $r$ be a positive divisor of $q^n-1$. An element $α\in \mathbb{F}_{q^n}^*$ is called $r$-primitive if its multiplicative order is $(q^n-1)/r$. Also, $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α(x) = αx^{n-1}+ α^q x^{n-2} + \ldots + α^{q^{n-2}}x + α^{q^{n-1}}$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$. These concepts generalize the ideas of primitive and normal elements, respectively. In this paper, we consider non-negative integers $m_1,m_2,k_1,k_2$, positive integers $r_1,r_2$ and rational functions $F(x)=F_1(x)/F_2(x) \in \mathbb{F}_{q^n}(x)$ with $°(F_i) \leq m_i$ for $i\in\{ 1,2\}$ satisfying certain conditions and we present sufficient conditions for the existence of $r_1$-primitive $k_1$-normal elements $α\in \mathbb{F}_{q^n}$ over $\mathbb{F}_q$, such that $F(α)$ is an $r_2$-primitive $k_2$-normal element over $\mathbb{F}_q$. Finally as an example we study the case where $r_1=2$, $r_2=3$, $k_1=2$, $k_2=1$, $m_1=2$ and $m_2=1$, with $n \ge 7$.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Number of $k$-normal elements over a finite field
Authors:
Josimar J. R. Aguirre,
Victor G. L. Neumann
Abstract:
An element $α\in \mathbb{F}_{q^n}$ is a normal element over $\mathbb{F}_q$ if the conjugates $α^{q^i}$, $0 \leq i \leq n-1$, are linearly independent over $\mathbb{F}_q$. Hence a normal basis for $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$ is of the form $\{α,α^q, \ldots, α^{q^{n-1}}\}$, where $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$. In 2013, Huczynska, Mullen, Panario and Thomson introdu…
▽ More
An element $α\in \mathbb{F}_{q^n}$ is a normal element over $\mathbb{F}_q$ if the conjugates $α^{q^i}$, $0 \leq i \leq n-1$, are linearly independent over $\mathbb{F}_q$. Hence a normal basis for $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$ is of the form $\{α,α^q, \ldots, α^{q^{n-1}}\}$, where $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$. In 2013, Huczynska, Mullen, Panario and Thomson introduce the concept of k-normal elements, as a generalization of the notion of normal elements. In the last few years, several results have been known about these numbers. In this paper, we give an explicit combinatorial formula for the number of $k$-normal elements in the general case, answering an open problem proposed by Huczynska et al. (2013).
△ Less
Submitted 20 February, 2022;
originally announced February 2022.
-
About $r$- primitive and $k$-normal elements in finite fields
Authors:
Cícero Carvalho,
Josimar J. R. Aguirre,
Victor G. L. Neumann
Abstract:
In 2013, Huczynska, Mullen, Panario and Thomson introduced the concept of $k$-normal elements: an element $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α(x)= αx^{n-1}+α^qx^{n-2}+\ldots +α^{q^{n-2}}x+α^{q^{n-1}}$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$, generalizing the concept of normal elements (normal in the usual sense…
▽ More
In 2013, Huczynska, Mullen, Panario and Thomson introduced the concept of $k$-normal elements: an element $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α(x)= αx^{n-1}+α^qx^{n-2}+\ldots +α^{q^{n-2}}x+α^{q^{n-1}}$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$, generalizing the concept of normal elements (normal in the usual sense is $0$-normal). In this paper we discuss the existence of $r$-primitive, $k$-normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$, where an element $α\in \mathbb{F}_{q^n}^*$ is $r$-primitive if its multiplicative order is $\frac{q^n-1}{r}$. We provide many general results about the existence of this class of elements and we work a numerical example over finite fields of characteristic $11$.
△ Less
Submitted 24 December, 2021;
originally announced December 2021.
-
A family of codes with variable locality and availability
Authors:
Cícero Carvalho,
Victor G. L. Neumann
Abstract:
In this work we present a class of locally recoverable codes, i.e. codes where an erasure at a position $P$ of a codeword may be recovered from the knowledge of the entries in the positions of a recovery set $R_P$. The codes in the class that we define have availability, meaning that for each position $P$ there are several distinct recovery sets. Also, the entry at position $P$ may be recovered ev…
▽ More
In this work we present a class of locally recoverable codes, i.e. codes where an erasure at a position $P$ of a codeword may be recovered from the knowledge of the entries in the positions of a recovery set $R_P$. The codes in the class that we define have availability, meaning that for each position $P$ there are several distinct recovery sets. Also, the entry at position $P$ may be recovered even in the presence of erasures in some of the positions of the recovery sets, and the number of supported erasures may vary among the various recovery sets.
△ Less
Submitted 28 July, 2021;
originally announced July 2021.
-
A family of codes with locality containing optimal codes
Authors:
Bruno Andrade,
Cícero Carvalho,
Victor G. L. Neumann,
Antônio C. P. Veiga
Abstract:
Locally recoverable codes were introduced by Gopalan et al. in 2012, and in the same year Prakash et al. introduced the concept of codes with locality, which are a type of locally recoverable codes. In this work we introduce a new family of codes with locality, which are subcodes of a certain family of evaluation codes. We determine the dimension of these codes, and also bounds for the minimum dis…
▽ More
Locally recoverable codes were introduced by Gopalan et al. in 2012, and in the same year Prakash et al. introduced the concept of codes with locality, which are a type of locally recoverable codes. In this work we introduce a new family of codes with locality, which are subcodes of a certain family of evaluation codes. We determine the dimension of these codes, and also bounds for the minimum distance. We present the true values of the minimum distance in special cases, and also show that elements of this family are "optimal codes", as defined by Prakash et al.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
Existence of primitive $2$-normal elements in finite fields
Authors:
Victor G. L. Neumann,
Josimar J. R. Aguirre
Abstract:
An element $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if $\mathcal{B}=\{α, α^q, α^{q^2}, \cdots, α^{q^{n-1}}\}$ forms a basis of $\mathbb{F}_{q^n}$ as a vector space over $\mathbb{F}_q$. It is well known that $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if and only if $g_α(x)=αx^{n-1}+α^q x^{n-2}+ \cdots + α^{q^{n-2}}x+α^{q^{n-1}}$ and $x^n-1$ are relatively prime over…
▽ More
An element $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if $\mathcal{B}=\{α, α^q, α^{q^2}, \cdots, α^{q^{n-1}}\}$ forms a basis of $\mathbb{F}_{q^n}$ as a vector space over $\mathbb{F}_q$. It is well known that $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if and only if $g_α(x)=αx^{n-1}+α^q x^{n-2}+ \cdots + α^{q^{n-2}}x+α^{q^{n-1}}$ and $x^n-1$ are relatively prime over $\mathbb{F}_{q^n}$, that is, the degree of their greatest common divisor in $\mathbb{F}_{q^n}[x]$ is $0$. Using this equivalence, the notion of $k$-normal elements was introduced in Huczynska et al. ($2013$): an element $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α[x]$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$; so an element which is normal in the usual sense is $0$-normal.
Huczynska et al. made the question about the pairs $(n,k)$ for which there exist primitive $k$-normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$ and they got a partial result for the case $k=1$, and later Reis and Thomson ($2018$) completed this case. The Primitive Normal Basis Theorem solves the case $k=0$. In this paper, we solve completely the case $k=2$ using estimates for Gauss sum and the use of the computer, we also obtain a new condition for the existence of $k$-normal elements in $\mathbb{F}_{q^n}$.
△ Less
Submitted 22 December, 2020; v1 submitted 21 July, 2020;
originally announced July 2020.
-
On the existence of pairs of primitive and normal elements over finite fields
Authors:
Cícero Carvalho,
João Paulo Guardieiro,
Victor G. L. Neumann,
Guilherme Tizziotti
Abstract:
Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements, and let $m_1$ and $m_2$ be positive integers. Given polynomials $f_1(x), f_2(x) \in \mathbb{F}_q[x]$ with $\textrm{deg}(f_i(x)) \leq m_i$, for $i = 1, 2$, and such that the rational function $f_1(x)/f_2(x)$ belongs to a certain set which we define, we present a sufficient condition for the existence of a primitive element…
▽ More
Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements, and let $m_1$ and $m_2$ be positive integers. Given polynomials $f_1(x), f_2(x) \in \mathbb{F}_q[x]$ with $\textrm{deg}(f_i(x)) \leq m_i$, for $i = 1, 2$, and such that the rational function $f_1(x)/f_2(x)$ belongs to a certain set which we define, we present a sufficient condition for the existence of a primitive element $α\in \mathbb{F}_{q^n}$, normal over $\mathbb{F}_q$, such that $f_1(α)/f_2(α)$ is also primitive.
△ Less
Submitted 14 March, 2021; v1 submitted 19 July, 2020;
originally announced July 2020.
-
On existence of some special pair of primitive elements over finite fields
Authors:
C. Carvalho,
J. P. G. Sousa,
V. G. L. Neumann,
G. Tizziotti
Abstract:
In this paper we generalize the results of Sharma, Awasthi and Gupta (see \cite{SAG}). We work over a field of any characteristic with $q = p^k$ elements and we give a sufficient condition for the existence of a primitive element $α\in \mathbb{F}_{p^k}$ such that $f(α)$ is also primitive in $\mathbb{F}_{p^k}$, where $f(x) \in \mathbb{F}_{p^k}(x)$ is a quotient of polynomials with some restrictions…
▽ More
In this paper we generalize the results of Sharma, Awasthi and Gupta (see \cite{SAG}). We work over a field of any characteristic with $q = p^k$ elements and we give a sufficient condition for the existence of a primitive element $α\in \mathbb{F}_{p^k}$ such that $f(α)$ is also primitive in $\mathbb{F}_{p^k}$, where $f(x) \in \mathbb{F}_{p^k}(x)$ is a quotient of polynomials with some restrictions. We explicitly determine the values of $k$ for which such a pair exists for $p=2,3,5$ and $7$.
△ Less
Submitted 5 February, 2020;
originally announced February 2020.
-
An extension of Delsarte, Goethals and Mac Williams theorem on minimal weight codewords to a class of Reed-Muller type codes
Authors:
Cicero Carvalho,
Victor G. L. Neumann
Abstract:
In 1970 Delsarte, Goethals and Mac Williams published a seminal paper on generalized Reed-Muller codes where, among many important results, they proved that the minimal weight codewords of these codes are obtained through the evaluation of certain polynomials which are a specific product of linear factors, which they describe. In the present paper we extend this result to a class of Reed-Muller ty…
▽ More
In 1970 Delsarte, Goethals and Mac Williams published a seminal paper on generalized Reed-Muller codes where, among many important results, they proved that the minimal weight codewords of these codes are obtained through the evaluation of certain polynomials which are a specific product of linear factors, which they describe. In the present paper we extend this result to a class of Reed-Muller type codes defined on a product of (possibly distinct) finite fields of the same characteristic. The paper also brings an expository section on the study of the structure of low weight codewords, not only for affine Reed-Muller type codes, but also for the projective ones.
△ Less
Submitted 22 March, 2019;
originally announced March 2019.
-
On the next-to-minimal weight of projective Reed-Muller codes
Authors:
Cícero Carvalho,
Victor G. L. Neumann
Abstract:
In this paper we present several values for the next-to-minimal weights of projective Reed-Muller codes. We work over $\mathbb{F}_q$ with $q \geq 3$ since in IEEE-IT 62(11) p. 6300-6303 (2016) we have determined the complete values for the next-to-minimal weights of binary projective Reed-Muller codes. As in loc. cit. here we also find examples of codewords with next-to-minimal weight whose set of…
▽ More
In this paper we present several values for the next-to-minimal weights of projective Reed-Muller codes. We work over $\mathbb{F}_q$ with $q \geq 3$ since in IEEE-IT 62(11) p. 6300-6303 (2016) we have determined the complete values for the next-to-minimal weights of binary projective Reed-Muller codes. As in loc. cit. here we also find examples of codewords with next-to-minimal weight whose set of zeros is not in a hyperplane arrangement.
△ Less
Submitted 6 January, 2017;
originally announced January 2017.
-
The next-to-minimal weights of binary projective Reed-Muller codes
Authors:
Cícero Carvalho,
Victor G. L. Neumann
Abstract:
Projective Reed-Muller codes were introduced by Lachaud, in 1988 and their dimension and minimum distance were determined by Serre and Sørensen in 1991. In coding theory one is also interested in the higher Hamming weights, to study the code performance. Yet, not many values of the higher Hamming weights are known for these codes, not even the second lowest weight (also known as next-to-minimal we…
▽ More
Projective Reed-Muller codes were introduced by Lachaud, in 1988 and their dimension and minimum distance were determined by Serre and Sørensen in 1991. In coding theory one is also interested in the higher Hamming weights, to study the code performance. Yet, not many values of the higher Hamming weights are known for these codes, not even the second lowest weight (also known as next-to-minimal weight) is completely determined. In this paper we determine all the values of the next-to-minimal weight for the binary projective Reed-Muller codes, which we show to be equal to the next-to-minimal weight of Reed-Muller codes in most, but not all, cases.
△ Less
Submitted 6 January, 2017;
originally announced January 2017.
-
Projective nested cartesian codes
Authors:
Cicero Carvalho,
V. G. Lopez Neumann,
Hiram H. Lopez
Abstract:
In this paper we introduce a new type of code, called projective nested cartesian code. It is obtained by the evaluation of homogeneous polynomials of a fixed degree on a certain subset of $\mathbb{P}^n(\mathbb{F}_q)$, and they may be seen as a generalization of the so-called projective Reed-Muller codes. We calculate the length and the dimension of such codes, a lower bound for the minimum distan…
▽ More
In this paper we introduce a new type of code, called projective nested cartesian code. It is obtained by the evaluation of homogeneous polynomials of a fixed degree on a certain subset of $\mathbb{P}^n(\mathbb{F}_q)$, and they may be seen as a generalization of the so-called projective Reed-Muller codes. We calculate the length and the dimension of such codes, a lower bound for the minimum distance and the exact minimum distance in a special case (which includes the projective Reed-Muller codes). At the end we show some relations between the parameters of these codes and those of the affine cartesian codes.
△ Less
Submitted 7 January, 2017; v1 submitted 25 November, 2014;
originally announced November 2014.
-
Explicit Computations on the Desingularized Kummer Surface
Authors:
V. G. Lopez Neumann,
Constantin Manoil
Abstract:
We find formulas for the birational maps from a Kummer surface K and its dual K^* to their common minimal desingularization S. We show how the nodes of K blow up. Then we give a description of the group of linear automorphisms of S.
We find formulas for the birational maps from a Kummer surface K and its dual K^* to their common minimal desingularization S. We show how the nodes of K blow up. Then we give a description of the group of linear automorphisms of S.
△ Less
Submitted 3 June, 2009;
originally announced June 2009.
-
About the equivalence of divisor classes on hyperelliptic curves and a quotient of linear forms by an algebraic group action
Authors:
Victor Gonzalo Lopez Neumann
Abstract:
For a hyperelliptic curve of genus $g$, a divisor in general position of degree $g+1$ is given by polynomial equations. There is an action from an algebraic group on the representations of divisors by polynomials which fixes divisor classes. This structure reduces the question of rationality of divisor classes to rationality of polynomials which is more easy to control.
For a hyperelliptic curve of genus $g$, a divisor in general position of degree $g+1$ is given by polynomial equations. There is an action from an algebraic group on the representations of divisors by polynomials which fixes divisor classes. This structure reduces the question of rationality of divisor classes to rationality of polynomials which is more easy to control.
△ Less
Submitted 26 April, 2006;
originally announced April 2006.
