技术摘要：极化码权重结构的教程

问题陈述

极化码（Polar codes）和 Reed–Muller (RM) 码的权重分布是决定其纠错性能的关键因素，尤其是在短到中等码长的情况下。虽然近期的研究已通过代数方法成功表征了最小权重码字以及权重在 $2w_{min}$ 以内的码字，但相关文献仍呈现碎片化状态。现有方法通常依赖于高计算复杂度，且其理论基础——特别是单项式结构、仿射自同构与低权重码字枚举之间的关系——并未始终以统一、易懂的方式呈现。此外，对于超过 $2w_{min}$ 的权重以及预变换后的极化码（如 CRC-polar, PAC），闭式解枚举仍是一个开放性挑战。

方法论

本文采用基于单项式的多项式形式化方法来分析极化码和 RM 码的代数基础。该方法通过以下逻辑步骤进行：

1. 多项式表示： 作者将二进制码字映射到域 $\mathbb{F}_2[x_0, \dots, x_{m-1}] / \langle x_i^2 - x_i \rangle$ 上的多项式。在此框架下，码字通过在 $\mathbb{F}_2^m$ 上的所有点处评估多项式来生成。
2. 递减单项式码： 极化码和 RM 码被统一归类为递减单项式码（Decreasing Monomial Codes）。这些码由满足特定偏序关系（$\preceq$，即被称为通用偏序关系）的生成单项式集定义，该关系在下三角仿射（LTA）群的作用下保持不变。
3. 基于轨道的分析： 该方法的核心是利用 LTA($m, 2$) 群（仿射自同构群的一个子群）对单项式的作用。作者将**轨道（Orbits）**定义为单项式在 LTA 变换下的像集。由于 LTA 变换保持汉明权重不变，因此可以通过计算这些轨道的大小来分析权重分布。
4. 低权重码字的分类： 本文根据轨道之和将权重低于 $2w_{min}$ 的码字分为两类：
   • Type-I： 由两个最小权重轨道组成的码字（$LTA \cdot f + LTA \cdot g$）。其权重由变换后多项式的公共线性形式数量决定。
   • Type-II： 由 $\mu$ 个最小权重轨道组成的码字，其中 $\mu \geq 2$。这类码字涉及更复杂的相互作用以及潜在的多项式求和中的碰撞问题。
5. 递归与基于陪集的枚举： 对于超出低权重范围或缩短码（shortened codes），本文采用了基于极化变换结构的递归技术。这涉及将码分解为陪集，并利用权重枚举函数（WEF）作为子陪集 WEF 的乘积。

核心贡献

本文并不声称推导出了新的理论定理，而是提供了一个统一的阐述。其主要贡献包括：

• 统一框架： 它建立了极化码与 RM 码作为递减单项式码之间的清晰联系，从而促进了对其权重结构的系统表征。
• 低权重码字的系统枚举：
  • 详细说明了基于作用于信息集内最大度单项式的 LTA 轨道基数，推导最小权重码数（$w_{min}$）的闭式公式。
  • 通过分析两个轨道之间的交集，将其扩展到 Type-I 码字（权重在 $[1.5w_{min}, 2w_{min})$ 范围内），并根据生成单项式的共享因子提供了针对不同子情况（A1, A2, B1）的具体计数公式。
  • 概述了 Type-II 码字（多个轨道之和）的结构与计数，解决了二阶多项式相加中的碰撞现象。
• 处理缩短码： 本文解释了如何通过对平移向量和矩阵条目施加约束，以确保码字在缩短的坐标上求值为零，从而将基于轨道的枚举法应用于缩短的极化码。
• 递归权重结构： 提供了一种通过陪集分解计算完整权重谱的递归算法的高层概述，并通过具体实例展示了该过程。
• 易用性与可复现性： 本教程包含了说明性示例（例如针对 (64, 32) 极化码）、单项式排序的 Hasse 图，并引用了开源代码，以帮助读者复现结果并熟悉这些代数对象。

结果

论文通过具体示例展示了这些方法的应用：

• 最小权重枚举： 对于 (64, 32) 极化码，本文通过累加信息集中所有最大度单项式的轨道大小，计算出最小权重码字的总数（$A_8 = 920$）。
• 低权重枚举： 通过应用推导出的 Type-I 和 Type-II 计数公式，计算出权重为 $1.5w_{min}$（$A_{12} = 25,472$）和 $1.75w_{min}$（$A_{14} = 32,768$）的码字数量。
• 对称性： 本文确认了包含全一向量（单项式 1）的极化码具有对称的权重分布（$A_w = A_{N-w}$）。
• 递归计算： 一个 (8, 6) 极化码的示例展示了通过陪集分解计算完整权重枚举函数的过程，得出的分布为 $1 + 12X^2 + 38X^4 + 12X^6 + X^8$。

重要性与主张

作者将这项工作定位为一篇教程，旨在为读者深入研读技术文献（特别引用了文献 [2], [20], [22], [23], [24]）做好准备。

• 范围适度： 本文明确指出其并不引入新的理论结果。其价值在于为现有的代数见解提供了一个“清晰、统一且易于理解的阐述”。
• 弥合差距： 其目标是揭开仿射自同构（特别是 LTA 群）和基于轨道的描述的神秘面纱，这些内容对于理解近期在权重枚举方面的进展至关重要，但在实际呈现中往往过于技术化。
• 未来方向： 本文承认，虽然对于权重在 $2w_{min}$ 以内的情形存在闭式公式，但在所有码率下推导更高权重的表达式仍是一个开放性问题。同时，文中也指出，目前这些闭式方法尚未解决预变换极化码（如 CRC-polar）的枚举问题。文章建议，理解这些权重结构对于优化单项式选择以最大化最小距离或在不牺牲可靠性的情况下减少低权重码字至关重要。