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

Sulla domain naturale degli operatori di Bregman

Informazioni Fondamentali

  • ID Articolo: 2506.00465
  • Titolo: On the natural domain of Bregman operators
  • Autori: Andreas Themelis (Università di Kyushu), Ziyuan Wang (Università di Vienna)
  • Classificazione: math.OC (Ottimizzazione e Controllo Matematico)
  • Data di Sottomissione: Gennaio 2025
  • Link Articolo: https://arxiv.org/abs/2506.00465v2

Riassunto

Tradizionalmente, le mappe approssimanti di Bregman e gli inviluppi di Bregman-Moreau sono stati studiati per funzioni definite su tutto lo spazio Rn\mathbb{R}^n, sebbene queste costruzioni dipendano solo dai valori della funzione all'interno (interno) del dominio della funzione generatrice di distanza (dgf). Sebbene questa convenzione sia sostanzialmente innocua nel contesto convesso, nel caso non convesso produce limitazioni sostanziali, poiché non può includere importanti classi di funzioni, come le funzioni relativamente debolmente convesse. Questo articolo riesamina gli aspetti fondamentali dell'analisi di Bregman adottando una prospettiva consapevole del dominio: definendo funzioni sul dominio naturale indotto dalla dgf e imponendo proprietà solo relativamente a questo insieme. Questo framework non solo generalizza i risultati esistenti, ma corregge e semplifica anche i loro enunciati e dimostrazioni.

Contesto di Ricerca e Motivazione

Contesto del Problema

  1. Limitazioni della teoria di Bregman tradizionale: La letteratura esistente generalmente definisce funzioni su tutto lo spazio Rn\mathbb{R}^n, richiedendo che le funzioni soddisfino la propietà (properness) e la semicontinuità inferiore (lower semicontinuity) su tutto lo spazio
  2. Disallineamento della dipendenza effettiva: Le mappe approssimanti di Bregman e l'inviluppo di Moreau dipendono effettivamente solo dai valori della funzione su domϕ\text{dom}\phi e intdomϕ\text{int}\text{dom}\phi, dove ϕ\phi è la funzione generatrice di distanza
  3. Esclusione di classi di funzioni importanti: L'approccio tradizionale esclude classi importanti come le funzioni relativamente debolmente convesse, che possono diventare convesse aggiungendo multipli appropriati di ϕ\phi

Motivazione della Ricerca

  1. Completezza teorica: Stabilire un framework di analisi di Bregman più naturale e completo
  2. Estensione delle applicazioni: Includere classi di funzioni più ampie, in particolare funzioni relativamente debolmente convesse importanti nell'ottimizzazione non convessa
  3. Semplificazione della teoria: Eliminare ipotesi tecniche non necessarie, semplificando dimostrazioni ed enunciati

Contributi Principali

  1. Proposizione di un framework consapevole del dominio: Definire funzioni sul dominio naturale X:=domϕX := \text{dom}\phi e Y:=intdomϕY := \text{int}\text{dom}\phi, piuttosto che su tutto Rn\mathbb{R}^n
  2. Correzione dei risultati esistenti: Correggere enunciati imprecisi nella letteratura riguardanti la continuità e la semicontinuità
  3. Estensione dell'ambito di applicabilità: Includere classi di funzioni che non possono essere estese a tutto lo spazio mantenendo le proprietà
  4. Stabilimento di connessioni Φ\Phi-coniugate: Collocare gli operatori di Bregman nel framework della teoria della Φ\Phi-convessità
  5. Nuove caratterizzazioni della levigatezza relativa: Fornire nuove condizioni equivalenti per la levigatezza relativa, collegando la residualità di Bregman e la forte convessità anisotropa

Dettagli Metodologici

Impostazione Fondamentale

Funzione generatrice di distanza: ϕ:Rn→R‾\phi: \mathbb{R}^n \to \overline{\mathbb{R}} è propria, semicontinua inferiormente, convessa e differenziabile su intdomϕ≠∅\text{int}\text{dom}\phi \neq \emptyset. Definiamo:

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

