[논문 리뷰] The difference vectors for convex sets and a resolution of the geometry conjecture

Salihah Alwadani, Heinz H. Bauschke외 2명|arXiv (Cornell University)|2020. 12. 08.

Point processes and geometric inequalities참고 문헌 23인용 수 4

한 줄 요약

이 논문은 힐버트 공간 내에서 비어 있지 않은 닫힌 볼록집합 위로의 사영 연산자의 순환적 합성의 고정점 집합이 이동된 집합들의 교집합과 일치함을 증명함으로써 오랫동안 남아있던 기하학적 추측을 해결한다. 이와 함께 이동 벡터(차이 벡터)는 단조 연산자 이론과 Attouch-Théra 쌍대성에 의해 명시적으로 기술되며, 이러한 벡터에 대한 완전하고 구조적인 공식이 제시된다. 이는 25년 이상 열려 있던 추측을 해결한다.

ABSTRACT

The geometry conjecture, which was posed nearly a quarter of a century ago, states that the fixed point set of the composition of projectors onto nonempty closed convex sets in Hilbert space is actually equal to the intersection of certain translations of the underlying sets. In this paper, we provide a complete resolution of the geometry conjecture. Our proof relies on monotone operator theory. We revisit previously known results and provide various illustrative examples. Comments on the numerical computation of the quantities involved are also presented.

연구 동기 및 목표

• 순환적 사영 연산자의 고정점 집합이 이동된 볼록집합들의 교집합과 일치한다는 기하학적 추측을 해결하기 위해.
• 특히 고정점 집합이 공집일 경우에도 차이 벡터(이동 벡터)의 명시적 기술을 제공하기 위해.
• 제품 공간 재구성과 쌍대성에 의해 볼록집합의 순환과 단조 연산자 이론 사이의 연결 고리를 설정하기 위해.
• 고정점 집합이 비어 있거나 비어 있지 않을 경우에도 차이 벡터를 수치적으로 계산하기 위한 수치적 방법을 개발하기 위해, 특히 제품집합과 대각선의 합에 대한 사영을 근사하는 Seeger 알고리즘을 활용하기 위해.
• 향후 작업에서 표준 사영 연산자 외에도 underrelaxed 사영 연산자와 더 일반적인 근접 연산자로 이 프레임워크를 확장하기 위해.

제안 방법

• 원래의 집합들과 대각선 부분공간의 카르테시안 곱을 이용해 문제를 제품 힐버트 공간에서 재구성하기 위해.
• Attouch-Théra 쌍대성을 적용하여 제품 공간 내의 단조 포함 문제의 해와 순환 사영 연산자의 고정점 집합을 연결하기 위해.
• 원형 오른쪽 이동 연산자와 그 성질을 사용하여 고정점 집합과 관련된 차이 벡터의 구조를 기술하기 위해.
• 항등원과 이동 연산자를 포함하는 연산자 합의 역을 활용하여, 차이 벡터를 이중 단조 포함 문제의 해로 유도하기 위해.
• 강한 수렴을 보장하기 위해 적응형 파rameter를 갖는 전진-후진 알고리즘을 사용하여 고정점과 차이 벡터를 수치적으로 계산하기 위해.
• 수치적 구현에 핵심적인 역할을 하는 $\overline{{\mathbf{C}} + {\boldsymbol{\Delta}}}$에 대한 사영을 근사하기 위해 Seeger의 알고리즘을 활용하기 위해.

실험 결과

연구 질문

• RQ1 고정점 집합이 공집일 경우에도 기하학적 추측에서의 차이 벡터에 대해 통일된 공식이 존재하는가?
• RQ2 특히 Attouch-Théra 쌍대성을 활용하여 기하학적 추측을 단조 연산자 이론의 도구로 해결할 수 있는가?
• RQ3 볼록집합의 순환과 제품 공간 내 단조 포함 문제의 해 사이의 정확한 관계는 무엇인가?
• RQ4 고정점 집합이 비어 있거나 비어 있지 않을 경우, 차이 벡터는 어떻게 수치적으로 계산할 수 있는가?
• RQ5 이 프레임워크는 underrelaxed 사영 연산자 또는 더 일반적인 근접 연산자로 확장될 수 있는가?

주요 결과

• 기하학적 추측은 긍정적으로 완전히 해결되었다: 순환적 사영 연산자의 고정점 집합은 이동된 볼록집합들의 교집합과 일치하며, 이에 따른 이동 벡터는 명시적으로 결정된다.
• 차이 벡터는 $\mathbf{v} = (\mathbf{e} - \mathbf{y})$로 주어지며, 여기서 $\mathbf{e}$와 $\mathbf{y}$는 원형 오른쪽 이동 연산자와 대각선 부분공간을 포함하는 이중 단조 포함 문제의 해이다.
• 특히 $m=2$인 경우, 차이 벡터는 명시적으로 $P_{\overline{C_2 - C_1}}(0)$와 $P_{\overline{C_1 - C_2}}(0)$로 주어지며, 이는 기존의 알려진 결과를 확인하고 일반화한 것이다.
• 전진-후진 알고리즘에서 $\gamma = \frac{1}{2}$ 또는 $\gamma = \frac{m}{m+2}$를 사용할 경우 해로 강한 수렴이 보장되며, 후자의 선택은 알고리즘의 내부 연산자의 리프시츠 연속성을 보장한다.
• 고정점 집합이 공집일 경우 $m=2$일 땐 해가 페르티urbed에 대해 안정적이지만, $m \geq 3$일 경우 고정점 집합이 공집일 때 차이 벡터의 유일성이 상실된다.
• Seeger의 알고리즘을 통해 $\overline{{\mathbf{C}} + {\boldsymbol{\Delta}}}$에 대한 사영을 근사함으로써 차이 벡터의 수치적 계산이 가능해지며, 이는 실용적 구현을 가능하게 한다.