2025-11-10T02:47:10.641667

On the natural domain of Bregman operators

Themelis, Wang
The Bregman proximal mapping and Bregman-Moreau envelope are traditionally studied for functions defined on the entire space $\mathbb{R}^n$, even though these constructions depend only on the values of the function within (the interior of) the domain of the distance-generating function (dgf). While this convention is largely harmless in the convex setting, it leads to substantial limitations in the nonconvex case, as it fails to embrace important classes of functions such as relatively weakly convex ones. In this work, we revisit foundational aspects of Bregman analysis by adopting a domain-aware perspective: we define functions on the natural domain induced by the dgf and impose properties only relative to this set. This framework not only generalizes existing results but also rectifies and simplifies their statements and proofs. Several examples illustrate both the necessity of our assumptions and the advantages of this refined approach.
academic

Sur le domaine naturel des opérateurs de Bregman

Informations de base

  • ID de l'article: 2506.00465
  • Titre: Sur le domaine naturel des opérateurs de Bregman
  • Auteurs: Andreas Themelis (Université de Kyushu), Ziyuan Wang (Université de Vienne)
  • Classification: math.OC (Optimisation et contrôle mathématiques)
  • Date de soumission: Janvier 2025
  • Lien de l'article: https://arxiv.org/abs/2506.00465v2

Résumé

Traditionnellement, les applications proximales de Bregman et les enveloppes de Bregman-Moreau ont été étudiées pour des fonctions définies sur l'espace entier Rn\mathbb{R}^n, bien que ces constructions ne dépendent que des valeurs de la fonction à l'intérieur du domaine de la fonction génératrice de distance (dgf). Bien que cette convention soit essentiellement inoffensive dans le cadre convexe, elle entraîne des limitations substantielles dans le cas non-convexe, car elle ne peut pas inclure des classes de fonctions importantes, telles que les fonctions faiblement convexes relatives. Cet article réexamine les aspects fondamentaux de l'analyse de Bregman en adoptant une perspective consciente du domaine : définir les fonctions sur le domaine naturel induit par la dgf et imposer les propriétés uniquement par rapport à cet ensemble. Ce cadre non seulement généralise les résultats existants, mais corrige et simplifie également leurs énoncés et preuves.

Contexte de recherche et motivation

Contexte du problème

  1. Limitations de la théorie de Bregman traditionnelle: La littérature existante définit généralement les fonctions sur l'espace entier Rn\mathbb{R}^n, exigeant que les fonctions satisfassent la propreté et la semi-continuité inférieure sur tout l'espace
  2. Inadéquation de la dépendance réelle: Les applications proximales de Bregman et l'enveloppe de Moreau dépendent en réalité uniquement des valeurs de la fonction sur domϕ\text{dom}\phi et intdomϕ\text{int}\text{dom}\phi, où ϕ\phi est la fonction génératrice de distance
  3. Exclusion de classes de fonctions importantes: L'approche traditionnelle exclut des catégories importantes telles que les fonctions faiblement convexes relatives, qui peuvent devenir convexes en ajoutant un multiple approprié de ϕ\phi

Motivation de la recherche

  1. Complétude théorique: Établir un cadre d'analyse de Bregman plus naturel et complet
  2. Extension des applications: Inclure une classe plus large de fonctions, en particulier les fonctions faiblement convexes relatives importantes en optimisation non-convexe
  3. Simplification théorique: Éliminer les hypothèses techniques inutiles et simplifier les preuves et énoncés

Contributions principales

  1. Proposition d'un cadre conscient du domaine: Définir les fonctions sur le domaine naturel X:=domϕX := \text{dom}\phi et Y:=intdomϕY := \text{int}\text{dom}\phi, plutôt que sur Rn\mathbb{R}^n entier
  2. Correction des résultats existants: Corriger les énoncés imprécis de la littérature concernant la continuité et la semi-continuité
  3. Extension du champ d'application: Inclure des classes de fonctions qui ne peuvent pas être étendues à l'espace entier tout en conservant leurs propriétés
  4. Établissement de connexions Φ\Phi-conjuguées: Placer les opérateurs de Bregman dans le cadre de la théorie de la Φ\Phi-convexité
  5. Nouvelles caractérisations de la lissité relative: Fournir de nouvelles conditions équivalentes pour la lissité relative, reliant la coercivité de Bregman et la forte convexité anisotrope

Détails méthodologiques

Configuration de base

