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

حول المجال الطبيعي لمؤثرات بريغمان

المعلومات الأساسية

  • معرّف الورقة: 2506.00465
  • العنوان: On the natural domain of Bregman operators
  • المؤلفون: أندرياس ثيميليس (جامعة كيوشو)، زيوان وانغ (جامعة فيينا)
  • التصنيف: math.OC (تحسين وتحكم رياضي)
  • وقت التقديم: يناير 2025
  • رابط الورقة: https://arxiv.org/abs/2506.00465v2

الملخص

تقليديًا، تمت دراسة تطبيقات بريغمان التقريبية وأغلفة بريغمان-مورو للدوال المعرّفة على المساحة الكاملة Rn\mathbb{R}^n، على الرغم من أن هذه الإنشاءات تعتمد فقط على قيم الدالة داخل (المجال الداخلي) لمجال دالة توليد المسافة. بينما تكون هذه الاتفاقية غير ضارة بشكل أساسي في الإعدادات المحدبة، إلا أنها تؤدي إلى قيود جوهرية في الحالة غير المحدبة، حيث لا يمكنها تضمين فئات دوال مهمة مثل الدوال الضعيفة المحدبة نسبيًا. تعيد هذه الورقة النظر في الجوانب الأساسية لتحليل بريغمان من خلال اعتماد منظور يراعي المجال: تعريف الدوال على المجال الطبيعي المستحث من دالة توليد المسافة، وفرض الخصائص فقط بالنسبة لهذه المجموعة. لا يعمم هذا الإطار النتائج الموجودة فحسب، بل يصحح ويبسط بياناتها وإثباتاتها.

خلفية البحث والدافع

خلفية المشكلة

  1. قيود نظرية بريغمان التقليدية: تعرّف الأدبيات الموجودة عادة الدوال على المساحة الكاملة Rn\mathbb{R}^n، مما يتطلب أن تحقق الدوال الملاءمة (properness) والاستمرارية من الأسفل (lower semicontinuity) على المساحة الكاملة
  2. عدم التطابق في الاعتماد الفعلي: تطبيقات بريغمان التقريبية وأغلفة مورو تعتمد فعليًا فقط على قيم الدالة على domϕ\text{dom}\phi و intdomϕ\text{int}\text{dom}\phi، حيث ϕ\phi هي دالة توليد المسافة
  3. استبعاد فئات دوال مهمة: يستبعد الأسلوب التقليدي دوالاً مهمة مثل الدوال الضعيفة المحدبة نسبيًا، والتي يمكن أن تصبح محدبة بإضافة مضاعفات مناسبة من ϕ\phi

دافع البحث

  1. الاكتمال النظري: إنشاء إطار عمل أكثر طبيعية واكتمالاً لتحليل بريغمان
  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-المرافقة: وضع مؤثرات بريغمان في إطار نظرية Φ\Phi-المحدبة
  5. تجسيدات جديدة للنعومة النسبية: توفير شروط معادلة جديدة للنعومة النسبية، تربط بين قوة بريغمان والمحدبة القوية الخواصية

تفاصيل الطريقة

الإعداد الأساسي

دالة توليد المسافة: ϕ: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

مسافة بريغمان:

