Lucas Anthony,Joe Burton,Irene Deegbe,Sarah England,Spencer Hamblen,Reagan Knowles,Sarah Stewart,Hannah Wright
Abstract:Let $p$ be prime and $e,k$ be positive integers, and let $R = {\mathbb Z}_p[\sqrt[e]{p}]$. We calculate the Waring numbers $g_R(k)$ for many values of $p, e$, and $k$, and investigate how the Waring numbers for $p=2$ change as $e$ and $k$ vary.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
The main objective of this paper is to study and calculate the values of Waring numbers \( g_R(k) \) in certain ramified \( p \)-adic rings. Specifically, the authors focus on rings of the form \( R=\mathbb{Z}_p[\sqrt[p^e]{p}] \) and explore how these Waring numbers change as \( p \), \( e \) and \( k \) vary.
#### Specific problems include:
1. **Definition and background**: First, the Waring problem and its generalization to arbitrary rings are introduced. For a given ring \( R \) and a positive integer \( k > 1 \), the Waring number \( g_R(k) \) is defined as the smallest positive integer such that every element in the ring \( R \) can be written as the sum of at most \( g_R(k) \) \( k \)-th powers.
2. **Main research object**: The paper pays special attention to the completely ramified \( p \)-adic ring \( R = \mathbb{Z}_p[\sqrt[p^e]{p}] \) and defines the corresponding Waring number \( g_{p,e}(k) \).
3. **Research method**: By using tools such as Hensel's lemma, determine which elements are \( k \)-th powers and prove how to represent all elements as the sum of at most \( g_{p,e}(k) \) \( k \)-th powers. At the same time, prove that certain specific elements cannot be represented by fewer \( k \)-th powers to ensure the minimality of \( g_{p,e}(k) \).
4. **Key results**:
- For \( p = 2 \), it is found that as \( \nu_2(e) \) increases, the Waring number decreases; while as \( \nu_2(k) \) increases, the Waring number increases.
- For fixed \( \nu_2(e) \) and \( \nu_2(k) \), as \( k \) increases, the Waring number increases, but remains unchanged after \( k \) exceeds a certain constant related to \( e \).
- For \( p = 3 \), it is observed that the Waring number seems to be affected by the divisibility of 3 and 2.
5. **Special case analysis**: The cases of \( p = 2 \) and \( p = 3 \) are studied in detail, and specific numerical results and conjectures are provided.
### Summary
This paper aims to gain an in - depth understanding of the behavior of Waring numbers in completely ramified \( p \)-adic rings, and through rigorous mathematical proofs and specific calculations, reveals the influence rules of \( p \), \( e \) and \( k \) on Waring numbers. This not only extends the research scope of the classical Waring problem, but also provides a new perspective for further exploring the number - theoretic properties in \( p \)-adic rings.