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
  • शीर्षक: Bregman संचालकों के प्राकृतिक प्रांत पर
  • लेखक: Andreas Themelis (क्यूशु विश्वविद्यालय), Ziyuan Wang (वियना विश्वविद्यालय)
  • वर्गीकरण: math.OC (गणितीय अनुकूलन और नियंत्रण)
  • प्रस्तुति समय: जनवरी 2025
  • पेपर लिंक: https://arxiv.org/abs/2506.00465v2

सारांश

परंपरागत रूप से, Bregman निकटता मानचित्र और Bregman-Moreau आवरण को संपूर्ण स्थान Rn\mathbb{R}^n पर परिभाषित कार्यों के लिए अध्ययन किया गया है, हालांकि ये निर्माण केवल दूरी उत्पादक कार्य (dgf) के प्रांत (आंतरिक भाग) के भीतर परिभाषित कार्य मानों पर निर्भर करते हैं। यद्यपि यह सम्मेलन उत्तल सेटिंग में अनिवार्य रूप से हानिरहित है, गैर-उत्तल स्थिति में यह महत्वपूर्ण सीमाएं उत्पन्न करता है, क्योंकि यह महत्वपूर्ण कार्य वर्गों को शामिल नहीं कर सकता है, जैसे कि सापेक्ष रूप से कमजोर उत्तल कार्य। यह पेपर प्रांत-सचेत दृष्टिकोण को अपनाकर Bregman विश्लेषण के मौलिक पहलुओं पर पुनर्विचार करता है: कार्यों को dgf द्वारा प्रेरित प्राकृतिक प्रांत पर परिभाषित करना, और केवल इस समुच्चय के सापेक्ष गुणों को लागू करना। यह ढांचा न केवल मौजूदा परिणामों को सामान्यीकृत करता है, बल्कि उनके कथन और प्रमाणों को सुधारता और सरल भी करता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  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{यदि } y \in \text{int}\text{dom}\phi \\ \infty & \text{अन्यथा} \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.)