{"id":"arxiv/2609.04659","url":"https://arxiv.org/abs/2609.04659","tags":["math.NA","math.DS","math.OC"],"score":0,"title":"A Complete Resolution of Forsythe's Conjecture for Restarted Conjugate Gradients","domain":"math.NA","source":"arxiv","authors":["Matthew J. Colbrook","George Stepaniants","Alex Townsend"],"reviews":0,"subject":"math.NA","summary":"Forsythe's conjecture, published in 1968, asserts that for each restart length $s$, every exact-arithmetic restarted conjugate-gradient iteration on a real symmetric positive definite problem either terminates or has normalised residuals that converge separately along the even and odd restart subsequences. Apart from the classical steepest-descent case, this asymptotic question remained unresolved in full generality for nearly six decades. We give a complete classification by restart length in the original finite-dimensional setting and identify a sharp threshold. For $s=2$ and $s=3$, every…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-04","reactions":{}}