Source author record

Aleksandr Tuxanidy

Aleksandr Tuxanidy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT Information Theory math.IT math.CO

Catalog footprint

What is connected

6works

4topics

1close collaborators

Actions

Connect this record

Open graph Browse works

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.

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 $n$ 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 $q$ be a power of a prime, let $\mathbb{F}_q$ be the finite field with $q$ elements and let $n \geq 2$. For a polynomial $h(x) \in \mathbb{F}_q[x]$ of degree $n \in \mathbb{N}$ and a subset $W \subseteq [0,n] := \{0, 1, \ldots, n\}$, we define the sum-of-digits function $$S_W(h) = \sum_{w \in W}[x^{w}] h(x)$$ to be the sum of all the coefficients of $x^w$ in $h(x)$ with $w \in W$. In the case when $q = 2$, we prove, except for a few genuine exceptions, that for any $c \in \mathbb{F}_2$ and any $W \subseteq [0,n]$ there exists an irreducible polynomial $P(x)$ of degree $n$ over $\mathbb{F}_2$ such that $S_{W}(P) = c$. In particular, restricting ourselves to the case when $\# W = 1$, we obtain a new proof of the Hansen-Mullen irreducibility conjecture (now a theorem) in the case when $q = 2$. In the case of $q> 2$, we prove that, for any $c \in \mathbb{F}_q$, any $n\geq 2$ and any $W \subseteq [0,n]$, there exists an irreducible polynomial $P(x)$ of degree $n$ such that $S_{W}(P) \neq c$.

preprint2015arXiv

On the number of $N$-free elements with prescribed trace

In this paper we derive a formula for the number of $N$-free elements over a finite field $\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 = (q^m-1)/(q-1)$ is prime. More generally, for a positive integer $N$ whose prime factors divide $Q$ and satisfy the so called semi-primitive condition, we give an explicit formula for the number of $N$-free elements with arbitrary trace. In addition we show that if all the prime factors of $q-1$ divide $m$, then the number of primitive elements in $\mathbb{F}_{q^m}$, with prescribed non-zero trace, is uniformly distributed. Finally we explore the related number, $P_{q, m, N}(c)$, of elements in $\mathbb{F}_{q^m}$ with multiplicative order $N$ and having trace $c \in \mathbb{F}_q$. Let $N \mid q^m-1$ such that $L_Q \mid N$, where $L_Q$ is the largest factor of $q^m-1$ with the same radical as that of $Q$. We show there exists an element in $\mathbb{F}_{q^m}^*$ of (large) order $N$ with trace $0$ if and only if $m \neq 2$ and $(q,m) \neq (4,3)$. Moreover we derive an explicit formula for the number of elements in $\mathbb{F}_{p^4}$ with the corresponding large order $L_Q = 2(p+1)(p^2+1)$ and having absolute trace zero, where $p$ 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 $p$-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 = p^s$ be a power of a prime number $p$ and let $\mathbb{F}_q$ be the finite field with $q$ elements. In this paper we obtain the explicit factorization of the cyclotomic polynomial $Φ_{2^nr}$ over $\mathbb{F}_q$ where both $r \geq 3$ and $q$ are odd, $\gcd(q,r) = 1$, and $n\in \mathbb{N}$. Previously, only the special cases when $r = 1,\ 3,\ 5$ had been achieved. For this we make the assumption that the explicit factorization of $Φ_r$ over $\mathbb{F}_q$ is given to us as a known. Let $n = p_1^{e_1}p_2^{e_2}... p_s^{e_s}$ be the factorization of $n \in \mathbb{N}$ into powers of distinct primes $p_i,\ 1\leq i \leq s$. In the case that the orders of $q$ modulo all these prime powers $p_i^{e_i}$ are pairwise coprime we show how to obtain the explicit factors of $Φ_{n}$ from the factors of each $Φ_{p_i^{e_i}}$. We also demonstrate how to obtain the factorization of $Φ_{mn}$ from the factorization of $Φ_n$ when $q$ is a primitive root modulo $m$ 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 $q$ modulo $n$. Moreover, we present the construction of a new class of irreducible polynomials over $\mathbb{F}_q$ and generalize a result due to Varshamov (1984) \cite{Varshamov}.