Searcharxiv⌕ Search

arXiv subjects

Hester Graves

Publications and source records attributed to Hester Graves.

12 recordsLinked to original sources
arXiv2026

Sizes of Pre-Images of the Minimal Euclidean Function on the Gaussian Integers

In 2023, the author presented the first computable minimal Euclidean function for a non-trivial number field. Along with a formula for $\phi_{\mathbb{Z}[i]}$, the minimal Euclidean function on the Gaussian inteers, the same paper introduced a geometric description for $\phi_{\mathbb{Z}[i]}^{-1}([0,n])$. This paper uses that construction to prove formulas for the size of the function's pre-images, or $|\phi_{\mathbb{Z}[i]}^{-1}([0,n])|$.

math.NT↗
arXiv2025

The abc conjecture implies infinitely many non-Wieferich places for fixed bases in number fields

Silverman showed that, assuming the $abc$ conjecture, there are $\gg \log x$ non-Wieferich primes base $a$ less than $x$ \cite{silverman}, for all non-zero $a$. This inspired Graves and Murty \cite{Graves}, Chen and Ding \cite{Chen1} \cite{Chen2}, and then Ding \cite{Ding} to find growth results, assuming the $abc$ conjecture, for non-Wieferich primes $p$ base $a$, where $p \equiv 1 \pmod{k}$ for integers $k \geq 2$. In light of Murty, Srinivas, and Subramani's recent work on `the Wieferich primes conjecture' and Euclidean algorithms in number fields \cite{murty}, number theorists need results on non-Wieferich places in number fields. We prove analogues of the results of Graves \& Murty and Ding, and show Ding's result holds for all bases $a$ in all imaginary quadratic fields' rings of integers, with $31$ explicitly listed exceptions. Along the way, we generalize useful results on rational integers to algebraic integers.

math.NT↗
arXiv2025

A Division Algorithm for the Gaussian Integers' Minimal Euclidean Function

The usual division algorithms on $\mathbb{Z}$ and $\mathbb{Z}[i]$ measure the size of remainders using the norm function. These rings are Euclidean with respect to several functions. The pointwise minimum of all Euclidean functions $f: R \setminus 0 \rightarrow \mathbb{N}$ on a Euclidean domain $R$ is itself a Euclidean function, called the minimal Euclidean function and denoted by $\phi_R$. The integers, $\mathbb{Z}$, and the Gaussians, $\mathbb{Z}[i]$, are the only rings of integers of number fields for which we have a formula to compute their minimal Euclidean functions, $\phi_{\mathbb{Z}}$ and $\phi_{\mathbb{Z}[i]}$. This paper presents the first division algorithm for $\mathbb{Z}[i]$ relative to $\phi_{\mathbb{Z}[i]}$, empowering readers to perform the Euclidean algorithm on $\mathbb{Z}[i]$ using its minimal Euclidean function.

math.NT↗
arXiv2025

Primes of the Form $m^2+1$ and Goldbach's `Other Other' Conjecture

We compute all primes up to $6.25\times 10^{28}$ of the form $m^2+1$. Calculations using this list verify, up to our bound, a less famous conjecture of Goldbach. We introduce `Goldbach champions' as part of the verification process and prove conditional results about them, assuming either Schinzel's Hypothesis H or the Bateman-Horn Conjecture.

math.NT↗
arXiv2022

An Elementary Proof of the Minimal Euclidean Function on the Gaussian Integers

Every Euclidean domain $R$ has a minimal Euclidean function, $\phi_R$. A companion paper \cite{Graves} introduced a formula to compute $\phi_{\mathbb{Z}[i]}$. It is the first formula for a minimal Euclidean function for the ring of integers of a non-trivial number field. It did so by studying the geometry of the set $B_n = \left \{ \sum_{j=0}^n v_j (1+i)^j : v_j \in \{0, \pm 1, \pm i \} \right \}$ and then applied Lenstra's result that $\phi_{\mathbb{Z}[i]}^{-1}([0,n]) = B_n$ to provide a short proof of $\phi_{\mathbb{Z}[i]}$. Lenstra's proof requires s substantial algebra background. This paper uses the new geometry of the sets $B_n$ to prove the formula for $\phi_{\mathbb{Z}[i]}$ without using Lenstra's result. The new geometric method lets us prove Lenstra's theorem using only elementary methods. We then apply the new formula to answer Pierre Samuel's open question: what is the size of $\phi_{\mathbb{Z}[i]}^{-1}(n)$?. Appendices provide a table of answers and the associated SAGE code.

math.NT↗
arXiv2021

Only finitely many $s$-Cullen numbers are repunits for a fixed $s\ge 2$

We show that for any integer $s \geq 2$, there are only finitely many $s$-Cullen numbers that are repunits. More precisely, for fixed $s \ge 2$, there are only finitely many integers $n$, $b$, and $q$ with $n \geq 2$, $b \geq 2$ and $q \geq 3$ such that \[C_{n,s} = ns^n + 1 = \frac{b^q -1}{b-1}.\] The proof is elementary and effective, and it is used to show that there are no $s$-Cullen repunits, other than explicitly known ones, for all $s \in [2,8896]$.

math.NT↗
arXiv2021

The Minimal Euclidean Function on the Gaussian Integers

In 1949, Motzkin proved that every Euclidean domain $R$ has a minimal Euclidean function, $\phi_R$. He showed that when $R = \mathbb{Z}$, the minimal function is $\phi_{\mathbb{Z}}(x) = \lfloor \log_2 |x| \rfloor$. For over seventy years, $\phi_{\mathbb{Z}}$ has been the only example of an explictly-computed minimal function in a number field. We give the first explicitly-computed minimal function in a non-trivial number field, $\phi_{\mathbb{Z}[i]}$, which computes the length of the shortest possible $(1+i)$-ary expansion of any Gaussian integer. We also present an algorithm that uses $\phi_{\mathbb{Z}[i]}$ to compute minimal $(1+i)$-ary expansions of Gaussian integers. We solve these problems using only elementary methods.

math.NT↗
arXiv2020

The abc Conjecture Implies That Only Finitely Many s-Cullen Numbers Are Repunits

Assuming the abc conjecture with $\epsilon=1/6$, we use elementary methods to show that only finitely many $s$-Cullen numbers are repunits, aside from two known infinite families. More precisely, only finitely many positive integers $s$, $n$, $b$, and $q$ with $s,b \geq 2$ and $n,q \geq 3$ satisfy \[C_{s,n} = ns^n + 1 = \frac{b^q -1}{b-1}.\]

math.NT↗
arXiv2010

Growth Results and Euclidean Ideals

Lenstra's concept of Euclidean ideals generalizes the Euclidean algorithm; a domain with a Euclidean ideal has cyclic class group, while a domain with a Euclidean algorithm has trivial class group. This paper generalizes Harper's variation of Motzkin's lemma to Lenstra's concept of Euclidean ideals and then uses the large sieve to obtain growth results. It concludes that if a certain set of primes is large enough, then the ring of integers of a number field with cyclic class group has a Euclidean ideal.

math.NT↗
arXiv2009

Euclidean Ideals in Quadratic Imaginary Fields

We classify all quadratic imaginary number fields that have a Euclidean ideal class. There are seven of them, they are of class number at most two, and in each case the unique class that generates the class-group is moreover norm-Euclidean.

math.NT↗