[논문 리뷰] Optimal LRC codes for all lenghts n≤q.

Oleg Kolosov, Alexander Barg외 2명|arXiv (Cornell University)|2018. 02. 01.

Coding theory and cryptography참고 문헌 10인용 수 14

한 줄 요약

이 논문은 모든 코드 길이 $ n \leq q $ 에 대해 최적의 국소 복구 코드(LRCs)를 명시적 대수적 구조로 제시한다. 이는 이전 연구에서 $ n $ 이 $ r+1 $ 으로 나누어떨어져야만 했던 제약을 확장한 것이다. $ q $-진 리드-소로몬 코드의 부분코드를 단순화함으로써, 특히 전체 복구 그룹에서 $ t = r+1 - (n \mod (r+1)) $ 개의 좌표를 제거함으로써, $ n \not\equiv 0 \pmod{r+1} $ 인 경우에도 최소거리가 최대가 되는 LRC를 구성한다. 이는 국소성 조건 하에서 가능한 최대 최소거리에 도달한다.

ABSTRACT

A family of distance-optimal LRC codes from certain subcodes of $q$-ary Reed-Solomon codes, proposed by I.~Tamo and A.~Barg in 2014, assumes that the code length $n$ is a multiple of $r+1.$ By shortening codes from this family, we show that it is possible to lift this assumption, still obtaining distance-optimal codes.

연구 동기 및 목표

• 이전 연구에서 $ n $ 이 $ r+1 $ 으로 나누어떨어져야만 했던 제약 조건을 초월하여 최소거리가 최적인 LRC 코드의 구성을 확장하는 것.
• 모든 $ n \leq q $ 에 대해 최적의 LRC 코드를 명시적이고 대수적으로 구성하는 것, 특히 $ n \mod (r+1) \neq 0 $ 인 경우도 포함하여.
• 최적의 LRC 코드를 단순화함으로써 그 최적성 유지 여부를 입증하는 것, 특히 원래의 나누어떨어짐 조건이 완화된 경우에도 성립함을 보이는 것.
• 특정 매개변수 영역에서 고전적 경계를 강화하는 LRC 코드의 최소거리에 대한 더 강력한 상한을 설정하는 것.

제안 방법

• 길이 $ \bar{n} = m(r+1) \leq q $ 인 리드-소로몬 코드의 부분코드로 코드를 구성하며, 여기서 $ m = \lfloor n/(r+1) \rfloor $ 이고, $ r+1 $ 크기의 분리된 복구 그룹 $ m $ 개에서 $ n $ 개의 좌표를 선택한다.
• 각 복구 그룹 $ A_i $ 에서 일정한 값을 가지는 $ r+1 $ 차수의 다항식 $ g(x) $ 를 사용하고, 데이터 기호와 차수 제약 조건에 기반한 구조적 계수를 가진 다항식 $ f_a(x) $ 의 가중치를 정의한다.
• 마지막 복구 그룹 $ A_m $ 에서 $ t = r+1 - s $ 개의 좌표를 제거함으로써 단순화를 적용한다. 여기서 $ s = n \mod (r+1) $ 이고, 제거된 집합 $ B $ 에 대해 소거 다항식 $ h_B(x) $ 를 정의한다.
• 정보 기호 총 개수가 $ k $ 가 되도록 데이터 벡터를 $ a_{ij} $ 와 $ b_m $ 성분으로 분해하며, 이때 $ k' = k + t $ 가 된다.
• 평가 사상의 단사성을 입증하기 위해 $ f_a(x) $ 의 영점 개수를 상한으로 제한함으로써 코드의 차원이 $ k $ 라는 것을 보장한다.
• 최소거리에 대한 강화된 상한을 유도한다(정리 III.3). 이에 따르면 $ s \neq 1 $, $ r \mid k $, 또는 $ k \mod r \geq s $ 를 만족할 경우 $ d_{\min} \leq n - k - \lfloor k/r \rfloor + 1 $ 이다.

실험 결과

연구 질문

• RQ1 모든 $ n \leq q $ 에 대해 $ n $ 이 $ r+1 $ 으로 나누어떨어지지 않는 경우에도 최적의 LRC 코드를 구성할 수 있는가?
• RQ2 나누어떨어짐 조건이 없을 때, 기존의 최적 LRC 코드 가족을 단순화해도 그 최적성은 유지되는가?
• RQ3 고전적 경계(1)를 개선하는 더 날카운 최소거리 상한을 유도할 수 있는가?
• RQ4 $ n \mod (r+1) \neq 0 $ 인 경우, 이러한 코드의 명시적 대수적 구조는 무엇인가?
• RQ5 $ g(x) $ 와 소거 다항식 $ h_B(x) $ 의 선택이 코드의 국소성 및 거리 특성에 어떤 영향을 미치는가?

주요 결과

• 제안된 구조는 $ s = n \mod (r+1) \neq 1 $ 이고 $ \bar{n} = m(r+1) \leq q $ 를 만족할 경우, 모든 $ n \leq q $ 에 대해 최대 최소거리를 가지는 명시적 구조를 가진 $ (n,k,r) $ LRC 코드를 제공한다.
• 이 코드는 [8]에서 제시된 $ q $-진 RS 부분코드의 단순화된 형태이며, 이 단순화 과정이 $ (r+1) \nmid n $ 인 경우에도 최적성을 유지한다.
• 코드의 최소거리는 $ d \geq n - k - \left\lfloor \frac{k + t}{r} \right\rfloor + 2 $ 를 만족하며, 여기서 $ t = r+1 - s $ 이고, 이 경계는 새로운 강화된 거리 경계 하에서 이론적으로 가능한 최대값과 일치한다.
• 새로운 최소거리 상한이 도출되었으며(정리 III.3), $ s \neq 1 $, $ r \mid k $, 또는 $ k \mod r \geq s $ 를 만족할 경우 $ d_{\min} \leq n - k - \left\lfloor \frac{k}{r} \right\rfloor + 1 $ 이다. 이는 이러한 경우에 고전적 경계(1)보다 더 날카롭게 작아진다.
• 고전적 경계와 실제 최소거리의 차이가 1일 때조차도 최적성이 유지되는데, 이는 새로운 상한도 1만큼 감소하기 때문이다. 따라서 최적 갭이 유지된다.
• 이 구조는 자가 포함적이며, [10]에서 다른 방법으로 유도된 동일한 결론을 독립적으로 증명하는 데 기여한다.