An analogue of Furstenberg-Sarkozy's theorem and an alternative solution to Waring's problem over finite fields Yesim Demiroglu Karabulut

In this paper, we use Cayley digraphs to obtain some new self-contained proofs for Waring's problem over finite fields, proving that any element of a finite field Fq can be written as a sum 2m of m many kth powers as long as q > km-1; and we also compute the smallest positive integers m such that every element of Fq can be written as a sum of m many kth powers for all q too small to be covered by the above mentioned results when 2 k 37. In the process of developing the proofs mentioned above, we arrive at another result (providing a finite field analogue of Furstenberg-Sarkozy's Theorem) showing that any subset E of a finite field Fq for which |E| > qk root q-1 must contain at least two distinct elements whose difference is a kth power. (c) 2022 Elsevier GmbH. All rights reserved.