On the Waring problem with Dickson polynomials modulo a prime

Igor E. Shparlinski,José Felipe Voloch
2024-10-11
Abstract:We improve recent results of D. Gomez and A. Winterhof (2010) and of A. Ostafe and I. E. Shparlinski (2011) on the Waring problem with Dickson polynomials in the case of prime finite fields. Our approach is based on recent bounds of Kloosterman and Gauss sums due to A. Ostafe, I. E. Shparlinski and J. F. Voloch (2021).
Number Theory
What problem does this paper attempt to address?
This paper attempts to solve the Waring problem of Dickson polynomials over finite fields. Specifically, the author aims to improve the results of D. Gomez and A. Winterhof (in 2010) and A. Ostafe and I. E. Shparlinski (in 2011) on the Waring problem of Dickson polynomials in prime finite fields. ### Introduction to the Waring Problem The core of the Waring problem is to explore whether there exists a positive integer \( s \) such that for any \( c\in\mathbb{F}_q \), the equation: \[ D_e(u_1, a)+D_e(u_2, a)+\cdots +D_e(u_s, a)=c \] has a solution, where \( D_e(X, a) \) is a Dickson polynomial defined over the finite field \( \mathbb{F}_q \). Here \( u_1, u_2,\ldots, u_s\in\mathbb{F}_q \), and \( g(a, e, q) \) represents the minimum value of \( s \) required for the above equation to hold. If such an \( s \) does not exist, then \( g(a, e, q)=\infty \) is defined. ### The Main Contributions of the Author The author of this paper improves the previous results by introducing new bounds for Kloosterman and Gauss sums, especially in smaller subgroups. Specifically: 1. **Theorem 1.1**: For a prime number \( p \), there exists an absolute constant \( C > 0 \) such that for any fixed even number \( s\geq4 \), when \( \gcd(e, p - 1)\leq C(p^{(4s - 7)/(7s + 8)}) \), the inequality \( g(a, e, p)\leq s \) holds; if \( a \) is a quadratic residue modulo \( p \), then when \( \gcd(e, p + 1)\leq C\max\left(p^{(11s - 82)/(21s - 42)}, p^{(6s - 57)/(11s - 22)}\right) \), the inequality also holds. 2. **Theorem 1.2**: Using the classical Weil bound, the author also proves that when \( \gcd(e, p - 1)\leq Cp^{1/2-1/(3s - 8)} \), the inequality \( g(a, e, p)\leq s \) also holds. 3. **Theorem 1.3**: In addition, the author also studies the situation of the classical Waring problem on the subgroup of norm 1 in \( \mathbb{F}_{p^2} \) and gives the corresponding results. ### Summary In general, this paper significantly improves the previous results on the Waring problem of Dickson polynomials, especially in the case of prime finite fields, by introducing new mathematical tools and techniques. These improvements not only deepen our understanding of this problem but also provide new directions for future research.