Table of Contents
Fetching ...

Discrete-time gradient flows for unbounded convex functions on Gromov hyperbolic spaces

Shin-ichi Ohta

TL;DR

The article develops a theory of discrete-time gradient flows for unbounded Lipschitz convex functions on proper geodesic Gromov hyperbolic spaces, using giant-step proximal iterations. Under a negative asymptotic slope condition, it proves the existence and uniqueness of a negative boundary direction $v_*$ in $\partial X$ toward which the discrete gradient flow diverges, and provides a quantitative rate for convergence to $v_*$ based on a contraction-type bound for the proximal operator. This work extends convergence phenomena known in nonpositively curved spaces to hyperbolic and non-Riemannian settings, connecting boundary behavior with optimization dynamics and suggesting avenues for discrete and quasi-isometric extensions. The results unify variational gradient-flow ideas with hyperbolic geometry, offering tools for convex optimization in spaces with large-scale negative curvature and potential applications to discrete geometries and geometry-inspired optimization problems.

Abstract

In proper, geodesic Gromov hyperbolic spaces, we investigate discrete-time gradient flows via the proximal point algorithm for unbounded Lipschitz convex functions. Assuming that the target convex function has negative asymptotic slope along some ray (thus unbounded below), we first prove the uniqueness of such a negative direction in the boundary at infinity. Then, we show that the discrete-time gradient flow from an arbitrary initial point diverges to that unique direction of negative asymptotic slope. This is inspired by and generalizes results of Karlsson-Margulis and Hirai-Sakabe on nonpositively curved spaces and a result of Karlsson concerning semi-contractions on Gromov hyperbolic spaces. We also give an estimate of the rate of convergence based on a contraction property for the proximal (resolvent) operator established in our previous work.

Discrete-time gradient flows for unbounded convex functions on Gromov hyperbolic spaces

TL;DR

The article develops a theory of discrete-time gradient flows for unbounded Lipschitz convex functions on proper geodesic Gromov hyperbolic spaces, using giant-step proximal iterations. Under a negative asymptotic slope condition, it proves the existence and uniqueness of a negative boundary direction in toward which the discrete gradient flow diverges, and provides a quantitative rate for convergence to based on a contraction-type bound for the proximal operator. This work extends convergence phenomena known in nonpositively curved spaces to hyperbolic and non-Riemannian settings, connecting boundary behavior with optimization dynamics and suggesting avenues for discrete and quasi-isometric extensions. The results unify variational gradient-flow ideas with hyperbolic geometry, offering tools for convex optimization in spaces with large-scale negative curvature and potential applications to discrete geometries and geometry-inspired optimization problems.

Abstract

In proper, geodesic Gromov hyperbolic spaces, we investigate discrete-time gradient flows via the proximal point algorithm for unbounded Lipschitz convex functions. Assuming that the target convex function has negative asymptotic slope along some ray (thus unbounded below), we first prove the uniqueness of such a negative direction in the boundary at infinity. Then, we show that the discrete-time gradient flow from an arbitrary initial point diverges to that unique direction of negative asymptotic slope. This is inspired by and generalizes results of Karlsson-Margulis and Hirai-Sakabe on nonpositively curved spaces and a result of Karlsson concerning semi-contractions on Gromov hyperbolic spaces. We also give an estimate of the rate of convergence based on a contraction property for the proximal (resolvent) operator established in our previous work.

Paper Structure

This paper contains 11 sections, 8 theorems, 58 equations.

Key Result

Theorem 1.1

Let $(X,d)$ be a proper, geodesic $\delta$-hyperbolic space with $\partial X \neq \emptyset$, and $f\colon X \longrightarrow \mathbb{R}$ be an $L$-Lipschitz convex function for some $L>0$. Assume that $\alpha :=-\inf_{v \in \partial X} \partial_\infty f(v)>0$. Then, we have the following.

Theorems & Definitions (20)

  • Theorem 1.1: Divergence to the steepest direction
  • Remark 1.2: On Lipschitz continuity
  • Example 2.1
  • Lemma 2.2
  • proof
  • Proposition 2.3
  • Remark 2.4: Gromov sequences
  • Lemma 3.1
  • proof
  • Proposition 3.2
  • ...and 10 more