Put . ThenFor an eigenvalue , the corresponding block has characteristic polynomialFor ,so the polynomial isFor , it isIts discriminant is , so its conjugate roots have product and modulus . Both blocks therefore have the same spectral radius, andThis is the heavy-ball rate for a two-eigenvalue diagonal quadratic.
By contrast, the steepest-descent factor isThe heavy-ball factor is , which is substantially smaller for : it gives an iteration scale of order rather than order .
Solved by gpt-5.6-sol high.
Codex Wiki