[논문 리뷰] New Codes on High Dimensional Expanders

Irit Dinur, Siqi Liu외 1명|arXiv (Cornell University)|2023. 08. 29.

Error Correcting Code Techniques인용 수 1

한 줄 요약

이 논문은 고차원 확산자(HDX)를 기반으로 한 새로운 대칭형 저밀도 검사행렬(LDPC) 부호 가족을 제안한다. 이 부호들은 단순 복합체를 벡터 공간에 매립하는 새로운 방법을 통해 구성되며, 2차원 확산자 복합체의 삼각형 위의 함수로 정의된다. 각 변을 따라 국소적인 시야는 리드-소로몬 부호를 이룬다. 특정 매개변수 조건 하에서 이 부호들은 상수 속도의 국소적 검증 가능성을 확보하고, 곱셈 성질을 가지며, 제약 조건 수를 세는 방식을 피하는 비율 분석 기법을 통해 국소 부호의 비율이 1/2 이하일 경우에도 비자명한 속도를 달성한다.

ABSTRACT

We describe a new parameterized family of symmetric error-correcting codes with low-density parity-check matrices (LDPC). Our codes can be described in two seemingly different ways. First, in relation to Reed-Muller codes: our codes are functions on a subset of $\mathbb{F}^n$ whose restrictions to a prescribed set of affine lines has low degree. Alternatively, they are Tanner codes on high dimensional expanders, where the coordinates of the codeword correspond to triangles of a $2$-dimensional expander, such that around every edge the local view forms a Reed-Solomon codeword. For some range of parameters our codes are provably locally testable, and their dimension is some fixed power of the block length. For another range of parameters our codes have distance and dimension that are both linear in the block length, but we do not know if they are locally testable. The codes also have the multiplication property: the coordinate-wise product of two codewords is a codeword in a related code. The definition of the codes relies on the construction of a specific family of simplicial complexes which is a slight variant on the coset complexes of Kaufman and Oppenheim. We show a novel way to embed the triangles of these complexes into $\mathbb{F}^n$, with the property that links of edges embed as affine lines in $\mathbb{F}^n$. We rely on this embedding to lower bound the rate of these codes in a way that avoids constraint-counting and thereby achieves non-trivial rate even when the local codes themselves have arbitrarily small rate, and in particular below $1/2$.

연구 동기 및 목표

• 고차원 확산자(HDX)를 사용하여 증명 가능하고 국소 검증 가능한 대칭형 저밀도 검사행렬(LDPC) 부호의 신규 가족을 구성하는 것.
• 단순 복합체를 벡터 공간 Fn에 새로운 방식으로 매립하여, 변의 링크가 애핀 선으로 매핑되도록 하는 방식으로 부호를 정의하는 것.
• 전통적인 제약 조건 수 계산 방법에 의존하지 않고, 국소 부호의 비율이 임의로 작은 경우에도 비자명한 부호 비율을 달성하는 것.
• 두 부호어의 좌표별 곱이 관련된 부호의 부호어가 되는 곱셈 성질을 만족하는 것.
• 일부 매개변수 범위에서 국소 합의 검증 가능성을 증명하고, 기각 확률과 강건성에 대한 명시적 상한을 도출하는 것.

제안 방법

• 카우프만과 오페나임의 코스 임의 복합체 변형을 사용하여, Fq 위의 유니포텐트 부분군을 활용해 2차원 3분할 단순 복합체 Xn을 구성한다.
• Xn의 삼각형을 Fn에 매립하여, 변의 링크가 Fn 내의 애핀 선으로 매핑되도록 하여 국소 리드-소로몬 구조를 가능하게 한다.
• 전역 부호를 Xn의 삼각형 위의 함수로 정의하며, 각 변의 링크(애핀 선)에서 낮은 차수 다항식으로 제약을 둔다.
• 정점에서의 국소 부호가 차수 d의 리드-소로몬 부호가 되도록, 2차원 복합체 위에서 탄너 부호 구조를 적용한다.
• 역 귀납법과 '트리클링 다운' 정리를 적용하여, 고차원 면에서부터 저차원 면으로 합의 검증 가능성을 전파한다.
• 표준 수세기 방법을 피하기 위해 기하적 매립과 조합 구조를 활용하여 비율 상한을 확립한다.

실험 결과

연구 질문

• RQ1 제약 조건 수에 의존하지 않고, 국소 부호의 비율이 1/2 이하일 경우에도 비자명한 비율을 확보할 수 있는가?
• RQ2 국소 부호의 비율이 임의로 작은 경우에도 제약 조건 수 계산에 의존하지 않고 HDX 부호의 비율을 상한으로 제시할 수 있는가?
• RQ3 제안된 구조가 두 부호어의 좌표별 곱이 관련된 부호의 부호어가 되는 곱셈 성질을 만족하는가?
• RQ4 어떤 매개변수 범위에서 부호가 국소적으로 검증 가능하며, 기각 확률과 강건성에 대한 명시적 상한은 무엇인가?
• RQ5 Fn 내의 애핀 선으로 표현되는 링크의 국소 구조를 활용하여, 높은 거리와 높은 차원을 동시에 확보하는 부호를 정의할 수 있는가?

주요 결과

• d < (1/4 - 5/64 δk−2)|F| 인 경우, Cφ ⊂ {f : X(k) → F} 부호는 ǫ−1 = (p−4d)/(5p))^3 및 ρ−1(x) = D1·x 조건 하에서 (ǫ−1, ρ−1(·))-합의 검증 가능하며, D1 = (k+1)|F|^k 이다.
• 일부 매개변수 범위에서는 차원이 블록 길이의 고정된 거듭제곱이며, 다른 범위에서는 거리와 차원이 모두 블록 길이에 선형적으로 비례한다.
• 기하적 매립을 통해 제약 조건 수 계산 없이 전역 부호의 비율 하한을 확보하여, 국소 부호의 비율이 1/2 미만일 경우에도 비자명한 비율을 달성한다.
• 정점에서의 국소 부호는 링크 구조에 따라 리드-소로몬 부호 또는 두 개의 곱셈형태로 표현되며, 명시적 강건성 상한을 갖는 국소 검증 가능성을 가진다.
• 부호들은 곱셈 성질을 만족한다. 좌표별 곱이 관련된 부호의 부호어가 되며, 이는 국소 리드-소로몬 구조 덕분이다.
• k=2일 경우, 정점에서의 부호는 식 (15)에 정의된 Cd,d 와 동형이며, d < |F|/4 이면 ((p−4d)/(5p))^3 , 4(·)^{1/3})-합의 검증 가능하다.