작은 반경 구면에서의 보르수크 반례 확장

초록

본 논문은 반지름 r > ½인 구면 S_r^{d‑1} 위에 직경 1인 집합을 구성하여, 차원 d 가 충분히 클 때 보르수크 추측을 위반하는 새로운 반례를 제시한다. 기존 반례들은 반지름이 1/√2 에 근접한 경우에만 알려졌으나, 저자들은 임의의 r > ½에 대해 차원 d₀ 이 존재함을 증명한다.

상세 분석

보르수크 추측은 “직경 1인 임의의 집합은 d + 1개의 직경이 작은 부분집합으로 분할될 수 있다”는 명제이며, 1993년 Kahn‑Kalai 의 반례가 고차원에서 발견된 이후로 대부분의 연구는 차원을 크게 하면 반례가 존재한다는 방향으로 진행되었다. 그러나 기존의 반례들은 모두 구면 S_{1/√2}^{d‑1} 위에 놓인 정규다각형 혹은 코듀얼 코드와 같은 구조를 이용했으며, 구의 반경이 1/√2 에 매우 가깝다는 제한이 있었다. 이는 구면 위에서의 거리 보존성(특히 구면 거리와 유클리드 거리 사이의 변환 관계) 때문에 반경이 작아질수록 “직경 1” 조건을 만족시키기 어려워지는 점과 연관된다.

본 논문은 이러한 제한을 뛰어넘어, 임의의 r > ½에 대해 반례를 구성할 수 있음을 보인다. 핵심 아이디어는 두 단계로 나뉜다. 첫 번째 단계에서는 고차원 이진 코드 혹은 라틴 큐브와 같은 조합적 구조를 이용해, 각 코드워드가 구면 S_r^{d‑1} 위에 정규화된 벡터가 되도록 매핑한다. 이때 r > ½ 조건은 코드워드 간의 내적을 충분히 작게 만들어, 정규화 후에도 두 점 사이의 유클리드 거리가 1에 가깝게 유지되도록 보장한다. 두 번째 단계에서는 확률적 방법을 도입해, 충분히 큰 차원 d 에 대해 이러한 코드워드 집합을 무작위로 선택하면, 기대값 관점에서 직경 1인 집합이 d + 1 개의 작은 직경 부분으로 나뉘지 못한다는 것을 증명한다. 특히, 마르코프 부등식과 체비셰프 부등식을 활용해 “대다수”의 선택이 원하는 성질을 만족함을 보이며, 이는 기존의 결정적 구성보다 더 일반적인 결과를 제공한다.

또한 저자들은 구면 S_r^{d‑1} 위에서의 거리 변환 식인
\