A p-adic analogue of Siegel's Theorem on sums of squares

Sylvy Anscombe, Philip Dittmann, Arno Fehm

Siegel proved that every totally positive element of a number field K is the sum of four squares, so in particular the Pythagoras number is uniformly bounded across number fields.…