[논문 리뷰] A note on linear codes and nonassociative algebras obtained from skew-polynomial rings

Susanne Pumpluen|arXiv (Cornell University)|2015. 04. 01.

Coding theory and cryptography참고 문헌 1인용 수 3

한 줄 요약

이 논문은 페티의 구조를 통해 비결합 대수 $S_f$를 비가환 다항식환으로부터 유도한 비결합 대수에서 유래하는 왼쪽 아이디얼로부터 유도되는 것으로 보여줌으로써, $\sigma$-상수비순환, 이상적 $\sigma$-코드, 모듈러 $\sigma$-코드와 같은 다양한 선형 코드의 구성 방식을 통합한다. 핵심 결과는 $\mathbb{F}_q$ 위의 길이 $m$인 선형 코드가 상수 $d$를 가진 $\sigma$-상수비순환임과 동시에 그 비가환 다항식 표현이 $\mathbb{F}_q[t;\sigma]$ 내에서 $f = t^m - d$의 모닉 우측약수로 생성된 $S_f$의 왼쪽 아이디얼을 이룰 때이고, 그 조건이 필수적이고도 충분하다는 것이다. 이는 비결합 구조를 이용한 코드 구성에 대한 통합된 대수적 프레임워크를 제공한다.

ABSTRACT

Different approaches to construct linear codes using skew polynomials can be unified by using the nonassociative algebras built from skew-polynomial rings by Petit.

연구 동기 및 목표

• 비가환 다항식환으로부터 유도된 다양한 선형 코드 구성 방식을 하나의 대수적 프레임워크로 통합하기 위해.
• 다양한 유형의 $\sigma$-코드(상수비순환, 이상적, 모듈러)가 모두 비가환 대수 $S_f$ 내의 왼쪽 아이디얼임을 보여주기 위해.
• 선형 코드가 $\sigma$-상수비순환임을 보장하는 필요충분조건을 비가환 다항식 표현과 대수 $S_f$를 이용해 수립하기 위해.
• 두측성의 조건인 $f = t^m - d$와 그 코드 존재성 및 구조에 대한 영향을 명확히 하기 위해.

제안 방법

• 다항식의 차수 $m$을 가진 $R = \mathbb{F}_q[t;\sigma,\delta]$에서 유도된 비가환 대수 $S_f = R_m$를 오른쪽 나눗셈에 의한 모듈로 $f$ 연산으로 정의된 곱셈을 통해 구성한다.
• 페티의 구조를 이용해 차수 $m$ 미만의 다항식 집합에 대해 오른쪽 나눗셈 연산 $g \circ h = gh \mod_r f$를 이용해 비가환 대수의 구조를 정의한다.
• 왼쪽 아이디얼을 $f$의 우측약수로 생성된 것으로 특성화함으로써 코드 구조와 직접 연결한다.
• 비가환 다항식환의 이론과 그 왼쪽 및 오른쪽 나눗셈 알고리즘을 적용하여 표현의 존재성과 유일성을 보장한다.
• 코드 벡터의 비가환 다항식 표현을 $\mathbb{F}_q[t;\sigma]/(f)$의 원소로 간주하여 $S_f$의 원소에 의한 왼쪽 곱셈에 대한 닫힘성을 분석한다.
• 두측성 조건이 성립할 때 $f = t^m - d$가 두측성임을 보여주며, 이는 $S_f$가 결합법칙을 가지며 $f$가 인수분해 가능함을 보장한다.

실험 결과

연구 질문

• RQ1 다양한 $\sigma$-코드 구성 방식(예: 상수비순환, 이상적, 모듈러)이 하나의 대수적 구조 아래 통합될 수 있는가?
• RQ2 길이 $m$인 $\mathbb{F}_q$ 위의 선형 코드가 $\sigma$-상수비순환임을 보장하는 정확한 대수적 조건은 무엇인가?
• RQ3 비가환 다항식환에서 유도된 비가환 대수 $S_f$는 $\sigma$-코드의 구조와 어떻게 관련이 있는가?
• RQ4 $f = t^m - d$가 $\mathbb{F}_q[t;\sigma]$에서 두측성인 조건은 무엇이며, 이는 코드 구성에 어떤 영향을 미치는가?
• RQ5 $f = t^m - d$가 $\mathbb{F}_q[t;\sigma]$에서 기약인지 여부는 언제이며, 이는 비자명한 $\sigma$-코드 존재성에 어떤 영향을 미치는가?

주요 결과

• 길이 $m$인 $\mathbb{F}_q$ 위의 선형 코드 $\mathcal{C}$가 상수 $d$를 가진 $\sigma$-상수비순환임은 $\mathcal{C}$의 비가환 다항식 표현 $\mathcal{C}(t)$가 $\mathbb{F}_q[t;\sigma]$ 내에서 $f = t^m - d$의 모닉 우측약수로 생성된 비가환 대수 $S_f$의 왼쪽 아이디얼일 때이고, 그 조건이 필수적이고 충분하다.
• 페티의 방법을 통한 $S_f$의 구성은 통합적 프레임워크를 제공한다: $f$가 인수분해 가능할 경우, 모든 $\sigma$-코드(상수비순환, 이상적, 모듈러)는 $S_f$ 내의 왼쪽 아이디얼로 나타난다.
• $f = t^m - d$의 두측성은 $m$이 $\sigma$의 차수를 나누고 $d \in \mathrm{Fix}(\sigma)$일 때 성립하며, 이는 $S_f$가 결합법칙을 가지며 $f$가 인수분해 가능함을 보장한다.
• $m$이 소수이고 $\mathrm{Fix}(\sigma)$가 $m$차 단위근을 포함할 경우, $f = t^m - d$는 $\mathbb{F}_q[t;\sigma]$에서 기약임이 $d$가 어떤 $z \in \mathbb{F}_q$의 $\sigma$-이미지들의 노름 유사 곱이 되는 것과 동치이다.
• 만약 $f = t^m - d$가 $\mathbb{F}_q[t;\sigma]$에서 기약이라면, $S_f$는 유한 나눗셈 대수(반체)이며, 유일한 $\sigma$-상수비순환 코드는 자명한 $[m,m]$-코드와 전체 공간 뿐이다.
• 만약 $K/F$가 차수 $m$인 갈로아 확장이고 $f = t^m - d$이며 $d \notin F$이면, 비가환 대수 $S_f$는 순환대수 $(K/F, \sigma, d)$와 동형이며, 이는 코드 이론과 유한 반체, 스프레드 이론을 연결한다.