구면 거리기하와 양정함수: 새로운 디라스테 기법의 확장

초록

이 논문은 Schoenberg의 정리와 Delsarte 방법을 기반으로, 구면 상에서 양정함수의 표현을 확장하고, 이를 이용해 차원 3·4에서의 키싱 넘버와 일방향 키싱 넘버 문제를 정확히 해결한다. 또한 40차원 이하의 구면 두 거리 집합의 최대 크기를 다항식 방법과 Delsarte 기법으로 규명하고, 다변량 양정함수와 반정밀계획법을 활용해 구면 코드의 상한을 개선한다.

상세 분석

Schoenberg(1942)의 정리는 단위 구면 위에서 양정함수(f)가 Gegenbauer 다항식의 비음수 선형 결합으로 전개될 수 있음을 보여준다. 이 결과는 Delsarte가 제시한 선형/반정밀계획법의 핵심이며, 구면 및 유클리드 공간에서의 구체적 코딩 문제, 특히 키싱 넘버(kissing number) 문제에 직접 적용된다. 기존 Delsarte 방법은 차원 8과 24에서만 정확한 상한을 제공했으며, 차원 3·4에서는 기존 상한이 실제 최적값보다 크게 남아 있었다. 저자들은 Delsarte의 다항식 제약에 추가적인 “한쪽 제약”(one‑sided constraint)을 도입함으로써, 구면 상의 각 점 사이의 거리 분포를 더 정밀히 제한한다. 이 확장은 양정함수의 다변량 버전을 이용해 다중 변수에 대한 Schoenberg‑type 전개를 가능하게 하고, 반정밀계획(SDP)으로 구현한다. 결과적으로 차원 3에서는 키싱 넘버가 12, 차원 4에서는 24임을 증명하고, 일방향 키싱 넘버도 동일 차원에서 정확히 구한다. 또한, 구면 두 거리 집합(two‑distance sets)의 경우, 다항식 방법을 통해 n<40인 모든 차원에서 최대 원소 수를 완전히 규명한다. 마지막으로, 최근 제안된 다변량 양정함수 이론을 활용해 SDP 기반의 구면 코드 상한을 기존 결과보다 더 강하게 끌어올렸다. 이 논문은 구면 거리기하와 코딩 이론 사이의 깊은 연결고리를 새롭게 조명하고, 고전적인 Delsarte 프레임워크를 현대적인 최적화 기법과 결합함으로써 차원별 최적 해를 얻는 새로운 길을 제시한다.