Table of Contents
Fetching ...

Fenchel Duality Theory and A Primal-Dual Algorithm on Riemannian Manifolds

Ronny Bergmann, Roland Herzog, Maurício Silva Louzeiro, Daniel Tenbrinck, José Vidal-Núñez

TL;DR

The paper develops a manifold-specific Fenchel duality framework and a pair of Riemannian primal–dual algorithms (exact and linearized) to solve non-smooth optimization problems on curved spaces. By defining an $m$-based Fenchel conjugate $F_m^*$ and establishing a manifold Fenchel–Moreau theory, it derives a saddle-point formulation and implements two Riemannian Chambolle–Pock variants, proving convergence for the linearized version on Hadamard manifolds. The methods are applied to ROF-type total variation models on manifolds, with extensive numerical experiments showing competitive performance against established manifold algorithms and even convergence on spaces with positive curvature. This work broadens non-smooth convex optimization techniques to manifold-valued data, enabling robust variational imaging and geometry-processing tasks in curved spaces.

Abstract

This paper introduces a new notion of a Fenchel conjugate, which generalizes the classical Fenchel conjugation to functions defined on Riemannian manifolds. We investigate its properties, e.g.,~the Fenchel--Young inequality and the characterization of the convex subdifferential using the analogue of the Fenchel--Moreau Theorem. These properties of the Fenchel conjugate are employed to derive a Riemannian primal-dual optimization algorithm, and to prove its convergence for the case of Hadamard manifolds under appropriate assumptions. Numerical results illustrate the performance of the algorithm, which competes with the recently derived Douglas--Rachford algorithm on manifolds of nonpositive curvature. Furthermore, we show numerically that our novel algorithm even converges on manifolds of positive curvature.

Fenchel Duality Theory and A Primal-Dual Algorithm on Riemannian Manifolds

TL;DR

The paper develops a manifold-specific Fenchel duality framework and a pair of Riemannian primal–dual algorithms (exact and linearized) to solve non-smooth optimization problems on curved spaces. By defining an -based Fenchel conjugate and establishing a manifold Fenchel–Moreau theory, it derives a saddle-point formulation and implements two Riemannian Chambolle–Pock variants, proving convergence for the linearized version on Hadamard manifolds. The methods are applied to ROF-type total variation models on manifolds, with extensive numerical experiments showing competitive performance against established manifold algorithms and even convergence on spaces with positive curvature. This work broadens non-smooth convex optimization techniques to manifold-valued data, enabling robust variational imaging and geometry-processing tasks in curved spaces.

Abstract

This paper introduces a new notion of a Fenchel conjugate, which generalizes the classical Fenchel conjugation to functions defined on Riemannian manifolds. We investigate its properties, e.g.,~the Fenchel--Young inequality and the characterization of the convex subdifferential using the analogue of the Fenchel--Moreau Theorem. These properties of the Fenchel conjugate are employed to derive a Riemannian primal-dual optimization algorithm, and to prove its convergence for the case of Hadamard manifolds under appropriate assumptions. Numerical results illustrate the performance of the algorithm, which competes with the recently derived Douglas--Rachford algorithm on manifolds of nonpositive curvature. Furthermore, we show numerically that our novel algorithm even converges on manifolds of positive curvature.

Paper Structure

This paper contains 18 sections, 19 theorems, 112 equations, 4 figures, 2 algorithms.

Key Result

lemma 1

Let $f,g\colon \cX \to\eR$ be proper functions, $\alpha\in\R$, $\lambda>0$ and $b \in \cX$. Then the following statements hold.

Figures (4)

  • Figure 1: Illustration of the Fenchel conjugate for the case $d = 1$ as an interpretation by the tangents of slope $x^*$.
  • Figure 2: Computing the minimizer of the manifold-valued $\ell^2$-TV model for a signal of unit vectors shown in (\ref{['subfig:TVSignal:R3Orig']}) with respect to both manifolds $\R^3$ and $\S^2$ with $\alpha=5$: (\ref{['subfig:TVSignal:S2Minimizer']}) on $(\S^2)^{30}$ and (\ref{['subfig:TVSignal:R3Minimizer']}) on $(\R^3)^{30}$. The known effect, loss of contrast is different for both cases, since on $\S^2$ the vector remain of unit length. The same effect can be seen for a signal of spd matrices, , $\cP_+(3)$; see (\ref{['subfig:TVSignal:SPDOrig']}) and (\ref{['subfig:TVSignal:SPDMinizer']}).
  • Figure 3: Development of the three algorithms Cyclic Proximal Point (CPPA), parallel Douglas--Rachford (PDRA) as well as the linearized Riemannian Chambolle--Pock \ref{['alg:DualOverrelax-lRCP']} (lRCPA) starting all from the original data in (\ref{['subfig:SPDImg:Orig']}) reaching the final value (image) in (\ref{['subfig:SPDImg:Result']}) is shown in (\ref{['subfig:SPDImg:Cost']}), where the iterations on the x-axis are in log-scale.
  • Figure 4: The example illustrates that for manifolds with positive curvature, the algorithm still converges quite fast, but due to the nonconvexity of the distance, the effect of the linearization influences the result.

Theorems & Definitions (44)

  • definition 1
  • lemma 1: BauschkeCombettes:2011:1
  • definition 2: BauschkeCombettes:2011:1
  • theorem 1: BauschkeCombettes:2011:1
  • corollary 1: BauschkeCombettes:2011:1
  • theorem 2: BauschkeCombettes:2011:1
  • definition 3: Sakai:1996:1
  • definition 4
  • definition 5: Sakai:1996:1
  • definition 6: FerreiraOliveira:1998:1, Udriste:1994:1
  • ...and 34 more