{"id":"arxiv/2609.11784","url":"https://arxiv.org/abs/2609.11784","tags":["math.OC"],"score":0,"title":"Constant Steps Are s-Composable: An Exact Interpolation Certificate for Gradient Descent","domain":"math.OC","source":"arxiv","authors":["Jinze Zhao"],"reviews":0,"subject":"math.OC","summary":"Grimmer, Shu, and Wang asked whether a balanced constant schedule is $s$-composable at every horizon. More precisely, for an integer $n\\geq 1$, let $\\bar{h}=1+r$, where $r\\in(0,1)$ is the unique solution of $$r^n\\bigl(1+n(1+r)\\bigr)=1,$$ and run gradient descent for $n$ steps with normalized stepsize $\\bar{h}$. The cases $n=1,2$ were known, while the general case $n\\geq3$ was left open. We prove the conjecture for every $n$. Our proof gives an explicit, dimension-free nonnegative linear combination of the smooth convex interpolation inequalities. The certificate is assembled from matrices…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}