[논문 리뷰] Carathéodory, Helly and the others in the max-plus world

Stéphane Gaubert, Frédéric Meunier|arXiv (Cornell University)|2008. 04. 08.

Computational Geometry and Mesh Generation참고 문헌 4인용 수 11

한 줄 요약

이 논문은 고전적 이산기하학 정리의 max-plus 버전을 수립하며, 특히 색다운 카라테오도리 정리와 티버버그 정리를 포함하고, max-plus 설정에서 시어크스마의 추측을 증명한다. 이중 그래프 표현과 일반성 논증을 통해, $\mathbb{R}_{\text{max}}^{d+1}$에서 $(d+1)(q-1)+1$개의 점이 갖는 max-plus 티버버그 분할의 수는 최소 $((q-1)!)^d$개임을 보이며, 이는 max-plus 세계에서 추측을 확인한다.

ABSTRACT

Carathéodory's, Helly's and Radon's theorems are three basic results in discrete geometry. Their max-plus counterparts have been proved by various authors. In this paper, more advanced results in discrete geometry are shown to have also their max-plus counterparts: namely, the colorful Carathéodory theorem and the Tverberg theorem. A conjecture connected to the Tverberg theorem -- Sierksma's conjecture --, although still open for the usual convexity, is shown to be true in the max-plus settings.

연구 동기 및 목표

• 고전적 이산기하학 정리—카라테오도리의, 헬리의, 라돈의 정리—을 max-plus 대수적 설정으로 확장한다.
• 볼록집합의 교차를 이용하여 max-plus 버전의 색다운 카라테오도리 정리를 수립한다.
• 점집합의 $q$-겹 분할에 대해 max-plus 버전의 티버버그 정리를 증명한다.
• Tverberg 분할의 순서 없는 수에 대한 최소값에 관한 시어크스마의 추측을 max-plus 프레임워크에서 증명함으로써 이를 해결한다. 이때 하한은 $((q-1)!)^d$이다.
• 이중 그래프를 사용한 그래프 이론적 프레임워크를 개발하여 max-plus Tverberg 분할을 분석하고 세는 데 사용한다.

제안 방법

• max-plus 볼록체를 max-plus 선형 조합을 통해 표현한다: $\bm{x} = \max_i (\lambda_i + \bm{x}_i)$ 이며 $\max_i \lambda_i = 0$ 이다.
• 점집합과 그들의 볼록체를 $\mathbb{R}_{\text{max}}^{d+1}$에서 이중 그래프를 통해 모델링한다. 정점 집합 $U = X$ (점들)과 $W = [d+1]$ (좌표들)로 구성된다.
• 점 $\bm{x}_i$와 좌표 $j$ 사이에 에지가 존재하는 조건은 $\lambda_i + x_{i,j} = x_j^*$ 이며, 이는 Tverberg 점의 $j$번째 성분이다.
• 각 부분집합 $U_i$에 대해 이웃 조건 $N(U_i) = W$ 를 정의하여 유효한 Tverberg 분할을 특성화한다.
• 이중 그래프에 대해 $q$개의 서로소 부분집합 $U_1, \dots, U_q$가 전부의 이웃을 커버하는 조건을 적용하여 분할 수의 하한을 유도한다.
• 일반성 가정을 사용하고, Tverberg 계수와 좌표 일치에서 유도된 에지 그래프에서 사이클 분석을 통해 모순을 이끌어내어 $(d+1)(q-1)+1$개 이하의 점은 conic Tverberg 분할을 가질 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 색다운 카라테오도리 정리는 max-plus 설정으로 확장될 수 있는가? 만약 그렇다면, 고전적 버전과는 어떻게 다를까?
• RQ2 티버버그의 정리는 max-plus 대수에서 유효한 대응정리가 존재하는가? 특히 점집합을 $q$개의 부분집합으로 나누었을 때, 각각의 max-plus 볼록체가 공통의 점을 공유하는가?
• RQ3 Sierksma의 추측—순서 없는 Tverberg 분할의 최소 수에 관한 것—은 max-plus 설정에서 유효한가?
• RQ4 max-plus 볼록체와 Tverberg 점의 어떤 구조적 성질이 이러한 분할 수에 대한 조합적 하한을 가능하게 하는가?
• RQ5 이중 그래프 표현은 max-plus Tverberg 분할을 모델링하고 세는 데 어떻게 사용될 수 있는가?

주요 결과

• max-plus 색다운 카라테오도리 정리가 성립한다: $d+1$개의 점집합 각각이 볼록집합 $C$와 교차하면, 각 집합에서 한 점씩 선택한 볼록체도 $C$와 교차한다.
• max-plus 라돈 정리의 버전이 확립되었으며, 이는 $-\infty$ 성분을 허용함으로써 이전 결과에서 요구하던 음이 아닌 성분 조건을 초월한다.
• max-plus 티버버그 정리가 증명되었다: $\mathbb{R}_{\text{max}}^{d+1}$에서 $(d+1)(q-1)+1$개의 점은 항상 $q$개의 서로소 부분집합으로 나누어지며, 각각의 max-plus 볼록체가 공통의 점을 공유한다.
• Sierksma의 추측은 max-plus 설정에서 확인되었다: $N+1 = (d+1)(q-1)+1$개의 점에 대한 순서 없는 Tverberg 분할 수는 최소 $((q-1)!)^d$개이며, 이는 이중 그래프 분해를 통한 구성적 증명을 통해 이루어졌다.
• 증명은 일반성 가정에 기반하며, Tverberg 계수와 좌표 일치에서 유도된 에지 그래프에서 사이클 기반의 모순을 사용한다.
• 그래프 이론적 레미마를 반복 적용하여 서로 다른 Tverberg 분할 수에 대한 하한 $q! \cdot ((q-1)!)^{d}$ 를 도출하였으며, 이는 max-plus 세계에서 추측을 확인한다.