Power Mean Inequalities and Sums of Squares. - Jose Acevedo; Grigoriy Blekherman (Discret. Comput. Geom., 2025)