[논문 리뷰] On Fejér monotone sequences and nonexpansive mappings

Heinz H. Bauschke, Minh N. Dao외 1명|arXiv (Cornell University)|2015. 07. 20.

Optimization and Variational Analysis참고 문헌 11인용 수 7

한 줄 요약

이 논문은 실 힐버트 공간에서 피제르 모노톤 수열의 새로운 수렴 조건을 확립하며, 특히 유한차원 및 점근적 정규성 조건 하에서 다루고 있다. 고정점 집합의 여차원이 1 이하인 평균화 비확장 사상에 대해, 차분 수열 $ T^n x - T^n y $ 가 수렴함을 증명하며, 표준 피제르 모노톤성 이외의 수렴 결과를 확장하고 최적화 및 고정점 이론에서 반복 알고리즘 분석을 위한 핵심 도구를 제공한다.

ABSTRACT

The notion of Fejér monotonicity has proven to be a fruitful concept in fixed point theory and optimization. In this paper, we present new conditions sufficient for convergence of Fejér monotone sequences and we also provide applications to the study of nonexpansive mappings. Various examples illustrate our results.

연구 동기 및 목표

• 유한차원 설정에서 힐버트 공간 내 피제르 모노톤 수열의 수렴을 위한 새로운 충분조건을 규명하는 것.
• 고정점 집합의 여차원이 낮을 경우 비확장 및 평균화 사상에 의해 생성된 수열의 수렴 결과를 확장하는 것.
• 고정점 이론의 열린 문제를, 사상과 그 고정점 집합의 다양한 구조적 가정 하에서 $ T^n x - T^n y $ 의 행동을 분석하여 해결하는 것.
• 피제르 모노톤성과 점근적 정규성을 활용하여 수렴 보장을 강화함으로써, 볼록 최적화의 반복 알고리즘에 대한 이론적 기초를 마련하는 것.

제안 방법

• 기저 집합이 $ E + K $ 인 경우, 피제르 모노톤성을 두 성분으로 분해: 집합 $ E $ 에 대한 피제르 모노톤성과 코너 $ K^\oplus $ 에의 소속.
• 유한차원 분석을 적용하여, 그림자 수열 $ P_A x_n $ 의 모든 집합점이 $ C $ 에 속할 경우, $ P_A x_n \to \lim P_C x_n $ 를 유도하며, 이는 $ C \subseteq A $ 에 대한 피제르 모노톤성 하에서 성립한다.
• 점근적 정규성과 평균화 사상의 구조를 활용하여 $ T^n x - T^n y $ 의 행동을 분석하며, 특히 $ \mathbb{R}^2 $ 와 $ \mathbb{R}^3 $ 에서 다룬다.
• 정규 코너, 프로젝터, 반사기 등을 활용한 기하학적 및 변분 기법을 사용하여 Douglas–Rachford 연산자의 고정점 집합을 분석한다.
• 약한 집합점과 그들이 차분 집합 $ C - C $ 와 수직임을 이용하여 수렴 기준을 도출한다.
• 고정된 비확장 및 평균화 사상에 대한 기존 결과를 활용하여, 차분 수열 $ T^n x - T^n y $ 의 수렴을 이끌어내는 재귀 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 기저 집합의 내부가 공집일 경우, 피제르 모노톤 수열이 강수렴하는 조건은 무엇인가?
• RQ2 고정점 집합의 여차원이 1 이하일 때, 평균화 비확장 사상에 대해 $ T^n x - T^n y $ 의 차분 수열이 수렴하는가?
• RQ3 고정점 집합이 반직선일 경우, 고차원 공간(예: $ \mathbb{R}^3 $) 에서 $ T^n x - T^n y $ 의 수렴을 보장할 수 있는가?
• RQ4 고정점 집합이 공집일지라도 사상이 평균화일 경우, $ T^n x - T^n y $ 의 수렴은 어떻게 되는가?
• RQ5 고정점 집합의 여차원이 2일지라도, $ \mathbb{R}^3 $ 에서 Douglas–Rachford 연산자에 대해 $ T^n x + nv $ 의 수렴이 성립하는가?

주요 결과

• 유한차원 공간에서, $ P_A x_n $ 의 모든 집합점이 $ C $ 에 속할 경우, $ (x_n) $ 이 $ C \subseteq A $ 에 대해 피제르 모노톤일 때 $ P_A x_n \to \lim P_C x_n $ 를 만족한다.
• $ \mathbb{R} $ 에서 평균화 비확장 사상에 대해, $ \operatorname{Fix}(T) = \varnothing $ 이더라도 일정한 유계성 및 부호 변화 조건 하에서 차분 수열 $ T^n x - T^n y $ 가 수렴한다.
• $ \mathbb{R}^2 $ 에서, $ T $ 가 평균화이고 $ v \neq 0 $ 이며 $ \operatorname{Fix}(v+T) \neq \varnothing $ 이면, Corollary 3.12 에 의해 $ T^n x - T^n y $ 가 수렴한다.
• 유한차원 공간 $ X $ 에서, $ T $ 가 평균화이고 $ \operatorname{codim}(\operatorname{Fix}(v+T)) \leq 1 $ 이면, Theorem 3.11 에 의해 $ T^n x - T^n y $ 가 수렴한다.
• $ \mathbb{R}^3 $ 에서 Douglas–Rachford 연산자에 대해 $ T^n x + nv $ 수열이 수렴하며, 이는 고정점 집합이 반직선(여차원 2)일 경우에도 성립한다. 이는 현재의 정리들이 다루지 못하는 더 넓은 수렴 범위를 시사한다.
• 논문은 예제 4.1 의 수치적 증거를 바탕으로, $ \mathbb{R}^3 $ 에서 Douglas–Rachford 연산자에 대해 $ T^n x + nv $ 의 수렴이 성립할 것이라 추측한다.