Hybrid bounds for prime divisors

Gustav Kjærbye Bagger
2024-11-13
Abstract:Let $x$ and $n$ be positive integers. We prove a non-trivial lower bound for $x$, dependant only on $\omega_n$, the number of distinct prime factors of $x^n-1$. By considering the divisibility of $\varphi \mid x^n-1$ for $\varphi \mid n$, we obtain a further refinement. This bound has applications for existence problems relating to primitive elements in finite fields.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide a non - trivial lower bound for \(x\), which only depends on the number of distinct prime factors \(\omega_n\) of \(xn - 1\). By considering the divisibility of \(\varphi|xn - 1\) for \(\varphi|n\), the author obtains further improvements. This lower bound has applications in the problem of the existence of primitive elements in finite fields. Specifically, the main contributions of the paper include: 1. **Hybrid Bound**: For any positive integers \(n\) and \(x\), the paper proposes a new lower - bound formula, called the hybrid bound. This formula combines the simultaneous constraints on \(x - 1\) and \(xn - 1\), thus providing a more accurate lower - bound estimate than traditional methods. The formula is as follows: \[ x\geq\min\left[\max\left\{\left(1+\sum_{j = 0}^{t}\prod_{i = 1}^{k_j}r_{i,j}\right)^{T(t)}\mid t\in[0,m]\right\}\mid\sum_{s = 0}^{m}k_s=\omega_n\right] \] where \(r_{i,j}\in\Pi_j^n\) represents the \(i\)-th prime number satisfying specific congruence conditions, \(T(t)=\prod_{k = 1}^{t}\varphi_k^{-a_k}\), and \(\Pi_j^n\) is the set of prime numbers satisfying specific modulus conditions. 2. **Ramification Bound**: For a given prime factor \(\varphi_{\alpha}\), the paper also proposes a more refined lower - bound formula that depends on \(\varphi_{\alpha}|xn - 1\). This formula considers whether \(\varphi_{\alpha}\) is a factor of \(xn - 1\) and adjusts the lower - bound estimate according to the specific situation. 3. **Improvements in Special Cases**: When \(n = 2^a\), the hybrid bound is the same as the trivial bound. Therefore, the paper proposes a modified version of the ramification bound to obtain better improvement effects. 4. **Applications**: The applications of these bounds include, but are not limited to, the problem of the existence of primitive elements in finite fields, such as Cohen's line problem and the primitive element sum problem of Liao, Li and Pu. By using these new bounds, the computational complexity can be significantly reduced and the accuracy of the results can be improved. In summary, the core problem of the paper is to provide a more accurate lower - bound estimate for \(x\), especially when only the number of distinct prime factors \(\omega_n\) of \(xn - 1\) is known. By introducing the hybrid bound and the ramification bound, the author not only improves the precision of the lower bound but also demonstrates its superiority in practical applications.