\phi(x) - \phi(y) - \langle\nabla\phi(y), x-y\rangle & \text{إذا كان } y \in \text{int}\text{dom}\phi \\ \infty & \text{وإلا} \end{cases}$$ ### تعريفات المؤثرات الأساسية **تطبيق بريغمان التقريبي الأيسر**: بالنسبة لـ $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\}$$ **تطبيق بريغمان التقريبي الأيمن**: بالنسبة لـ $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\}$$ **غلاف بريغمان-مورو**: يتم تعريف الأغلفة اليمنى واليسرى بشكل مناظر. ### نقاط الابتكار التقنية 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}$ محلية ليبشتز مستمرة 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$ ليجندر وقسرية بقوة 1، و $f: X \to \overline{\mathbb{R}}$ ملائمة وشبه مستمرة من الأسفل وحدبة. ما يلي متكافئ: 1. $f$ هي $B_\phi$-ناعمة 2. $\text{dom}f = X$ و $f = \phi - \tilde{f}^{*\hat{\Phi}*}(-\cdot)$ على $\text{int}X$ 3. $f$ تحقق عدم المساواة $B_\phi$-القسرية الموسعة 4. المرافقة فينشل $\tilde{f}^*$ تحقق عدم المساواة $a_{\phi^*}$-المحدبة القوية ## تحليل الأمثلة ### المثال 3.12: الحالة اللوغاريتمية لتكن $\phi(x) = -\ln(x)$ بالنسبة لـ $x \in X = (0,\infty)$، و $f(x) = \ln(x)$. على الرغم من أن $f$ لا يمكن توسيعها إلى دالة ملائمة وشبه مستمرة من الأسفل على $\mathbb{R}$، إلا أنها تتمتع بخصائص جيدة ضمن الإطار. ### المثال 3.24: أهمية التطبيق التقريبي الأيمن بناء مثال يوضح أن خاصية ليجندر والقيمة الحقيقية وحدها غير كافية لضمان عدم فراغ التطبيق التقريبي الأيمن، مما يتطلب شروطًا إضافية للاستمرارية من الأسفل. ## الأعمال ذات الصلة تبني هذه الورقة على الأعمال المهمة التالية: 1. **كان وسونغ (2012)**: النظرية الأساسية لأغلفة مورو والتطبيقات التقريبية بمعنى بريغمان 2. **لاود وآخرون (2023)**: نظرية $\Phi$-المحدبة والثنائية 3. **باوشكه وكومبيتس (2017)**: التحليل المحدب ونظرية المؤثرات الرتيبة 4. **روكافيلار وويتس (1998)**: أساسيات التحليل المتغير بالمقارنة مع الأعمال الموجودة، يكمن الاختلاف الرئيسي للورقة في: - اعتماد منظور تقييد المجال بشكل منهجي - تصحيح البيانات غير الدقيقة في الأدبيات - التوسع إلى فئات دوال أوسع ## الخلاصة والنقاش ### الاستنتاجات الرئيسية 1. **مزايا الطريقة التي تراعي المجال**: الحصول على نظرية أكثر إيجازًا وعمومية من خلال تعريف المؤثرات على المجالات الطبيعية 2. **تصحيح النتائج الموجودة**: تصحيح البيانات غير الدقيقة حول الاستمرارية والاستمرارية من الأسفل 3. **توحيد النظرية**: وضع مؤثرات بريغمان في إطار موحد من $\Phi$-المحدبة ### القيود 1. **افتراضات المحدبة**: تتطلب العديد من النتائج افتراضات محدبة أساسية 2. **الشروط التقنية**: تتطلب بعض النتائج شروطًا تقنية مثل القسرية بقوة 1 3. **التعقيد الحسابي**: لم يتم مناقشة التعقيد الحسابي لتنفيذ الخوارزمية بالتفصيل ### الاتجاهات المستقبلية 1. **دراسة أغلفة كلي**: توسيع طريقة تقييد المجال إلى أغلفة كلي 2. **دوال توليد المسافة غير القابلة للاشتقاق**: تخفيف متطلبات الاشتقاقية لدوال توليد المسافة 3. **تطبيقات الخوارزميات**: تطوير خوارزميات تحسين بناءً على إطار العمل النظري الجديد ## التقييم المتعمق ### المزايا 1. **الصرامة النظرية**: معالجة منهجية لمشاكل تقييد المجال، ملء الفجوات النظرية 2. **القيمة العملية**: توسيع فئات الدوال القابلة للمعالجة، خاصة الدوال الضعيفة المحدبة نسبيًا 3. **الوضوح في الكتابة**: هيكل الورقة واضح، الإثباتات مفصلة، الأمثلة غنية 4. **قيمة التصحيح**: تصحيح عدم الدقة في الأدبيات الموجودة ### أوجه القصور 1. **أمثلة التطبيق محدودة**: نقص حالات تطبيق لمشاكل تحسين محددة 2. **الجوانب الحسابية**: مناقشة غير كافية لتنفيذ الخوارزمية والتعقيد الحسابي 3. **التوسع غير المحدب**: على الرغم من أن الدافع يتضمن الحالات غير المحدبة، إلا أن النتائج الرئيسية تركز على الإعدادات المحدبة ### القوة التأثيرية 1. **المساهمة النظرية**: توفير أساس نظري أكثر صلابة لتحليل بريغمان 2. **القيمة المنهجية**: قد تلهم طريقة تقييد المجال أبحاثًا مماثلة في مجالات أخرى 3. **الإمكانية العملية**: توفير أدوات جديدة لمعالجة التحسين المقيد والدوال غير القياسية ### السيناريوهات المعمول بها 1. **التحسين المقيد**: مشاكل التحسين حيث تُعرّف الدوال بشكل طبيعي على مجموعات مقيدة 2. **تحسين النعومة النسبية**: تصميم خوارزميات التحسين التي تتضمن دوالاً ناعمة نسبيًا 3. **طرق بريغمان**: التحليل النظري لطرق التكرار المختلفة لبريغمان ## المراجع تستشهد الورقة بـ 43 مرجعًا مهمًا، تشمل بشكل أساسي: - الكتب المدرسية الكلاسيكية في التحليل المحدب (روكافيلار، باوشكه وكومبيتس) - أدبيات أساسية لطرق بريغمان (كان وسونغ، باوشكه وآخرون) - نظرية $\Phi$-المحدبة الحديثة (لاود وآخرون) - نظرية النعومة النسبية (لو وآخرون، باوشكه وآخرون)