The best constants comparing operator and Frobenius norms
Statement
Determine the largest constant and the smallest constant such that
Hint
Use the singular values: and .
Look at rank-one matrices and at orthogonal matrices for the equality cases.
Show solutionHide solution
Solution
Idea. Both norms are functions of the singular values: against . The ratio is largest when only one singular value is non-zero, and smallest when all are equal.
Step 1: the upper constant. Since , we have . Equality holds for the rank-one matrix (where ). So the smallest possible is .
Step 2: the lower constant. Since , we have , i.e. . Equality holds for , where and . So the largest possible is .
Conclusion.
Remark. The constants are sharp for every , but each of them is attained only on a very small set: the right one at rank-one matrices, the left one at multiples of orthogonal matrices (all singular values equal). For a "typical" random matrix the ratio is of order , closer to the lower extreme. As these constants degenerate, which is why quantitative estimates in high dimension must keep track of the dimension.