[논문 리뷰] Helly numbers of Algebraic Subsets of $\mathbb R^d$

Jesús A. De Loera, R. N. La Haye외 2명|arXiv (Cornell University)|2015. 08. 10.

Polynomial and algebraic computation참고 문헌 17인용 수 7

한 줄 요약

이 논문은 대수적 부분집합 S ⊂ ℝ^d에 대한 S-Helly 수를 도입하고 분석하며, 기존의 Helly 정리들을 격자, 부분군, 격자 차집합과 같은 특정 부분집합 내에서의 교차를 고려하여 일반화한다. 저자는 낮은 차원과 대수적 구조를 가진 집합에 대해 S-Helly 수의 날카운 경계를 확립하며, ℝ² 내의 조밀한 부분집합(h(S) ≤ 4)과 ℤ²에서 부분격자 L를 뺀 경우(h(S) ≤ 6)에 대한 새로운 결과를 도출하고, 추상적 볼록성과 순서 가능성 성질을 통해 색다른 Helly 유형 정리를 위한 일반적 프레임워크를 개발한다.

ABSTRACT

We study $S$-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in $\mathbb R^d$ with a proper subset $S\subset \mathbb R^d$. We contribute new results about their $S$-Helly numbers. We extend prior work for $S=\mathbb R^d$, $\mathbb Z^d$, and $\mathbb Z^{d-k} imes\mathbb R^k$; we give sharp bounds on the $S$-Helly numbers in several new cases. We considered the situation for low-dimensional $S$ and for sets $S$ that have some algebraic structure, in particular when $S$ is an arbitrary subgroup of $\mathbb R^d$ or when $S$ is the difference between a lattice and some of its sublattices. By abstracting the ingredients of Lovász method we obtain colorful versions of many monochromatic Helly-type results, including several colorful versions of our own results.

연구 동기 및 목표

• S ⊂ ℝ^d의 적절한 부분집합으로 교차를 제한함으로써 Helly 정리를 일반화하고, S-Helly 수를 정의하고 분석한다.
• ℝ^d 내의 부분군과 격자 차집합을 포함한 대수적 구조를 가진 집합에 대해 S-Helly 수의 날카운 상한을 확립한다.
• 단색 Helly 유형 결과를 추상적 볼록성과 순서 가능성 성질을 이용해 색다른 형태로 확장한다.
• 특히 저차원 및 대수적 S에 대해, S에 대해 교차하는 볼록집합의 성질을 통해 S-Helly 수의 통합적 프레임워크를 제공한다.
• 비격자 대수적 집합, 예를 들어 조밀한 부분집합과 부분군에 의해 생성된 집합에 대한 Helly 수에 대한 열린 문제를 해결한다.

제안 방법

• S ⊂ ℝ^d의 부분집합과 표준 볼록집합의 교차로 정의된 S-볼록집합을 정의하고, 볼록성 공간을 형성한다.
• 가족 내 모든 h개의 집합이 S에서 교차하면 전체 가족도 S에서 교차하는 최소의 h를 S-Helly 수 h(S)로 정의한다.
• 단조성, 순서 가능성, Helly 성질 등의 성질과 추상적 볼록성 이론을 활용하여 색다른 Helly 정리를 도출한다.
• Lovász의 방법을 추상적 형태로 적용하여 단색 S-Helly 결과의 색다른 형태를 유도한다.
• 기하학적 및 조합적 추론을 통해 저차원 사례(d=1, d=2)와 대수적 구조(부분군, 격자 차집합)를 분석한다.
• Helly, 단조성, 순서 가능성 성질이 항상 h(𝒫)-색으로 가능하다는 것을 증명하며, 일반적인 색다른 Helly 정리를 도출한다.

실험 결과

연구 질문

• RQ1 조밀한 부분집합 S ⊂ ℝ²에 대해 S-Helly 수 h(S)는 얼마이며, 이를 유계로 만들 수 있는가?
• RQ2 S = ℤ² \ L 이고 L ⊂ ℤ²인 진부분격자일 경우 S-Helly 수 h(S)는 얼마인가?
• RQ3 S가 ℝ^d의 덧셈 부분군일 때 S-Helly 수는 어떻게 행동하는가, 특히 닫히지 않은 경우는 어떻게 되는가?
• RQ4 격자점 또는 격자 차집합에 대한 단색 Helly 유형 정리를 색다른 형태로 확장할 수 있는가?
• RQ5 특성 𝒫에 대해 어떤 조건이 성립할 경우 관련 Helly 수 h(𝒫)가 유한하고 색으로 가능해지는가?

주요 결과

• 모든 조밀한 부분집합 S ⊂ ℝ²에 대해 S-Helly 수는 h(S) ≤ 4를 만족하며, 이 경계는 날카롭다.
• S = ℤ² \ L 이고 L ⊂ ℤ²인 진부분격자일 경우 h(S) ≤ 6이며, 이 경계 역시 날카롭다.
• 모든 덧셈 부분군 G ⊂ ℝ^d에 대해 S-Helly 수 h(G)는 G가 이산이거나 조밀할 경우 유한하며, 논문은 일반적 상한을 추측한다.
• 논문은 Helly, 단조성, 순서 가능성 성질을 가진 모든 특성 𝒫가 h(𝒫)-색으로 가능하다는 것을 증명하며, 색다른 Helly 정리를 일반화한다.
• 모든 이산 S와 S = ℤ^{d−k} × ℝ^k에 대해 S-Helly 수 h(S)는 유한하며, h(S) = 2^{d−k}(k+1)로 주어지며, Doignon과 Averkov–Weismantel의 결과를 확장한다.
• 논문은 적어도 k개의 격자점을 포함하는 성질이 h(𝒫)-색으로 가능하다는 것을 증명하며, 기존의 양적 Doignon 정리에 의해 알려진 경계로 유계로 둘 수 있다.