IMC 2016 · Problem 5

Day 223rd IMC · Blagoevgrad, Bulgaria

Statement

Let AA be a n×nn \times n complex matrix whose eigenvalues have absolute value at most 11. Prove that

Annln2An1.\|A^n\| \le \frac{n}{\ln 2}\|A\|^{n-1}.

(Here B=supx1Bx\|B\| = \sup\limits_{\|x\| \le 1} \|Bx\| for every n×nn \times n matrix BB and x=i=1nxi2\|x\| = \sqrt{\sum\limits_{i=1}^{n} |x_i|^2} for every complex vector xCnx \in \mathbb{C}^n.)

Official solution

Hidden so you can work on the problem first.

Proposed by Ian Morris and Fedor Petrov, St. Petersburg State University.