반정밀 거리 절반 가중치 비가역 오류 하한 연구

본 논문은 이진 선형 코드 C의 최소 거리 d에 대해, 최소 거리의 절반 가중치를 갖는 비가역 오류(uncorrectable errors)의 개수를 하한하는 새로운 방법을 제시한다. 연구 동기는 최소 거리 디코딩(또는 최대 가능도 디코딩)에서 오류가 복구되지 못하는 경우를 정확히 파악함으로써 코드의 성능 한계를 이해하고, 특히 최소 거리 절반 가중치 근처에서의 오류 분포를 정량화하려는 데 있다. 1. **배경 및 기본 개념** - 코드는 F₂ⁿ에 대한 선형 부분공간이며, 각 코사이(코사이)는 한 개의 코사이 리더(coset leader)로 대표된다. 최소 원소(가중치가 최소인) 코사이 리더를 선택하면, 올바른 오류와 비가역 오류가 ‘모노톤(monotone)’ 구조를 가진다: 큰 오류가 올바르면 그 부분집합도 올바르고, 작은 오류가 비가역이면 그 상위 오류도 비가역이다. - Helleseth, Kløve, Levenshtein은 이 구조를 이용해 ‘larger half’와 ‘trial set’이라는 개념을 도입하였다. larger half는 코드워드 c에 대해 최소 커버링 관계를 만족하면서 c와 더했을 때 무게가 감소하는 최소 벡터 v이며, 이는 최소 비가역 오류를 구성한다. trial set T는 모든 최소 비가역 오류가 T의 larger half에 포함되도록 하는 코드워드 집합이다. 언제나 C\{0}이 trial set이 된다. 2. **문제 정의** - 목표는 |E₁⌈d/2⌉(C)|, 즉 최소 거리 절반 가중치를 갖는 비가역 오류 집합의 크기를 하한하는 것이다. 이는 M₁⌈d/2⌉(C)=E₁⌈d/2⌉(C)와 동일하므로, trial set T에 대한 larger half의 개수 |LH⌈d/2⌉(T)|를 추정하면 된다. 3. **홀수 최소 거리 경우 (d odd)** - ⌈d/2⌉ = (d+1)/2이며, larger half는 두 종류로 나뉜다: A_d(T)에서 유도된 LH(A_d)와 A_{d+1}(T)에서 유도된 LH⁻(A_{d+1}). - Lemma 1은 서로 다른 코드워드 간에 공유되는 larger half의 개수가 최대 1개임을 증명한다(특히 같은 무게 코드워드 간에는 전혀 겹치지 않는다). - 이를 이용해 각 코드워드가 제공하는 고유한 larger half의 최소 개수를 계산하고, 최종적으로 정리 1에서 제시된 하한식을 얻는다. 하한식은 |A_d|와 |A_{d+1}|에 대한 조합적 항으로 구성되며, 상한은 기존 문헌