[논문 리뷰] Arrangements of Homothets of a Convex Body II

Márton Naszódi, Konrad J. Swanepoel|arXiv (Cornell University)|2017. 05. 25.

Point processes and geometric inequalities인용 수 4

한 줄 요약

이 논문은 $ \mathbb{R}^d$ 에서 o-대칭 볼록체의 동형체들의 쌍별로 교차하는 민코프스키 배열의 크기에 대한 상계 $2 \cdot 3^d$ 를 확립하며, 이는 이전의 상계를 향상시킨다. 증명은 문제를 $ \mathbb{R}^{d+1}$ 로 올리는 기법을 사용하고, 헬리의 정리와 함수 불등식을 적용하여 기하적 제약 조건을 도출하며, 민코프스키 배열과 고차원 슬래브 내 점 구성 간의 이중성을 활용한다. 주요 기여는 $d$-입방체의 극한 경우와 일치하는 날카운 상계이다.

ABSTRACT

A family of homothets of an o-symmetric convex body K in d-dimensional Euclidean space is called a Minkowski arrangement if no homothet contains the center of any other homothet in its interior. We show that any pairwise intersecting Minkowski arrangement of a d-dimensional convex body has at most 2*3^d members. This improves a result of Polyanskii (Discrete Mathematics 340 (2017), 1950--1956). Using similar ideas, we also give a proof the following result of Polyanskii: Let K_1,....,K_n be a sequence of homothets of the o-symmetric convex body K, such that for any i

연구 동기 및 목표

• o-대칭 볼록체의 동형체들의 쌍별로 교차하는 민코프스키 배열의 최대 크기에 대한 상계를 향상시키는 것.
• 다음 중심이 이전의 중심이 있는 경계 위에 있는 동형체 수열에 대한 폴리안스키의 결과에 대한 새로운 간결한 증명을 제공하는 것.
• 함수 사영이 제어되는 고차원 슬래브 내 점 구성과 민코프스키 배열 간의 기하학적 이중성을 확립하는 것.
• 특히 [7]의 정리 1.5를 일반화하고 정밀화하는 비중첩 이동체가 중심 체를 교차하는 기존 정리들을 일반화하는 것.
• 브룬-민코프스키 이론의 맥락에서 체적 적분과 함수 불등식을 분석하여 날카운 상계를 도출하는 것.

제안 방법

• $\mathbb{R}^d$ 에서 각 동형체 $\lambda_i K + v_i$ 를 $\mathbb{R}^{d+1}$ 에서 점 $x_i = (\lambda_i^{-1} v_i, \lambda_i^{-1})$ 로 올려, 민코프스키 배열을 원점을 포함하지 않는 볼록 hull을 가지는 점 구성으로 변환한다.
• 모든 $i < j$ 에 대해, $\mathbb{R}^{d+1}$ 에서의 선형 함수 $f_{ij}$ 를 구성하여 모든 $k$ 에 대해 $|f_{ij}(x_k)| \leq |f_{ij}(x_i) - f_{ij}(x_j)|$ 를 만족시키며, 함수 제약 조건을 통해 민코프스키 조건을 포괄한다.
• 지지 함수 $\phi$ 에 대한 동형체의 사영에 대해 $\mathbb{R}$ 에서 헬리의 정리를 적용하여, 모든 사영된 간격의 교차에 공통 점 $\alpha$ 가 존재함을 보장한다.
• 비중첩 이동체가 중심 체를 교차하는 것과 같은 점 구성의 존재성 간의 등가성을 정리 4에 의해 형식화한다.
• $\mathbb{R}^D$ 에서 체적 기반 불등식을 적용하여, 이동체와 중심 체의 합집합의 (D-1)-차원 조각의 체적 적분을 통합하고, 이를 통해 정리 5에서 상계를 유도한다.
• 방향에 따라 체적 함수의 볼록성과 단조성을 활용하여 레마 1을 적용하여 체적 함수의 적분이 엄밀히 증가함을 보장하고, 체적 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 o-대칭 볼록체의 동형체들이 $\mathbb{R}^d$ 에서 쌍별로 교차하는 민코프스키 배열을 형성할 수 있는 최대 개수는 얼마인가?
• RQ2 이전의 것의 경계 위에 있는 중심을 가진 동형체 수열에 대한 $O(3^d d)$ 의 상계를 더 직접적인 기하학적 방법으로 재증명할 수 있는가?
• RQ3 함수 사영이 제어되는 고차원 슬래브 내 점 구성과 민코프스키 배열 간에 이중성이 존재하는가?
• RQ4 이동체가 중심 체를 오버랩할 수 있을 경우, 정리 5의 체적 기반 방법이 이전 결과를 어떻게 개선하는가?
• RQ5 비중첩 이동체가 확대된 체 $\alpha K$ 를 교차하는 경우, $n \leq (1 + 2\alpha)^{D-1} \frac{1 + 3\alpha}{2\alpha^D}$ 의 상계는 얼마나 날카로운가?

주요 결과

• $\mathbb{R}^d$ 에서 o-대칭 볼록체의 동형체들의 쌍별로 교차하는 민코프스키 배열의 최대 크기는 최대 $2 \cdot 3^d$ 이며, 이는 $d$-입방체의 경우에 대해 날카로운 상계이다.
• 증명은 함수 불등식을 만족하는 $\mathbb{R}^{d+1}$ 에서의 점 구성과 민코프스키 배열 간의 기하학적 이중성을 확립하며, [7]의 정리 1.4를 일반화한다.
• 폴리안스키의 결과에 대한 새로운 증명이 제시된다: 중심이 이전의 것의 경계 위에 있는 동형체 수열의 길이는 최대 $O(3^d d)$ 이며, 이는 기존에 알려진 최고의 상계와 일치한다.
• 정리 5는 비중첩 이동체 $\alpha K$ 가 $K$ 를 교차하는 경우에 대해 날카운 체적 기반 상계 $n \leq (1 + 2\alpha)^{D-1} \frac{1 + 3\alpha}{2\alpha^D}$ 를 제공하며, $K$ 가 $D$-입방체이고 $\alpha = 1$ 일 때 등호가 성립한다.
• 체적 적분에서 중심 체의 체적을 빼는 것을 피하여, 원래의 [7]의 정리 1.5 증명보다 더 날카운 상계를 도출하며, $\alpha = 1$ 일 때 결과는 날카로운 상계이다.
• 모든 $k$ 에 대해 $|f_{ij}(x_k)| \leq |f_{ij}(x_i) - f_{ij}(x_j)|$ 를 만족하는 함수 불등식이 민코프스키 배열의 존재성에 대해 필수적이고 충분한 조건임이 입증되어 완전한 특성화가 이루어졌다.