합성 순위 메트릭에서 리스트 디코딩 가능한 선형화 리드 솔로몬 및 접힌 변형 코드

초록

본 논문은 임의의 체 위에서 정의되는 합성 순위 메트릭 코드를 명시적으로 구성하고, 선형화 리드‑솔로몬(LRS) 및 그 접힌 버전(FLRS)의 부분코드가 오류 비율 ρ에 대해 속도 1‑ρ‑ε를 유지하면서 다항 시간 리스트 디코딩이 가능함을 보인다. 메시지 다항식을 서브스페이스 디자인으로 제한하고, 선형대수적 인터폴레이션‑해석 과정을 통해 리스트 크기를 h^{poly(1/ε)} 이하로 제어한다.

상세 분석

이 연구는 합성 순위 메트릭이라는 Hamming 메트릭과 랭크 메트릭을 통합한 거리 개념을 기반으로 한다. 기존에 LRS 코드는 스키워 다항식의 일반화된 연산자 평가를 통해 정의되었으며, 이는 Reed‑Solomon과 Gabidulin 코드를 동시에 포함한다. 논문은 두 가지 핵심 기법을 도입한다. 첫 번째는 서브스페이스 디자인을 이용해 메시지 공간을 제한함으로써, 리스트 디코딩 과정에서 발생할 수 있는 후보들의 수를 다항식 수준으로 억제한다는 점이다. 서브스페이스 디자인은 서로 다른 차원과 교차 구조를 갖는 선형 부분공간들의 집합으로, 임의의 저차원 주기적(Periodic) 부분공간과의 교집합 크기가 지수적으로 커지지 않도록 보장한다. 두 번째는 선형대수적 리스트 디코더를 설계하는 것으로, 수신된 코드워드에 대해 스키워 다항식 Q를 인터폴레이션하여 Q(β_{i,j}, y_{i,j})=0 형태의 제약식을 만든다. 이후 이 제약식이 정의하는 어피니 서브스페이스를 효율적으로 계산하고, 앞서 제한한 메시지 서브스페이스와 교차시켜 최종 후보 리스트를 얻는다.

특히, 접힌 LRS(FLRS) 코드에 대해서는 평가점들을 “folding”하여 여러 평가를 하나의 심볼로 묶음으로써 인터폴레이션 제약을 강화한다. 이는 기존 Folded Reed‑Solomon 코드에서 차용한 아이디어이며, 합성 순위 메트릭에서도 동일하게 작동한다. 접힌 구조 덕분에 동일 오류 비율에 대해 더 높은 리스트 디코딩 반경을 달성할 수 있다.

이론적 결과는 세 가지 정리로 요약된다. 정리 1.1은 임의의 ε>0, 정수 s에 대해 LRS 코드의 서브코드가 속도 ≥(1‑2ε)·k/n, 오류 허용량 s·(s+1)(n‑k)까지 리스트 디코딩이 가능하고 리스트 크기는 O(h^{s²/ε²}) 이하임을 보인다. 정리 1.2는 λ‑folded LRS 코드에 대해 비슷한 속도와 오류 허용량을 제공하면서 리스트 크기를 (d/ε)^d (d≈O(s)) 로 제한한다. 정리 1.3은 Monte‑Carlo 방식으로 서브스페이스 디자인을 무작위 생성해 리스트 크기를 O(s/ε) 로 더욱 축소할 수 있음을 제시한다.

알고리즘 복잡도는 전체 과정이 다항 시간(특히 O(poly(n, log h)))에 수행됨을 보이며, 리스트 크기가 입력 길이에 대해 지수적으로 증가하지 않으므로 실제 구현 가능성이 높다. 또한, 서브스페이스 디자인의 명시적 구성은 기존의 무작위 코드와 달리 구체적인 파라미터 선택이 가능하도록 한다.

이 논문은 합성 순위 메트릭 분야에서 최초로 “양의 속도”를 갖는 명시적 코드군이 리스트 디코딩 한계를 초과한다는 점에서 이론적·실용적 의미가 크다. 특히, 네트워크 코딩, 로컬 복구 코드, 양자 저항 암호 등 다양한 응용 분야에 바로 적용할 수 있는 설계 원리를 제공한다.