{"id":"arxiv/2606.05438","url":"https://arxiv.org/abs/2606.05438","tags":["cs.LG","math.OC"],"score":0,"title":"Sharp First-Order Lower Bounds for Higher-Order Smooth Nonconvex Optimization","domain":"cs.LG","source":"arxiv","authors":["Dongruo Zhou"],"reviews":0,"subject":"cs.LG","summary":"We study the deterministic first-order oracle complexity of finding \\(ε\\)-stationary points in smooth nonconvex optimization when the objective satisfies higher-order smoothness assumptions. While the classical \\(ε^{-2}\\) rate is optimal under only Lipschitz gradients, higher-order smoothness leads to accelerated first-order upper bounds, most notably the \\(ε^{-7/4}\\) rate under Lipschitz Hessians and the \\(ε^{-5/3}\\) rate under Lipschitz third derivatives. The matching lower bounds, however, have remained open. We resolve this gap by proving a new dimension-free first-order lower bound for…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-03","reactions":{}}