MDS와 Reed‑Muller 코드의 트리폭이 트렐리스폭과 동일함을 밝히다

초록

본 논문은 최대 거리 분리 가능한(MDS) 코드와 이진 Reed‑Muller 코드에 대해 트리폭(treewidth)과 트렐리스폭(trelliswidth)이 언제나 일치한다는 사실을 증명한다. 일반화된 해밍 가중치와 트리 구조의 분리 정리를 활용해 두 코드군의 트리폭을 정확히 계산하고, 그 값이 각각 min{k, n‑k+1} 및 ∑_{i=0}^r C(m,i) 와 같은 명시적 식으로 표현됨을 보인다. 이는 대수적 코드에 대한 트리폭의 첫 번째 명시적 결과이다.

상세 분석

논문은 먼저 선형 코드의 그래프 실현에서 “제약 복잡도(constraint complexity)”를 정의하고, 사이클이 없는 트리 실현에서의 최소 제약 복잡도를 “트리폭(treewidth)”이라 명명한다. 트렐리스폭(trelliswidth)은 동일 개념을 경로(트리의 특수 경우) 실현에 제한했을 때의 최소값이다. 일반적으로 트리폭 ≤ 트렐리스폭이지만, 두 값이 언제 동일한지는 알려지지 않았다.

저자들은 두 단계의 전략을 제시한다. 첫 번째는 코드의 일반화된 해밍 가중치(dₚ)와 제한된 지원 부분코드 차원(Uₛ)를 이용해, 임의의 트리 분해 (T, ω)에서 각 내부 노드 v에 대한 제약 복잡도 하한 κᵥ ≥ k − ∑{e∈E(v)} U{|I_{e,v}|}(C) 를 얻는 것이다. 여기서 I_{e,v}는 가장자리 e를 제거했을 때 v와 떨어진 서브트리의 잎에 대응하는 좌표 집합이다.

두 번째는 “분리 정리(separator theorem)”를 활용한다. 모든 잎이 n개인 3차 트리에서는 내부 노드 v가 존재해 각 서브트리의 잎 수 n₁≤n₂≤n₃가 n/2 이하(또는 n/2~2n/3 구간)임을 보인다. 이 정리를 이용해, MDS와 Reed‑Muller 코드 각각에 대해 n₁,n₂,n₃가 만족하는 U_{n_i}(C)의 합이 k − τ(C) 이하임을 증명한다. 여기서 τ(C)는 트렐리스폭이다. 따라서 모든 트리 분해에 대해 어떤 내부 노드 v가 κᵥ ≥ τ(C)를 만족하므로, 트리폭 κ(C) ≥ τ(C) 가 성립하고, 이미 알고 있던 κ(C) ≤ τ(C)와 결합해 κ(C)=τ(C)임을 얻는다.

MDS 코드에 대해서는 일반화된 해밍 가중치가 dₚ = n‑k+p 로 단순히 계산되며, Uₛ(C)=max{0, s‑(n‑k)} 로 표현된다. 이를 토대로 트렐리스폭은 τ(C)=min{k, n‑k+1} 로 도출되고, 트리폭도 동일함을 증명한다.

Reed‑Muller 코드 RM(r,m)에서는 차수 r 이하의 다항식 공간 차원이 k(r,m)=∑_{i=0}^r C(m,i) 로 주어지고, 일반화된 해밍 가중치가 dₚ = 2^{m‑r‑1}+… 형태임을 이용한다. 제한된 지원 차원 Uₛ는 이 가중치를 역으로 풀어 구할 수 있다. 논문은 트리 구조에 대한 분리 정리(특히 n₃∈