When Momentum Helps Polyak--Ruppert Averaging
Polyak--Ruppert averaging gives SGD and momentum methods the same asymptotic covariance.
ProofPaper ↗
Key points
- For strongly convex quadratics with additive noise, we prove an online--offline bridge: the empirical risk minimizer on the samples of a tail average is one Newton step from the tail-averaged query point of any online procedure.
- Necessary and sufficient conditions show that, on the least curved direction, the center error sets the pace: SGD needs $m\ggκ^2$ rounds but momentum only $m\ggκ$, where $κ$ is the condition number, so at sample size $N$ the critical batch size grows from $Θ(\sqrt{N}/κ)$ to $Θ(\sqrt{N/κ})$.
- The covariance error separates the momentum methods: heavy ball has relative variance excess $Θ(κ^{3/2}/m)$ along the stiffest direction, whereas Nesterov has relative error $O(\sqrtκ/m)$ in every direction.
- We further examine how the conclusions change under heavy-tailed or state-dependent noise and clipping, and establish a first-order comparison with ERM for nonlinear Nesterov averaging under explicit conditions.
Sources (1)
- [1]When Momentum Helps Polyak--Ruppert AveragingarXiv (AI, ML, NLP, CV, robotics, multi-agent) · Oct 20, 10:29 AM
Polyak--Ruppert averaging gives SGD and momentum methods the same asymptotic covariance.
For strongly convex quadratics with additive noise, we prove an online--offline bridge: the empirical risk minimizer on the samples of a tail average is one Newton step from the tail-averaged query point of any online procedure.
Extractive summary: sentences quoted from the sources.