단일배제수와 MDS 코드의 정지 중복성

초록

본 논문은 (n, t)-단일배제수 S(n, t)를 정의하고, 이를 확률적 방법·재귀 부등식·구체적 구성으로 새로운 상한을 구한다. 얻어진 상한을 이용해 MDS 코드의 정지 중복성을 분석한 결과, 길이 n이 무한히 커질 때 최소거리 d가 √n보다 작거나, 차원 k가 √n보다 작고 k→∞인 경우 정지 중복성은 S(n, d‑2)와 점근적으로 동일함을 보인다. 이는 Schwartz‑Vardy 추측에 대한 부분적인 비대칭적 증명을 제공한다.

상세 분석

논문은 먼저 선형 블록 코드 C의 정지 중복성( stopping redundancy )을 정의한다. 이는 C의 Tanner 그래프에서 최소거리 d보다 작은 정지 집합이 존재하지 않도록 하는 체크 노드( parity‑check) 수의 최소값이다. 기존 연구에서는 MDS 코드의 정지 중복성이 코드 길이 n과 최소거리 d만에 의존한다는 Schwartz‑Vardy 추측이 제시되었지만, 일반적인 상한·하한이 충분히 촘촘하지 못했다. 이를 보완하기 위해 저자들은 (n, t)-단일배제수 S(n, t)를 도입한다. S(n, t)는 n개의 원소 집합에서 t‑부분집합을 선택해, 모든 i‑부분집합(i=1,…,t+1)에 대해 그 i‑부분집합의 원소 중 하나를 제외한 나머지를 포함하는 t‑부분집합이 최소 하나 존재하도록 하는 최소 개수이다. 이 정의는 정지 집합이 최소거리 d보다 작지 않게 하는 체크 행렬의 열 선택 문제와 일대일 대응한다. 특히, MDS 코드의 경우 d‑2를 t로 두면 S(n, d‑2)와 정지 중복성 사이에 직접적인 관계가 형성된다.

상한을 얻기 위해 세 가지 접근법을 사용한다. 첫째, 확률적 방법에서는 무작위로 t‑부분집합을 선택하고, 기대값을 이용해 충분히 큰 집합이 존재함을 보인다. 이때 마르코프 부등식과 체비셰프 부등식을 적절히 활용해 상한을 정밀하게 추정한다. 둘째, 재귀 부등식 접근법은 S(n, t)와 S(n‑1, t)·S(n‑1, t‑1) 사이의 관계를 수식화하여, 작은 n에 대한 정확한 값으로부터 큰 n에 대한 상한을 유도한다. 셋째, 명시적 구성에서는 특정한 블록 설계(예: 균등 설계, 라틴 사각형)와 조합적 구조를 이용해 실제로 구현 가능한 t‑부분집합 컬렉션을 제시한다. 이 세 방법은 서로 보완적으로 작용하여 기존에 알려진 상한보다 현저히 낮은 값을 제공한다.

이후 저자들은 S(n, d‑2)와 MDS 코드의 정지 중복성 ρ(C) 사이의 비대칭적 동등성을 증명한다. 구체적으로, n→∞ 일 때 d=o(√n) 혹은 k=o(√n)·k→∞ 조건을 만족하면 ρ(C)= (1+o(1))·S(n, d‑2)임을 보인다. 여기서 k=n‑d+1은 코드 차원이다. 이 결과는 정지 중복성이 단순히 d와 n의 함수가 아니라, 단일배제수라는 순수 조합적 파라미터에 의해 거의 완전히 결정된다는 강력한 증거가 된다. 또한, 기존에 알려진 하한인 Ω(n·log n)·(d‑2)와 비교했을 때, 새로운 상한은 차수 d가 √n 이하일 때 선형에 가까운 성장률을 보이며, 기존 상한보다 훨씬 더 타이트함을 확인한다.

마지막으로 논문은 이러한 결과가 Schwartz‑Vardy 추측의 비대칭적( asymptotic ) 확인으로 해석될 수 있음을 강조한다. 완전한 일반형 증명은 아직 남아있지만, 단일배제수와 정지 중복성 사이의 연결 고리를 명확히 함으로써 향후 연구가 조합 설계와 코딩 이론을 교차하는 새로운 방향을 제시한다.