The Euclidean minimum of a number field
K is an important numerical invariant that indicates whether
K is norm-Euclidean. When
K is a non-CM field of unit rank 2 or higher, Cerri showed , as the supremum in the Euclidean spectrum , is isolated and attained and can be computed in finite time. We extend Cerri始s works by applying recent dynamical results of Lindenstrauss and Wang. In particular, the following facts are proved:
- (1)
For any number field K of unit rank 3 or higher, is isolated and attained and Cerri始s algorithm computes in finite time.
- (2)
If K is a non-CM field of unit rank 2 or higher, then the computational complexity of is bounded in terms of the degree, discriminant and regulator of K.