[논문 리뷰] Counterexamples to Borsuk's conjecture on spheres of small radii

Андрей Борисович Купавский, А. М. Райгородский|arXiv (Cornell University)|2010. 10. 03.

Digital Image Processing Techniques참고 문헌 6인용 수 5

한 줄 요약

이 논문은 고차원 유클리드 공간에서 반지름 r > 1/2인 구 위에서 Borsuk의 추측에 대한 반례를 구성한다. 모든 r > 1/2에 대해, 충분히 큰 차원 d ≥ d₀에 대해, 구 Sᵣ^{d−1} 위에 직경 1인 집합이 존재하여 d+1개 이하의 더 작은 직경을 가진 부분집합들로 분할될 수 없음을 증명한다. 이는 이러한 구들에 대해 추측이 잘못되었음을 보이며, 필요한 부분 수가 d에 대해 선형보다 빠르게 증가함을 보여준다.

ABSTRACT

In this work, the classical Borsuk conjecture is discussed, which states that any set of diameter 1 in the Euclidean space $ {\mathbb R}^d $ can be divided into $ d+1 $ parts of smaller diameter. During the last two decades, many counterexamples to the conjecture have been proposed in high dimensions. However, all of them are sets of diameter 1 that lie on spheres whose radii are close to the value $ {1}{\sqrt{2}} $. The main result of this paper is as follows: {\it for any $ r > {1}{2} $, there exists a $ d_0 $ such that for all $ d \ge d_0 $, a counterexample to Borsuk's conjecture can be found on a sphere $ S_r^{d-1} \subset {\mathbb R}^d $.

연구 동기 및 목표

• 고차원 공간에서 반지름 r > 1/2인 구 위에 직경 1인 집합에 대해 Borsuk의 추측을 부정하는 것.
• Borsuk의 추측에 대한 반례가 1/√2에 가까운 반지름을 가진 구뿐 아니라, 1/2에 매우 가까운 반지름을 가진 구에도 존재함을 보여주는 것.
• 이러한 집합을 분할하기 위해 필요한 더 작은 직경을 가진 부분집합의 최소 수에 하한을 설정하여, 충분히 큰 d에 대해 이 수가 d+1를 초과함을 보이는 것.
• 추측이 성립하거나 실패하는 데 영향을 주는 r(d) = 1/2 + φ(d)의 임계 행동을 규명하여 기존의 상하한 간격을 좁히는 것.

제안 방법

• r > 1/2에 대해 ℝ^d에서 구 Sᵣ^{d−1} 위에 직경 1인 유한 집합을 구성한다.
• 최적의 조합론 및 다항식 최적화 기법을 사용하여 직경 1인 집합을 분할하기 위해 필요한 최소 부분 수 f_r(d)를 근사한다.
• 이전 연구에서 Borsuk 문제에 대해 사용된 다항식 방법의 변형을 적용하여, 특정 다항식 클래스에서 |h(−n)|/h(n)의 최대값을 분석한다.
• 고정된 ℓ²-노름을 가진 정수 격자 ℤⁿ의 부분집합을 선택하여 구 위의 집합을 새로운 방식으로 구성한다.
• 결과로 얻어진 집합 Ω′의 차원을 분석하여 f_r(d)의 상한을 정밀화하며, 고정된 r > 1/2에 대해 f_r(d)가 d의 다항식보다 더 빠르게 증가함을 보인다.
• 점근적 분석을 통해 r(d) = 1/2 + φ(d)의 임계 행동을 규명하며, φ(d) = o(1) 및 φ(d) = O(1/d)의 경우에 따라 f_r(d) > d+1 또는 f_r(d) ≤ d+1가 되는지의 여부를 구분한다.

실험 결과

연구 질문

• RQ1 반지름 r > 1/2인 구 위에 직경 1인 집합에 대해, r이 1/2에 매우 가까운 경우에도 Borsuk의 추측을 반증할 수 있는가?
• RQ2 Sᵣ^{d−1} 위에 직경 1인 집합을 분할하기 위해 필요한 더 작은 직경을 가진 부분집합의 최소 수 f_r(d)의 점근적 성장률은 무엇인가?
• RQ3 f_r(d) > d+1가 되는 임계 함수 r(d) = 1/2 + φ(d)가 존재하는가? 이때 φ(d)는 얼마나 작을 수 있는가?
• RQ4 r > 1/2인 경우에 대해 f_r(d)의 하한을 향상시킬 수 있는가? 특히 r(d) → 1/2 (d → ∞)일 때의 영역에서 개선 가능할까?
• RQ5 r(d)에 대한 함수로서 f_r(d) ≤ d+1와 f_r(d) > d+1의 경계는 정확히 어디에 있는가?

주요 결과

• 모든 r > 1/2에 대해, d₀(r)가 존재하여 모든 d ≥ d₀에 대해 Sᵣ^{d−1} 위에 직경 1인 집합 Ω가 존재하여 d+1개 이하의 더 작은 직경을 가진 부분집합으로 분할될 수 없다.
• 모든 r > 1/2에 대해 충분히 큰 d에 대해 f_r(d) > d+1이며, 실제로 f_r(d) ≥ (c + δ)^{√[2k]{d}}를 만족한다. 여기서 c > 1, δ = o(1), k ∈ ℕ이다.
• r(d) = 1/2 + φ(d)이고 φ(d) ≥ c (ln ln d)/ln d (큰 c > 0에 대해)이면, 모든 큰 d에 대해 f_r(d) > d+1이다.
• r(d) = 1/2 + φ(d)이고 φ(d) = O(1/d)이면 f_r(d) ≤ d+1이며, 이는 이 임계값에서 행동이 급격히 변화함을 보여준다.
• φ(d) = O(1/d)와 φ(d) = Θ((ln ln d)/ln d) 사이의 간격은 여전히 열려 있으며, 이는 f_r(d)의 행동이 변화할 수 있는 임계 영역임을 시사한다.