[论文解读] Attouch-Théra duality revisited: paramonotonicity and operator splitting

Heinz H. Bauschke, Radu Ioan Boţ+2 more|arXiv (Cornell University)|Oct 21, 2011

Optimization and Variational Analysis参考文献 33被引用 10

一句话总结

本文重新探討了Attouch-Théra對偶性，用於尋找兩最大 monotone 算子之和的零點，引入參數單調性作為關鍵性質，使得以從單一對偶解中恢復所有原始解。該文將最佳逼近結果推廣至參數單調算子，並提出Douglas-Rachford分裂算子的新固定點特徵化，進而提升單調算子理論中收斂性分析與對偶理解。

ABSTRACT

The problem of finding the zeros of the sum of two maximally monotone operators is of fundamental importance in optimization and variational analysis. In this paper, we systematically study Attouch-Théra duality for this problem. We provide new results related to Passty's parallel sum, to Eckstein and Svaiter's extended solution set, and to Combettes' fixed point description of the set of primal solutions. Furthermore, paramonotonicity is revealed to be a key property because it allows for the recovery of all primal solutions given just one arbitrary dual solution. As an application, we generalize the best approximation results by Bauschke, Combettes and Luke [J. Approx. Theory 141 (2006), 63-69] from normal cone operators to paramonotone operators. Our results are illustrated through numerous examples.

研究动机与目标

• 系統研究在尋找兩最大 monotone 算子之和的零點背景下，Attouch-Théra對偶性。
• 揭示參數單調性在簡化對偶性與解恢復中的關鍵作用。
• 將現有關於常規法線算子的最佳逼近結果，推廣至參數單調算子。
• 提供Douglas-Rachford分裂算子的新固定點特徵化，並精煉既有對原始解集合的描述。
• 在參數單調性與約束條件下，擴展對偶框架，包括Eckstein-Ferris-Robinson對偶。

提出的方法

• 利用Minty參數化，透過預解算子與反向預解算子，特徵化最大 monotone 算子的圖形。
• 提出Douglas-Rachford算子的新固定點描述，精煉Combettes對原始解集合的特徵化。
• 應用Passty的平行和與Eckstein-Svaiter的擴展解集合，分析解的結構。
• 運用參數單調性，證明Douglas-Rachford算子的固定點集在Hilbert空間中形成矩形。
• 使用逆預解恆等式與Fenchel共軛對偶性，推導原始解與對偶解之間的關係。
• 應用Halpern型與Haugazeau型演算法，示範在參數單調性下，預解迭代收斂至最佳逼近解。

实验结果

研究问题

• RQ1 參數單調性如何影響Attouch-Théra對偶性中解集合的結構？
• RQ2 在參數單調性下，是否能從單一對偶解中恢復所有原始解？
• RQ3 在參數單調性下，Douglas-Rachford分裂算子的固定點集為何？
• RQ4 如何將常規法線算子的最佳逼近結果推廣至參數單調算子？
• RQ5 在Eckstein-Ferris-Robinson對偶框架中，何種條件可確保算子$L^*CL$從$C$繼承參數單調性？

主要发现

• 參數單調性確保Douglas-Rachford算子的固定點集為Hilbert空間中的矩形，簡化了解的恢復。
• 在參數單調性下，所有原始解可從單一對偶解中恢復，此為關鍵結構性洞見。
• 本文將Bauschke、Combettes與Luke關於常規法線算子的最佳逼近結果，推廣至參數單調算子。
• 提供Douglas-Rachford算子的新固定點描述，精煉Combettes對原始解集合的特徵化。
• 若$C$為參數單調算子，且$\mathbb{R}_{++}(\operatorname{ran}L - \operatorname{dom}C)$為閉子空間，則算子$L^*CL$為參數單調。
• 在參數單調性下，確立Halpern型與Haugazeau型演算法收斂至解集合的最佳逼近。