Source author record

Lucas Reis

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

12 published item(s)

preprint2022arXiv

On the functional graph of the power map over finite groups

In this paper we study the description of the functional graphs associated with the power maps over finite groups. We present a structural result which describes the isomorphism class of these graphs for abelian groups and also for flower groups, which is a special class of non abelian groups introduced in this paper. Unlike the abelian case where all the trees associated with periodic points are isomorphic, in the case of flower groups we prove that several different classes of trees can occur. The class of central trees (i.e. associated with periodic points that are in the center of the group) are in general non-elementary and a recursive description is given in this work. Flower groups include many non abelian groups such as dihedral and generalized quaternion groups, and the projective general linear group of order two over a finite field. In particular, we provide improvements on past works regarding the description of the dynamics of the power map over these groups.

preprint2022arXiv

The existence of $\mathbb{F}_q$-primitive points on curves using freeness

Let $\mathcal C_Q$ be the cyclic group of order $Q$, $n$ a divisor of $Q$ and $r$ a divisor of $Q/n$. We introduce the set of $(r,n)$-free elements of $\mathcal C_Q$ and derive a lower bound for the the number of elements $θ\in \mathbb F_q$ for which $f(θ)$ is $(r,n)$-free and $F(θ)$ is $(R,N)$-free, where $ f, F \in \mathbb F_q[x]$. As an application, we consider the existence of $\mathbb F_q$-primitive points on curves like $y^n=f(x)$ and find, in particular, all the odd prime powers $q$ for which the elliptic curves $y^2=x^3 \pm x$ contain an $\mathbb F_q$-primitive point.

preprint2020arXiv

A note on additive characters of finite fields

Let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a prime power and, for each integer $n\ge 1$, let $\mathbb F_{q^n}$ be the unique $n$-degree extension of $\mathbb F_q$. The $\mathbb F_q$-orders of an element in $\mathbb F_{q^n}$ and an additive character over $\mathbb F_{q^n}$ have been extensively used in the proof of existence results over finite fields (e.g., the Primitive Normal Basis Theorem). In this note we provide an interesting relation between these two objects.

preprint2020arXiv

Arithmetic constraints of polynomial maps through discrete logarithms

Let $q$ be a prime power, let $\mathbb F_q$ be the finite field with $q$ elements and let $θ$ be a generator of the cyclic group $\mathbb F_q^*$. For each $a\in \mathbb F_q^*$, let $\log_θ a$ be the unique integer $i\in \{1, \ldots, q-1\}$ such that $a=θ^i$. Given polynomials $P_1, \ldots, P_k\in \mathbb F_q[x]$ and divisors $1<d_1, \ldots, d_k$ of $q-1$, we discuss the distribution of the functions $$F_{i}:y\mapsto \log_θP_i(y)\pmod {d_i}, $$ over the set $\mathbb F_q\setminus \cup_{i=1}^k\{y\in \mathbb F_q\,|\, P_i(y)=0\}$. Our main result entails that, under a natural multiplicative condition on the pairs $(d_i, P_i)$, the functions $F_i$ are asymptotically independent. We also provide some applications that, in particular, relates to past work.

preprint2020arXiv

Character sums over affine spaces and applications

Given a finite field $\mathbb F_q$, a positive integer $n$ and an $\mathbb F_q$-affine space $\mathcal A\subseteq \mathbb F_{q^n}$, we provide a new bound on the sum $\sum_{a\in \mathcal A}χ(a)$, where $χ$ a multiplicative character of $\mathbb F_{q^n}$. We focus on the applicability of our estimate to results regarding the existence of special primitive elements in $\mathbb F_{q^n}$. In particular, we obtain substantial improvements on previous works.

preprint2020arXiv

On iterations of rational functions over perfect fields

