[논문 리뷰] Restricted normal cones and the method of alternating projections

Heinz H. Bauschke, D. Lüke외 2명|arXiv (Cornell University)|2012. 05. 02.

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

한 줄 요약

이 논문은 Mordukhovich 정규근을 일반화한 제한된 정규근을 도입하여, 비볼록 및 구조적 집합에 대한 교대 프로젝션 방법(MAP)의 수렴 분석을 확장한다. 제한된 정규근을 통해 제약 조건과 정규성 조건을 통합함으로써, 교차가 비어 있지 않은 두 닫힌 볼록집합, 선형 부분공간, 그리고 볼록집합의 합집합에 대해 국소 선형 수렴을 확립한다. 이는 이전 프레임워크가 두 직선이 R³에서 만나는 고전적 볼록 케이스에서 실패했던 한계를 해결한다.

ABSTRACT

The method of alternating projections (MAP) is a common method for solving feasibility problems. While employed traditionally to subspaces or to convex sets, little was known about the behavior of the MAP in the nonconvex case until 2009, when Lewis, Luke, and Malick derived local linear convergence results provided that a condition involving normal cones holds and at least one of the sets is superregular (a property less restrictive than convexity). However, their results failed to capture very simple classical convex instances such as two lines in three-dimensional space. In this paper, we extend and develop the Lewis-Luke-Malick framework so that not only any two linear subspaces but also any two closed convex sets whose relative interiors meet are covered. We also allow for sets that are more structured such as unions of convex sets. The key tool required is the restricted normal cone, which is a generalization of the classical Mordukhovich normal cone. We thoroughly study restricted normal cones from the viewpoint of constraint qualifications and regularity. Numerous examples are provided to illustrate the theory.

연구 동기 및 목표

• 비볼록 설정에서 교대 프로젝션 방법(MAP)의 수렴 이론에 존재하는 격차를 해결함. 특히 R³에서 만날 수 있는 두 직선과 같은 고전적 볼록 사례에 대해.
• Lewis-Luke-Malick 프레임워크를 초월하여, 이전 결과가 실패했던 볼록집합과 선형 부분공간을 포함한 초월정규성 및 정규근 조건을 통합함.
• 새로운 정규근 개념을 도입하여 비볼록 수렴 결과를 고전적 볼록 해석과 통합함으로써 문제의 기하학적 특성에 적응하는 프레임워크를 제공함.
• 정규근에 대한 제한 수준을 다양하게 설정함으로써, MAP 수렴 분석을 위한 민첩한 프레임워크를 제공함. 이는 전체 공간에서 경계 또는 투영 기반 집합까지의 다양성에 대응함.
• 유니온 형태의 볼록집합 또는 초월정규집합과 같은 구조적 집합에 대한 MAP 적용을 가능하게 하여, 최적화 및 신호 처리 분야에서의 적용 범위를 넓힘.

제안 방법

• 제한된 정규근을 Mordukhovich 정규근의 일반화로 정의함. 이는 제한 집합(예: 애파인 폐쇄, 경계, 또는 투영 이미지)에 대해 정의됨.
• 제한된 정규근을 사용하여 (A, Ã, B, B̃)-CQ(제약 조건) 조건을 정의함. 이는 A와 B가 교차점에서 어떻게 상호작용하는지를 평가함.
• 제한된 정규근을 활용하여 MAP의 국소 선형 수렴을 위한 새로운 충분조건을 제시함. 고전적 정규근 대신 더 적응 가능한 형태로 대체함.
• A ∪ B의 애파인 폐쇄를 제한 집합으로 사용함으로써, 두 선형 부분공간에 대한 고전적 볼록 수렴 결과를 복원함.
• 경계 또는 투영 이미지와 같은 적절한 제한 집합을 선택함으로써, 볼록집합의 합집합이나 비미끄러운 집합과 같은 비볼록 예제에 적용함.
• 변동 분석 도구, 특히 초월정규성과 정규성 조건을 활용하여, 새로운 제한된 정규근 프레임워크 하에서 MAP의 행동을 분석함.

실험 결과

연구 질문

• RQ1 교대 프로젝션 방법(MAP)의 수렴 프레임워크는 R³에서 만날 수 있는 두 직선과 같은 고전적 볼록 사례를 비볼록 수렴 결과의 범위에 포함시킬 수 있는가?
• RQ2 Lewis-Luke-Malick 프레임워크의 정규근 조건은 볼록 및 비볼록 집합을 모두 다룰 수 있도록 어떻게 일반화할 수 있으며, 이로 인해 국소 선형 수렴이 유지되는가?
• RQ3 제한 집합(Ã, B̃)이 제한된 정규근에서 수행하는 역할은 무엇이며, X×X, aff(A∪B), 경계, 투영 이미지 등의 다양한 선택지가 수렴 조건의 적용 가능성과 강도에 어떻게 영향을 미치는가?
• RQ4 제한된 정규근 프레임워크는 볼록 및 비볼록 집합에 대한 기존 수렴 결과를 하나의 이론적 틀 안에 통합할 수 있는가?
• RQ5 집합이 볼록집합 또는 초월정규집합의 합집합일 경우, MAP는 어떤 조건에서 선형 수렴을 보이는가?

주요 결과

• 제한된 정규근은 두 선형 부분공간에 대해 국소 선형 수렴을 복원함으로써, Lewis-Luke-Malick 프레임워크의 핵심 한계를 해결한다.
• 제한 집합으로 A ∪ B의 애파인 폐쇄를 선택할 경우, R³에서 만날 수 있는 두 직선에 대한 고전적 볼록 수렴 결과를 복원할 수 있다.
• (A, Ã, B, B̃)-CQ 조건에서 Ã = aff(A ∪ B) 및 B̃ = aff(A ∪ B)일 경우, 교차가 비어 있지 않은 임의의 두 닫힌 볼록집합에 대해 국소 선형 수렴을 보장한다.
• 비볼록 집합, 예를 들어 볼록집합의 합집합의 경우, 경계나 집합의 투영 이미지와 같은 더 공격적인 제한 집합을 선택함으로써 수렴이 선형으로 유지된다.
• 고전적 정규근 접근이 실패하는 경우, 예를 들어 N_A(c) ∩ (-N_B(c)) ≠ {0}일 경우, 임의의 정규벡터를 제거하는 제한된 정규근을 사용함으로써 프레임워크는 성공적으로 처리할 수 있다.
• 예제 10.29에서 (Ã, B̃) = (P_A((bdry B) ackslash A), P_B((bdry A) ackslash B))의 선택은 자명한 제한된 정규근 {0}을 유도하며, CQ 조건을 만족하고 유한 수렴을 보장한다. 이는 프레임워크의 유연성과 강력함을 입증한다.