Source author record

Aleksandr Tuxanidy

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
4topics
1close collaborators

Published work

6 publications

preprint2016arXiv

A new proof of the Hansen-Mullen irreducibility conjecture

We give a new proof of the Hansen-Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree nn in the support of functions on finite fields. This connection to irreducible polynomials is made via the least period of the discrete Fourier transform (DFT) of functions with values in finite fields. We exploit this relation and prove, in an elementary fashion, that a relevant function related to the DFT of characteristic elementary symmetric functions (which produce the coefficients of characteristic polynomials) has a sufficiently large least period (except for some genuine exceptions). This bears a sharp contrast to previous techniques in literature employed to tackle existence of irreducible polynomials with prescribed coefficients.

preprint2016arXiv

Irreducible polynomials with prescribed sums of coefficients

Let qq be a power of a prime, let Fq\mathbb{F}_q be the finite field with qq elements and let n≥2n \geq 2. For a polynomial h(x)∈Fq[x]h(x) \in \mathbb{F}_q[x] of degree n∈Nn \in \mathbb{N} and a subset W⊆[0,n]:={0,1,…,n}W \subseteq [0,n] := \{0, 1, \ldots, n\}, we define the sum-of-digits function SW(h)=∑w∈W[xw]h(x)S_W(h) = \sum_{w \in W}[x^{w}] h(x) to be the sum of all the coefficients of xwx^w in h(x)h(x) with w∈Ww \in W. In the case when q=2q = 2, we prove, except for a few genuine exceptions, that for any c∈F2c \in \mathbb{F}_2 and any W⊆[0,n]W \subseteq [0,n] there exists an irreducible polynomial P(x)P(x) of degree nn over F2\mathbb{F}_2 such that SW(P)=cS_{W}(P) = c. In particular, restricting ourselves to the case when #W=1\# W = 1, we obtain a new proof of the Hansen-Mullen irreducibility conjecture (now a theorem) in the case when q=2q = 2. In the case of q>2q> 2, we prove that, for any c∈Fqc \in \mathbb{F}_q, any n≥2n\geq 2 and any W⊆[0,n]W \subseteq [0,n], there exists an irreducible polynomial P(x)P(x) of degree nn such that SW(P)≠cS_{W}(P) \neq c.

preprint2015arXiv

On the number of NN-free elements with prescribed trace

In this paper we derive a formula for the number of NN-free elements over a finite field Fq\mathbb{F}_q with prescribed trace, in particular trace zero, in terms of Gaussian periods. As a consequence, we derive a simple explicit formula for the number of primitive elements, in quartic extensions of Mersenne prime fields, having absolute trace zero. We also give a simple formula in the case when Q=(qm−1)/(q−1)Q = (q^m-1)/(q-1) is prime. More generally, for a positive integer NN whose prime factors divide QQ and satisfy the so called semi-primitive condition, we give an explicit formula for the number of NN-free elements with arbitrary trace. In addition we show that if all the prime factors of q−1q-1 divide mm, then the number of primitive elements in Fqm\mathbb{F}_{q^m}, with prescribed non-zero trace, is uniformly distributed. Finally we explore the related number, Pq,m,N(c)P_{q, m, N}(c), of elements in Fqm\mathbb{F}_{q^m} with multiplicative order NN and having trace c∈Fqc \in \mathbb{F}_q. Let N∣qm−1N \mid q^m-1 such that LQ∣NL_Q \mid N, where LQL_Q is the largest factor of qm−1q^m-1 with the same radical as that of QQ. We show there exists an element in Fqm∗\mathbb{F}_{q^m}^* of (large) order NN with trace 00 if and only if m≠2m \neq 2 and (q,m)≠(4,3)(q,m) \neq (4,3). Moreover we derive an explicit formula for the number of elements in Fp4\mathbb{F}_{p^4} with the corresponding large order LQ=2(p+1)(p2+1)L_Q = 2(p+1)(p^2+1) and having absolute trace zero, where pp is a Mersenne prime.

preprint2014arXiv

Compositional inverses, complete mappings, orthogonal Latin squares and bent functions

We study compositional inverses of permutation polynomials, complete mappings, mutually orthogonal Latin squares, and bent vectorial functions. Recently it was obtained in [33] the compositional inverses of linearized permutation binomials over finite fields. It was also noted in [29] that computing inverses of bijections of subspaces have applications in determining the compositional inverses of certain permutation classes related to linearized polynomials. In this paper we obtain compositional inverses of a class of linearized binomials permuting the kernel of the trace map. As an application of this result, we give the compositional inverse of a class of complete mappings. This complete mapping class improves upon a recent construction given in [34]. We also construct recursively a class of complete mappings involving multi-trace functions. Finally we use these complete mappings to derive a set of mutually orthogonal Latin squares, and to construct a class of pp-ary bent vectorial functions from the Maiorana-McFarland class.

preprint2013arXiv

On the inverses of some classes of permutations of finite fields

We study the compositional inverses of some general classes of permutation polynomials over finite fields. We show that we can write these inverses in terms of the inverses of two other polynomials bijecting subspaces of the finite field, where one of these is a linearized polynomial. In some cases we are able to explicitly obtain these inverses, thus obtaining the compositional inverse of the permutation in question. In addition we show how to compute a linearized polynomial inducing the inverse map over subspaces on which a prescribed linearized polynomial induces a bijection. We also obtain the explicit compositional inverses of two classes of permutation polynomials generalizing those whose compositional inverses were recently obtained in [22] and [24], respectively.

preprint2011arXiv

Composed Products and Explicit Factors of Cyclotomic Polynomials over Finite Fields

Let q=psq = p^s be a power of a prime number pp and let Fq\mathbb{F}_q be the finite field with qq elements. In this paper we obtain the explicit factorization of the cyclotomic polynomial Φ2nrΦ_{2^nr} over Fq\mathbb{F}_q where both r≥3r \geq 3 and qq are odd, gcd⁡(q,r)=1\gcd(q,r) = 1, and n∈Nn\in \mathbb{N}. Previously, only the special cases when r=1, 3, 5r = 1,\ 3,\ 5 had been achieved. For this we make the assumption that the explicit factorization of ΦrΦ_r over Fq\mathbb{F}_q is given to us as a known. Let n=p1e1p2e2...psesn = p_1^{e_1}p_2^{e_2}... p_s^{e_s} be the factorization of n∈Nn \in \mathbb{N} into powers of distinct primes pi, 1≤i≤sp_i,\ 1\leq i \leq s. In the case that the orders of qq modulo all these prime powers pieip_i^{e_i} are pairwise coprime we show how to obtain the explicit factors of ΦnΦ_{n} from the factors of each ΦpieiΦ_{p_i^{e_i}}. We also demonstrate how to obtain the factorization of ΦmnΦ_{mn} from the factorization of ΦnΦ_n when qq is a primitive root modulo mm and $\gcd(m,n) = \gcd(ϕ(m),\ord_n(q)) = 1$. Here ϕϕ is the Euler's totient function, and $\ord_n(q)$ denotes the multiplicative order of qq modulo nn. Moreover, we present the construction of a new class of irreducible polynomials over Fq\mathbb{F}_q and generalize a result due to Varshamov (1984) \cite{Varshamov}.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.