Mean Values over Lattices in Number Fields and Effective Diophantine Approximation

We answer a question raised by Alam and Ghosh concerning an error term for a spiralling result in Diophantine approximation by rationals in a number field. The proof relies on a generalisation of Rogers’ Mean Value Theorem to algebraic number fields and an effective ergodic theorem due to Gaposhkin.