Fonction génératrice de distance: ϕ:Rn→R‾\phi: \mathbb{R}^n \to \overline{\mathbb{R}} est propre, semi-continue inférieure, convexe et différentiable sur intdomϕ≠∅\text{int}\text{dom}\phi \neq \emptyset. On définit:

  • X:=domϕX := \text{dom}\phi
  • Y:=intdomϕY := \text{int}\text{dom}\phi

Distance de Bregman:

\phi(x) - \phi(y) - \langle\nabla\phi(y), x-y\rangle & \text{si } y \in \text{int}\text{dom}\phi \\ \infty & \text{sinon} \end{cases}$$ ### Définitions des opérateurs principaux **Application proximale de Bregman gauche**: Pour $f: X \to \overline{\mathbb{R}}$, $$\overleftarrow{\text{prox}}^{\phi}_{\lambda f}(\bar{y}) := \arg\min_{x \in X} \left\{f(x) + \frac{1}{\lambda}D_\phi(x, \bar{y})\right\}$$ **Application proximale de Bregman droite**: Pour $g: Y \to \overline{\mathbb{R}}$, $$\overrightarrow{\text{prox}}^{\phi}_{\lambda g}(\bar{x}) := \arg\min_{y \in Y} \left\{g(y) + \frac{1}{\lambda}D_\phi(\bar{x}, y)\right\}$$ **Enveloppe de Bregman-Moreau**: Les fonctions d'enveloppe gauche et droite correspondantes sont définies de manière analogue. ### Points d'innovation technique 1. **Méthode de restriction du domaine**: En restreignant le domaine et l'image des opérateurs aux ensembles naturels, on évite les difficultés techniques lors de l'extension des fonctions 2. **Traitement de la topologie relative**: Traiter systématiquement les propriétés topologiques sur les sous-ensembles, telles que la continuité relative et la compacité 3. **Théorie de l'extension canonique**: Établir une théorie de l'extension canonique des fonctions et opérateurs à l'espace entier, préservant les propriétés clés ## Résultats théoriques ### Propriétés de l'opérateur gauche **Théorème 3.10**: Soit $\phi$ 1-coercitif, $f: X \to \overline{\mathbb{R}}$ propre, semi-continue inférieure, $\phi$-approximativement borné. Pour tout $\lambda \in (0, \lambda^{\phi}_f)$: 1. $\text{dom}\overleftarrow{\text{env}}^{\phi}_{\lambda f} = \text{dom}\overleftarrow{\text{prox}}^{\phi}_{\lambda f} = Y$ 2. $\overleftarrow{\text{env}}^{\phi}_{\lambda f}: Y \to \mathbb{R}$ est continue 3. $\overleftarrow{\text{prox}}^{\phi}_{\lambda f}: Y \rightrightarrows X$ est à valeurs compactes et semi-continue supérieurement ### Analyse de l'opérateur droit **Théorème 3.23**: Soit $\text{dom}\phi = \mathbb{R}^n$, $g: Y \to \overline{\mathbb{R}}$ propre, droite $\phi$-approximativement borné. Pour $\lambda \in (0, \lambda^{\phi}_{\vec{g}})$: 1. $\overrightarrow{\text{env}}^{\phi}_{\lambda g}: X \to \mathbb{R}$ est localement Lipschitz continue 2. Sous des conditions appropriées, $\nabla\phi \circ \overrightarrow{\text{prox}}^{\phi}_{\lambda g}$ est localement borné, extérieurement semi-continu et semi-continu supérieurement ### Perspective $\Phi$-conjuguée En posant $\Phi = -\frac{1}{\lambda}D_\phi$, on établit une connexion avec la théorie de la $\Phi$-convexité: **Corollaire 4.6**: - $f^{\Phi} = -\overleftarrow{\text{env}}^{\phi}_{\lambda f}$ - $f^{\Phi\Psi} = \overleftarrow{\text{hull}}^{\phi}_{\lambda f}$ - $\overleftarrow{\text{prox}}^{\phi}_{\lambda f} = (\partial_{\Phi}f)^{-1}$ ### Nouvelles caractérisations de la lissité relative **Théorème 4.10**: Soit $\phi$ de Legendre et 1-coercitif, $f: X \to \overline{\mathbb{R}}$ propre, semi-continue inférieure, convexe. Les énoncés suivants sont équivalents: 1. $f$ est $B_\phi$-lisse 2. $\text{dom}f = X$ et sur $\text{int}X$, $f = \phi - \tilde{f}^{*\hat{\Phi}*}(-\cdot)$ 3. $f$ satisfait l'inégalité de coercivité $B_\phi$ étendue 4. La conjuguée de Fenchel $\tilde{f}^*$ satisfait l'inégalité de $a_{\phi^*}$-forte convexité ## Analyse d'exemples ### Exemple 3.12: Cas logarithmique Soit $\phi(x) = -\ln(x)$ pour $x \in X = (0,\infty)$, $f(x) = \ln(x)$. Bien que $f$ ne puisse pas être étendu en tant que fonction propre semi-continue inférieure sur $\mathbb{R}$, il jouit néanmoins de bonnes propriétés dans le cadre. ### Exemple 3.24: Importance de l'application proximale droite Construction d'exemples montrant que la propriété de Legendre et la réalité seules ne suffisent pas à garantir la non-vacuité de l'application proximale droite; une condition de semi-continuité inférieure supplémentaire est nécessaire. ## Travaux connexes Cet article s'appuie sur les travaux importants suivants: 1. **Kan & Song (2012)**: Théorie fondamentale de l'enveloppe de Moreau et des applications proximales au sens de Bregman 2. **Laude et al. (2023)**: Théorie de la $\Phi$-convexité et dualité 3. **Bauschke & Combettes (2017)**: Analyse convexe et théorie des opérateurs monotones 4. **Rockafellar & Wets (1998)**: Fondements de l'analyse variationnelle Par rapport aux travaux existants, les principales distinctions de cet article sont: - Adoption systématique d'une perspective de restriction du domaine - Correction des énoncés imprécis de la littérature - Extension à une classe plus large de fonctions ## Conclusion et discussion ### Conclusions principales 1. **Avantages de la méthode consciente du domaine**: En définissant les opérateurs sur le domaine naturel, on obtient une théorie plus concise et plus générale 2. **Correction des résultats existants**: Correction des énoncés imprécis concernant la continuité et la semi-continuité 3. **Unification théorique**: Placement des opérateurs de Bregman dans un cadre unifié de $\Phi$-convexité ### Limitations 1. **Hypothèses de convexité**: De nombreux résultats nécessitent toujours des hypothèses de convexité sous-jacentes 2. **Conditions techniques**: Certains résultats nécessitent des conditions techniques telles que la 1-coercivité 3. **Complexité computationnelle**: Discussion insuffisante de la complexité computationnelle de la mise en œuvre algorithmique ### Directions futures 1. **Étude des enveloppes de Klee**: Extension de la méthode consciente du domaine aux enveloppes de Klee 2. **Dgf non-différentiables**: Relâchement de l'exigence de différentiabilité de la fonction génératrice de distance 3. **Applications algorithmiques**: Développement d'algorithmes d'optimisation basés sur le nouveau cadre théorique ## Évaluation approfondie ### Points forts 1. **Rigueur théorique**: Traitement systématique des problèmes de restriction du domaine, comblant les lacunes théoriques 2. **Valeur pratique**: Extension des classes de fonctions traitables, en particulier les fonctions faiblement convexes relatives 3. **Clarté de la rédaction**: Structure claire de l'article, preuves détaillées et exemples abondants 4. **Valeur corrective**: Correction des imprécisions dans la littérature existante ### Insuffisances 1. **Exemples d'application limités**: Manque de cas d'application à des problèmes d'optimisation concrets 2. **Aspects computationnels**: Discussion insuffisante de la mise en œuvre algorithmique et de la complexité computationnelle 3. **Extension non-convexe**: Bien que la motivation implique le cas non-convexe, les résultats principaux restent concentrés sur le cadre convexe ### Impact potentiel 1. **Contribution théorique**: Fourniture d'une base théorique plus solide pour l'analyse de Bregman 2. **Valeur méthodologique**: La méthode consciente du domaine peut inspirer des recherches similaires dans d'autres domaines 3. **Potentiel pratique**: Fourniture de nouveaux outils pour traiter l'optimisation contrainte et les classes de fonctions non-standard ### Scénarios d'application 1. **Optimisation contrainte**: Problèmes d'optimisation où les fonctions sont naturellement définies sur des ensembles contraints 2. **Optimisation à lissité relative**: Conception d'algorithmes d'optimisation impliquant des fonctions à lissité relative 3. **Méthodes de Bregman**: Analyse théorique de diverses méthodes itératives de Bregman ## Références bibliographiques L'article cite 43 références importantes, incluant principalement: - Manuels classiques d'analyse convexe (Rockafellar, Bauschke & Combettes) - Littérature fondamentale sur les méthodes de Bregman (Kan & Song, Bauschke et al.) - Théorie récente de la $\Phi$-convexité (Laude et al.) - Théorie de la lissité relative (Lu et al., Bauschke et al.)