arXiv subjects

Lucas Reis

Publications and source records attributed to Lucas Reis.

At least 19 recordsLinked to original sources

arXiv2026

Graphs from quadratic forms and vector spaces over finite fields

Let $q$ be an odd prime power, let $n\ge 2$, and let $V\subsetneq \mathbb F_{q^n}$ be a proper $\mathbb F_q$-vector subspace. Given a nonzero quadratic form $Q(X,Y)\in \mathbb F_{q^n}[X,Y]$, we consider the graph $\Gamma(Q,V)$ that naturally arises from the condition $Q(X,Y)\in V$. We determine all quadratic forms $Q$ for which $\Gamma(Q,V)$ is undirected for every $V$. Besides the case $Q(x,y)=XY$, studied earlier by the second author, this essentially leads to the forms $X^2\pm Y^2$ and the family $Q_b(X, Y):=X^2+bXY+Y^2, b\ne 0$. We then study connectedness and clique number for the corresponding graphs. Our results reveal a clear contrast between these cases. The graphs $\Gamma(X^2\pm Y^2, V)$ are well structured, disconnected and their clique number can be as large as $\# V$. On the other hand, the family $Q_b$ seems to yield less structured graphs: the graphs are connected (in fact, of diameter $2$) if $\# V\ge q^{3n/4}$ and, in many cases, their clique number is $o(\# V)$. Our proofs are mainly based on character sums, while requiring a few algebraic and combinatorial ideas. We end the paper with some open problems and remarks, including a short discussion of the complementary case where $q$ is even.

math.CO↗

arXiv2025

Minimal Value Set Polynomials

A well-known problem in the theory of polynomials over finite fields is the characterization of minimal value set polynomials (MVSPs) over the finite field $\mathbb{F}_q$, where $q = p^n$. These are the nonconstant polynomials $F \in \mathbb{F}_q[x]$ whose value set $V_F = \{F(a) : a \in \mathbb{F}_q\}$ has the smallest possible size, namely $\lceil \frac{q}{\deg(F)} \rceil$. In this paper, we describe the family $\mathcal{A}_q$ of all subsets $S \subseteq \mathbb{F}_q$ with $\# S>2$ that can be realized as the value set of an MVSP $F \in \mathbb{F}_q[x]$. Affine subspaces of $\mathbb{F}_q$ are a fundamental type of set in $\mathcal{A}_q$, and we provide the complete list of all MVSPs with such value sets. Building on this, we present a conjecture that characterizes all MVSPs $F \in \mathbb{F}_q[x]$ with $V_F=S$ for any $S \in \mathcal{A}_q$. The conjecture is confirmed by prior results for $q \in\left\{p, p^2, p^3\right\}$ or $\# S \geq p^{n / 2}$, and additional instances, including the cases for $q=p^4$ and $\# S>p^{n / 2-1}$, are proved. We further show that the conjecture leads to the complete characterization of the $\mathbb{F}_q$-Frobenius nonclassical curves of type $y^d=f(x)$, which we establish as a theorem for $q=p^4$.

math.NT↗

arXiv2025

Iterating additive polynomials over finite fields

Let $q$ be a power of a prime $p$, let $\mathbb F_q$ be the finite field with $q$ elements and, for each nonconstant polynomial $F\in \mathbb F_{q}[X]$ and each integer $n\ge 1$, let $s_F(n)$ be the degree of the splitting field (over $\mathbb F_q$) of the iterated polynomial $F^{(n)}(X)$. In 1999, Odoni proved that $s_A(n)$ grows linearly with respect to $n$ if $A\in \mathbb F_q[X]$ is an additive polynomial not of the form $aX^{p^h}$; moreover, if $q=p$ and $B(X)=X^p-X$, he obtained the formula $s_{B}(n)=p^{\lceil \log_p n\rceil}$. In this paper we note that $s_F(n)$ grows at least linearly unless $F\in \mathbb F_q[X]$ has an exceptional form and we obtain a stronger form of Odoni's result, extending it to affine polynomials. In particular, we prove that if $A$ is additive, then $s_A(n)$ resembles the step function $p^{\lceil \log_p n\rceil}$ and we indeed have the identity $s_A(n)=\alpha p^{\lceil \log_p \beta n\rceil}$ for some $\alpha, \beta\in \mathbb Q$, unless $A$ presents a special irregularity of dynamical flavour. As applications of our main result, we obtain statistics for periodic points of linear maps over $\mathbb F_{q^i}$ as $i\to +\infty$ and for the factorization of iterates of affine polynomials over finite fields.

math.NT↗

arXiv2024

Existence of normal elements with prescribed norms

