[논문 리뷰] Quotients of Orders in Cyclic Algebras and Space-Time Codes

Frédérique Oggier, B. A. Sethuraman|arXiv (Cornell University)|2012. 10. 26.

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

한 줄 요약

이 논문은 수체의 순서에서의 순서의 몫을 이용하여 시공간 코드를 구성하는 일반적인 프레임워크를 개발한다. 두 측면 이상의 이상수 $\mathfrak{q}^s\Lambda$ 를 분석함으로써, 유한체 위의 행렬환과 일반화된 순환대수와 같은 유한환의 가닥들이 몫으로 나타나며, 이는 개선된 코딩 이득과 유연성을 갖춘 시공간 코딩 변조 및 웜탭 응용을 위한 체계적인 코스 코딩을 가능하게 한다.

ABSTRACT

Let $F$ be a number field with ring of integers $\Oc_F$ and $\Dc$ a division $F$-algebra with a maximal cyclic subfield $K$. We study rings occurring as quotients of a natural $\Oc_F$-order $Λ$ in $\Dc$ by two-sided ideals. We reduce the problem to studying the ideal structure of $Λ/\qf^sΛ$, where $\qf$ is a prime ideal in $\Oc_F$, $s\geq 1$. We study the case where $\qf$ remains unramified in $K$, both when $s=1$ and $s>1$. This work is motivated by its applications to space-time coded modulation.

연구 동기 및 목표

• 이전에 특정한 작은 행렬환을 사용하여 수행된 시공간 코드의 코스 코딩을 일반화하여 더 넓은 범위로 확장하는 것.
• 순환분할대수의 순서 $\lambda$ 와 비분할 소수 이상수 $\frak{q}$ 에 대해 몫의 구조 $\lambda/\mathfrak{q}^s\lambda$ 를 특성화하는 것.
• 특히 유한환 위의 행렬환과 같은 유한환의 가닥이 몫으로 나타나는지 식별하여 체계적인 코드 설계를 지원하는 것.
• 시공간 코딩 변조 및 웜탭 코딩에서 최소 행렬식을 최적화하기 위한 이론적 기반을 제공하는 것.

제안 방법

• 분할대수의 순서의 몫을 분류하는 문제를, 최대 순환부분체 $K$ 에서 비분할인 소수 이상수 $\frak{q}$ 에 대해 $\lambda/\mathfrak{q}^s\lambda$ 를 연구하는 것으로 환원한다.
• 소수 이상수 $\frak{q}$ 가 비분할이면서 $\frak{q}\mathcal{O}_K = \mathfrak{Q}_1\cdots\mathfrak{Q}_g$ 가 완전히 분해될 경우, 등장하는 등장성 $\lambda/\mathfrak{q}^s\lambda \cong \mathcal{M}_n(\mathcal{O}_F/\mathfrak{q}^s)$ 를 이용한다.
• 분할대수의 순서에 대한 구조 정리를 적용하여 몫이 유한환 위의 일반화된 순환대수의 직합임을 보여준다.
• 양의 정부호 행렬의 합의 행렬식에 대한 핵심 부등식을 유도하여, 해밍 거리와 이상수 지수에 따라 최소 행렬식 $\Delta_{\text{min}}$ 의 하한을 구한다.
• 외부 코드 $\bar{\mathcal{C}}$ 는 $\oplus_{i=1}^L \Lambda/\mathcal{J}$ 의 덧셈 부분군으로서 구성되며, 사전상의 구성 방법을 통해 내부 코드 $\mathcal{C} \subset \oplus_{i=1}^L \Lambda$ 로 올린다.
• 예시를 들어 $\Lambda/\mathcal{J} \cong \mathcal{M}_n(\mathbb{F}_q)$ 또는 $\mathcal{M}_n(\mathcal{O}_K/\mathfrak{q}^s)$ 인 경우를 다루며, 코딩 이득과 심볼 속도 사이의 상충 관계를 보여준다.

실험 결과

연구 질문

• RQ1 수체 위의 순환분할대수의 순서 $\lambda$ 에서의 양면 이상수 $\J$ 에 대해 몫 $\lambda/\mathcal{J}$ 가 될 수 있는 유한환은 무엇인가?
• RQ2 $\Lambda/\mathfrak{q}^s\Lambda$ 의 구조는 최대 순환부분체 $K$ 에서 소수 이상수 $\mathfrak{q}$ 의 분해 행동에 따라 어떻게 달라지는가?
• RQ3 외부 코드의 해밍 거리와 시공간 코딩 변조에서의 최소 행렬식 $\Delta_{\text{min}}$ 간의 관계는 무엇인가?
• RQ4 몫환 $\lambda/\mathfrak{q}^s\lambda$ 는 유한체 위의 행렬환 또는 $\frak{q}^s$ 모듈로 정수환과 같은 잘 알려진 환으로 기술할 수 있는가?
• RQ5 이 프레임워크는 최소 행렬식 $\Delta_{\text{min}}$ 을 극대화하면서 심볼 속도와 복잡도를 균형 잡는 코드 설계로 어떻게 확장될 수 있는가?

주요 결과

• 소수 이상수 $\frak{q}$ 가 $K$ 에서 비분할이면서 $\mathfrak{q}\mathcal{O}_K = \mathfrak{Q}_1\cdots\mathfrak{Q}_g$ 로 완전히 분해될 경우, 몫 $\lambda/\mathfrak{q}^s\lambda$ 는 $\mathcal{M}_n(\mathcal{O}_F/\mathfrak{q}^s)$ 와 동형이다.
• 이중면 이상수 중 $\lambda$ 에 포함되고 $\frak{q}^s\lambda$ 를 포함하는 것은 $1 \leq t \leq s$ 에 대해 $\mathcal{J}_t = \mathfrak{q}^t\lambda$ 뿐이며, $\Lambda/\mathcal{J}_t \cong \mathcal{M}_n(\mathcal{O}_F/\mathfrak{q}^t)$ 이다.
• s=1 인 경우, $\frak{q}$ 가 비분할이면서 $\O_K/\mathfrak{q}\mathcal{O}_K$ 가 체일 경우, $\lambda/\mathfrak{q}\lambda \cong \mathcal{M}_n(\mathbb{F}_q)$ 는 유한체 위의 행렬환과 동형이다.
• 소수 이상수 $\frak{q}$ 가 비분할이면서 $\O_K/\mathfrak{q}\mathcal{O}_K$ 가 체의 곱일 경우, 몫 $\lambda/\mathfrak{q}\lambda$ 는 유한체 위의 행렬환의 직합과 동형이다.
• 최소 행렬식 $\Delta_{\text{min}}$ 는 $\min\left(d_H(\bar{\mathcal{C}})^2 \min_{0\neq x_i} |\det(X_i)|^2, \min_{0\neq x_i \in \mathcal{J}} |\det(X_i)|^2 \right)$ 에 의해 하한이 제시되며, 이는 코드 설계와 이상수의 구조를 연결한다.
• 이 프레임워크는 이전에 $\M_2(\mathbb{F}_2)$, $\M_3(\mathbb{F}_3)$, $\M_4(\mathbb{F}_4)$ 를 몫환으로 사용한 구성 방식을 일반화하며, 더 넓은 대수적 구조에 통합된다.