[논문 리뷰] Borsuk's Conjecture Fails in Dimensions 321 and 322

Oleg Pikhurko|ArXiv.org|2002. 02. 12.

Limits and Structures in Graph Theory참고 문헌 6인용 수 7

한 줄 요약

이 논문은 Borsuk의 추측이 321차원에서 실패함을 증명하며, ℝ³²¹ 내에서 직경이 더 작은 부분집합으로 분할될 수 없는 집합을 구성함으로써 이를 입증한다. Leech 격자의 단위 벡터에 대한 조합론적 추론을 통해, 321차원 애핀 부분공간에 놓인 큰 부분집합을 식별하고, Hinrichs의 연구에서 알려진 직경 한계를 활용하여 f(321)의 하한을 확립한다.

ABSTRACT

Borsuk's conjecture states that any bounded set in R^n can be partitioned into n+1 sets of smaller diameter. It is known to be false for all n bigger or equal to 323. Here we show that Borsuk's conjecture fails in dimensions 321 and 322. (This result has been independently discovered by Hinrichs and Richter.)

연구 동기 및 목표

• Borsuk의 추측이 실패하는 최소 차원을 결정하는 것, 즉 f(n) > n + 1가 성립하는 최소 n을 찾는 것.
• 이전 결과를 초월하여 n₀ = min{n ∈ ℕ | f(n) > n + 1}에 대한 상한을 향상시키는 것.
• f(321) ≥ 333임을 보여주어 추측이 321차원에서 실패하고, 그 이상의 모든 차원에서도 실패함을 입증하는 것.
• 유사한 집합을 322차원 애핀 부분공간에 구성하여 결과를 322차원으로 확장하는 것.

제안 방법

• Leech 격자 Λ₂₄와 그 단위길이 벡터들로 이루어진 부분집합 M을 사용하며, 이는 세 가지 유형의 좌표 패턴으로 명시적으로 기술된다.
• 幾何학적 성질(특히 직경과 관련된 성질)을 유지하는 선형 사상 Φ: ℝ²⁴ → ℝ³²⁴를 적용하여 M을 ℝ³²⁴에 통합한다.
• 정점으로서 M과 {1,…,24}의 3원소 부분집합을 가지며, 세 좌표의 절댓값이 동일한 경우에 벡터와 연결하는 이분 그래프 G를 구성한다.
• 이중 세아리(雙重數) 기법을 적용하여, 어떤 3원소 부분집합 {k,l,m}도 M 내 최소 116,424개의 벡터와 연결되어 있음을 보이며, 이를 통해 N ⊂ M를 구성한다.
• Φ(N)가 ℝ³²⁴ 내의 321차원 애핀 부분공간에 놓여 있음을 보이며, Hinrichs의 결과에 따라 Φ(M)의 직경을 유지함을 보장한다.
• Hinrichs의 결과(Φ(M)의 부분집합 중 직경이 diam(Φ(M))보다 작은 것은 최대 350개의 원소만 가질 수 있음)를 응용하여 f(321)의 하한을 유도한다.

실험 결과

연구 질문

• RQ1 f(n) > n + 1가 성립하는 최소 차원 n은 무엇인가? 즉, Borsuk의 추측이 실패하는 최소 차원은 무엇인가?
• RQ2 이전에 알려진 최적의 상한인 323 이하로 n₀에 대한 상한을 낮출 수 있는가?
• RQ3 ℝ³²¹ 내에서 직경이 더 작은 부분집합으로 분할하기 위해 322개 이상의 부분집합이 필요한 유계 집합이 존재하는가?
• RQ4 Leech 격자 내에서 유사한 구성이 321차원과 322차원에서 반례를 도출할 수 있는가?

주요 결과

• 논문은 f(321) ≥ 333을 확립하여 Borsuk의 추측이 321차원에서 실패함을 증명한다.
• Φ(N)가 ℝ³²⁴ 내의 321차원 애핀 부분공간에 놓여 있는 |N| ≥ 116,424인 부분집합 N ⊂ M을 구성한다.
• Φ(N)의 직경은 Φ(M)의 직경과 동일하며, Φ(M)의 부분집합 중 직경이 더 작은 것은 최대 350개의 원소만 포함할 수 있으므로, 최소 116,424 / 350 > 332개의 부분집합이 필요하다.
• 이 결과는 f(n) > n + 1가 모든 n ≥ 321에 대해 성립함을 시사하므로, Borsuk의 추측은 321차원 이상의 모든 차원에서 실패한다.
• 유사한 구성은 크기가 143,136인 부분집합 K ⊂ M을 얻으며, Φ(K)는 322차원 애핀 부분공간에 놓여 있으므로 f(322) ≥ 409임을 유도한다.
• 이 결과는 Hinrichs와 Richter에 의해 독립적으로 확인되었으며, 이들은 또한 L = {(x₁,…,x₂₄) ∈ M | x₁ = x₂}에 대해 다른 구성 방법을 사용하여 n₀ ≤ 298임을 증명한 것으로 주장한다.