17~21차원에서 새로운 접촉수 상한: 부호 변형을 통한 기록 파괴

초록

저자들은 17~21차원에서 기존 레치 격자 전단에 의존하던 구성을 탈피하고, 격자 벡터의 부호를 조절해 추가 구를 배치함으로써 각각 최소 5730, 7654, 11692, 19448, 29768개의 접촉수를 달성하였다. 이는 1967년 레치가 제시한 기록보다 각각 384, 256, 1024, 2048, 2048개씩 향상된 수치이다.

상세 분석

이 논문은 고차원 구 접촉 문제(kissing number problem)의 구체적인 하한을 개선하는 새로운 구성법을 제시한다. 기존에 24차원 레치 격자의 최소 벡터를 차원 절단(cross‑section)하여 17~21차원에 적용하는 방식이 최적이라고 여겨졌으나, 저자들은 이 방식이 내포하는 내적 구조가 추가 구를 삽입하기에 제한적임을 지적한다. 핵심 아이디어는 “부호 변형(sign modification)”이다. 레치 격자 벡터는 각 좌표가 ±2 혹은 0인 형태이며, 이들의 내적은 정수값(±4,0 등)으로 제한된다. 저자들은 동일한 절단 구조를 유지하되, 특정 좌표군에서 부호를 고의적으로 반전시켜 기존 벡터와의 내적을 4 이하로 유지하면서도 새로운 벡터를 삽입할 여지를 만든다.

구체적으로, 19~21차원에서는 (5,8,24) 스테이너 시스템을 기반으로 한 이진 오류 정정 코드 C를 이용한다. C의 코드워드와 짝수 개의 마이너스 부호를 조합해 2⁷|C|개의 벡터를 만든 뒤, 여기서 부호 개수를 홀수로 바꾸면 동일한 크기의 구 배치를 얻지만, 내적 구조가 달라진다. 이때 추가 벡터 v를 정의하고, v와 기존 벡터 w 사이의 내적이 ≤4가 되도록 c∈F₂ⁿ을 선택한다. 특히, c가 C에 대해 모듈로 2에서 직교하면 v와 w의 부호 차이가 최소 하나 보장되어 내적 제한을 만족한다.

n≥19인 경우, 골드코드의 부분코드(orthogonal complement)를 이용해 최소 거리 ≥ n/4인 서브코드를 구성하고, 해당 서브코드의 각 코드워드에 대응하는 v 벡터들을 삽입한다. 이는 기존 기록보다 각각 1~2배 정도 더 많은 구를 배치하게 만든다. 또한, 이 새로운 구 배치는 레치 격자 최소 벡터의 내적 집합 {±1,±½,±¼,0}에 포함되지 않는 비정수 내적(p²/n 등)을 포함하므로, 레치 격자의 단순 절단으로는 얻을 수 없음을 증명한다.

17·18차원에서는 16차원에서 이미 알려진 “홀수 부호” 구성을 출발점으로 삼는다. 여기서는 4×4 이진 행렬 공간 F₂⁴×⁴를 코드 C₁₀(행·열 합이 동일한 행렬)와 그 이중코드 C₆으로 분할하고, G₀와 추가 대칭을 포함한 군 G의 작용을 분석한다. C₁₀의 최소 거리 6을 이용해 서브코드 두 개를 선택하면 각각 192개의 추가 벡터를 삽입할 수 있다(총 384개 증가). 이는 17차원에서 5346→5730, 18차원에서 7398→7654라는 구체적 향상을 만든다.

전체적으로, 저자들은 선형 프로그래밍 경계와 군론적 궤도 분석을 결합해 서브코드의 최대 크기를 엄격히 제한하고, 실제 구성에서 그 한계에 도달함을 보인다. 계산적 검증 없이도 증명이 가능하도록 설계했으며, 데이터셋을 공개해 독자들이 알고리즘적으로 검증할 수 있게 했다.