On the monotonicity of average singular values of complex Gaussian random matrices

Source abstract

We give an alternate proof of the fact that the average singular value of complex Gaussian random matrix decreases with dimension. Conjectured by Bandeira, Kennedy, and Singer (Math. Program., 2016), this property was recently established by Hutník, for non-negative integer shape parameter $α$. We also extend this monotonicity to real $α\geq 0$.