{"id":"arxiv/2608.19074","url":"https://arxiv.org/abs/2608.19074","tags":["math.OC"],"score":0,"title":"A Mini-Batch Counterexample to Last-Iterate Convergence in Definable Optimization","domain":"math.OC","source":"arxiv","authors":["Weiwei Kong"],"reviews":0,"subject":"math.OC","summary":"We give a counterexample to the convergence conjecture in Remark 12 of [Bolte & Pauwels, 2021] for mini-batch stochastic approximation with definable potentials. The construction uses two convex piecewise-affine, hence semialgebraic, summands on $\\mathbb{R}$. We choose a deterministic nonincreasing block stepsize sequence satisfying $α_k = o(1/\\log k)$ and an admissible minimum-norm selection from each aggregate batch field. On successive blocks, the iterates form lazy reflected random walks on nested dyadic lattices. An explicit endpoint-cover-time estimate, Markov's inequality, and the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-19","reactions":{}}