{"id":"arxiv/2610.29211","url":"https://arxiv.org/abs/2610.29211","tags":["math.DS","cs.LG","math.AG","math.CA","math.LO"],"score":0,"title":"On the gradient conjecture at infinity: Finite spherical length for gradient trajectories of definable potentials","domain":"math.DS","source":"arxiv","authors":["Thang Do","Arnulf Jentzen","Benno Kuckuck"],"reviews":0,"subject":"math.DS","summary":"We prove that for every open $ U \\subseteq \\mathbb R^n $ the spherical projection of every gradient trajectory $θ(t)$, $t \\geq 0$, of a definable $C^1$-potential $F \\colon U \\to \\mathbb R$ has finite length and, in particular, converges (directional convergence). In other words, every gradient trajectory of a definable $C^1$-potential has finite total angular motion. Here, definable means definable in an arbitrary o-minimal structure expanding the real field. Notably, the gradient trajectory in this result is an arbitrary solution of the gradient flow differential equation (whose solutions…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-21","reactions":{}}