[论文解读] 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$ 的双边理想，识别出作为商出现的有限环族——如矩阵环在有限域上及广义循环代数——从而实现系统化的共轭编码，提升时空编码调制与物理层安全（wiretap）应用中的编码增益与灵活性。

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$ 与非分歧素理想 $\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 商式 $\Lambda/\mathfrak{q}^s\Lambda$ 的结构如何依赖于素理想 $\mathfrak{q}$ 在最大循环子域 $K$ 中的分裂行为？
• RQ3 在外码的汉明距离与时空编码调制中最小行列式 $\Delta_{\text{min}}$ 之间存在何种关系？
• RQ4 能否以熟知的环（如有限域上的矩阵环或模 $\mathfrak{q}^s$ 的整数环）来描述商环 $\Lambda/\mathfrak{q}^s\Lambda$？
• 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$ 的两侧行理想恰好为 $\mathcal{J}_t = \mathfrak{q}^t\Lambda$（$1 \leq t \leq s$），且 $\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)$ 作为商环的构造，现将其嵌入更广泛的代数结构中。