[논문 리뷰] A Generalized Sylvester Problem and a Generalized Fermat-Torricelli Problem

Nguyen Mau Nam, Nguyen Hoang|arXiv (Cornell University)|2012. 03. 14.

Mathematics and Applications참고 문헌 16인용 수 14

한 줄 요약

이 논문은 노름 공간에서 실베스터 최소 외접 원 문제와 페르마-토리첼리 문제의 일반화된 형태를 제안하며, 확장된 구와 거리 함수를 포함하는 최적화 문제로 모델링한다. 볼록 해석학과 민코프스키 함수를 활용하여 해의 존재성과 유일성을 위한 충분조건을 도출하고, 목표 집합과 제약 집합에 대한 기하적 가정 하에 목적 함수의 강한 볼록성을 증명한다.

ABSTRACT

In this paper, we introduce and study the following problem and its further generalizations: given two finite collections of sets in a normed space, find a ball whose center lies in a given constraint set with the smallest radius that encloses all the sets in the first collection and intersects all the sets in the second one. This problem can be considered as a generalized version of the Sylvester smallest enclosing circle problem introduced in the 19th century by Sylvester which asks for the circle of smallest radius enclosing a given set of finite points in the plane. We also consider a generalized version of the Fermat-Torricelli problem: given two finite collections of sets in a normed space, find a point in a given constraint set that minimizes the sum of the farthest distances to the sets in the first collection and shortest distances (distances) to the sets in the second collection.

연구 동기 및 목표

• 노름 공간 내 임의의 집합에 대해 외접 및 교차 제약 조건을 포함하는 고전적 실베스터 최소 외접 원 문제를 일반화한다.
• 일부 집합으로부터의 최장 거리 합과 다른 집합으로부터의 최단 거리 합을 최소화하는 페르마-토리첼리 문제를 제약 집합 하에 확장한다.
• 볼록 해석학 도구를 활용하여 일반 노름 공간 내 최적 해의 존재성 및 유일성 결과를 확립한다.
• 목적 함수의 강한 볼록성이 보장되는 조건을 특성화하여 유일한 최소화자를 보장한다.
• 일반화된 문제들이 아폴로니우스의 접선 원 문제와 같은 고전 기하 문제와 어떻게 연결되는지 밝힌다.

제안 방법

• 제약 집합 $S$ 상에서 함수 $\mathcal{G}(x) = \max\{C_F(x;\Omega_i), T_F(x;\Theta_j)\}$ 를 최소화하는 방식으로 일반화된 실베스터 문제를 모델링한다. 여기서 $C_F$ 와 $T_F$ 는 최대 및 최소 시간 함수이다.
• 제약 집합 $S$ 상에서 함수 $\mathcal{H}(x) = \sum_i C_F(x;\Omega_i) + \sum_j T_F(x;\Theta_j)$ 를 최소화하는 방식으로 일반화된 페르마-토리첼리 문제를 모델링한다.
• 확장된 구 $D_F(x;r) = x + rF$ 내의 거리를 표현하기 위해 민코프스키 함수 $\rho_F(x)$ 를 사용한다.
• 목표 집합의 닫힘성과 유계성, 공간의 컴act성 또는 반사성에 기반하여 해의 존재성을 증명한다.
• 민코프스키 함수의 강한 볼록성과 목표 집합과 선분의 교차가 없는 조건 하에서 $C_F(x;\Omega_i)$ 와 $T_F(x;\Theta_j)$ 가 강한 볼록성을 띠며, 이에 따라 $\mathcal{H}(x)$ 도 강한 볼록성을 갖는다는 것을 증명한다.
• 일반화된 미분법과 볼록 해석학을 적용하여, $S$ 내의 서로 다른 두 점을 연결하는 선분이 서로 다른 집합으로부터 기하학적으로 분리되어 있을 경우의 유일성 조건을 유도한다.

실험 결과

연구 질문

• RQ1 일반화된 실베스터 문제의 노름 공간 내 해가 존재하기 위한 조건은 무엇인가?
• RQ2 일반화된 페르마-토리첼리 문제가 항상 유일한 최적 해를 갖도록 보장하는 조건은 무엇인가?
• RQ3 게이지 함수 $\rho_F$ 와 집합 $\Omega_i$, $\Theta_j$ 의 성질이 목적 함수의 볼록성에 어떻게 영향을 미치는가?
• RQ4 일반화된 문제와 아폴로니우스의 접선 원 문제와 같은 고전 기하 문제 사이의 관계는 무엇인가?
• RQ5 유클리드 노름을 갖는 $\mathbb{R}^n$ 에서 세 개의 구에 대해 일반화된 실베스터 문제의 해를 명시적으로 구성할 수 있는가?

주요 결과

• 목표 집합이 닫힘, 유계, 볼록이고 제약 집합 $S$ 가 닫혀 있을 경우, 일반화된 실베스터 문제의 해는 임의의 노름 공간 내에서 존재한다.
• 만일 $F$ 와 모든 $\Theta_j$ 가 강한 볼록성, $S$ 가 볼록이며, 임의의 서로 다른 $x,y \in S$ 에 대해 선분 $L(x,y)$ 가 $\Omega_i$ 나 $\Theta_j$ 와 겹치지 않는 $i$ 또는 $j$ 가 존재할 경우, 일반화된 페르마-토리첼리 문제의 해는 유일하게 존재한다.
• 제시된 기하학적 및 볼록성 조건 하에서 일반화된 페르마-토리첼리 문제의 목적 함수 $\mathcal{H}(x)$ 는 강한 볼록성을 띠며, 이는 최소화자의 유일성을 보장한다.
• 모든 목표 집합이 싱글턴이고 $F$ 가 강한 볼록일 경우, 문제는 $S$ 상에서 $\sum_i \rho_F(a_i - x)$ 의 최소화로 축소되며, 점들이 일직선상에 있지 않은 경우 최대 하나의 해를 갖는다.
• 반사 공간이거나 $S$ 가 컴팩트일 경우, 동일한 조건 하에 일반화된 페르마-토리첼리 문제의 해는 유일하게 존재한다.
• 유클리드 노름을 갖는 $\mathbb{R}^n$ 에서 세 개의 구에 대해 일반화된 실베스터 문제의 해는 아폴로니우스의 접선 원 문제의 해와 관련이 있다.