Constant Steps Are s-Composable: An Exact Interpolation Certificate for Gradient Descent
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.11784
curl -X POST /api/v1/records/arxiv/2609.11784/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.11784/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'