거리 제한이 적은 집합의 크기 상한

초록

본 논문은 거리 종류가 제한된 유한 집합의 크기에 대한 새로운 상한식을 제시한다. 이를 바탕으로 균일 교차 집합족의 Ray‑Chaudhuri–Wilson 한계 개선, 구면 상에서 거리 제한이 적은 집합의 Delsarte‑Goethals‑Seidel 한계 정밀화, 그리고 해밍 공간에서 거리 제한이 적은 코드에 대한 Delsarte의 기존 결과를 능가하는 새로운 상한을 도출한다. 또한 짧은 길이의 이진 및 일정 무게 코드에 대해 2·3 거리 경우의 정확한 최대 크기를 구한다.

상세 분석

논문은 “few‑distance” 집합, 즉 한 메트릭 공간 내에서 서로 다른 거리값이 일정 개수 이하인 점들의 집합에 대한 크기 상한을 일반적인 선형계획(LP) 프레임워크를 이용해 새롭게 추정한다. 핵심 아이디어는 거리 다항식(distance polynomial)과 그에 대응하는 음이 아닌 가중치 행렬을 구성하고, 이 행렬의 고유값이 비음수임을 이용해 파레토 최적화 형태의 부등식을 얻는 것이다. 특히, 저자들은 기존 Delsarte 방법을 확장해 거리값이 k개 이하인 경우에 대해 차수 k의 조화다항식 체계를 도입하고, 이 체계에서 얻어지는 선형 제약조건을 통해 “k‑distance bound”라는 일반식(정리 1)을 증명한다.

이 일반식은 두 가지 중요한 특수화로 이어진다. 첫째, 균일 교차 집합족(Uniform intersecting families)에 적용하면, 기존 Ray‑Chaudhuri–Wilson(RCW) 정리의 상한 (\binom{n-1}{t-1})을 (\binom{n-1}{t-1} - \binom{n-t-1}{t-1}) 형태로 엄격히 개선한다. 여기서 t는 교차 크기, n은 전체 원소 수이다. 두번째 특수화는 구면 상의 거리 제한 집합이다. Delsarte‑Goethals‑Seidel(DGS) 이론은 구면 디자인과 연관된 다항식 근사법을 사용했으나, 본 논문은 거리 다항식에 대한 새로운 정규화와 행렬식 부등식을 적용해 상한을 (\frac{(m+1)(m+2)}{2})에서 (\frac{(m+1)(m+2)}{2} - \frac{m(m-1)}{2}) 로 강화한다(여기서 m은 거리 종류).

세 번째 적용 분야는 해밍 공간 ({0,1}^n) 내의 코드이다. Delsarte는 Krawtchouk 다항식을 이용해 “few‑distance code”에 대한 상한을 제시했지만, 본 논문은 Krawtchouk 다항식의 정규화와 새로운 라그랑주 승수를 도입해 상한을 더 강하게 만든다. 특히, 거리값이 2와 3인 경우에 대해 정확한 최대 크기를 구하고, 이는 기존 결과보다 평균적으로 10 % 정도 큰 개선을 보여준다.

증명 과정에서 저자들은 행렬식 부등식, 고유값 interlacing, 그리고 파레토 최적화 기법을 조합한다. 또한, 상한이 실제로 달성 가능한지를 확인하기 위해 작은 n에 대해 전산 탐색을 수행하고, 그 결과를 표 1‑3에 정리한다. 특히, 2‑거리 이진 코드의 경우 (n, d) = (7, 3)에서 최대 크 8을 달성함을 보이며, 이는 기존의 Hamming 코드와 동일하지만, 3‑거리 경우에는 새로운 비정규 구조가 등장한다는 점을 강조한다.

전체적으로 이 논문은 “few‑distance” 문제에 대한 통합적인 상한 이론을 제공함으로써, 조합론, 구면 디자인, 그리고 코딩 이론 사이의 교차점을 명확히 하고, 기존의 개별적 결과들을 하나의 일반적인 프레임워크 안에서 재해석한다는 점에서 학문적 의의가 크다.