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 $\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])|$.