[论文解读] Canonical Forms and Automorphisms in the Projective Space

Thomas Feulner|arXiv (Cornell University)|May 6, 2013

Coding theory and cryptography参考文献 9被引用 9

一句话总结

本论文提出了一种实用算法，用于在有限域上的射影空间中计算子空间序列的典范形式和自同构群，采用划分细化与半线性群作用的方法。该方法将先前针对线性码的工作推广至处理子空间的多重集序列，从而实现了在自然等价关系下对线性码、加法码和随机网络码的高效典范化。

ABSTRACT

Let $\C$ be a sequence of multisets of subspaces of a vector space $\F_q^k$. We describe a practical algorithm which computes a canonical form and the stabilizer of $\C$ under the group action of the general semilinear group. It allows us to solve canonical form problems in coding theory, i.e. we are able to compute canonical forms of linear codes, $\F_{q}$-linear block codes over the alphabet $\F_{q^s}$ and random network codes under their natural notion of equivalence. The algorithm that we are going to develop is based on the partition refinement method and generalizes a previous work by the author on the computation of canonical forms of linear codes.

研究动机与目标

• 开发一种实用算法，用于在一般半线性群作用下计算射影空间中子空间序列的典范形式和自同构群。
• 将先前针对线性码的工作扩展至更一般的对象，包括子空间的多重集和扩展域上的码。
• 为编码理论中的典范化问题提供计算高效的解决方案，特别是针对线性码和加法码中的等价性问题。
• 通过统一框架实现对随机网络码和对偶双椭圆体的典范形式计算。
• 通过与已知码族（如基于APN函数的码）的现有算法比较，支持正确性和性能评估。

提出的方法

• 以划分结合作为核心算法框架，经调整以处理在半线性群作用下的子空间序列。
• 利用同态原理，将子空间上的群作用典范化推广至子空间多重集上的结构化作用。
• 将稳定子计算集成到典范化过程中，从而实现高效的轨道和等价性测试。
• 在搜索树中基于已知自同构应用剪枝策略，以降低计算成本。
• 利用行最简形式（RREF）和半线性变换定义子空间的典范代表。
• 通过迭代细化与个体化，将算法从先前工作中的单维子空间推广至任意维子空间。

实验结果

研究问题

• RQ1 如何在一般半线性群作用下高效计算射影空间中子空间序列的典范形式？
• RQ2 所提出的算法在应用于线性码、加法码和随机网络码时，其计算性能如何？
• RQ3 该算法能否在保持效率和正确性的前提下，从单维子空间扩展至任意维子空间？
• RQ4 与现有方法相比，该新算法在计算码的自同构群方面性能如何，特别是在大或复杂码族上的表现？
• RQ5 该算法在多大程度上可用于验证组合对象（如有限几何中的对偶双椭圆体）的等价性并计算其自同构群？

主要发现

• 该算法成功计算了射影空间中子空间序列的典范形式和自同构群，其性能与现有线性码方法相当。
• 对于由APN函数 $f(x) = x^3$ 衍生的码族，该算法在 $d=3$ 时耗时 0.1 秒，在 $d=22$ 时耗时高达 8 小时，显示出在非平凡实例上的可扩展性。
• 该算法在对偶双椭圆体 ($\mathcal{C}_{f}^{(d)}$) 上的运行时间始终高于对应线性码 ($C_f^{(d)}$) 的情况，但结果与已知理论等价性一致。
• 当 $d=18$ 时，该算法计算 $\mathcal{C}_{f}^{(d)}$ 的典范形式耗时 4 分钟，而线性码版本仅需 45 秒，表明性能差距随码大小增加而扩大。
• 当 $d=22$ 时，该算法计算 $\mathcal{C}_{f}^{(d)}$ 的典范形式耗时 8 小时，而线性码版本仅需 4 小时，表明新方法虽有效但对复杂对象计算开销更大。
• 该算法正确计算了 $\mathcal{C}_{f}^{(d)}$ 的自同构群，并在 $d \geq 4$ 时与已知群阶一致，通过理论一致性验证了正确性。