-
Factorization and irreducibility of composed products
Authors:
Lukas Kölsch,
Lucas Krompholz,
Gohar M. Kyureghyan
Abstract:
Brawley and Carlitz introduced diamond products of elements of finite fields and associated composed products of polynomials in 1987. Composed products yield a method to construct irreducible polynomials of large composite degrees from irreducible polynomials of lower degrees. We show that the composed product of two irreducible polynomials of degrees $m$ and $n$ is again irreducible if and only i…
▽ More
Brawley and Carlitz introduced diamond products of elements of finite fields and associated composed products of polynomials in 1987. Composed products yield a method to construct irreducible polynomials of large composite degrees from irreducible polynomials of lower degrees. We show that the composed product of two irreducible polynomials of degrees $m$ and $n$ is again irreducible if and only if $m$ and $n$ are coprime and the involved diamond product satisfies a special cancellation property, the so-called conjugate cancellation. This completes the characterization of irreducible composed products, considered in several previous papers. More generally, we give precise criteria when a diamond product satisfies conjugate cancellation. For diamond products defined via bivariate polynomials, we prove simple criteria that characterize when conjugate cancellation holds. We also provide efficient algorithms to check these criteria. We achieve stronger results as well as more efficient algorithms in the case that the polynomials are bilinear. Lastly, we consider possible constructions of normal elements using composed products and the methods we developed.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
On the size of integer programs with bounded non-vanishing subdeterminants
Authors:
Björn Kriepke,
Gohar M. Kyureghyan,
Matthias Schymura
Abstract:
Motivated by complexity questions in integer programming, this paper aims to contribute to the understanding of combinatorial properties of integer matrices of row rank $r$ and with bounded subdeterminants. In particular, we study the column number question for integer matrices whose every $r \times r$ minor is non-zero and bounded by a fixed constant $Δ$ in absolute value. Approaching the problem…
▽ More
Motivated by complexity questions in integer programming, this paper aims to contribute to the understanding of combinatorial properties of integer matrices of row rank $r$ and with bounded subdeterminants. In particular, we study the column number question for integer matrices whose every $r \times r$ minor is non-zero and bounded by a fixed constant $Δ$ in absolute value. Approaching the problem in two different ways, one that uses results from coding theory, and the other from the geometry of numbers, we obtain linear and asymptotically sublinear upper bounds on the maximal number of columns of such matrices, respectively. We complement these results by lower bound constructions, matching the linear upper bound for $r=2$, and a discussion of a computational approach to determine the maximal number of columns for small parameters $Δ$ and $r$.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Constructing irreducible polynomials recursively with a reverse composition method
Authors:
Anna-Maurin Graner,
Gohar M. Kyureghyan
Abstract:
We suggest a construction of the minimal polynomial $m_{β^k}$ of $β^k\in \mathbb F_{q^n}$ over $\mathbb F_q$ from the minimal polynomial $f= m_β$ for all positive integers $k$ whose prime factors divide $q-1$. The computations of our construction are carried out in $\mathbb F_q$. The key observation leading to our construction is that for $k \mid q-1$ holds…
▽ More
We suggest a construction of the minimal polynomial $m_{β^k}$ of $β^k\in \mathbb F_{q^n}$ over $\mathbb F_q$ from the minimal polynomial $f= m_β$ for all positive integers $k$ whose prime factors divide $q-1$. The computations of our construction are carried out in $\mathbb F_q$. The key observation leading to our construction is that for $k \mid q-1$ holds $$m_{β^k}(X^k) = \prod_{j=1}^{\frac kt} ζ_k^{-jn} f (ζ_k^j X),$$ where $t= \max \{m\mid \gcd(n,k): f (X) = g (X^m), g \in \mathbb F_q[X]\}$ and $ζ_{k}$ is a primitive $k$-th root of unity in $\mathbb F_q$. The construction allows to construct a large number of irreducible polynomials over $\mathbb F_q$ of the same degree. Since different applications require different properties, this large number allows the selection of the candidates with the desired properties.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
Image sets of perfectly nonlinear maps
Authors:
Lukas Kölsch,
Björn Kriepke,
Gohar M. Kyureghyan
Abstract:
We consider image sets of differentially $d$-uniform maps of finite fields. We present a lower bound on the image size of such maps and study their preimage distribution, by extending methods used for planar maps. We apply the results to study $d$-uniform Dembowski-Ostrom polynomials. Further, we focus on a particularly interesting case of APN maps on binary fields. We show that APN maps with the…
▽ More
We consider image sets of differentially $d$-uniform maps of finite fields. We present a lower bound on the image size of such maps and study their preimage distribution, by extending methods used for planar maps. We apply the results to study $d$-uniform Dembowski-Ostrom polynomials. Further, we focus on a particularly interesting case of APN maps on binary fields. We show that APN maps with the minimal image size must have a very special preimage distribution. We prove that for an even $n$ the image sets of several well-studied families of APN maps are minimal. We present results connecting the image sets of special maps with their Walsh spectrum. Especially, we show that the fact that several large classes of APN maps have the classical Walsh spectrum is explained by the minimality of their image sets. Finally, we present upper bounds on the image size of APN maps.
△ Less
Submitted 24 September, 2021; v1 submitted 1 December, 2020;
originally announced December 2020.
-
A recurrent construction of irreducible polynomials of fixed degree over finite fields
Authors:
Gohar M. Kyureghyan,
Melsik K. Kyureghyan
Abstract:
In this paper we consider in detail the composition of an irreducible polynomial with X^2 and suggest a recurrent construction of irreducible polynomials of fixed degree over finite fields of odd characteristics. More precisely, given an irreducible polynomial of degree n and order 2^rt with t odd, the construction produces ord_t(2)/d irreducible polynomials of degree n and order t for a certain d…
▽ More
In this paper we consider in detail the composition of an irreducible polynomial with X^2 and suggest a recurrent construction of irreducible polynomials of fixed degree over finite fields of odd characteristics. More precisely, given an irreducible polynomial of degree n and order 2^rt with t odd, the construction produces ord_t(2)/d irreducible polynomials of degree n and order t for a certain divisor d of n. The construction can be used, for example, to search irreducible polynomials with specific requirements on its coefficients.
△ Less
Submitted 25 August, 2020; v1 submitted 11 May, 2020;
originally announced May 2020.
-
On subspaces of Kloosterman zeros and permutations of the form $L_1(x^{-1})+L_2(x)$
Authors:
Faruk Göloğlu,
Lukas Kölsch,
Gohar Kyureghyan,
Léo Perrin
Abstract:
Permutations of the form $F=L_1(x^{-1})+L_2(x)$ with linear functions $L_1,L_2$ are closely related to several interesting questions regarding CCZ-equivalence and EA-equivalence of the inverse function. In this paper, we show that $F$ cannot be a permutation if the kernel of $L_1$ or $L_2$ is too large. A key step of the proof is a new result on the maximal size of a subspace of…
▽ More
Permutations of the form $F=L_1(x^{-1})+L_2(x)$ with linear functions $L_1,L_2$ are closely related to several interesting questions regarding CCZ-equivalence and EA-equivalence of the inverse function. In this paper, we show that $F$ cannot be a permutation if the kernel of $L_1$ or $L_2$ is too large. A key step of the proof is a new result on the maximal size of a subspace of $\mathbb{F}_{2^n}$ that contains only Kloosterman zeros, i.e. a subspace $V$ such that $K_n(v)=0$ for all $v \in V$ where $K_n(v)$ denotes the Kloosterman sum of $v$.}
△ Less
Submitted 22 September, 2020; v1 submitted 31 March, 2020;
originally announced March 2020.
-
On the intersection distribution of degree three polynomials and related topics
Authors:
Gohar Kyureghyan,
Shuxing Li,
Alexander Pott
Abstract:
The intersection distribution of a polynomial $f$ over finite field $\mathbb{F}_q$ was recently proposed in Li and Pott (arXiv:2003.06678v1), which concerns the collective behaviour of a collection of polynomials $\{f(x)+cx \mid c \in \mathbb{F}_q\}$. The intersection distribution has an underlying geometric interpretation, which indicates the intersection pattern between the graph of $f$ and the…
▽ More
The intersection distribution of a polynomial $f$ over finite field $\mathbb{F}_q$ was recently proposed in Li and Pott (arXiv:2003.06678v1), which concerns the collective behaviour of a collection of polynomials $\{f(x)+cx \mid c \in \mathbb{F}_q\}$. The intersection distribution has an underlying geometric interpretation, which indicates the intersection pattern between the graph of $f$ and the lines in the affine plane $AG(2,q)$. When $q$ is even, the long-standing open problem of classifying o-polynomials can be rephrased in a simple way, namely, classifying all polynomials which have the same intersection distribution as $x^2$. Inspired by this connection, we proceed to consider the next simplest case and derive the intersection distribution for all degree three polynomials over $\mathbb{F}_q$ with $q$ both odd and even. Moreover, we initiate to classify all monomials having the same intersection distribution as $x^3$, where some characterizations of such monomials are obtained and a conjecture is proposed. In addition, two applications of the intersection distributions of degree three polynomials are presented. The first one is the construction of nonisomorphic Steiner triple systems and the second one produces infinite families of Kakeya sets in affine planes with previously unknown sizes.
△ Less
Submitted 22 March, 2020;
originally announced March 2020.
-
Permutation polynomials of the form x+c*Tr(x^k)
Authors:
Gohar Kyureghyan,
Michael Zieve
Abstract:
Let F_{q^n} be the field of order q^n, and let Tr be the trace map from F_{q^n} to its q-element subfield. We exhibit nine sequences of polynomials of the form f(x):=x+c*Tr(x^k), with c in F_{q^n}, such that for each polynomial the function F_{q^n}-->F_{q^n} given by c-->f(c) is a permutation of F_{q^n}. We also computed all permutation polynomials of this form over finite fields of size less than…
▽ More
Let F_{q^n} be the field of order q^n, and let Tr be the trace map from F_{q^n} to its q-element subfield. We exhibit nine sequences of polynomials of the form f(x):=x+c*Tr(x^k), with c in F_{q^n}, such that for each polynomial the function F_{q^n}-->F_{q^n} given by c-->f(c) is a permutation of F_{q^n}. We also computed all permutation polynomials of this form over finite fields of size less than 5000, and found that our examples comprise all examples with n>1 except for some simple cases where the polynomial induces a homomorphism of the additive group of F_{q^n}, along with a few sporadic examples. One intriguing feature is that our proofs of the different sequences use various different methods, including a new variant of Dobbertin's method among others.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
A family of semifields in characteristic 2
Authors:
Daniele Bartoli,
Jurgen Bierbrauer,
Gohar Kyureghyan,
Massimo Giulietti,
Stefano Marcugini,
Fernanda Pambianco
Abstract:
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 an…
▽ More
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.
△ Less
Submitted 24 January, 2016;
originally announced January 2016.
-
On Inversion in Z_{2^n-1}
Authors:
Gohar M. Kyureghyan,
Valentin Suder
Abstract:
In this paper we determined explicitly the multiplicative inverses of the Dobbertin and Welch APN exponents in Z_{2^n-1}, and we described the binary weights of the inverses of the Gold and Kasami exponents. We studied the function \de(n), which for a fixed positive integer d maps integers n\geq 1 to the least positive residue of the inverse of d modulo 2^n-1, if it exists. In particular, we showe…
▽ More
In this paper we determined explicitly the multiplicative inverses of the Dobbertin and Welch APN exponents in Z_{2^n-1}, and we described the binary weights of the inverses of the Gold and Kasami exponents. We studied the function \de(n), which for a fixed positive integer d maps integers n\geq 1 to the least positive residue of the inverse of d modulo 2^n-1, if it exists. In particular, we showed that the function \de is completely determined by its values for 1 \leq n \leq \ordb, where \ordb is the order of 2 modulo the largest odd divisor of d.
△ Less
Submitted 8 April, 2013; v1 submitted 4 March, 2013;
originally announced March 2013.
-
On the size of Kakeya sets in finite vector spaces
Authors:
Gohar Kyureghyan,
Peter Müller,
Qi Wang
Abstract:
For a finite field GF(q) a Kakeya set K is a subset of GF(q)^n that contains a line in every direction. This paper derives new upper bounds on the minimum size of Kakeya sets when q is even.
For a finite field GF(q) a Kakeya set K is a subset of GF(q)^n that contains a line in every direction. This paper derives new upper bounds on the minimum size of Kakeya sets when q is even.
△ Less
Submitted 22 February, 2013;
originally announced February 2013.
-
Irreducible Compositions of Polynomials over Finite Fields
Authors:
Melsik K. Kyuregyan,
Gohar M. Kyureghyan
Abstract:
The paper studies constructions of irreducible polynomials over finite fields using polynomial composition method.
The paper studies constructions of irreducible polynomials over finite fields using polynomial composition method.
△ Less
Submitted 11 August, 2010;
originally announced August 2010.
-
Constructing permutations of finite fields via linear translators
Authors:
Gohar M. Kyureghyan
Abstract:
We describe several families of permutation polynomials obtained using functions with linear translators.
We describe several families of permutation polynomials obtained using functions with linear translators.
△ Less
Submitted 8 May, 2009; v1 submitted 4 March, 2009;
originally announced March 2009.
-
A new APN function which is not equivalent to a power map**
Authors:
Yves Edel,
Gohar Kyureghyan,
Alexander Pott
Abstract:
A new almost perfect nonlinear function (APN) on the finite field GF(2^10) which is not equivalent to any of the previously known APN map**s is constructed. This is the first example of an APN map** which is not equivalent to a power map**.
A new almost perfect nonlinear function (APN) on the finite field GF(2^10) which is not equivalent to any of the previously known APN map**s is constructed. This is the first example of an APN map** which is not equivalent to a power map**.
△ Less
Submitted 29 November, 2005; v1 submitted 21 June, 2005;
originally announced June 2005.