[논문 리뷰] Multivariate Interpolation Formula over Finite Fields and Its Applications in Coding Theory

Yaotsu Chang, Chong‐Dao Lee외 1명|arXiv (Cornell University)|2012. 09. 06.

Coding theory and cryptography참고 문헌 5인용 수 9

한 줄 요약

이 논문은 유한체 위에서 새로 제안된 크로네커 델타 함수를 사용하여 순환부호에서 알려지지 않은 심플을 정확히 표현할 수 있는 새로운 다변수 보간 공식(MVIF)을 제시한다. 이 방법은 모든 계수를 기본 체에 두고, 항의 차수를 코드 길이에 대해 합동 조건을 만족시키며, 임의의 순환부호(비-BCH 유형 포함)에 대해 베르레크암-마스비 알고리즘을 이용한 1단계 디코딩을 가능하게 한다.

ABSTRACT

A multivariate interpolation formula (MVIF) over finite fields is presented by using the proposed Kronecker delta function. The MVIF can be applied to yield polynomial relations over the base field among homogeneous symmetric rational functions. Besides the property that all the coefficients are coming from the base field, there is also a significant one on the degrees of the obtained polynomial; namely, the degree of each term satisfies certain condition. Next, for any cyclic codes the unknown syndrome representation can also be provided by the proposed MVIF and also has the same properties. By applying the unknown syndrome representation and the Berlekamp-Massey algorithm, one-step decoding algorithms can be developed to determine the error locator polynomials for arbitrary cyclic codes.

연구 동기 및 목표

• 일변수 방법의 범위를 초월하여 순환부호에서 알려지지 않은 심플을 다룰 수 있는 다변수 보간 공식(MVIF)을 개발하는 것.
• 기존 방법이 알려진 오류 무게를 필요로 하며 단계별 디코딩을 요구하는 한계를 해결하여, 특히 비-BCH 순환부호에 대해 유용하게 작용하는 것.
• 기본 체에 계수를 가지며 코드 길이에 대해 차수 제약 조건을 만족하는 심플 표현을 구축하여 효율적인 1단계 디코딩을 가능하게 하는 것.
• 제안된 MVIF를 통해 빈 심플을 메우면서, 임의의 순환부호에 대해 베르레크암-마스비 알고리즘의 적용 범위를 확장하는 것.
• 높은 오류 무게의 경우, 예를 들어 길이 47인 QR 부호에서 무게 5 오류 발생 시 실패하는 단일 행렬 방법의 한계를 극복하는 것.

제안 방법

• 유한체 위에서 다변수 보간 공식(MVIF)을 구성하기 위해 새로운 크로네커 델타 함수를 제안하여 대칭 유리 함수에 적용한다.
• 특정 집합에서 동차 대칭 유리 함수에 MVIF를 적용하여, 다항식의 모든 계수가 기본 체에 속하도록 보장한다.
• 알려진 심플에 대해 알려지지 않은 심플의 다항식 표현을 유도하며, 각 항의 차수는 코드 길이에 대해 합동 조건을 만족한다.
• MVIF를 사용하여 디코딩에 적합한 대수적 구조를 유지하는 심플 표현을 생성한다.
• MVIF 기반의 알려지지 않은 심플 표현을 베르레크암-마스비 알고리즘과 결합하여 1단계 디코딩 알고리즘을 구축한다.
• 이 방법이 이진 2차 잔여 부호 길이 71~113를 포함한 순환부호에서 성공적으로 심플 복구 및 디코딩을 수행함으로써 검증된다.

실험 결과

연구 질문

• RQ1 유한체 위에서 다변수 보간 공식을 구성하여, 생성 다항식이 기약이 아닌 경우에도 순환부호에서 알려지지 않은 심플을 표현할 수 있는가?
• RQ2 제안된 MVIF가 유도된 다항식의 모든 계수가 기본 체에 속하고 코드 길이에 대해 차수 합동 조건을 만족하는가?
• RQ3 MVIF 기반의 심플 표현을 통해 연속된 심플이 누락된 경우에도 임의의 순환부호에 대해 베르레크암-마스비 알고리즘을 이용한 1단계 디코딩이 가능한가?
• RQ4 기존의 행렬 기반 방법이 높은 오류 무게의 경우나 다중 행렬이 필요한 경우에 실패하는 한계를 MVIF는 어떻게 극복하는가?
• RQ5 이진 2차 잔여 부호 길이 47, 71 이상에 대해 MVIF는 비-BCH 순환부호의 디코딩에 효과적인가?

주요 결과

• 제안된 MVIF는 모든 계수가 기본 체에 속하는 다항식 표현을 성공적으로 생성하여, 일변수 경우를 다변수 대칭 함수로 확장한다.
• 보간된 다항식의 각 항은 코드 길이에 대해 합동 조건을 만족하며, 이는 유한체 위에서의 일변수 보간에서 관찰되는 구조와 유사하다.
• 빈 심플을 복구함으로써 임의의 순환부호에 대해 1단계 디코딩을 가능하게 하여, 단계별 디코딩이나 다중 행렬의 필요성을 제거한다.
• 길이 71에서 113까지의 이진 2차 잔여 부호에 대해, MVIF 기반 접근법과 베르레크암-마스비 알고리즘의 조합이 오류 정정 용량을 완전히 구현하며, 무게 추측 히우리즘에 의존하지 않는다.
• MVIF는 [47,24,11] QR 부호에서 무게 5 오류 발생 시 실패하는 단일 행렬 방법의 문제를 통합적이고 일관된 표현을 제공함으로써 해결한다.
• 이 방법은 기약 생성 다항식에 제한되지 않고 임의의 순환부호에 일반적으로 적용 가능하므로, BCH 및 RS 부호를 초월한 효율적 디코딩의 적용 범위를 넓힌다.