We study the last iterate of stochastic gradient descent (SGD) on streaming least squares with discretely distributed features (Slock's model), which decouples the dynamics across eigendirections. Under power-law source and capacity conditions, we derive the exact finite-time risk and asymptotic equivalents of constant and Warmup-Stable-Decay (WSD) schedules. With a tuned base learning-rate, the resulting scaling law decays as Θ(T−q), where T is the horizon, and q is independent of the cooldown length c∈(0,1] but is strictly smaller for the constant schedule: any cooldown of fixed relative length c>0, however short, improves the risk by a polynomial factor, while its length only affects the constant, which is minimized by linear decay (c=1). Finally, we show that the optimal risk depends on the batch size b and horizon T only through bT, up to a critical batch size.
Figures & tables
Figure 1: Comparison of the empirical SGD excess risk against the theoretical final risk from Corollary F.4 . Both experiments are averaged over n=50 independent runs with parameters γ=0.1,L=Δ=1 , α=1.5 , β=2 , σ=0.1 and d=100 . For the linear schedule (b), the plot displays the entire risk trajectories over time, where each trajectory is computed with a schedule decaying to zero at its specific horizon T .
Sched.
Bias BT
Variance VT
Cst.
LΔ(2LγT)−ω
σ2Lγ
WSD α<2
LΔ((2−c)LγT)−ω
W(α,c)σ2(Lγ)1/αT1/α−1
WSD α>2
LΔ((2−c)LγT)−ω
σ2(Lγ/c)1/2T−1/2
Table 1: Equivalents of the bias and the variance for the studied schedules (constant: both regimes 1<α<2 and α>2 ), with ω=(α+β−1)/α . The cooldown length is c∈(0,1] . Constants depending only on (α,β) are omitted. W(α,c) is defined in Eq. 16 .
Schedule
Regime
γT∗
Constant
both
(σ2LωCcstΔ)1+ω1T−1+ωω
WSD
1<α<2
(σ2Lβ/αCwsd<2Δ)1+αωαT−1+αωβ
WSD
α>2
(σ2Lω−1/2Cwsd>2Δ)1+2ω2T−1+2ω2ω−1
Table 2: Optimal learning-rate γT∗ for each schedule and regime of α . All exponents of T are negative; in particular, for α>2 , ω>1−1/α>1/2 .
Figure 2: Excess risk as a function of the learning-rate γ for different values of α∈Sα , with T=105 , β=2 , d=100 , σ=0.1 , and L=Δ=1 . The vertical dashed lines correspond to the theoretical asymptotic optima γ=γT∗ . While these approximations appear to coincide with the minima of the risk curves under a constant schedule, a slight discrepancy is visible for the linear decay. This error arises because the asymptotic derivation requires T→∞ , an effect that becomes pronounced near the regime change as α→2 .
Sched.
Optimal risk
Cst.
(LΔ)1+ω1(σ2/T)1+ωω
WSD α<2
(LΔ)1+αω1(W(α,c)(2−c)−1/ασ2/T)1+αωαω
WSD α>2
(LΔ)1+2ω1((c(2−c))−1/2σ2/T)1+2ω2ω
Table 3: Equivalents obtained using the rate γ∗ optimized for each schedule. The exponent of σ2/T is greater for WSD schedules than for a constant schedule, in both regimes of α . Constants depending only on (α,β) are omitted except where they depend on c .
Figure 3: Log-ratio log(γ∗(1))−log(γ∗(c)) of the optimal base learning-rates as a function of the cooldown length c . (a) Asymptotically optimal γT∗ from Table 2 ; the value of T is inconsequential since the ratio is independent of T by Eq. 19 . (b) Empirical γ∗ and γ∗ obtained from the convex bound of Schaipp et al. (2025) (their T1/T2 , with constants G=D=1 ).
Appendix figures & tables7 assets
Supplementary material from the paper’s appendix.
Appendix
Figure 4: Effect of the batch size b under a linear decay schedule with the asymptotically optimal base learning-rate γT,b∗ , parameters L=Δ=σ=1 , β=2 , d=100 . 4(a) : Optimal excess risk as a function of b at fixed total sample budget N:=bT=200000 , normalized by its value at b=1 . 4(b) : Number of steps T needed to reach a fixed risk RT(b)=r:=10−5 , as a function of b . The dashed lines show the horizon T at which b=bmax(T) . At a fixed target risk r ( Fig. 4(b) ), the required number of steps initially decreases inversely proportionally to b . This scaling stops for a batch size b a few times the theoretical boundary b=bmax(T) (dashed lines), beyond which the trend reverses and T grows with b : the learning-rate prescribed by the bp rule is then no longer admissible ( Eq. 24 ).
α
bcrit(N)
1.4
2653
1.8
2245
2.2
1633
2.6
1021
Appendix
Table 4: Critical batch size bcrit for a sample budget of N=2×105 and various exponents α , computed by testing all values until the limit bmax(N/b) is exceeded.
Figure 5: Ratio of the bias ( Fig. 5(a) ) and variance ( Fig. 5(b) ) evaluated under Slock’s model relative to the standard Normal distribution, with a linear decay schedule. Computed with parameters d=100,γ=10−2,β=2,L=Δ=1,σ=1 . As the accumulation of coupled terms increases with T , the bias ratio drifts from 1.
Figure 6: Ratio of the bias ( Fig. 6(a) ) and variance ( Fig. 6(b) ) evaluated under Slock’s model relative to the standard Normal distribution, with a linear decay schedule. Computed with parameters d=100,γ=γT∗,β=2,L=Δ=1,σ=1 .
Figure 7: For the constant schedule, ratio of the asymptotic equivalents to the exact values for the bias (a) and variance (b) components of the risk, for γ=10−3,L=Δ=1,β=2,σ=0.1 , d=1000 and Sα={1.4,1.8,2.2,2.6} . As the total number of steps T increases, the ratios systematically converge to 1 across different spectral exponents α , empirically validating the theoretical approximations.
Figure 8: For the WSD schedule ( c=0.2 ), ratio of the asymptotic equivalents to the exact values for the bias (a) and variance (b) components of the risk, for γ=10−3,L=Δ=1,β=2,σ=0.1 , d=1000 and Sα={1.4,1.8,2.2,2.6} .
Figure 9: Comparison of risk trajectories for constant and WSD schedules ( c=0.2 ) over a total horizon T=105 . Hyperparameters are fixed to α∈Sα={1.4,1.8,2.2,2.6} , β=2 , σ=0.1,d=100 and L=Δ=1 . The parameter γ=γT∗ is optimized for the constant schedule, and this exact same value is applied to both methods. As expected, the risks remain identical up to t=0.8T=80,000 , after which the WSD cooldown phase effectively reduces the final risk.