Pith. sign in

REVIEW 1 cited by

Open Problem: Polynomial linearly-convergent method for geodesically convex optimization?

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2307.12743 v1 pith:2M22D3V5 submitted 2023-07-24 math.OC cs.CCcs.NAmath.DGmath.NA

classification math.OCcs.CCcs.NAmath.DGmath.NA
keywords convexepsilonmathcalmethodalgorithmcomplexityellipsoid-likegeodesically
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Let $f \colon \mathcal{M} \to \mathbb{R}$ be a Lipschitz and geodesically convex function defined on a $d$-dimensional Riemannian manifold $\mathcal{M}$. Does there exist a first-order deterministic algorithm which (a) uses at most $O(\mathrm{poly}(d) \log(\epsilon^{-1}))$ subgradient queries to find a point with target accuracy $\epsilon$, and (b) requires only $O(\mathrm{poly}(d))$ arithmetic operations per query? In convex optimization, the classical ellipsoid method achieves this. After detailing related work, we provide an ellipsoid-like algorithm with query complexity $O(d^2 \log^2(\epsilon^{-1}))$ and per-query complexity $O(d^2)$ for the limited case where $\mathcal{M}$ has constant curvature (hemisphere or hyperbolic space). We then detail possible approaches and corresponding obstacles for designing an ellipsoid-like method for general Riemannian manifolds.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Horospherically Convex Optimization on Hadamard Manifolds Part I: Analysis and Algorithms

    math.OC 2025-05 conditional novelty 7.0 of 10

    A new class of functions, horospherically convex functions, admits gradient, subgradient, and accelerated methods with curvature-independent Euclidean rates on Hadamard manifolds.

Pith tools