[논문 리뷰] Radon partitions in convexity spaces

Boris Bukh|arXiv (Cornell University)|2010. 09. 13.

Computational Geometry and Mesh Generation참고 문헌 10인용 수 8

한 줄 요약

이 논문은 추상적 볼록성 공간에서 라돈 분할을 연구하며, 에크hoff의 추측—라돈 정리로부터 티버버그 정리를 순수 조합론적으로 유도한다는 것—가 잘못되었음을 보여주지만, 여전히 k번째 라돈 수에 대한 다항식 상한이 존재함을 증명한다. 특히, 유한한 $ r_2 $를 가진 모든 볼록성 공간에 대해 $ r_k \leq c(r_2)k^2\log^2k $ 라는 부등식이 성립함을 보이며, 유클리드 공간 외부의 조합적 볼록성 이론에서 티버버그 유형 결과의 중요한 정량적 확장이 이루어짐을 시사한다.

ABSTRACT

Tverberg's theorem asserts that every (k-1)(d+1)+1 points in R^d can be partitioned into k parts, so that the convex hulls of the parts have a common intersection. Calder and Eckhoff asked whether there is a purely combinatorial deduction of Tverberg's theorem from the special case k=2. We dash the hopes of a purely combinatorial deduction, but show that the case k=2 does imply that every set of O(k^2 log^2 k) points admits a Tverberg partition into k parts.

연구 동기 및 목표

• 추상적 볼록성 공간에서 에크hoff의 추측을 통해 라돈 정리로부터 티버버그 정리를 순수 조합론적으로 유도할 수 있는지 여부를 규명하는 것.
• 에크hoff의 추측이 실패할 경우에도, 유한한 $ r_2 $를 가진 볼록성 공간에서 $ k $-번째 라돈 수 $ r_k $ 의 정량적 행동을 조사하는 것.
• 유클리드 공간 외부로도 일반화되는 티버버그 정리의 비슷한 상한을 비트리비얼하게 확립하는 것.
• 응용이 디지털 기하학과 계산 기하학에서 중요시되는, 유한한 $ r_2 $를 가진 볼록성 공간에서 약한 $ \varepsilon $-넷의 존재를 탐색하는 것.

제안 방법

• 점 집합의 뉴런 복합체를 사용하여 볼록결합 교차의 조합적 구조를 표현함.
• 특히 $ r $-좋은 가족과 $ (2r-3) $-균일 초그래프 내의 클리크를 활용한 초그래프의 극대 조합론을 적용하여 서로소 집합들을 추출함.
• 점 $ p $ 와 관련된 가족 $ \mathcal{F}_p $ 에 대한 귀납법과 재귀적 구성법을 사용하며, (J1)–(J3)의 공리들을 만족시키는 구조를 활용함. 이는 $ r_2 = 3 $ 의 경우를 반영함.
• 뉴런 복합체의 조건을 활용하여 초그래프에서의 빈도 원리와 조밀도 추론을 적용하여, 충분히 큰 집합이 뉴런 내에서 $ k $-튜플의 쌍별로 서로소 집합을 포함함을 보임.
• 기존의 $ r_k $ 에 대한 상한, 특히 재미지의 부등식과 에크hoff의 부등식을 적용하여 최종적인 다항식 상한을 도출함.
• 집합 $ I \subset [k] $ 에 따라 인덱싱된 가족 $ \mathcal{F}_I $ 의 재귀적 구성법을 사용하며, 뉴런의 성질 (N5) 를 활용하여 귀납 단계를 완성함.

실험 결과

연구 질문

• RQ1 추상적 볼록성 공간에서 순수 조합론적 추론을 통해 라돈 정리로부터 티버버그 정리를 유도할 수 있는가?
• RQ2 유한한 $ r_2 $ 를 가진 볼록성 공간에서 $ k $-번째 라돈 수 $ r_k $ 의 최적 상한은 무엇인가?
• RQ3 유한한 $ r_2 $ 를 가진 볼록성 공간에서 모든 $ \varepsilon > 0 $ 에 대해 크기가 $ f(\varepsilon, r_2) $ 인 약한 $ \varepsilon $-넷이 존재하는가?
• RQ4 점 집합의 뉴런 복합체의 구조는 티버버그 분할의 존재와 어떻게 관련이 있는가?
• RQ5 에크hoff의 추측이 실패하더라도, $ r_k $ 에 대한 $ k $ 와 $ r_2 $ 에 대한 다항식 상한이 존재하는가?

주요 결과

• 에크hoff의 추측은 잘못됨: 각 $ k \geq 3 $ 에 대해 $ r_2 = 4 $ 이지만 $ r_k \geq 3(k-1) + 2 $ 인 볼록성 공간이 존재하여, 추측된 상한 $ (k-1)(r_2 - 1) + 1 $ 을 위반함.
• 적절한 상수 $ c(r_2) $ 가 존재하여, $ r_k \leq c(r_2)k^2\log^2k $ 라는 다항식 상한이 성립함을 보이며, 이는 $ k $ 에 대한 다항식 상한을 제공함.
• 유한한 $ r_2 = 3 $ 인 볼록성 공간에 대해서는 $ r_k \leq 2(k-1) + 1 $ 이 성립하며, 이는 유클리드 공간에서 알려진 날카운 상한과 일치함.
• 증명 기법은 뉴런에서 유도된 $ (2r-3) $-균일 초그래프 내에서 크기 $ 2k $ 의 클리크를 구성함으로써, $ r $-좋은 조건을 통해 $ k $ 개의 쌍별로 서로소 집합을 도출함.
• 약한 $ \varepsilon $-넷의 존재는 $ \varepsilon > 1 - 1/(r_2 - 1) $ 인 경우 보장되나, 더 작은 $ \varepsilon $ 에 대해서는 여전히 열려 있음.
• 이 논문은 중심점 정리와 헬리의 정리가 유한한 $ r_2 $ 를 가진 볼록성 공간에서도 유효함을 증명하며, 유클리드 기하학 외부로도 고전 결과를 일반화함.