Abstract:Let $\Fm$ be finite fields of order $q^m$, where $m\geq 2$ and $q$, a prime power. Given $\F$-affine hyperplanes $A_1,\ldots, A_m$ of $\Fm$ in general position, we study the existence of primitive element $\alpha$ of $\Fm$, such that $f(\alpha)$ is also primitive, where $ax^2+bx+c\in \Fm[x]$ ($a\neq 0$ and $b^2\neq 4ac$) in $\Fm$ and the primitive pair $(\alpha, f(\alpha))$ avoids each $A_i$. We establish results for fields of higher order.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: in the finite field $ \mathbb{F}_{q^m} $, given a set of $ \mathbb{F}_q $-affine hyperplanes $ A_1, A_2, \ldots, A_m $, study whether there exists a primitive root $ \alpha \in \mathbb{F}_{q^m} $ such that $ f(\alpha) = a\alpha^2 + b\alpha + c $ is also a primitive root, and this pair of primitive roots $ (\alpha, f(\alpha)) $ avoids each affine hyperplane $ A_i $. Specifically, the paper focuses on: 1. **Existence problem**: Determine under which conditions, that is, for which $ q $ and $ m $, such pairs of primitive roots $ (\alpha, f(\alpha)) $ exist. 2. **Avoiding affine hyperplanes**: These pairs of primitive roots not only need to exist in $ \mathbb{F}_{q^m} $ but also need to avoid the given affine hyperplanes $ A_i $. 3. **Handling special cases**: For specific small values of $ q $ and $ m $, such as $ q = 4, 5 $, etc., provide more refined results and conditions. Through a series of theoretical derivations and estimations, the paper has obtained several sufficient conditions and asymptotic results, proving that in some cases such pairs of primitive roots do exist. In addition, the paper also uses the modified prime sieve technique to further refine these results and proposes a conjecture for $ m \leq 4 $. In summary, this paper aims to explore and prove the existence of specific types of pairs of primitive roots in a finite field, which simultaneously satisfy the primitive root property after polynomial mapping and avoid the given affine hyperplanes.

Existence of Special Types Primitive Pairs in Finite Fields Avoiding Affine Hyperplanes

On existence of primitive normal elements of rational form over finite fields of even characteristic

Primitive normal pairs with prescribed traces over finite fields

Primitive elements of finite fields $\mathbf{F}_{q^r}$ avoiding affine hyperplanes for $q=4$ and $q=5$

Existence of primitive normal pairs over finite fields with prescribed subtrace

Primitive pairs of rational functions with prescribed traces over finite fields

Primitive normal pairs of elements with one prescribed trace

Diophantine avoidance and small-height primitive elements in ideals of number fields

Primitive normal Values of rational functions with one prescribed norm and trace over finite fields

On pairs of $r$-primitive and $k$-normal elements with prescribed traces over finite fields

On the Existence of Some Specific Primitive Elements over Finite Fields of Even Characteristic

On algebraically closed fields with a distinguished subfield

$\mathbb{F}_q$-primitive points on varieties over finite fields

Freiman's $3k-4$ Theorem for Function Fields

Quasifinite fields of prescribed characteristic and Diophantine dimension

Non-perfect pairings between Hecke algebra and modular forms over function fields

A generalization of the theorems of Chevalley-Warning and Ax-Katz via polynomial substitutions

Genus two curves with everywhere good reduction over quadratic fields

Generalized incidence theorems, homogeneous forms, and sum-product estimates in finite fields

Beautiful pairs

A primitive normal pair with prescribed prenorm