[논문 리뷰] Applications of Convex Analysis to the Smallest Intersecting Ball Problem

Nguyen Mau Nam, Nguyen Thai An외 1명|arXiv (Cornell University)|2011. 05. 11.

Point processes and geometric inequalities참고 문헌 13인용 수 18

한 줄 요약

이 논문은 근사 가능한 바나흐 공간에서 일반화된 최소 교차 구의 문제를 제안하고 해결한다. 여기서 목표는 비어 있지 않은 닫힌 볼록집합의 유한한 가족과 교차하는 최소 반경의 구를 찾는 것이다. 볼록 해석학과 하향형 알고리즘을 사용하여 저자들은 최적 해로의 수렴을 확립하였으며, 수치 결과는 2차원 예제에서 최대 노름과 정사각형 목표에 대해 약 6.5의 반경으로 수렴하는 것을 보여준다.

ABSTRACT

The smallest enclosing circle problem asks for the circle of smallest radius enclosing a given set of finite points on the plane. This problem was introduced in the 19th century by Sylvester [17]. After more than a century, the problem remains very active. This paper is the continuation of our effort in shedding new light to classical geometry problems using advanced tools of convex analysis and optimization. We propose and study the following generalized version of the smallest enclosing circle problem: given a finite number of nonempty closed convex sets in a reflexive Banach space, find a ball with the smallest radius that intersects all of the sets.

연구 동기 및 목표

• 기하학적 최소 봉화 원 문제를 비영인 크기의 볼록집합을 포함하는 최소 교차 구 문제로 일반화한다.
• 이론적이고 수치적인 프레임워크를 개발하여 일반화된 문제를 해결하기 위해 볼록 해석학과 최적화 도구를 사용한다.
• 유한 차원 사례에서 비유클리드 노름을 가진 하향형 알고리즘의 수렴성을 확립한다.
• 최대 노름 하에 정사각형 목표를 가진 예제에서 MATLAB 구현을 통해 방법의 효과성을 입증한다.

제안 방법

• 점 $ x $ 와 집합 $ \Omega_i $ 사이의 거리 $ d(x; \Omega_i) $ 를 사용하여 함수 $ D(x) = \max_{i=1,\ldots,n} d(x; \Omega_i) $ 를 최소화하는 문제로 공식화한다.
• 비미분 가능 비용 함수 $ D(x) $ 를 분석하기 위해 하향도와 일반화된 도함수를 포함한 볼록 해석학 도구를 사용한다.
• 유한 차원 공간에서 $ D(x) $ 를 반복적으로 최소화하기 위해 단계 크기 규칙 $ \alpha_k = 1/k $ 를 적용한 하향형 알고리즘을 적용한다.
• 각 반복에서 하향도를 정확히 계산할 수 있도록 $ \mathbb{R}^2 $ 에서 최대 노름의 명시적 하향도 표현을 활용한다.
• 6개의 정사각형 목표를 가진 2차원 예제에 대해 MATLAB으로 알고리즘을 구현하고, 반복 점과 비용 함수 값을 추적한다.
• 모든 목표 집합과 교차하는 것을 보장하기 위해 가장 먼 집합까지의 거리를 기준으로 사용한다.

실험 결과

연구 질문

• RQ1 최소 교차 구 문제는 근사 가능한 바나흐 공간 내 볼록집합으로 일반화될 수 있으며, 표준 가정 하에 해가 존재하는가?
• RQ2 볼록 해석학 도구를 사용하여 비미분 가능하고 비유클리드 비용 함수 $ D(x) $ 를 효과적으로 최소화할 수 있는가?
• RQ3 특히 힐베르트 공간이 아닌 경우에 하향형 알고리즘의 수렴 행동은 어떠한가?
• RQ4 최대 노름 하에 정사각형과 같은 기하 목표에 대해 이 알고리즘이 수치적으로 어떻게 작동하는가?
• RQ5 다양한 형태와 크기를 가진 집합을 다룰 수 있으며, 최적 반경으로 수렴하는가?

주요 결과

• 비어 있지 않은 볼록집합이 상호 교차가 없는 경우, 근사 가능한 바나흐 공간에서 최소 교차 구 문제는 잘 정의되어 있으며, 해의 존재가 보장된다.
• 최적 해 $ \bar{x} \approx (0.02973, 1.00000) $ 는 100,000회의 반복 후 수치적으로 확인되었으며, 최적 값 $ \widehat{V} \approx 6.50000 $ 를 얻는다.
• 단계 크기 $ \alpha_k = 1/k $ 를 가진 하향형 알고리즘이 최적 반경으로 수렴하며, 100,000회 반복 이후부터 비용 함수 값이 6.50000로 안정화된다.
• 최대 노름을 사용한 $ \mathbb{R}^2 $ 에서의 적용을 통해 비유클리드 노름을 효과적으로 다룰 수 있음을 보여주며, 여기서 구들은 축에 평행한 정사각형이 된다.
• 최대 노름의 하향도는 명시적으로 특성화되어 있어 각 반복에서 하향도를 정확히 계산할 수 있다.
• 복잡한 목표 집합, 예를 들어 중심과 반경이 다른 정사각형들에 대해서도 알고리즘은 강건성과 수렴성을 유지한다.