English

The Waring's problem over finite fields through generalized Paley graphs

Number Theory 2021-01-06 v3 Combinatorics

Abstract

We show that the Waring's number over a finite field Fq\mathbb{F}_q, denoted g(k,q)g(k,q), when exists, coincides with the diameter of the generalized Paley graph Γ(k,q)=Cay(Fq,Rk)\Gamma(k,q)=Cay(\mathbb{F}_{q},R_k) with Rk={xk:xFq}R_k=\{x^k : x\in \mathbb{F}_q^*\}. We find infinite new families of exact values of g(k,q)g(k,q) from a characterization of graphs Γ(k,q)\Gamma(k,q) which are also Hamming graphs previously proved by Lim and Praeger in 2009. Then, we show that every positive integer is the Waring number for some pair (k,q)(k,q) with qq not a prime. Finally, we find a lower bound for g(k,p)g(k,p) with pp prime by using that Γ(k,p)\Gamma(k,p) is a circulant graph in this case.

Keywords

Cite

@article{arxiv.1910.12664,
  title  = {The Waring's problem over finite fields through generalized Paley graphs},
  author = {Ricardo A. Podestá and Denis E. Videla},
  journal= {arXiv preprint arXiv:1910.12664},
  year   = {2021}
}

Comments

16 pages. Small additions and typos corrected. We added. at the end, a small subsection comparing our lower bound for Waring numbers with the other 3 lower bounds known

R2 v1 2026-06-23T11:57:08.478Z