{"id":"arxiv/2610.16492","url":"https://arxiv.org/abs/2610.16492","tags":["math.NA"],"score":0,"title":"On the cyclic limiting behavior of the restarted Arnoldi algorithm for real symmetric matrices with restart length $s=2$","domain":"math.NA","source":"arxiv","authors":["Vance Faber","Jarek Liesen","Jörg Liesen","Petr Tichý"],"reviews":0,"subject":"math.NA","summary":"We prove that the restarted Arnoldi algorithm for real symmetric matrices with restart length $s=2$ has a cyclic limiting behavior. In the terminology established in (arXiv:2209.14579), this is a proof of the ACI($s$) conjecture for $A=A^T\\in \\mathbb{R}^{n\\times n}$ and $s=2$. As explained in (arXiv:2209.14579), this also proves the Forsythe conjecture (Numerische Mathematik, 11 (1968), pp. 57-76) about the limiting behavior of the conjugate gradient method and positive definite $A=A^T\\in\\mathbb{R}^{n\\times n}$ for $s=2$. The proof we give is an extensively rewritten and simplified version…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}