[논문 리뷰] On circumcenters of finite sets in Hilbert spaces

Heinz H. Bauschke, Hui Ouyang외 1명|arXiv (Cornell University)|2018. 07. 05.

Matrix Theory and Algorithms참고 문헌 10인용 수 14

한 줄 요약

이 논문은 힐버트 공간 내 유한 집합의 외심에 대한 체계적인 연구를 제공한다—즉, 애핀 평면에서 모든 점들과 등거리인 유일한 점이다. 이는 2차원 및 3차원에서 외심과 외접원 반지름에 대한 명시적 공식을 유도하고, 최적 근사 문제에 대한 Douglas–Rachford 방법의 수렴 가속화에서 그 역할을 규명한다.

ABSTRACT

A well-known object in classical Euclidean geometry is the circumcenter of a triangle, i.e., the point that is equidistant from all vertices. The purpose of this paper is to provide a systematic study of the circumcenter of sets containing finitely many points in Hilbert space. This is motivated by recent works of Behling, Bello Cruz, and Santos on accelerated versions of the Douglas--Rachford method. We present basic results and properties of the circumcenter. Several examples are provided to illustrate the tightness of various assumptions.

연구 동기 및 목표

• 힐버트 공간 내 유한 집합의 외심에 대한 엄밀한 이론적 프레임워크를 구축함으로써, 고전적 유클리드 기하학을 일반화한다.
• 고차원 및 추상적 힐버트 공간에서 외심의 명시적 특성화 부족 문제를 해결한다.
• 기하학적 및 대수적 도구를 활용하여 2차원 및 3차원에서 외심과 외접원 반지름에 대한 명시적 공식을 제공한다.
• 최적 근사 문제 해결을 위한 Douglas–Rachford 방법에서 외심의 역할을 명확히 한다.
• 다양한 집합 구성과 위상적 가정 하에서 외심의 존재성, 유일성 및 연속성에 대해 조사한다.

제안 방법

• 유한 집합의 애핀 평면 내에서 모든 점들과 등거리인 유일한 점으로서 외심을 정의한다.
• 애핀 기하학과 선형 대수학을 활용하여 벡터와 내적을 기반으로 한 외심의 명시적 표현을 유도한다.
• R^3에서의 외적을 활용하여 벡터 삼중곱을 이용한 외심과 외접원 반지름에 대한 폐쇄형 공식을 유도한다.
• 라그랑주 승수법과 직교 투영을 적용하여 외심 구성의 배경이 되는 최적 근사 문제를 해결한다.
• 외심 연산자를 활용하여 Douglas–Rachford 프레임워크 내에서 수렴 속도를 가속화하는 새로운 반복적 방법을 정의한다.
• 외심이 곱 공간 내 애핀 독립 점들의 열린 집합에서 연속적이고 잘 정의되어 있음을 증명한다.

실험 결과

연구 질문

• RQ1 힐버트 공간 내 유한 집합의 외심이 존재하고 유일한 조건은 무엇인가?
• RQ2 2차원 및 3차원 힐버트 공간에서 외심과 외접원 반지름에 대한 명시적 공식은 무엇인가?
• RQ3 외심은 최적 근사 문제에서 Douglas–Rachford 방법의 수렴 행동과 어떻게 관련이 있는가?
• RQ4 외심은 R^3을 초월하여 일반화될 수 있는가? 그에 따른 위상적 및 대수적 장애 요소는 무엇인가?
• RQ5 외심은 애핀 평면의 기하학과 직교 투영 사이에 어떤 관계를 맺는가?

주요 결과

• 힐버트 공간 내 유한 집합의 외심은 점들이 애핀 독립일 때이고 그때에만 존재하고 유일하다.
• R^2에서 세 점의 외심은 짝대기 거리로부터 유도된 2×2 그램 행렬의 역행렬을 포함하는 폐쇄형 표현식으로 주어진다.
• R^3에서 외심은 벡터 삼중곱을 통해 표현될 수 있다: $ CC(S) = x + \frac{(\|a\|^2 b - \|b\|^2 a) \times (a \times b)}{2\|a \times b\|^2} $, 여기서 $ a = x_2 - x_1 $, $ b = x_3 - x_1 $.
• R^3에서의 외접원 반지름 $ CR(S) $ 는 $ \frac{\|a - b\|}{2\sin\theta} $ 로 주어지며, 여기서 $ \theta $ 는 벡터 $ a $ 와 $ b $ 사이의 각도이고, $ \|a \times b\| = \|a\|\|b\|\sin\theta $ 이다.
• 외심 연산자는 $ \mathcal{H}^m $ 내 애핀 독립 m-튜플의 열린 집합에서 연속적이며, 작은 변동에 대해 안정성을 보장한다.
• 외심 방법을 활용하여 Douglas–Rachford 알고리즘의 수렴 속도를 향상시킬 수 있으며, 최적 근사 문제에서 성능 향상을 이룬다.