[논문 리뷰] Edge Transitive Ramanujan Graphs and Highly Symmetric LDPC Good Codes

Tali Kaufman, Alexander Lubotzky|arXiv (Cornell University)|2011. 08. 15.

Error Correcting Code Techniques참고 문헌 11인용 수 3

한 줄 요약

이 논문은 PSL₂(q^α) 및 PGL₂(q^α) 군에서 유도된 간선 추이성 Ramanujan 그래프를 활용하여, 일정한 비율과 일정한 상대적 거리를 갖는 최초의 명시적 고도로 대칭적인 LDPC 코드 가족을 구성한다. 단일 저중량 제약 조건의 궤도가 쌍대 코드를 생성하는 케일리 코드 구축법을 사용함으로써, 저자들은 코딩 이론의 '황금 표준' 성능을 완전히 달성하였으며, 코플러와 위그더슨이 제기한 열린 문제를 해결한다.

ABSTRACT

We present a symmetric LDPC code with constant rate and constant distance (i.e. good LDPC code) that its constraint space is generated by the orbit of one constant weight constraint under a group action. Our construction provides the first symmetric LDPC good codes. This solves the main open problem raised by Kaufman and Wigderson in [4].

연구 동기 및 목표

• 일정한 비율과 일정한 거리를 갖는 고도로 대칭적인 LDPC 좋은 코드를 구성하는 열린 문제를 해결하기 위해.
• 이전의 구성에서 실패한 아벨 또는 해어질 수 있는 군을 초월해 대칭적인 LDPC 코드의 프레임워크를 확장하기 위해.
• 간선 추이성 Ramanujan 그래프가 이러한 코드를 구성하는 데 기초로 사용될 수 있음을 보여주기 위해.
• 군 작용에 대해 닫혀 있는, 고정된 무게 제약 조건을 갖는 코드 가족의 명시적 구성 제공하기 위해.
• 특정 고유값 성질을 갖는 비아벨 군 위의 케일리 코드가 일정한 대칭성과 저밀도 제약 조건을 유지하면서도 좋은 코드를 제공함을 증명하기 위해.

제안 방법

• G = PSL₂(q^α) 또는 PGL₂(q^α)이고 T가 G 위에 자동형사상으로 작용하는 H = G ⋊ T의 반직접곱 군 위에서 케일리 코드 C(G, S, B)를 구성한다.
• T ≅ 𝔽*_{q²}/𝔽*_{q} 작용에 의해 고정된 원소 γ ∈ G의 궤도로 생성 집합 S를 정의함으로써, 케일리 그래프 Cay(G, S)의 간선 추이성을 확보한다.
• 두 번째 고유값 λ = 2√q/(q+1)인 Ramanujan 그래프를 사용하여 강력한 확산성과 낮은 스펙트럼 갭을 보장한다.
• 길이 q+1인 순환 코드 B ⊆ 𝔽₂^S에서 비율 r(B) > 1/2 및 정규화된 거리 δ(B) > λ를 확보함으로써, 결과적으로 좋은 코드 C(G, S, B)를 생성한다.
• 홀수 길이 순환 코드 C(길이 2^m - 1)를 짝수 길이 순환 코드 B(길이 2(2^m - 1))로 올리는 전환 보조정리를 적용한다. 이는 비율과 거리를 유지한다.
• 쌍대 코드 C⊥이 유한한 무게를 갖는 벡터 v ∈ 𝔽₂^E에 대해 H·v의 단일 궤도로 생성됨을 증명함으로써, 코드가 고도로 대칭적이면서도 LDPC 성질을 갖는다.

실험 결과

연구 질문

• RQ1 일정한 비율과 일정한 상대적 거리를 갖는 고도로 대칭적인 LDPC 코드를 명시적으로 구성할 수 있는가?
• RQ2 간선 추이성 Ramanujan 그래프가 이러한 코드를 구성하는 데 실용적인 프레임워크를 제공하는가?
• RQ3 대칭적인 LDPC 코드의 쌍대 코드가 군 작용 하에 단일 궤도로 생성된 유한한 무게 제약 조건에 의해 생성될 수 있는가?
• RQ4 아벨 또는 해어질 수 있는 군 대칭성의 제한을 초월해 대칭적인 LDPC 코드 설계에서 이를 극복할 수 있는가?
• RQ5 케일리 그래프의 스펙트럼 성질을 활용하여, 대칭성과 저밀도를 유지하면서도 좋은 거리를 확보할 수 있는가?

주요 결과

• 구성된 코드 가족의 비율은 2/a 이상이며, a ≥ 8 이므로 0에서 멀리 떨어져 있다.
• 정규화된 거리는 [( (a−2)/(2a log q) − 2√q/(q+1) ) / (1 − 2√q/(q+1)) ]² 이상이며, q = 4093 및 a ≥ 8일 때 0을 초과한다.
• 코드는 G = PSL₂(q^α) 또는 PGL₂(q^α)이고 T ≅ 𝔽*_{q²}/𝔽*_{q}인 반직접곱 군 H = G ⋊ T의 작용에 대해 대칭적이다.
• 쌍대 코드 C⊥은 최대 무게 q+1 = 4094인 단일 제약 조건 벡터 v의 궤도로 생성되며, 이는 LDPC 구조를 보장한다.
• 이 구성은 코딩 이론의 모든 '황금 표준'을 충족한다: 일정한 비율, 일정한 거리, 대칭성, 단일 궤도 생성, 유한한 무게 제약 조건.
• α → ∞일 때, 이 가족은 명시적이고 고도로 대칭적인 LDPC 좋은 코드를 형성하며, 코플러와 위그더슨(2007)이 제기한 주요 열린 문제를 해결한다.