비바이너리 선형 코드의 코드워드 독립 성능: LP·SP 디코딩 통합 분석

1. 서론 논문은 비바이너리 LDPC(또는 일반 링) 코드가 전통적인 합곱(SP) 디코딩과 최근 제안된 선형 프로그래밍(LP) 디코딩 모두에서 뛰어난 오류 정정 성능을 보인다는 점을 출발점으로 한다. 기존 연구에서는 ML 디코딩 하에서 “기하학적 균일성(Geometric Uniformity)”이라는 대칭 조건이 코드워드 독립성을 보장한다는 사실이 알려져 있었다. 그러나 비바이너리 코드와 비바이너리 변조(특히 PSK) 조합에서는 이러한 조건이 명시적으로 검증되지 않았다. 본 논문은 이를 일반화하여 LP와 SP 두 디코더 모두에 적용 가능한 대칭 조건을 도출하고, 이를 만족하는 PSK 매핑을 제시한다. 2. 일반 프레임워크 코드는 유한 링 R (|R|=q) 위에 정의되며, 0을 영원소, R⁻=R\{0\} 로 표기한다. 선형 코드 C는 m×n 패리티 체크 행렬 H∈R^{m×n} 로 정의되고, 각 행·열에 대한 지원 집합 I_j, J_i 등을 도입한다. 패리티 체크 j가 만족되는 조건은 Σ_{i∈I_j} c_i·H_{j,i}=0 로 표현된다. 채널 출력은 Σ^n 로, Σ는 유한 집합이거나 복소/실수 공간 C^l, R^l 로 가정한다. 변조‑채널 결합을 하나의 “채널”로 모델링하고, 모든 입력 심볼이 동일 확률로 전송된다고 가정한다. 3. 디코딩 알고리즘 3.1 LP 디코더 비바이너리 LP 디코더는 변수 f(α)_i (α∈R⁻, i∈I)와 체크 가중치 w_{j,b} (b∈C_j) 를 도입한다. 제약식 (3)–(5)는 각각 비음성, 체크 정규화, 변수와 체크 가중치 간 일관성을 강제한다. 이 제약을 만족하는 (f,w) 집합을 다면체 Q 로 정의하고, 비용 함수 F(f)=λ·f 를 최소화한다. 여기서 λ(α)_i = log