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

Abstract

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

7 pages, six illustrations (but only 4 figures)