Distanza di Bregman:

\phi(x) - \phi(y) - \langle\nabla\phi(y), x-y\rangle & \text{se } y \in \text{int}\text{dom}\phi \\ \infty & \text{altrimenti} \end{cases}$$ ### Definizioni degli Operatori Principali **Mappa approssimante di Bregman sinistra**: Per $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\}$$ **Mappa approssimante di Bregman destra**: Per $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\}$$ **Inviluppo di Bregman-Moreau**: Definiamo di conseguenza le funzioni inviluppo sinistre e destre. ### Innovazioni Tecniche 1. **Metodo di restrizione del dominio**: Evitare difficoltà tecniche nell'estensione di funzioni limitando il dominio e il codominio degli operatori a insiemi naturali 2. **Trattamento della topologia relativa**: Gestire sistematicamente proprietà topologiche su sottoinsiemi, come la continuità relativa e la compattezza 3. **Teoria dell'estensione canonica**: Stabilire una teoria canonica dell'estensione di funzioni e operatori a tutto lo spazio, preservando proprietà chiave ## Risultati Teorici ### Proprietà dell'Operatore Sinistro **Teorema 3.10**: Sia $\phi$ 1-coercitivo, $f: X \to \overline{\mathbb{R}}$ proprio, semicontinuo inferiormente, $\phi$-approssimativamente limitato. Per ogni $\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}$ è continuo 3. $\overleftarrow{\text{prox}}^{\phi}_{\lambda f}: Y \rightrightarrows X$ è a valori compatti e semicontinuo superiormente ### Analisi dell'Operatore Destro **Teorema 3.23**: Sia $\text{dom}\phi = \mathbb{R}^n$, $g: Y \to \overline{\mathbb{R}}$ proprio, destro $\phi$-approssimativamente limitato. Per $\lambda \in (0, \lambda^{\phi}_{\vec{g}})$: 1. $\overrightarrow{\text{env}}^{\phi}_{\lambda g}: X \to \mathbb{R}$ è localmente Lipschitz continuo 2. Sotto condizioni appropriate, $\nabla\phi \circ \overrightarrow{\text{prox}}^{\phi}_{\lambda g}$ è localmente limitato, esternamente semicontinuo, semicontinuo superiormente ### Prospettiva $\Phi$-Coniugata Stabilendo $\Phi = -\frac{1}{\lambda}D_\phi$, colleghiamo la teoria della $\Phi$-convessità: **Corollario 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}$ ### Nuove Caratterizzazioni della Levigatezza Relativa **Teorema 4.10**: Sia $\phi$ Legendre e 1-coercitivo, $f: X \to \overline{\mathbb{R}}$ proprio, semicontinuo inferiormente, convesso. I seguenti sono equivalenti: 1. $f$ è $B_\phi$-liscio 2. $\text{dom}f = X$ e su $\text{int}X$ $f = \phi - \tilde{f}^{*\hat{\Phi}*}(-\cdot)$ 3. $f$ soddisfa la disuguaglianza di residualità estesa $B_\phi$ 4. Il coniugato di Fenchel $\tilde{f}^*$ soddisfa la disuguaglianza di forte convessità $a_{\phi^*}$ ## Analisi di Esempi ### Esempio 3.12: Caso Logaritmico Sia $\phi(x) = -\ln(x)$ per $x \in X = (0,\infty)$, $f(x) = \ln(x)$. Sebbene $f$ non possa essere esteso a una funzione propria e semicontinua inferiormente su $\mathbb{R}$, gode comunque di buone proprietà all'interno del framework. ### Esempio 3.24: Importanza della Mappa Approssimante Destra Costruiamo un esempio che dimostra come la sola proprietà di Legendre e la realità non siano sufficienti a garantire la non-vuotezza della mappa approssimante destra, richiedendo condizioni aggiuntive di semicontinuità inferiore. ## Lavori Correlati Questo articolo si basa sui seguenti lavori importanti: 1. **Kan & Song (2012)**: Teoria fondamentale dell'inviluppo di Moreau e delle mappe approssimanti nel senso di Bregman 2. **Laude et al. (2023)**: Teoria della $\Phi$-convessità e dualità 3. **Bauschke & Combettes (2017)**: Analisi convessa e teoria degli operatori monotoni 4. **Rockafellar & Wets (1998)**: Fondamenti dell'analisi variazionale Rispetto ai lavori esistenti, le principali differenze di questo articolo sono: - Adozione sistematica della prospettiva di restrizione del dominio - Correzione di enunciati imprecisi nella letteratura - Estensione a classi di funzioni più ampie ## Conclusioni e Discussione ### Conclusioni Principali 1. **Vantaggi del metodo consapevole del dominio**: Definendo gli operatori sul dominio naturale, si ottiene una teoria più concisa e generale 2. **Correzione dei risultati esistenti**: Correzione di enunciati imprecisi riguardanti la continuità e la semicontinuità 3. **Unificazione teorica**: Collocazione degli operatori di Bregman nel framework unificato della $\Phi$-convessità ### Limitazioni 1. **Ipotesi di convessità**: Molti risultati richiedono ancora ipotesi di convessità sottostante 2. **Condizioni tecniche**: Alcuni risultati richiedono condizioni tecniche come la 1-coercitività 3. **Complessità computazionale**: Discussione insufficiente della complessità computazionale nell'implementazione algoritmica ### Direzioni Future 1. **Studio degli inviluppi di Klee**: Estensione del metodo consapevole del dominio agli inviluppi di Klee 2. **Funzioni generatrici non differenziabili**: Rilassamento del requisito di differenziabilità della funzione generatrice di distanza 3. **Applicazioni algoritmiche**: Sviluppo di algoritmi di ottimizzazione basati sul nuovo framework teorico ## Valutazione Approfondita ### Punti di Forza 1. **Rigore teorico**: Trattamento sistematico dei problemi di restrizione del dominio, colmando lacune teoriche 2. **Valore pratico**: Estensione delle classi di funzioni gestibili, in particolare funzioni relativamente debolmente convesse 3. **Chiarezza della presentazione**: Struttura dell'articolo chiara, dimostrazioni dettagliate, esempi ricchi 4. **Valore correttivo**: Correzione di imprecisioni nella letteratura esistente ### Insufficienze 1. **Esempi di applicazione limitati**: Mancanza di casi di problemi di ottimizzazione concreti 2. **Aspetti computazionali**: Discussione insufficiente dell'implementazione algoritmica e della complessità computazionale 3. **Estensione non convessa**: Sebbene la motivazione riguardi il caso non convesso, i risultati principali rimangono concentrati nell'impostazione convessa ### Impatto 1. **Contributo teorico**: Fornisce una base teorica più solida per l'analisi di Bregman 2. **Valore metodologico**: Il metodo consapevole del dominio potrebbe ispirare ricerche simili in altri campi 3. **Potenziale pratico**: Fornisce nuovi strumenti per affrontare l'ottimizzazione vincolata e classi di funzioni non standard ### Scenari di Applicabilità 1. **Ottimizzazione vincolata**: Problemi di ottimizzazione dove le funzioni sono naturalmente definite su insiemi vincolati 2. **Ottimizzazione con levigatezza relativa**: Progettazione di algoritmi di ottimizzazione che coinvolgono funzioni relativamente lisce 3. **Metodi di Bregman**: Analisi teorica di vari metodi iterativi di Bregman ## Bibliografia L'articolo cita 43 importanti riferimenti, principalmente includenti: - Testi classici di analisi convessa (Rockafellar, Bauschke & Combettes) - Letteratura fondamentale sui metodi di Bregman (Kan & Song, Bauschke et al.) - Teoria recente della $\Phi$-convessità (Laude et al.) - Teoria della levigatezza relativa (Lu et al., Bauschke et al.)