On Matrix Arithmetic-Geometric Mean Inequality and Noncommutative Positivstellensatz

Date: