원형 이동 연산을 활용한 효율적인 MRD 코드 설계

초록

본 논문은 원형 이동(시클리컬‑시프트) 연산만을 이용해 확장체 𝔽_{q^J} 연산을 배제하고, 𝔽_q 위에서 직접 (J × n, q^{Jk}, d) 형태의 최대 순위 거리(MRD) 코드를 구성한다. J는 정의된 정수 L 의 오일러 토션트 함수값이며, gcd(q, L)=1을 만족한다. 제시된 코드는 기존 가비드린·트위스티드 가비드린 코드와의 관계를 q‑선형화 다항식 관점에서 명확히 구분·연결하며, J = m_L(=q 의 L 에 대한 곱셈적 위수)인 경우에는 가비드린 코드와 동일함을 보인다. 또한 q=2, L 소수인 경우 코드 생성 복잡도가 O(nkL)으로 기존 O(nkL²)보다 크게 개선된다.

상세 분석

이 논문은 순위 거리 코딩 분야에서 가장 널리 쓰이는 가비드린(Gabidulin) 및 트위스티드 가비드린(twisted Gabidulin) 코드들의 구현 복잡성을 근본적으로 낮추는 새로운 설계 방식을 제시한다. 핵심 아이디어는 원형 이동 연산을 이용해 행벡터를 순환 행렬 블록으로 구성하고, 이를 Kronecker 곱과 매핑 연산 Δ를 통해 J × n 행렬로 변환하는 것이다. 여기서 J는 L의 오일러 토션트 함수값이며, L은 q와 서로소인 양의 정수이다. 기존 가비드린 코드는 𝔽_{q^N} 위에서 선형화 다항식을 평가한 뒤, 선택된 기저를 통해 𝔽_q 위의 행렬로 변환하는 두 단계가 필요했으며, N이 커질수록 필드 연산 비용이 급격히 증가했다. 반면 제안된 방법은 전 과정이 𝔽_q 내에서 이루어지므로, 확장체 연산을 전혀 사용하지 않는다.

구성식 C = { Δ( m · (I_k ⊗ P) · Ψ_{k×n} · (I_n ⊗ Q) ) : m ∈ 𝔽_{q}^{Jk} }에서 P와 Q는 각각 J × L, L × J 차원의 𝔽_q 행렬이며, Ψ_{k×n}은 각 블록이 L × L 순환 행렬인 k × n 블록 행렬이다. 이 구조는 선형화 다항식 L_u(x)=∑_{s=0}^{k-1} u_s x^{q^s}와 동일한 평가 효과를 제공하면서도, 순환 행렬의 특성 덕분에 곱셈·덧셈 연산을 단순 XOR와 시프트만으로 구현할 수 있다.

논문은 먼저 q‑선형화 다항식이 행벡터 공간 𝔽_q^J 위에서 어떻게 평가되는지를 정리하고, 이를 통해 가비드린 코드와 트위스티드 가비드린 코드를 동일한 다항식 집합으로 표현한다. 그런 다음 제안된 원형 이동 기반 MRD 코드와 기존 코드의 다항식 평가 결과를 비교함으로써, J ≠ m_L인 경우(특히 J가 m_L의 배수가 아닌 경우)에는 어떠한 가비드린·트위스티드 가비드린 코드와도 동형이 아님을 정리한다(Theorem 12, Proposition 13). 반대로 J = m_L인 경우에는 모든 제안 코드는 기존 가비드린 코드와 정확히 일치함을 증명한다. 이는 원형 이동 연산만으로도 가비드린 코드를 완전 재구성할 수 있음을 의미한다.

또한 특정 P, Q 선택에 따라 제안 코드는 여러 개의 (m_L × n, q^{m_Lk}, d) 가비드린 코드를 합치고 연결(concatenate)한 형태와 동형임을 보인다(Theorem 16). 이는 기존 연구에서 다루지 않았던 새로운 가비드린 일반화 형태를 제시한다.

복잡도 분석에서는 q=2, L이 소수이며 n ≤ m_L인 경우를 집중적으로 다룬다. 원형 이동 기반 코드는 m = L‑1 차원의 행벡터를 순환 행렬 블록으로 변환하는 과정에서 각 블록당 O(L) XOR만 필요하므로 전체 코드워드 생성 비용이 O(nkL)이다. 반면 전통적인 가비드린 코드는 𝔽_{2^{L‑1}} 위에서 다항식 평가와 기저 변환을 수행해야 하므로 O(nkL²) 비용이 든다. 실험적 혹은 이론적 관점에서 이 차이는 대규모 저장·통신 시스템에서 구현 효율성을 크게 향상시킬 수 있음을 시사한다.

결론적으로, 이 연구는 순환 구조와 선형화 다항식 이론을 결합해 MRD 코드 설계의 새로운 패러다임을 제시한다. 확장체 연산을 회피하면서도 가비드린 코드와 동등하거나 전혀 새로운 MRD 코드를 생성할 수 있기 때문에, 암호·분산 저장·네트워크 코딩 등 다양한 응용 분야에서 실용적인 구현 이점을 제공한다.