[논문 리뷰] Regularity of collections of sets and convergence of inexact alternating projections

Alexander Y. Kruger, Nguyen Hieu Thao|arXiv (Cornell University)|2015. 01. 17.

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

한 줄 요약

이 논문은 집합의 정밀한 정규성 성질을 활용하여 타당성 문제에서 비정확한 교대 투영 방법의 수렴 속도를 확립한다. $\sigma$-투영을 도입하고 제한된 법선 벡터와 초정규성의 성질을 활용함으로써, 고전적인 균일 정규성보다 더 약한 조건에서도 $\sqrt{c}$의 수렴 속도로 R-선형 수렴을 증명하며, 비볼록 및 비볼록 유사 설정에 대한 적용 가능성을 향상시킨다.

ABSTRACT

We study the usage of regularity properties of collections of sets in convergence analysis of alternating projection methods for solving feasibility problems. Several equivalent characterizations of these properties are provided. Two settings of inexact alternating projections are considered and the corresponding convergence estimates are established and discussed.

연구 동기 및 목표

• 유한차원 공간에서 타당성 문제에 대한 비정확한 교대 투영 방법의 수렴을 분석하는 것.
• 교대 투영에 특화된 제한된 정규성 성질로 고전적인 균일 정규성의 개념을 대체함으로써 고전적 수렴 결과를 보완하는 것.
• 이전 연구보다 더 약한 가정 하에 R-선형 수렴 속도를 확립하는 것, 특히 비볼록 집합에 대해 적용 가능하도록 하는 것.
• 투영 과정과 관련된 법선 및 방향에만 집중함으로써 수렴 이론의 적용 가능성을 향상시키는 것.
• 정규성 상수와 비정확성 파라미터에 따라 수렴의 정량적 추정을 제공하는 것.

제안 방법

• $\sigma$-투영을 정확한 투영의 일반화로 도입하여 $\sigma \in [0,1)$로 제어되는 비정확성을 允허한다.
• 교대 투영에 관련된 방향만 포착하기 위해 제한된 극한 법선 벡터 $\overline{N}_A^B(\bar{x})$와 $\overline{N}_B^A(\bar{x})$를 사용한다.
• 벡터 $b - a_2$, $u$, $v$ 사이의 각도 추정에 기반한 기하적 추론을 활용하여余弦과 사인의 경계를 사용해 수축 부등식을 유도한다.
• 수렴 속도가 $c < 1$인 재귀 부등식 $\|x_{n+2} - x_{n+1}\| \leq c \|x_{n+1} - x_n\|$를 확립함으로써 R-선형 수렴을 증명한다.
• $\mathbb{B}_\delta(\bar{x})$ 내부의 코시 수열 추론을 적용하여 $A \cap B$로의 수렴을 보장한다.
• 고전적인 균일 정규성과 초정규성의 대안으로 BLPW-제한 정규성과 $B$-초정규성의 개념을 사용한다.

실험 결과

연구 질문

• RQ1 고전적인 균일 정규성보다 더 약한 정규성 가정 하에 비정확한 교대 투영의 수렴 속도를 확립할 수 있는가?
• RQ2 교대 투영에 관련된 방향에만 국한된 법선 벡터의 제한이 수렴 분석에 어떤 영향을 미치는가?
• RQ3 비정확성($\sigma$로 제어됨)이 방법의 수렴 속도와 안정성에 어떤 영향을 미치는가?
• RQ4 두 집합이 모두 초정규성일 경우 수렴 속도를 향상시킬 수 있으며, 만약 가능하면 그 방법은 무엇인가?
• RQ5 고전적인 Bregman 및 Bauschke & Borwein의 수렴 결과를 정밀한 정규성 개념을 활용해 비볼록 설정으로 일반화할 수 있는 정도는 어느 정도인가?

주요 결과

• 집합 $A$가 $\bar{x}$에서 초정규성일 때 $\hat{c}[A,B](\bar{x}) < 1$ 이면 $\sigma$-교대 투영에서 수렴 속도 $\sqrt{c}$로 R-선형 수렴을 달성한다. 이때 $c \in (\bar{c}, 1)$이다.
• 두 집합 $A$와 $B$가 모두 초정규성일 경우 대칭적인 수축이 매 반복마다 발생하므로 수렴 속도가 유지되고 $c$로 향상된다.
• 초기 점들이 $\mathbb{B}_\rho(\bar{x})$ 내부에 있을 경우 $\rho = \frac{1-c}{5-c}\delta$ 이면 $\sigma$-투영의 수열은 항상 이웃 영역 $\mathbb{B}_\delta(\bar{x})$ 내부에 머물며, 국소 정규성 조건의 적용 가능성을 보장한다.
• 비정확성에 대한 수렴 추정은 강인하다: $\sigma < 1$ 이면 비정확한 투영을 사용하더라도 수렴이 유지되며, $\sigma \to 0$일수록 정확한 경우에 수렴 속도에 가까워진다.
• 제한된 법선 벡터와 BLPW-제한 정규성의 사용은 고전적인 균일 정규성보다 엄밀히 더 약한 가정 하에서도 수렴 가능성을 보장한다.
• 벡터와 법선 사이의 각도 추정에 기반한 기하적 추론은 수축 속도의 정량적 기초를 제공하며, $c_1$과 $\sigma$는 관련 각도의 코시와 사인을 제한하는 데 핵심적인 역할을 한다.