[논문 리뷰] Skew-Polynomial Rings and Skew-Cyclic Codes

Heide Gluesing-Luerssen|ArXiv.org|2019. 02. 09.

Coding theory and cryptography참고 문헌 28인용 수 7

한 줄 요약

이 논문은 유한체 위의 자동형사 유형의 비가환 다항식환과 비가환 순환 코드에 대한 종합적인 설문 조사를 제공한다. 비가환 순환 코드의 대수적 기초는 비가환 순환 행렬을 통해 수립되며, 설계된 최소 거리가 보장되는 두 가지 다른 비가환 BCH 코드 구축법이 제시된다. 하나는 체 원소의 연속된 거듭제곱에 기반하고, 다른 하나는 프로베누스 거듭제곱에 기반하며, 모두 비가환 환의 설정으로 일반화된 고전적 BCH 코드 원리를 적용한다. 최소 거리의 경계가 증명되어 있다.

ABSTRACT

This is a survey on the theory of skew-cyclic codes based on skew-polynomial rings of automorphism type. Skew-polynomial rings have been introduced and discussed by Ore (1933). Evaluation of skew polynomials and sets of (right) roots were first considered by Lam (1986) and studied in great detail by Lam and Leroy thereafter. After a detailed presentation of the most relevant properties of skew polynomials, we survey the algebraic theory of skew-cyclic codes as introduced by Boucher and Ulmer (2007) and studied by many authors thereafter. A crucial role will be played by skew-circulant matrices. Finally, skew-cyclic codes with designed minimum distance are discussed, and we report on two different kinds of skew-BCH codes, which were designed in 2014 and later.

연구 동기 및 목표

• 유한체 위의 자동형사 유형 비가환 다항식환에 대한 체계적인 소개를 제공함으로써, 부호 이론에 필수적인 기초를 마련한다.
• 비가환 환의 아이디얼 이론과 비가환 순환 행렬을 활용하여 $(\sigma,f)$-비가환 순환 부호의 대수적 프레임워크를 개발한다.
• 설계된 최소 거리가 보장되는 두 가지 다른 비가환 BCH 부호의 구축법을 제시함으로써, 고전적 BCH 부호를 비가환 다항식 환 설정으로 일반화한다.
• 비가환 상수순환 부호의 쌍대성 성질을 명확히 하여, $(\sigma,x^n-a)$-비가환 상수순환 부호의 쌍대는 $(\sigma,x^n-a^{-1})$-비가환 상수순환 부호임을 보여준다.
• 비가환 평가 부호가 최대 거리 분리성(MDS)을 달성하는 조건을 설정하며, 비가환 바르드먼 행렬과 최소 다항식 차수 조건을 활용한다.

제안 방법

• 체의 자동형사 $\sigma$ 를 정의하는 비가환 다항식환 $\mathbb{F}[x;\sigma]$ 를 사용하며, $a \in \mathbb{F}$ 에 대해 비가환 곱셈 $xa = \sigma(a)x$ 를 적용한다.
• 비가환 순환 행렬을 사용하여 비가환 순환 부호의 행 공간을 표현하고 분석함으로써, 고전적 순환 부호에서 사용되는 순환 행렬의 일반화를 수행한다.
• 비가환 BCH 부호의 생성 다항식을 구성하기 위해 선형 인수 $x - \beta^{q^t}$ 의 왼쪽 최소공배수(lclm)를 활용한다.
• 비가환 바르드먼 행렬을 사용하여 비가환 다항식의 질량과 근의 구조를 분석하고, 이를 원소 집합의 최소 다항식과 연결한다.
• 비가환 다항식의 근과 랭크-메트릭 부호 이론을 연결하기 위해 $q$-순환 공간과 선형 다항식의 개념을 적용한다.
• 비가환 순환 부호의 쌍대성 결과를 도출하기 위해, $\sigma$-역행 연산을 거친 생성 다항식의 역행이 쌍대 부호의 생성 다항식이 됨을 보여준다.

실험 결과

연구 질문

• RQ1 자동형사 유형의 비가환 다항식환은 가환 다항식환과 비교해 근의 중복도와 인수분해 측면에서 어떻게 다를까?
• RQ2 비가환 순환 부호는 고전적 순환 부호를 어떻게 일반화하는가? 그리고 이들의 더 큰 부호 가족을 뒷받침하는 대수적 구조는 무엇인가?
• RQ3 비가환 근의 구조를 활용하여 설계된 최소 거리가 보장되는 비가환 BCH 부호는 어떻게 구축할 수 있는가?
• RQ4 비가환 평가 부호가 MDS가 되기 위한 조건은 무엇이며, 고전적 일반화된 리드-솔로몬 부호와는 어떻게 다를까?
• RQ5 비가환 상수순환 부호의 쌍대성은 $\sigma$-역행 연산 하에서 어떻게 행동하는가? 그리고 모듈러스 $x^n - a$ 는 어떤 역할을 하는가?

주요 결과

• 두 가지 다른 비가환 BCH 부호 가족이 구축되었다: 하나는 체 원소의 연속된 거듭제곱을 근으로 가지며, 다른 하나는 연속된 프로베누스 거듭제곱을 근으로 가지며, 모두 고전적 BCH 부호 원리를 비가환 환 설정으로 일반화한다.
• 모듈러스 $\overline{S}$ 가 코셋의 합집합인 경우, $g' = \text{lclm}(x - \beta^{q^t} \mid t \in \overline{S})$ 로 생성된 부호의 최소 거리는 $\delta + \nu$ 이상이다. $\mathbb{F}_{2^6}[x;\sigma]$ 에서의 명시적 구축은 길이 12, 실제 최소 거리 6인 $[12,6,6]$ 부호를 생성한다.
• 비가환 평가 부호 $\mathcal{E}_{\sigma,\alpha_1,\ldots,\alpha_n}$ 는 차원 $k$ 와 최소 거리 $n-k+1$ (즉, MDS)를 갖는다. 이는 비가환 바르드먼 행렬이 최대 질량을 가지며, 이는 $\{\alpha_1,\ldots,\alpha_n\}$ 의 $\sigma$-최소 다항식 차수가 $n$ 과 동치임을 의미한다.
• $(\sigma,x^n-a)$-비가환 상수순환 부호의 쌍대는 $(\sigma,x^n-a^{-1})$-비가환 상수순환 부호이며, 쌍대의 생성 다항식은 원래 생성 다항식의 $\sigma$-역행이다.
• 고전적 일반화된 리드-솔로몬 부호와 달리, 비가환 평가 부호 $\mathcal{E}_{\sigma,1,\alpha,\ldots,\alpha^{n-1}}$ 는 어떤 모듈러스 $f$ 에 대해서도 반드시 비가환 순환 부호가 되는 것은 아니다. 이는 비가환성의 핵심적 차이를 드러낸다.
• 두 종류의 비가환 BCH 부호 간의 일반적 비교는 아직 수행되지 않았으며, 향후 연구를 위한 열린 방향으로 남아 있다.