cs.LGJul 20, 2026

Optimizing the Preconditioner: A Black-box Online-to-Nonconvex Conversion with Static Regret Minimization Oracles

Authors: Haichen HuDavid Simchi-Levi

Organizations: Center for Computational Science and Engineering, MIT · Department of Civil and Environmental Engineering, MIT · Institute for Data, Systems, and Society, MIT

Abstract

Stochastic nonconvex optimization is central to training deep networks and LLMs in modern machine learning. We give a black-box reduction from stochastic nonconvex optimization to ordinary static regret minimization in online convex optimization (OCO), thereby resolving the open problem posed by Chen and Hazan (2024). Our reduction maintains a predictable gradient tracker, while a black-box online learner A\mathcal{A} selects a preconditioner that transforms this tracker into the update direction. Given a ββ-smooth function with a range bounded by MM and an unbiased gradient oracle with variance bounded by σ2σ^2, we bound the expected average squared gradient norm by O(σMβ/T+MβRegT(A)/T+MβT)O(σ\sqrt{Mβ/T}+\sqrt{Mβ}\mathrm{Reg}_T(\mathcal{A})/T+\frac{Mβ}{T}), where RegT(A)\mathrm{Reg}_T(\mathcal{A}) is the static regret of A\mathcal{A}. Thus, any OCO oracle with O(T)O(\sqrt{T}) regret recovers the classical O(T1/2)O(T^{-1/2}) convergence rate. We further extend the framework to nonsmooth nonconvex objectives, still relying only on ordinary static regret, and attain the optimal convergence rate for Goldstein-type stationarity. Finally, we conduct numerical experiments on nonconvex objectives to illustrate how the reduction exploits online-selected preconditioners while using the same stochastic-oracle budget as stochastic gradient descent.

Explore similar work

Jan 20, 2026stat.ML

Small Gradient Norm Regret for Online Convex Optimization

This paper introduces a new problem-dependent regret measure for online convex optimization with smooth losses. The notion, which we call the GG^\star regret, depends on the cumulative squared gradient norm evaluated at the decision in hindsight. We show that the GG^\star regret strictly refines the existing LL^\star (small loss) regret, and that it can be arbitrarily sharper when the losses have vanishing curvature around the hindsight decision. We establish upper and lower bounds on the GG^\star regret and extend our results to dynamic regret and bandit settings. As a byproduct, we refine the existing convergence analysis of stochastic optimization algorithms in the interpolation regime. Some experiments validate our theoretical findings.
Wenzhi Gao, Chang He, Madeleine Udell
Jun 6, 2026cs.LG

Noise-Adaptive High-Probability Regret Bounds for Online Convex Optimization

We study high-probability regret bounds for online convex optimization (OCO) with strongly convex losses and establish three results that resolve open questions at the intersection of noise adaptivity, feedback structure, and constraint satisfaction. For the full-information setting with sub-Gaussian stochastic gradients, we prove a noise-adaptive high-probability regret bound in which the martingale deviation term scales with the noise level σσ rather than the gradient bound GG, yielding a multiplicative improvement of G/σG/σ over the classical Azuma-Hoeffding baseline. Our analysis introduces an exponential supermartingale argument that bypasses the bounded-difference requirement of Freedman's inequality, enabling direct treatment of unbounded sub-Gaussian noise without truncation artifacts. For bandit feedback, we prove a minimax lower bound: the high-probability regret scales linearly in log(1/δ)\log(1/δ), in contrast to the log(1/δ)\sqrt{\log(1/δ)} confidence cost under full information. This constitutes a formal separation in the confidence cost of strongly convex OCO across feedback models. Regarding constrained OCO with stochastic constraints satisfying a Slater condition, we provide simultaneous high-probability guarantees for both cumulative regret and long-run constraint violation, achieving O(Tlog(m/δ))\mathcal{O}(\sqrt{T\log(m/δ)}) regret and O(T/(ζδ)+mTlog(m/δ))\mathcal{O}(\sqrt{T}/(ζδ) + m\sqrt{T\log(m/δ)}) violation. Synthetic experiments corroborate all theoretical predictions.
Wentao Zhang, Yutong Zhang, Wentao Mo
Jul 29, 2026cs.LG

Parameter-Free Dynamic Regret under Heavy-Tailed Noise

We study online convex optimization with one unbiased stochastic subgradient per round and noise having a finite pp-th central moment, where p(1,2]p\in(1,2] is unknown. For a bounded convex domain of diameter DD, subgradients bounded by GG, noise scale σσ, and comparator path length PTP_T, let ΛT=1+PT/DΛ_T=1+P_T/D. A single algorithm, using none of G,σ,p,PTG,σ,p,P_T, attains expected dynamic regret Op(min{GDTΛT+σDT1/pΛT(p1)/p,GDT})O_p\left(\min\{GD\sqrt{TΛ_T}+σDT^{1/p}Λ_T^{(p-1)/p},\,GDT\}\right) against every fixed comparator sequence. Restarted AdaGrad experts produce the noise-path exponent (p1)/p(p-1)/p, and a prior favoring longer restart intervals removes horizon-dependent logarithmic overhead. We give an explicit bound uniform in pp; its logarithm-free form has noise coefficient O(1+log(p/(p1)))O(1+\log(p/(p-1))), while the static-regret constant is universal. The analysis requires only marginal noise moments and permits dependent errors. Complete pathwise proofs retain both the expert-loss range and the gradient energies preceding comparator movement. Matching lower bounds hold on every bounded convex domain of positive diameter, under the same gradient-only information model. Together with a path-budget-tuned upper bound, they characterize the minimax rate with universal constants, including its linear-regret saturation.
Vaneet Aggarwal