On some mean matrix inequalities of dynamical interest

Igor Rivin

Let A be an n by n matrix with determinant 1. We show that for all n > 2 there exist dimensional strictly positive constants C_n such that the average over the orthogonal group of…