[논문 리뷰] Linear Convergence of the Douglas-Rachford Method for Two Closed Sets

Hung M. Phan|arXiv (Cornell University)|2014. 01. 25.

Optimization and Variational Analysis참고 문헌 21인용 수 5

한 줄 요약

이 논문은 유클리드 공간 내 두 닫힌 집합에 대해 정규성 조건 하에서 Douglas-Rachford (DR) 방법의 R-선형 수렴을 확립한다. 강한 정규성 조건 하에서 두 초정규 집합에 대해 국소 R-선형 수렴을 증명하며, 상대 내부가 비어 있는 두 볼록 집합에 대해 전역 R-선형 수렴을 확보하여 최근의 수렴 속도 결과를 복구하고 확장한다.

ABSTRACT

In this paper, we investigate the Douglas-Rachford method for two closed (possibly nonconvex) sets in Euclidean spaces. We show that under certain regularity conditions, the Douglas-Rachford method converges locally with R-linear rate. In convex settings, we prove that the linear convergence is global. Our study recovers recent results on the same topic.

연구 동기 및 목표

• 유클리드 공간 내 두 닫힌, 가능하게 비볼록인 집합에 대해 Douglas-Rachford 방법의 R-선형 수렴을 확립한다.
• 강한 정규성 및 애매한 쌍의 정규성과 같은 더 강력한 정규성 조건을 도입하여 이전의 국소 수렴 결과를 확장한다.
• 상대 내부가 비어 있는 두 볼록 집합에 대해 전역 R-선형 수렴을 증명한다.
• 고정점과 그림자 반복값(P_A x_n, P_B x_n)이 탇합 가능한 해로의 수렴에 미치는 역할을 명확히 한다.
• 명시적인 수렴 속도를 제공하고, 반복값 x_n이 느리게 수렴하더라도 그림자 수열이 여전히 선형으로 수렴함을 보여준다.

제안 방법

• 집합 A와 B에 대한 사영과 반사에 기반한 T(x) = ½(Id + R_B R_A)(x)로 정의되는 Douglas-Rachford 연산자를 사용한다.
• A ∪ B의 애매한 쌍을 고려하여 문제를 단순화하기 위해 애매한 쌍 축소를 적용한다.
• 수렴 행동을 분석하기 위해 Fejér 단조성과 사영의 비확장성 성질을 활용한다.
• 교차점에서 정규 쌍을 잘 다루기 위해 초정규성 개념을 도입하고 활용한다.
• 국소 R-선형 수렴을 보장하기 위해 강한 정규성 및 애매한 쌍 정규성 조건을 사용한다.
• 각도 및 선형 정규성의 모듈러스와 같은 기하학적 매개변수를 사용하여 명시적인 R-선형 수렴 속도를 유도한다.

실험 결과

연구 질문

• RQ1 두 비볼록 닫힌 집합에 대해 Douglas-Rachford 방법이 R-선형 수렴 속도로 수렴하는 조건은 무엇인가?
• RQ2 한 집합이 애매한 쌍이고 다른 집합이 초정규인 경우의 국소 R-선형 수렴 결과를 두 초정규 집합으로 확장할 수 있는가?
• RQ3 어떤 정규성 조건이 그림자 반복값 P_A x_n과 P_B x_n이 A ∩ B 내의 타당한 점으로 수렴하도록 보장하는가?
• RQ4 상대 내부의 교차가 비어 있지 않은 두 볼록 집합에 대해 전역 R-선형 수렴이 성립하는가?
• RQ5 볼록 설정에서 DR 방법의 정량적 수렴 속도는 무엇이며, 알려진 경계와 비교해보면 어떻게 되는가?

주요 결과

• A와 B가 초정규이고 시스템 {A,B}가 강한 정규성을 만족할 경우, DR 수렴 수열은 국소적으로 R-선형 수렴 속도를 가진다.
• A와 B가 초정규이고 {A,B}가 애매한 쌍 정규성을 만족할 경우, DR 수렴 수열은 고정점 x̄로 R-선형 수렴 속도를 가지며, P_A x̄ ≡ P_B x̄ ∈ A ∩ B이다.
• 상대 내부의 교차가 비어 있는 두 볼록 집합에 대해, DR 수렴 수열은 전역적으로 고정점 x̄로 R-선형 수렴 속도를 가지며, P_A x̄ ≡ P_B x̄ ∈ A ∩ B이다.
• 두 볼록 스트립에 대해 R²에서 명시적인 R-선형 수렴 속도를 도출하였으며, κ = √((17 + 2√2)/20) ≈ 0.922를 얻는다.
• 그림자 수열 (P_A x_n)과 (P_B x_n)은 반복값 x_n이 느리게 수렴하더라도 A ∩ B 내의 해로 R-선형으로 수렴한다.
• Hesse와 Luke(2015)의 이전 작업을 확장하며, 두 볼록 집합에 대해 전역 R-선형 수렴 결과를 처음으로 제공한다.