Critical-Batch Momentum Scaling
Implementation & benchmark of arXiv:2609.02728 — Momentum in large-batch training: Polyak enlarges the critical batch size, Nesterov improves data efficiency
Source paper: Momentum in large-batch training: Polyak enlarges the critical batch size, Nesterov improves data efficiency arXiv:2609.02728 ⓘ · analyzed Sep 3, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace a fixed momentum and learning-rate schedule with a batch-aware stability controller derived from the paper's critical-learning-rate scalings. Polyak learning rates should scale approximately with B(1-rho), whereas Nesterov learning rates can scale as B^beta(1-rho) until reaching the base stability ceiling; this may allow larger batches without crossing the instability boundary.
Formulas
Mathematical statement
The paper defines the one-pass update horizon as T=D/B, where D is the total data budget and B is the batch size. It characterizes the critical learning rate, the largest learning rate preserving stable risk dynamics, as eta_sgd^crit approximately proportional to 1, eta_polyak^crit approximately proportional to min{1,B(1-rho)}, and eta_nesterov^crit approximately proportional to min{1,B^beta(1-rho)}. Here rho is the momentum coefficient in [0,1), beta>1 is the capacity exponent of the power-law kernel model, and the notation approximately proportional means equality up to problem-dependent multiplicative constants. Transfer these relations as relative scaling rules around a calibrated reference batch B0: eta_P(B,rho)=eta0 min{1,cP(B/B0)((1-rho)/(1-rho0))} and eta_N(B,rho)=eta0 min{1,cN(B/B0)^beta_hat((1-rho)/(1-rho0))}. Here eta0 and rho0 are the reference learning rate and momentum, cP and cN are safety factors, and beta_hat is a tuned or empirically estimated exponent.
Implementation notes
Integrate the method into the optimizer learning-rate scheduler immediately before each parameter update. Inputs are the current batch size B, reference batch B0, base learning rate eta0, reference momentum rho0, current momentum rho, optimizer type, and safety factors cP and cN. For Polyak momentum, maintain a velocity v and use v_t=rho v_(t-1)+g_t followed by theta_(t+1)=theta_t-eta_P v_t. For Nesterov, evaluate the gradient at a look-ahead point theta_t-eta_N rho v_(t-1), then use v_t=rho v_(t-1)+g_t and theta_(t+1)=theta_t-eta_N v_t. Compute the scheduled rate with scale=min(1,cP*(B/B0)*((1-rho)/(1-rho0))) for Polyak, or scale=min(1,cN*(B/B0)^beta_hat*((1-rho)/(1-rho0))) for Nesterov, and set eta=eta0*scale. Start with cP=cN=0.5. Monitor loss, gradient norm, update norm, and non-finite values over windows of 50 to 200 steps. If loss or gradient norms grow persistently, halve the relevant safety factor; if the run remains stable for several windows, increase it by 10 percent. Estimate beta_hat from short Nesterov sweeps at batch ratios q in {2,4,8}: find the largest non-divergent eta at each ratio, then fit the slope of log(eta_crit) against log(q), clipped to [1,2]. The first experiment should use a small Transformer on WikiText-103 or C4 with a fixed token budget, comparing AdamW, fixed-rate SGD momentum, fixed-rate Nesterov, and this controller at B/B0 in {1,2,4,8,16}. Report maximum stable learning rate, validation loss at equal token counts, final one-pass loss, and wall-clock throughput. Success means stable operation at a larger batch with equal or lower iso-token perplexity and faster loss reduction per wall-clock hour.
Verification
Stage 1 · Toy mechanism gate: Failed ✗
Stage 2 · Mechanism transferred to benchmark: Not tested
Stage 2 · Practical benchmark result: Not run
Methodology: Toy-system gate first; the benchmark stage runs only after a pass. How verification works
Stage 1 — Mechanism check agent confidence 9/10
Built a reproducible Critical-Batch Momentum Scaling controller for Polyak and Nesterov updates, plus deterministic spectral-radius and noisy-quadratic checks. The schedule follows the proposed formulas, but the claimed batch-dependent stability expansion was not observed: the quadratic stability boundary is independent of batch size, all tested batch sizes remained stable at the same fixed rates, and the controller provided no stability or loss advantage. The controller lowered the rate at B=1 and saturated by B=2, but this was not a demonstrated win.
- Agent confidence
- 9/10
- Baseline
- Fixed eta=0.05, rho=0.9 was stable for all B in {1,2,4,8,16}; matched-budget final losses were Polyak [1.316,0.649,0.091,0.099,0.028] and Nesterov [0.904,0.404,0.077,0.064,0.017].
- Idea
- With safety=0.5 and beta=1.5, controller rates were [0.025,0.05,0.05,0.05,0.05] for B=[1,2,4,8,16] for both methods; all runs were stable, with final losses Polyak [0.630,0.649,0.091,0.099,0.028] and Nesterov [0.510,0.404,0.077,0.064,0.017]. Deterministic boundaries were batch-independent: Polyak eta_crit=3.8 and Nesterov eta_crit≈1.357 at rho=0.9.
Limitations: Only a small isotropic noisy quadratic was tested, not a Transformer, WikiText-103/C4, AdamW, wall-clock throughput, or real token-budget training. The toy model lacks the batch-dependent curvature/noise stability mechanism of the paper's kernel-regression setting.
How to run: python3 critical_batch_momentum.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- critical_batch_momentum.py 4.4 KB View Raw
- report.md 1.7 KB View
- results.json 5.7 KB View Raw