For each positive integer $n$, let $\mathbb F_{q^n}$ be the unique $n$-degree extension of the finite field $\mathbb F_q$ with $q$ elements, where $q$ is a prime power. It is known that for arbitrary $q$ and $n$, there exists an element $\beta\in \mathbb F_{q^n}$ such that its Galois conjugates $\beta, \beta^q, \ldots, \beta^{q^{n-1}}$ form a basis for $\mathbb F_{q^n}$ as an $\mathbb F_q$-vector space. These elements are called normal and they work as additive generators of finite fields. On the other hand, the multiplicative group $\mathbb F_{q^n}^*$ is cyclic and any generator of this group is a primitive element. Many past works have dealt with the existence of primitive and normal elements with specified properties, including the existence of primitive elements whose traces over intermediate extensions are prescribed. Inspired by the latter, in this paper we explore the existence of normal elements whose norms over intermediate extensions are prescribed. We combine combinatorial and number-theoretic ideas and obtain both asymptotic and concrete results. In particular, we completely solve the problem in the case where only one intermediate extension is considered.

math.NT↗

arXiv2024

Normal points on Artin-Schreier curves over finite fields

In 2022, S.D. Cohen and the two authors introduced and studied the concept of $(r, n)$-freeness on finite cyclic groups $G$ for suitable integers $r, n$, which is an arithmetic way of capturing elements of special forms that lie in the subgroups of $G$. Combining this machinery with some character sum techniques, they explored the existence of points $(x_0, y_0)$ on affine curves $y^n=f(x)$ defined over a finite field $\mathbb F$ whose coordinates are generators of the multiplicative cyclic group $\mathbb F^*$. In this paper we develop the natural additive counterpart of this work for finite fields. Namely, any finite extension $\mathbb E$ of a finite field $\mathbb F$ with $Q$ elements is a cyclic $\mathbb F[x]$-module induced by the Frobenius automorphism $\alpha\mapsto \alpha^{Q}$, and any generator of this module is said to be a normal element over $\mathbb F$. We introduce and study the concept of $(f, g)$-freeness on this module structure for suitable polynomials $f, g\in \mathbb F[x]$. As a main application of the machinery developed in this paper, we study the existence of $\mathbb F_{p^n}$-rational points in the Artin-Schreier curve $\mathfrak A_f : y^p-y=f(x)$ whose coordinates are normal over the prime field $\mathbb F_p$ and establish concrete results.

math.NT↗

arXiv2022

The average density of K-normal elements over finite fields

Let $q$ be a prime power and, for each positive integer $n\ge 1$, let $\mathbb F_{q^n}$ be the finite field with $q^n$ elements. Motivated by the well known concept of normal elements over finite fields, Huczynska et al (2013) introduced the notion of $k$-normal elements. More precisely, for a given $0\le k\le n$, an element $α\in \mathbb F_{q^n}$ is $k$-normal over $\mathbb F_q$ if the $\mathbb F_q$-vector space generated by the elements in the set $\{α, α^q, \ldots, α^{q^{n-1}}\}$ has dimension $n-k$. The case $k=0$ recovers the normal elements. If $q$ and $k$ are fixed, one may consider the number $λ_{q, n, k}$ of elements $α\in \mathbb F_{q^n}$ that are $k$-normal over $\mathbb F_q$ and the density $λ_{q, k}(n)=\frac{λ_{q, n, k}}{q^n}$ of such elements in $\mathbb F_{q^n}$. In this paper we prove that the arithmetic function $λ_{q, k}(n)$ has positive mean value, in the sense that the limit $$\lim\limits_{t\to +\infty}\frac{1}{t}\sum_{1\le n\le t}λ_{q, k}(n),$$ exists and it is positive.

math.NT↗

arXiv2022

Paley-like graphs over finite fields from vector spaces

Motivated by the well-known Paley graphs over finite fields and their generalizations, in this paper we explore a natural multiplicative-additive analogue of such graphs arising from vector spaces over finite fields. Namely, if $n\ge 2$ and $U\subsetneq \mathbb F_{q^n}$ is an $\mathbb F_q$-vector space, $G_{U}$ is the (undirected) graph with vertex set $V(G_U)=\mathbb F_{q^n}$ and edge set $E(G_U)=\{(a, b)\in \mathbb F_{q^n}^2\,|\, a\ne b, ab\in U\}$. We describe the structure of an arbitrary maximal clique in $G_U$ and provide bounds on the clique number $ω(G_U)$ of $G_U$. In particular, we compute the largest possible value of $ω(G_U)$ for arbitrary $q$ and $n$. Moreover, we obtain the exact value of $ω(G_U)$ when $U\subsetneq \mathbb F_{q^n}$ is any $\mathbb F_q$-vector space of dimension $d_U\in \{1, 2, n-1\}$.

math.CO↗

arXiv2022

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.

cs.DM↗

arXiv2022

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.

math.NT↗

arXiv2021

Counting distinct functional graphs from linear finite dynamical systems

