완전 색칠과 완전 규칙 코드의 가중치 분포에 관한 보편적 공식

초록

본 논문은 그래프의 완전 색칠(공평 분할)과 완전 규칙 집합(거리 색칠이 완전한 집합) 사이의 가중치 분포 관계를 연구한다. 색칠의 색 구성만 알면 거리별 색 수를 계산하는 일반적 방법을 제시하고, 특정 경우에 대한 명시적 식을 도출한다. 특히 해밍 그래프에서는 모든 완전 색칠의 가중치 열거자를 간단한 식으로 표현한다.

상세 분석

논문은 먼저 완전 색칠(perfect coloring, equitable partition)의 정의를 재정리한다. 색 a와 색 b에 대해 색 a 정점 x의 색 b 이웃 수가 x에 의존하지 않고 오직 (a,b) 쌍에만 의존한다는 조건은 그래프의 인접 행렬을 색 블록으로 분할했을 때 블록 구조가 일정함을 의미한다. 완전 규칙 집합(completely regular set)은 어떤 정점 집합 D에 대해 거리 함수 dist(·,D) 로 만든 색칠이 위와 같은 완전 색칠이 되는 경우이며, 거리-정규 그래프에서는 단일 정점이 바로 완전 규칙 집합이 된다. 저자는 “가중치 분포(weight distribution)”를 D에 대한 거리‑색 행렬, 즉 거리 i에서 색 c에 속하는 정점 수 N_i(c) 로 정의하고, 이를 “가중치 열거자(weight enumerator)”의 다변량 일반화로 본다. 핵심 결과는 D 위의 색 구성(즉, 각 색이 D 안에 몇 개 존재하는가)만 알면 전체 N_i(c)를 선형 연산으로 구할 수 있다는 것이다. 구체적으로, 색 구성 벡터 v_D와 완전 색칠의 전이 행렬 S를 이용해 거리 i 에 대한 색 벡터 v_i = v_D·S^i 로 표현한다. 이는 거리‑정규성에 의해 S가 대각화 가능하고, 고유값과 고유다항식이 거리 다항식과 일치함을 이용한다. 일부 특수한 완전 규칙 집합(예: 완전 코드, 완전 디자인)에서는 S의 구조가 단순해져 닫힌 형태의 식을 얻는다. 해밍 그래프 Q_n에서는 전이 행렬이 이항 계수를 포함하는 Krawtchouk 행렬과 동일함을 보이며, 결과적으로 모든 완전 색칠에 대해 가중치 열거자가 Krawtchouk 다항식의 선형 결합으로 표현된다. 이 식은 색 구성만으로 즉시 계산 가능하므로, 기존에 복잡한 경우별 계산을 필요로 하던 문제를 일괄적으로 해결한다. 논문은 또한 완전 규칙 집합 자체가 또 다른 완전 색칠을 생성한다는 사실을 이용해, 임의의 완전 규칙 집합의 가중치 분포를 그 파라미터만으로 구할 수 있는 보편적 공식들을 제시한다. 이러한 결과는 코딩 이론에서 완전 규칙 코드의 거리 분포 분석, 디자인 이론에서 균등 분할의 구조적 특성 파악, 그리고 그래프 이론에서 거리-정규 그래프의 스펙트럼 연구에 직접적인 응용 가능성을 제공한다.