보르수크 추측을 두 페이지로 반박한 알론의 기법

초록

본 논문은 N. 알론이 제시한 간결한 조합·대수적 방법을 통해, 차원 n의 유클리드 공간에서 직경이 큰 부분을 n+1개 이하로 나눌 수 없다는 보르수크 추측을 2쪽 분량으로 반증한다. 핵심은 {0,1}ⁿ 벡터 집합을 이용한 구성과 행렬의 랭크를 이용한 논증이며, 고등학생·대학생도 이해할 수 있도록 전개된다.

상세 분석

보르수크 추측은 1933년 보르수크가 제안한, “n 차원 유클리드 공간의 유한 집합은 직경보다 작은 직경을 갖는 n+1개의 부분으로 분할할 수 있다”는 명제이다. 1993년 칸·칼라이가 고차원에서 반례를 제시하면서 이 추측이 일반적으로는 거짓임이 알려졌지만, 그 증명은 복잡한 확률적·조합적 기법을 사용한다. 알론은 이보다 훨씬 단순한 방법을 고안했는데, 핵심 아이디어는 이진 벡터들의 집합을 구면 위에 배치하고, 이들 사이의 거리(또는 내적)를 이용해 직경을 정의한다는 점이다. 구체적으로, m개의 좌표를 갖는 {0,1}ⁿ 벡터 중에서 서로 다른 두 벡터가 정확히 t개의 좌표에서만 겹치도록 하는 부분집합을 선택한다. 이렇게 구성된 점들의 집합은 구면 위에 놓이면 모든 쌍의 거리가 두 가지 값(예: 1과 √2)만을 갖는다. 이제 이 점들을 n+1개의 색(부분)으로 색칠한다고 가정하면, 색칠된 각 부분 안에서는 거리의 최댓값이 원래 직경보다 작아야 한다. 알론은 이를 행렬식과 랭크를 이용해 모순을 도출한다. 구체적으로, 각 점을 벡터 v_i라 하면, v_i·v_j (내적) 값이 0 또는 1만을 취한다. 색이 같은 점들 사이의 내적을 모두 0으로 만들면, 전체 내적 행렬의 랭크가 n 이하가 되어야 하지만, 실제로는 구성에 의해 랭크가 n+1임을 보인다. 이 랭크 모순이 바로 “n+1개의 부분으로는 직경을 감소시킬 수 없다”는 결론을 내린다. 알론의 증명은 전통적인 기하학적 직관을 버리고, 조합론적 설계와 선형대수학적 성질을 결합함으로써 복잡성을 크게 낮춘다. 특히, 행렬의 랭크를 이용한 논증은 “선형 독립성”이라는 친숙한 개념을 활용하므로, 고등학생 수준에서도 이해가 가능하다. 또한, 이 방법은 기존의 확률적 구성을 대체할 수 있는 결정적(constructive) 접근법을 제공한다는 점에서 학문적 의의가 크다. 논문은 이러한 아이디어를 두 페이지 안에 깔끔히 정리하고, 필요한 정리와 보조정리를 최소화함으로써 “가장 간단한 반례”라는 평가를 받는다. 마지막으로, 알론의 기법은 보르수크 추측 외에도 고차원 기하학, 코딩 이론, 그리고 거리 그래프의 색칠 문제 등 다양한 분야에 적용 가능성을 시사한다.