Let $\mathbb F_q$ be the finite field with $q$ elements and, for each positive integer $n$, let $A_q(n)$ be the number of non isomorphic functional graphs arising from $\mathbb F_q$-linear maps $T:\mathbb F_{q}^n\to \mathbb F_{q}^n$. In 2013, Bach and Bridy proved that, if $q$ is fixed and $n$ is sufficiently large, the quantity $\frac{\log \log A_q(n)}{\log n}$ lies in the interval $[\frac{1}{2}, 1]$. By combining some ideas from linear algebra, combinatorics and number theory, in this paper we provide sharper estimates on the function $A_q(n)$ and, in particular, we prove that $\lim\limits_{n\to +\infty}\frac{\log\log A_q(n)}{\log n}=1$ for every prime power $q$.

math.NT↗

arXiv2021

Generators of finite fields with prescribed traces

This paper explores the existence and distribution of primitive elements in finite field extensions with prescribed traces in several intermediate field extensions. Our main result provides an inequality-like condition to ensure the existence of such elements. We then derive concrete existence results for a special class of intermediate extensions.

math.NT↗

arXiv2021

The additive index of polynomials over finite fields

In this paper we introduce the additive analogue of the index of a polynomial over finite fields. We study several problems in the theory of polynomials over finite fields in terms of their additive indices, such as value set sizes, bounds on multiplicative character sums, and characterizations of permutation polynomials.

math.NT↗

arXiv2021

Permutation polynomials from a linearized decomposition

In this paper we discuss the permutational property of polynomials of the form $f(L(x))+k(L(x))\cdot M(x)\in \mathbb F_{q^n}[x]$ over the finite field $\mathbb F_{q^n}$, where $L, M\in \mathbb F_q[x]$ are $q$-linearized polynomials. The restriction $L, M\in \mathbb F_q[x]$ implies a nice correspondence between the pair $(L, M)$ and the pair $(g, h)$ of conventional $q$-associates over $\mathbb F_q$ of degree at most $n-1$. In particular, by using the AGW criterion, permutational properties of our class of polynomials translates to some arithmetic properties of polynomials over $\mathbb F_q$, like coprimality. This relates the problem of constructing PPs of $\mathbb F_{q^n}$ to the problem of factorizing $x^n-1$ in $\mathbb F_q[x]$. We then specialize to the case where $L(x)$ is the trace polynomial from $\mathbb F_{q^n}$ over $\mathbb F_q$, providing results on the construction of permutation and complete permutation polynomials, and their inverses. We further demonstrate that the latter can be extended to more general linearized polynomials of degree $q^{n-1}$.

math.NT↗

arXiv2021

On primitive elements of finite fields avoiding affine hyperplanes

Let $n\ge 2$ be an integer and let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a prime power. Given $\mathbb F_q$-affine hyperplanes $\mathcal A_1, \ldots, \mathcal A_n$ of $\mathbb F_{q^n}$ in general position, we study the existence and distribution of primitive elements of $\mathbb F_{q^n}$, avoiding each $\mathcal A_i$. We obtain both asymptotic and concrete results, relating to past works on digits over finite fields.

math.NT↗

arXiv2020

Mean value theorems for a class of density-like arithmetic functions

This paper provides a mean value theorem for arithmetic functions $f$ defined by $$f(n)=\prod_{d|n}g(d),$$ where $g$ is an arithmetic function taking values in $(0, 1]$ and satisfying some generic conditions. As an application of our main result, we prove that the density $μ_q(n)$ (resp. $ρ_q(n)$) of normal (resp. primitive) elements in the finite field extension $\mathbb{F}_{q^n}$ of $\mathbb{F}_q$ are arithmetic functions of (non zero) mean values.

math.NT↗

arXiv2020

Counting solutions of special linear equations over finite fields

Let $q$ be a prime power, let $\mathbb F_q$ be the finite field with $q$ elements and let $d_1, \ldots, d_k$ be positive integers. In this note we explore the number of solutions $(z_1, \ldots, z_k)\in\overline{\mathbb F}_q^k$ of the equation \begin{equation*}L_1(x_1)+\cdots+L_k(x_k)=b,\end{equation*} with the restrictions $z_i\in \mathbb F_{q^{d_i}}$, where each $L_i(x)$ is a non zero polynomial of the form $\sum_{j=0}^{m_i}a_{ij}x^{q^j}\in \mathbb F_q[x]$ and $b\in \overline{\mathbb F}_q$. We characterize the elements $b$ for which the equation above has a solution and, in affirmative case, we determine the exact number of solutions. As an application of our main result, we obtain the cardinality of the sumset $$\sum_{i=1}^k\mathbb F_{q^{d_i}}:=\{α_1+\cdots+α_k\,|\, α_i\in \mathbb F_{q^{d_i}}\}.$$ Our approach also allows us to solve another interesting problem, regarding the existence and number of elements in $\mathbb F_{q^n}$ with prescribed traces over intermediate $\mathbb F_q$-extensions of $\mathbb F_{q^n}$.

math.NT↗

arXiv2020

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.

math.NT↗

arXiv2020

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.

math.NT↗