[論文レビュー] Quotients of Orders in Cyclic Algebras and Space-Time Codes

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

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$ と、最大巡回部分体 $K$ で分岐しない素イデアル $\mathfrak{q}$ に対して、商 $\Lambda/\mathfrak{q}^s\Lambda$ の構造を同定すること。
• 特に有限環上の行列環を含む、商として現れる有限環の族を特定し、系統的な符号設計を支援すること。
• 時空間符号変調およびワイヤートラップ符号化における最小行列式の最適化の理論的基盤を提供すること。

提案手法

• 除法代数内の整環の商を分類する問題を、$K$ で分岐しない素イデアル $\mathfrak{q}$ に対して $\Lambda/\mathfrak{q}^s\Lambda$ を研究することに還元する。
• $\mathfrak{q}$ が分岐せず、$\mathfrak{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$ における二重側イデアル $\mathcal{J}$ に対して、商 $\Lambda/\mathcal{J}$ として現れる有限環はどのようなものか？
• RQ2 最大巡回部分体 $K$ における素イデアル $\mathfrak{q}$ の分解挙動に依存して、$\Lambda/\mathfrak{q}^s\Lambda$ の構造はどのように変化するか？
• RQ3 外符号のハミング距離と、時空間符号変調における最小行列式 $\Delta_{\text{min}}$ の間にはどのような関係があるか？
• RQ4 商環 $\Lambda/\mathfrak{q}^s\Lambda$ は、有限体上の行列環や $\mathfrak{q}^s$ を法とする整数環のようなよく知られた環で記述可能か？
• RQ5 この枠組みを、符号レートと複雑さのバランスを保ちながら $\Delta_{\text{min}}$ を最大化する符号設計に拡張するにはどうすればよいか？

主な発見

• $\mathfrak{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)$ に同型である。
• $\mathfrak{q}^s\Lambda$ を含む $\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$ の場合、$\mathfrak{q}$ が分岐せず、$\mathcal{O}_K/\mathfrak{q}\mathcal{O}_K$ が体であるならば、$\Lambda/\mathfrak{q}\Lambda \cong \mathcal{M}_n(\mathbb{F}_q)$ であり、これは有限体上の行列環である。
• $\mathfrak{q}$ が分岐せず、$\mathcal{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)$ で下から抑えられ、符号設計とイデアル構造の関連が明確に示される。
• 本稿の枠組みは、既存の $\mathcal{M}_2(\mathbb{F}_2)$、$\mathcal{M}_3(\mathbb{F}_3)$、$\mathcal{M}_4(\mathbb{F}_4)$ を商環として用いた構成を一般化し、より広範な代数的構造に統合している。