Abstract:Let $q$ be a positive integral power of some prime $p$ and $\mathbb{F}_{q^m}$ be a finite field with $q^m$ elements for some $m \in \mathbb{N}$. Here we establish a sufficient condition for the existence of a non-zero element $\epsilon \in \mathbb{F}_{q^m}$, such that $(f(\epsilon), g(\epsilon))$ is a primitive pair in $\mathbb{F}_{q^m}$ with two prescribed traces, $\Tr_{{\mathbb{F}_{q^m}}/{\mathbb{F}_q}}(\epsilon)=a$ and $\Tr_{{\mathbb{F}_{q^m}}/{\mathbb{F}_q}}(\epsilon^{-1})=b$, where $f(x), g(x) \in \mathbb{F}_{q^m}(x)$ are rational functions with some restrictions and $a, b \in \mathbb{F}_q$. Also, we show that there exists an element $\epsilon \in \mathbb{F}_{q^m}$ satisfying our desired properties in all but finitely many fields $\mathbb{F}_{q^m}$ over $\mathbb{F}_q$. We also calculate possible exceptional pairs explicitly for $m\geq 9$, when degree sums of both the rational functions are taken to be 3.
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} \), find a non - zero element \( \epsilon \) such that \( (f(\epsilon), g(\epsilon)) \) forms a primitive pair, and the traces of these two elements are respectively the given \( a \) and \( b \), that is, satisfy \( \text{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(\epsilon)=a \) and \( \text{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(\epsilon^{-1}) = b \). Here \( f(x) \) and \( g(x) \) are rational functions over the finite field, and \( a, b\in\mathbb{F}_q \).
Specifically, the authors established such a sufficient condition: for some specific \( q \) and \( m \), there exists a non - zero element \( \epsilon\in\mathbb{F}_{q^m} \) such that \( (f(\epsilon), g(\epsilon)) \) is a primitive pair and its trace satisfies the above conditions. Moreover, they also proved that for almost all finite fields \( \mathbb{F}_{q^m} \), such an element \( \epsilon \) exists, with only a finite number of exceptions.
### Main contributions:
1. **Establishing sufficient conditions**: The author gives a sufficient condition to ensure that there exists a non - zero element \( \epsilon \) such that \( (f(\epsilon), g(\epsilon)) \) is a primitive pair and its trace has a given value.
2. **Exception case analysis**: Through numerical calculation and screening techniques, the possible exception cases are determined, especially when the sum of the degrees of the rational functions is 3, these exception cases are clearly listed.
3. **Combination of theory and numerical values**: Not only does it provide a theoretically sufficient condition, but also verifies the effectiveness of these conditions through specific numerical calculations, further narrowing the scope of possible exception cases.
### Formula summary:
- The number of elements in the finite field \( \mathbb{F}_{q^m} \) is \( q^m \), where \( q \) is a positive integer power of a prime number, and \( m\in\mathbb{N} \).
- The primitive pair \( (f(\epsilon), g(\epsilon)) \) satisfies \( \text{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(\epsilon)=a \) and \( \text{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(\epsilon^{-1}) = b \), where \( a, b\in\mathbb{F}_q \).
- The trace function is defined as \( \text{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(\epsilon)=\sum_{i = 0}^{m-1}\epsilon^{q^i} \).
### Conclusion:
Through strict mathematical derivations and numerical calculations, the authors prove that for almost all cases where \( m\geq9 \), such primitive pairs exist, and only a few exception cases need further study. This provides a new perspective and tool for the study of primitive pairs and their traces in finite fields.