[논문 리뷰] List decoding Reed-Muller codes over small fields

Abhishek Bhowmick, Shachar Lovett|arXiv (Cornell University)|2014. 07. 13.

Coding theory and cryptography참고 문헌 20인용 수 3

한 줄 요약

이 논문은 고정된 소수 체 위에서 Reed-Muller 코드의 리스트 디코딩 반경이 최소 거리와 같다는 오랜 동안 제기된 추측을 증명함으로써 해결한다. 이는 반경 δ(d)−ε 이내의 코드워드 수가 n에 관계없이 일정한 상한을 가진다는 것을 보여준다. 증명은 고차원 푸리에 분석, 일반화된 스웨츠-지프엘 보조정리, 그리고 함수 공간으로의 Frieze-Kannan 정규성 보조정리의 확장에 기반한다.

ABSTRACT

The list decoding problem for a code asks for the maximal radius up to which any ball of that radius contains only a constant number of codewords. The list decoding radius is not well understood even for well studied codes, like Reed-Solomon or Reed-Muller codes. Fix a finite field $\mathbb{F}$. The Reed-Muller code $\mathrm{RM}_{\mathbb{F}}(n,d)$ is defined by $n$-variate degree-$d$ polynomials over $\mathbb{F}$. In this work, we study the list decoding radius of Reed-Muller codes over a constant prime field $\mathbb{F}=\mathbb{F}_p$, constant degree $d$ and large $n$. We show that the list decoding radius is equal to the minimal distance of the code. That is, if we denote by $δ(d)$ the normalized minimal distance of $\mathrm{RM}_{\mathbb{F}}(n,d)$, then the number of codewords in any ball of radius $δ(d)-\varepsilon$ is bounded by $c=c(p,d,\varepsilon)$ independent of $n$. This resolves a conjecture of Gopalan-Klivans-Zuckerman [STOC 2008], who among other results proved it in the special case of $\mathbb{F}=\mathbb{F}_2$; and extends the work of Gopalan [FOCS 2010] who proved the conjecture in the case of $d=2$. We also analyse the number of codewords in balls of radius exceeding the minimal distance of the code. For $e \leq d$, we show that the number of codewords of $\mathrm{RM}_{\mathbb{F}}(n,d)$ in a ball of radius $δ(e) - \varepsilon$ is bounded by $\exp(c \cdot n^{d-e})$, where $c=c(p,d,\varepsilon)$ is independent of $n$. The dependence on $n$ is tight. This extends the work of Kaufman-Lovett-Porat [IEEE Inf. Theory 2012] who proved similar bounds over $\mathbb{F}_2$. The proof relies on several new ingredients: an extension of the Frieze-Kannan weak regularity to general function spaces, higher-order Fourier analysis, and an extension of the Schwartz-Zippel lemma to compositions of polynomials.

연구 동기 및 목표

• 고정된 소수 체 위에서 Reed-Muller 코드의 리스트 디코딩 반경이 최소 거리와 같은가를 해결하는 것.
• 이전의 F₂ 및 Fₚ에서의 저차수 다항식에 대한 리스트 디코딩 결과를 임의의 고정된 소수 체와 차수로 확장하는 것.
• 최소 거리를 초월하는 반경 내의 코드워드 수를 n과 차수의 차이에 따라 엄밀한 상한으로 분석하는 것.
• 고차원 푸리에 분석 프레임워크와 다항식 복합체에 대한 확장된 스웨츠-지프엘 보조정리와 같은 새로운 분석 도구를 개발하는 것.
• 비소수 체로의 리스트 디코딩 결과 확장을 위한 기초를 마련하고, 부족한 이론적 요소를 규명하는 것.

제안 방법

• 유한 체 위의 일반 함수 공간으로의 Frieze-Kannan 약한 정규성 보조정리를 확장하여 저차수 다항식 함수의 분해를 가능하게 한다.
• 고차원 푸리에 분석을 적용하여 저차수 다항식의 구조와 수신된 단어와의 일치도를 분석한다.
• 다항식 복합체의 근의 수를 제한하는 일반화된 스웨츠-지프엘 보조정리를 도입하여 리스트 크기를 제어하는 데 핵심적인 역할을 한다.
• 보조 변수 위에서 다항식을 다중선형 형식으로 재귀적으로 분해하여 문제를 더 낮은 차수의 구성요소로 환원한다.
• 통계적 거리 논증을 사용하여 함수가 코드워드와 일치하는 정도를 그 구조적 구성요소의 일치도와 연결한다.
• 이러한 도구들을 조합하여 임의의 수신된 단어로부터 주어진 거리 이내에 있는 저차수 다항식의 수를 제한하고, 최소 거리까지의 리스트 크기가 일정함을 증명한다.

실험 결과

연구 질문

• RQ1 고정된 소수 체 위에서 Reed-Muller 코드의 리스트 디코딩 반경이 최소 거리와 같은가?
• RQ2 e ≤ d 이고 ε > 0 일 때, 임의의 수신된 단어로부터 거리 δ(e)−ε 이내에 있는 차수 d 다항식의 수가 exp(c·n^{d−e}) 이하로 유계가 되는가? 여기서 c는 상수이다.
• RQ3 최소 거리를 초월하는 리스트 크기의 엄밀한 상한을 가능하게 하는 저차수 다항식의 구조적 성질은 무엇인가?
• RQ4 고차원 푸리에 분석을 임의의 유한 체 위의 함수 공간으로 확장하여 이러한 상한을 도출할 수 있는가?
• RQ5 비소수 체로의 확장을 고려할 때 현재 기법들의 한계는 무엇인가?

주요 결과

• F_p 위의 RM_F(n,d)에 대해 리스트 디코딩 반경이 최소 거리 δ(d)와 같음을 증명하여, Gopalan-Klivans-Zuckerman의 소수 체에 대한 추측을 해결한다.
• 모든 e ≤ d 및 ε > 0 에 대해, 임의의 수신된 단어로부터 거리 δ(e)−ε 이내에 있는 차수 d 다항식의 수는 상수 c = c(p,d,ε)에 대해 exp(c·n^{d−e}) 이하이며, 이 n에 대한 의존성은 최적임을 보였다.
• 리스트 크기의 상한이 e = d일 때 일정함을 확인하여, 모든 고정된 소수 체와 차수에서 최소 거리까지 리스트 디코딩이 가능하다는 것을 확인한다.
• 다항식 복합체에 적용 가능한 새로운 일반화된 스웨츠-지프엘 보조정리를 도입하여 일치 집합의 제어를 가능하게 하였다.
• 일반 함수 공간으로의 Frieze-Kannan 정규성 보조정리의 새로운 확장이 개발되어 다항식 함수를 구조적 구성요소로 분해하는 데 사용되었다.
• 분석 결과, 반경이 δ(e)−ε를 초과할 경우 리스트 크기가 n^{d−e}에 대해 지수적으로 증가하며, 주어진 매개변수에 대해 이 증가율은 최적임을 보였다.