[논문 리뷰] Random Reed-Solomon Codes Achieve the Half-Singleton Bound for Insertions and Deletions over Linear-Sized Alphabets

Roni Con, Zeyu Guo외 2명|arXiv (Cornell University)|2024. 07. 10.

Coding theory and cryptography인용 수 1

한 줄 요약

이 논문은 선형 크기의 알파벳을 사용하는 랜덤 리드-솔로몬 코드가 높은 확률로 삽입/삭제 오류에 대해 할프 싱글턴 경계를 달성함을 증명한다. 랜덤 행렬의 질량 분석과 가장 긴 공통 부분수열의 구조적 성질을 조합함으로써, 알파벳 크기가 n + poly(1/ε)k일 경우 이러한 코드는 (1−ε)n−2k+1개의 대칭적 인서션/델리션 오류를 수정할 수 있음을 보여주며, 이는 이전의 지수적 알파벳 크기의 경계에 비해 크게 향상된 결과이다.

ABSTRACT

In this paper, we prove that with high probability, random Reed-Solomon codes approach the half-Singleton bound - the optimal rate versus error tradeoff for linear insdel codes - with linear-sized alphabets. More precisely, we prove that, for any $ε>0$ and positive integers $n$ and $k$, with high probability, random Reed--Solomon codes of length $n$ and dimension $k$ can correct $(1-\varepsilon)n-2k+1$ adversarial insdel errors over alphabets of size $n+2^{\mathsf{poly}(1/\varepsilon)}k$. This significantly improves upon the alphabet size demonstrated in the work of Con, Shpilka, and Tamo (IEEE TIT, 2023), who showed the existence of Reed--Solomon codes with exponential alphabet size $\widetilde O\left(\binom{n}{2k-1}^2 ight)$ precisely achieving the half-Singleton bound. Our methods are inspired by recent works on list-decoding Reed-Solomon codes. Brakensiek-Gopi-Makam (STOC 2023) showed that random Reed-Solomon codes are list-decodable up to capacity with exponential-sized alphabets, and Guo-Zhang (FOCS 2023) and Alrabiah-Guruswami-Li (STOC 2024) improved the alphabet-size to linear. We achieve a similar alphabet-size reduction by similarly establishing strong bounds on the probability that certain random rectangular matrices are full rank. To accomplish this in our insdel context, our proof combines the random matrix techniques from list-decoding with structural properties of Longest Common Subsequences.

연구 동기 및 목표

• 삽입-삭제 모델에서 리드-솔로몬 코드를 연구함으로써 최적의 인서션/델리션 코드 성능과 실용적인 선형 코드 사이의 격차를 메우기 위해.
• 랜덤 리드-솔로몬 코드가 할프 싱글턴 경계 하에서 near-optimal 레이트 대 오류 무결성 비율을 달성할 수 있음을 보여주기 위해.
• 이전 연구에서 지수적 알파벳 크기였던 것을 선형 크기(n)로 줄여 이 경계를 달성하기 위한 최소 알파벳 크기를 줄이기 위해.
• 랜덤 RS 코드가 선형 크기의 체에서 높은 확률로 대칭적 인서션/델리션 오류에 강건함을 입증하기 위해.
• 인서션/델리션 오류 수정에 있어 새로운 증명 프레임워크를 제공하기 위해 — 랜덤 행렬 이론과 가장 긴 공통 부분수열의 구조를 융합한 방식으로.

제안 방법

• 리스트 디코딩 문헌에서 영감을 얻은 랜덤 행렬 기법을 활용하여, 특정 직사각형 행렬이 전위수를 가지는 확률을 제한한다.
• 두 색인 수열 I와 J 사이의 가장 긴 공통 부분수열(LCS)의 구조를 분석하여, 인서션/델리션 오류에 대한 내성에 대한 특성화를 한다.
• 조건부 확률과 다항식 차수의 경계를 사용하여, 무작위 체 원소 할당 하에 행렬의 특이성 발생 가능성을 제어한다.
• 탐욕적 알고리즘적 과정에서 변수를 단계적으로 고정하고, 의존성과 변수 집합을 추적하여 실패 확률을 제한한다.
• 모든 길이 ℓ인 증가하는 부분수열 쌍 I, J에 대해 유니언 바운드를 적용하여 전반적인 실패 확률을 제어한다.
• 행렬의 질량 검사를 시뮬레이션하기 위한 재귀 알고리즘을 사용하고, 행렬식 다항식의 계수 분석을 통해 열 질량이 전위수가 아닐 확률을 제한한다.

실험 결과

연구 질문

• RQ1 랜덤 리드-솔로몬 코드는 선형 크기의 알파벳을 사용할 경우 삽입/삭제 오류에 대해 할프 싱글턴 경계를 달성할 수 있는가?
• RQ2 랜덤 RS 코드가 고정된 비율의 대칭적 인서션/델리션 오류를 높은 확률로 수정하기 위해 필요한 최소 알파벳 크기는 얼마인가?
• RQ3 가장 긴 공통 부분수열의 구조는 인서션/델리션 수정 코드에서 평가 행렬의 질량과 어떻게 관련이 있는가?
• RQ4 리스트 디코딩에서 유래한 랜덤 행렬 질량 집중 기법을 인서션/델리션 오류 모델에 적응시킬 수 있는가?
• RQ5 RS 코드에서 near-optimal 인서션/델리션 오류 수정을 달성하기 위해 코드 차원 k, 길이 n, 알파벳 크기 q 사이의 무결성 무역을 어떻게 조정할 수 있는가?

주요 결과

• 알파벳 크기가 n + poly(1/ε)k인 랜덤 리드-솔로몬 코드는 삽입/삭제 오류에 대해 높은 확률로 할프 싱글턴 경계를 달성한다.
• 이 코드들은 높이 확률 1 − 2−n 이상으로 (1−ε)n − 2k + 1개의 대칭적 인서션/델리션 오류를 수정할 수 있다.
• 알파벳 크기가 이전의 지수적 크기(eO(n²/k²))에서 선형 크기(n)로 줄어들어, 이전의 구성보다 크게 향상되었다.
• 증명 과정에서 평가 행렬 Vk,ℓ,I,J가 무작위 체 원소 할당 하에 높은 확률로 전위수를 가짐을 입증하였다.
• 실패 확률은 모든 증가하는 부분수열 쌍에 대한 유니언 바운드와 행렬식 다항식의 계수 분석을 통해 제한되었다.
• 결과적으로, 알파벳 크기가 n에 선형적이고 1/ε에 다항적일 경우 랜덤 RS 코드가 대칭적 인서션/델리션 오류에 강건함을 확인하였다.