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

Bregman作用素の自然定義域について

基本情報

  • 論文ID: 2506.00465
  • タイトル: On the natural domain of Bregman operators
  • 著者: Andreas Themelis（九州大学）、Ziyuan Wang（ウィーン大学）
  • 分類: math.OC（数学最適化と制御）
  • 提出時期: 2025年1月
  • 論文リンク: https://arxiv.org/abs/2506.00465v2

要旨

従来、Bregman近似作用素とBregman-Moreau包絡は、全空間Rn\mathbb{R}^n上で定義された関数に対して研究されてきた。しかし、これらの構成は距離生成関数（dgf）の定義域（の内部）内の関数値のみに依存している。この慣例は凸設定では本質的に無害であるが、非凸の場合には実質的な制限をもたらす。なぜなら、相対弱凸関数のような重要な関数クラスを包含できないからである。本論文は、dgfが誘導する自然定義域上で関数を定義し、この集合に対してのみ性質を課すという定義域認識的観点を採用することで、Bregman分析の基礎的側面を再検討する。このフレームワークは既存の結果を一般化するだけでなく、それらの陳述と証明を修正し簡潔にする。

研究背景と動機

問題背景

  1. 従来のBregman理論の限界: 既存文献は通常、関数を全空間Rn\mathbb{R}^n上で定義し、関数が全空間で適切性（properness）と下半連続性（lower semicontinuity）を満たすことを要求する
  2. 実際の依存性の不一致: Bregman近似作用素とMoreau包絡は、実際にはdomϕ\text{dom}\phiとintdomϕ\text{int}\text{dom}\phi上の関数値のみに依存する。ここでϕ\phiは距離生成関数である
  3. 重要な関数クラスの除外: 従来の方法は相対弱凸関数などの重要なクラスを除外する。これらの関数は適切なϕ\phiの倍数を加えることで凸関数に変換できる

研究動機

  1. 理論的完全性: より自然で完全なBregman分析フレームワークの構築
  2. 応用範囲の拡張: より広い関数クラス、特に非凸最適化で重要な相対弱凸関数の包含
  3. 理論の簡潔化: 不要な技術的仮定の排除と証明・陳述の簡潔化

核心的貢献

  1. 定義域認識フレームワークの提案: 関数を自然定義域X:=domϕX := \text{dom}\phiとY:=intdomϕY := \text{int}\text{dom}\phi上で定義し、全空間Rn\mathbb{R}^nではなく定義する
  2. 既存結果の修正: 文献における連続性と半連続性に関する不正確な陳述を訂正
  3. 適用範囲の拡張: 全空間への拡張と性質の保持が不可能な関数クラスを包含
  4. Φ\Phi-共役の関連付け: Bregman作用素をΦ\Phi-凸性理論のフレームワーク内に配置
  5. 相対平滑性の新しい特性化: 相対平滑性の新しい等価条件を提供し、Bregman余強制性と異方性強凸性を結合

方法論の詳細

基本設定

距離生成関数: ϕ:Rn→R‾\phi: \mathbb{R}^n \to \overline{\mathbb{R}}は適切で、下半連続で、凸であり、intdomϕ≠∅\text{int}\text{dom}\phi \neq \emptyset上で微分可能である。以下を定義する：

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

Bregman距離:

