{"id":"arxiv/2610.02791","url":"https://arxiv.org/abs/2610.02791","tags":["math.OC"],"score":0,"title":"Finding Stationary Points under Higher-Order Smoothness: Trapping Algorithms and First-Order Lower Bounds","domain":"math.OC","source":"arxiv","authors":["Huanjian Zhou","Masashi Sugiyama","Taiji Suzuki"],"reviews":0,"subject":"math.OC","summary":"We study the query complexity of finding approximate stationary points under higher-order smoothness using only function values or only gradients. Our results cover different dimensions, oracle models, randomization, and constraints. For constant dimension $d$ and $C^{p,β_p}$ objectives, with $ν:=p+β_p$, we give deterministic function-value gradient trapping algorithms with query complexities $O(\\varepsilon^{-(d-1)})$ on $\\mathbb R^d$ and $O(\\varepsilon^{-(d-1)/ν})$ on $[0,1]^d$. High-order line integration enables gradient-only trapping. For two-dimensional $C^{1,1}$ objectives, randomized…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-02","reactions":{}}