{"id":"arxiv/2609.13765","url":"https://arxiv.org/abs/2609.13765","tags":["math.OC"],"score":0,"title":"Last-Iterate Performance of Gradient Descent and Relaxed Proximal Point via $s$-Composability","domain":"math.OC","source":"arxiv","authors":["Salah Chikhi"],"reviews":0,"subject":"math.OC","summary":"The notion of s-composability was introduced to compose optimized stepsize schedules while preserving sharp guarantees. We show that the same joint potential has a second use: it can serve directly as a certificate of sharp last-iterate performance. We develop this viewpoint for constant and silver schedules. For the constant schedule, we prove the s-composability statement posed as an open question by Grimmer et al. (2025), at every finite horizon, through an explicit nonnegative smooth-convex interpolation certificate. The result identifies the unique constant stepsize minimizing the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-12","reactions":{}}