\phi(x) - \phi(y) - \langle\nabla\phi(y), x-y\rangle & \text{if } y \in \text{int}\text{dom}\phi \\ \infty & \text{otherwise} \end{cases}$$ ### 核心作用素の定義 **左Bregman近似作用素**: $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\}$$ **右Bregman近似作用素**: $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\}$$ **Bregman-Moreau包絡**: 対応する左右の包絡関数を定義する。 ### 技術的革新点 1. **定義域制限法**: 作用素の定義域と値域を自然集合に制限することで、関数拡張時の技術的困難を回避 2. **相対位相の処理**: 部分集合上の位相的性質（相対連続性、相対コンパクト性など）を体系的に処理 3. **規範的拡張理論**: 関数と作用素の全空間への規範的拡張理論を確立し、主要な性質を保持 ## 理論的結果 ### 左作用素の性質 **定理3.10**: $\phi$が1-強制的であり、$f: X \to \overline{\mathbb{R}}$が適切で、下半連続で、$\phi$-近似有界であるとする。任意の$\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}$は連続である 3. $\overleftarrow{\text{prox}}^{\phi}_{\lambda f}: Y \rightrightarrows X$はコンパクト値で上半連続である ### 右作用素の分析 **定理3.23**: $\text{dom}\phi = \mathbb{R}^n$であり、$g: Y \to \overline{\mathbb{R}}$が適切で右$\phi$-近似有界であるとする。$\lambda \in (0, \lambda^{\phi}_{\vec{g}})$に対して： 1. $\overrightarrow{\text{env}}^{\phi}_{\lambda g}: X \to \mathbb{R}$は局所Lipschitz連続である 2. 適切な条件下で、$\nabla\phi \circ \overrightarrow{\text{prox}}^{\phi}_{\lambda g}$は局所有界で、外半連続で、上半連続である ### $\Phi$-共役の視点 $\Phi = -\frac{1}{\lambda}D_\phi$と設定することで、$\Phi$-凸性理論との関連を確立： **系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}$ ### 相対平滑性の新しい特性化 **定理4.10**: $\phi$がLegendre関数で1-強制的であり、$f: X \to \overline{\mathbb{R}}$が適切で下半連続で凸であるとする。以下は等価である： 1. $f$は$B_\phi$-平滑である 2. $\text{dom}f = X$であり、$\text{int}X$上で$f = \phi - \tilde{f}^{*\hat{\Phi}*}(-\cdot)$ 3. $f$は拡張$B_\phi$-余強制性不等式を満たす 4. Fenchel共役$\tilde{f}^*$は$a_{\phi^*}$-強凸性不等式を満たす ## 具体例の分析 ### 例3.12: 対数の場合 $\phi(x) = -\ln(x)$（$x \in X = (0,\infty)$）、$f(x) = \ln(x)$とする。$f$は$\mathbb{R}$上の適切な下半連続関数に拡張できないが、本フレームワーク内では良好な性質を享受する。 ### 例3.24: 右近似作用素の重要性 Legendre性と実値性のみでは右近似作用素の非空性を保証するのに不十分であり、追加の下半連続性条件が必要であることを示す例を構成。 ## 関連研究 本論文は以下の重要な研究に基づいている： 1. **Kan & Song (2012)**: Bregman意味でのMoreau包絡と近似作用素の基礎理論 2. **Laude et al. (2023)**: $\Phi$-凸性理論と双対性 3. **Bauschke & Combettes (2017)**: 凸分析と単調作用素理論 4. **Rockafellar & Wets (1998)**: 変分分析の基礎 既存研究との主な相違点： - 定義域制限の視点を体系的に採用 - 文献における不正確な陳述を修正 - より広い関数クラスへの拡張 ## 結論と考察 ### 主要な結論 1. **定義域認識法の利点**: 自然定義域上で作用素を定義することで、より簡潔で一般的な理論を得た 2. **既存結果の修正**: 連続性と半連続性に関する不正確な陳述を訂正 3. **理論的統一**: Bregman作用素を$\Phi$-凸性の統一フレームワーク内に配置 ### 制限事項 1. **凸性の仮定**: 多くの結果は依然として基礎的な凸性の仮定を必要とする 2. **技術的条件**: 1-強制性などの技術的条件が必要な結果がある 3. **計算複雑性**: アルゴリズム実装の計算複雑性については詳細に論じられていない ### 今後の方向性 1. **Klee包絡の研究**: 定義域認識法をKlee包絡に拡張 2. **非微分可能dgf**: 距離生成関数の微分可能性要件の緩和 3. **アルゴリズム応用**: 新しい理論フレームワークに基づく最適化アルゴリズムの開発 ## 深い評価 ### 利点 1. **理論的厳密性**: 定義域制限の問題を体系的に処理し、理論的空白を埋めた 2. **実用的価値**: 処理可能な関数クラスを拡張し、特に相対弱凸関数を含める 3. **記述の明確性**: 論文構成が明確で、証明が詳細で、例が豊富 4. **修正の価値**: 既存文献における不正確さを訂正 ### 不足点 1. **応用例の限定**: 具体的な最適化問題への応用事例が不足 2. **計算面**: アルゴリズム実装と計算複雑性の議論が不十分 3. **非凸拡張**: 動機は非凸の場合を含むが、主要な結果は凸設定に集中 ### 影響力 1. **理論的貢献**: Bregman分析に対してより堅実な理論的基礎を提供 2. **方法論的価値**: 定義域認識法は他の分野の類似研究にも着想を与える可能性 3. **実用的可能性**: 制約付き最適化と非標準関数クラスの処理に新しいツールを提供 ### 適用場面 1. **制約付き最適化**: 関数が制約集合上で自然に定義される最適化問題 2. **相対平滑最適化**: 相対平滑関数を含む最適化アルゴリズムの設計 3. **Bregman法**: 各種Bregman反復法の理論的分析 ## 参考文献 論文は43篇の重要な文献を引用しており、主に以下を含む： - 凸分析の古典的教科書（Rockafellar、Bauschke & Combettes） - Bregman法の基礎文献（Kan & Song、Bauschke et al.） - 最新の$\Phi$-凸性理論（Laude et al.） - 相対平滑性理論（Lu et al.、Bauschke et al.）