Pith. sign in

REVIEW 2 cited by

Stochastic Polyak Step-sizes and Momentum: Convergence Guarantees and Practical Performance

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2406.04142 v2 pith:CQXY5XWR submitted 2024-06-06 math.OC cs.LGstat.ML

classification math.OCcs.LGstat.ML
keywords stochasticconvergencestep-sizeguaranteesinterpolationmethodmomentummomsps
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Stochastic gradient descent with momentum, also known as Stochastic Heavy Ball method (SHB), is one of the most popular algorithms for solving large-scale stochastic optimization problems in various machine learning tasks. In practical scenarios, tuning the step-size and momentum parameters of the method is a prohibitively expensive and time-consuming process. In this work, inspired by the recent advantages of stochastic Polyak step-size in the performance of stochastic gradient descent (SGD), we propose and explore new Polyak-type variants suitable for the update rule of the SHB method. In particular, using the Iterate Moving Average (IMA) viewpoint of SHB, we propose and analyze three novel step-size selections: MomSPS$_{\max}$, MomDecSPS, and MomAdaSPS. For MomSPS$_{\max}$, we provide convergence guarantees for SHB to a neighborhood of the solution for convex and smooth problems (without assuming interpolation). If interpolation is also satisfied, then using MomSPS$_{\max}$, SHB converges to the true solution at a fast rate matching the deterministic HB. The other two variants, MomDecSPS and MomAdaSPS, are the first adaptive step-size for SHB that guarantee convergence to the exact minimizer - without a priori knowledge of the problem parameters and without assuming interpolation. Our convergence analysis of SHB is tight and obtains the convergence guarantees of stochastic Polyak step-size for SGD as a special case. We supplement our analysis with experiments validating our theory and demonstrating the effectiveness and robustness of our algorithms.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On the boundedness of the sequence generated by minibatch stochastic gradient descent

    math.OC 2025-06 conditional novelty 6.0 of 10

    Minibatch SGD with decreasing stochastic Polyak stepsizes keeps iterates bounded under a sublevel-set condition that includes coercive convex objectives, and specific unbounded cases are constructed.

  2. First-ish Order Methods: Hessian-aware Scalings of Gradient Descent

    math.OC 2025-02 conditional novelty 6.0 of 10

    Hessian-aware scalar scalings of the gradient yield a local unit step size guarantee and global convergence under weakened smoothness assumptions.

Pith tools