Let $\mathbb K$ be a perfect field of characterstic $p\ge 0$ and let $R\in \mathbb K(x)$ be a rational function. This paper studies the number $Δ_{α, R}(n)$ of distinct solutions of $R^{(n)}(x)=α$ over the algebraic closure $\overline{\mathbb K}$ of $\mathbb K$, where $α\in \overline{\mathbb K}$ and $R^{(n)}$ is the $n$-fold composition of $R$ with itself. With the exception of some pairs $(α, R)$, we prove that $Δ_{α, R}(n)=c_{α, R}\cdot d^n+O_{α, R}(1)$ for some $0<c_{α, R}\le 1<d$. The number $d$ is readily obtained from $R$ and we provide estimates on $c_{α, R}$. Moreover we prove that the exceptional pairs $(α, R)$ satisfy $Δ_{α, R}(n)\le 2$ for every $n\ge 0$, and we fully describe them. We also discuss further questions and propose some problems in the case where $\mathbb K$ is finite.

preprint2020arXiv

Permutations from an arithmetic setting

Let $m, n$ be positive integers such that $m>1$ divides $n$. In this paper, we introduce a special class of piecewise-affine permutations of the finite set $[1, n]:=\{1, \ldots, n\}$ with the property that the reduction $\pmod m$ of $m$ consecutive elements in any of its cycles is, up to a cyclic shift, a fixed permutation of $[1, m]$. Our main result provides the cycle decomposition of such permutations. We further show that such permutations give rise to permutations of finite fields. In particular, we explicitly obtain classes of permutation polynomials of finite fields whose cycle decomposition and its inverse are explicitly given.

preprint2016arXiv

Nilpotent linearized polynomials over finite fields and applications

Let $q$ be a prime power and $\mathbb F_{q^n}$ be the finite field with $q^n$ elements, where $n>1$. We introduce the class of the linearized polynomials $L(x)$ over $\mathbb F_{q^n}$ such that $$L^{(t)}(x):=\underbrace{L(L(\cdots(x)\cdots))}_{t \quad\text{times}}\equiv 0\pmod {x^{q^n}-x}$$ for some $t\ge 2$, called nilpotent linearized polynomials (NLP's). We discuss the existence and construction of NLP's and, as an application, we show how to construct permutations of $\mathbb F_{q^n}$ from these polynomials. For some of those permutations, we can explicitly give the compositional inverse map and the cycle structure. This paper also contains a method for constructing involutions over binary fields with no fixed points, which are useful in block ciphers.

preprint2016arXiv

The action of $\rm{GL}_2(\mathbb{F}_q)$ on irreducible polynomials over $\F_q$

Let $\F_q$ be the finite field with $q$ elements, $p=\Char \F_q$. The group $\GL_2(\F_q)$ acts naturally in the set of irreducible polynomials over $\F_q$ of degree at least $2$. In this paper we are interested in the characterization and number of the irreducible polynomials that are fixed by the elements of a subgroup $H$ of $\GL_2(\F_q)$. We make a complete characterization of the fixed polynomials in the case when $H$ has only elements of the form $\left(\begin{matrix} 1&b\\ 0&1 \end{matrix}\right)$, corresponding to translations $x\mapsto x+b$ and, as a consequence, the case when $H$ is a $p-$subgroup of $\GL_2(\F_q)$. This paper also contains alternative solutions for the cases when $H$ is generated by an element of the form $\left(\begin{matrix} a&0\\ 0&1 \end{matrix}\right)$, obtained by Garefalakis (2010) and $H=\rm{PGL}$$_2(\F_q)$, obtained by Stichtenoth and Topuzoglu (2011).

preprint2015arXiv

Factoring polynomials of the form $f(x^n)\in \mathbb{F}_q[x]$

Let $f(x)\in \mathbb{F}_q[x]$ be an irreducible polynomial of degree $m$ and exponent $e$, and $n$ be a positive integer such that $ν_p(q-1)\ge ν_{p}(e)+ν_p(n)$ for all $p$ prime divisor of $n$. We show a fast algorithm to determine the irreducible factors of $f(x^n)$. We also show the irreducible factors in the case when ${\rm rad}(n)$ divides $q-1$ and ${\rm gcd}(m, n)=1$. Finally, using this algorithm we split $x^n-1$ into irreducible factors, in the case when $n=2^mp^t$ and $q$ is a generator of the group $\mathbb{Z}_{p^2}^*$.