Searcharxiv⌕ Search

arXiv · 2610.25228

Covering finite fields by translates of multiplicative subgroups

Abstract

Let $G_d$ be the subgroup of index $d>1$ in $\mathbb{F}_q^\times$, and put $G_d^0=G_d\cup\{0\}$. For a covering $A+G_d^0=\mathbb{F}_q$ with $\#A=s$, we prove $q\le d^{8s/d}$ by shifting the roots of a Bonferroni polynomial. Although a uniform bound in $s$ alone must allow exponential growth, our estimate confines such growth to bounded indices and gives polynomial bounds when $s/d$ is bounded. A cubic specialization gives bounds of degree at most eight for $s\le2d$. For shift sets of logarithmic size, higher moment estimates give a uniform covering-probability formula, including the critical window. Together with the index restriction, this determines the covering indices of almost every shift set of size $\lceil k\log q\rceil$ for each fixed integer $k\ge2$. A subfield construction attains the order of the uniform restriction on the index. We determine its covering number exactly and prove minimality under subgroup inclusion. We also characterize equality in the elementary counting bound by subfield cosets. Fixing a subfield as the shift set in a quadratic extension leads to a sharper projection bound, attained by an infinite family with unique representations outside the shift subfield.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Juncheng Zhou, Hongfeng Wu. 2026-10-18. Covering finite fields by translates of multiplicative subgroups. https://arxiv.org/abs/2610.25228

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Dynamical systems defined by polynomials with algebraic properties

Let (x_n; n\in Z) be a bisequence of elements x_n in the 1-dimensional torus R/Z, which is called a stream over R/Z. Let P(z)=a_k z^k+...+a_1 z+a_0 be a polynomial with integer coefficients. Define the set of streams over R/Z such that the convolution product P(z)\times(x_n; n\in Z)=(\sum_{i=0}^k a_i x_{n-i}; n\in Z)=(0; n\in Z), which is called the stream 0 of P. We study similarities between stream 0 of P and the roots of P(z)=0.

math.NT↗

Effective existence of primitive k-normal elements via affine spaces

Let $\mathbb{F}_{q^n}$ be the finite field with $q^n$ elements. An element $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if $α$ and its conjugates span an $\mathbb{F}_q$-subspace of dimension $n-k$. It is known that, for $q$ sufficiently large, a primitive $k$-normal element exists if and only if there exists a $k$-normal element free of binomials, but the lower bound on $q$ is not explicit. We count the $k$-normal elements in specific affine subspaces of $\mathbb{F}_{q^n}$ and show that, in some of them, all but at most one element is $k$-normal. Combining this with character sum estimates over affine spaces and a sieve, we obtain an explicit lower bound on $q$ above which a primitive $k$-normal element exists, provided there is a $k$-normal element free of binomials whose $\mathbb{F}_q$-order has a linear factor or is irreducible. As an application, we compute these bounds for $5 \le n \le 8$ and give a complete characterization of the existence of primitive $k$-normal elements in $\mathbb{F}_{q^6}$ over $\mathbb{F}_q$.

math.NT↗