[论文解读] Automorphisms of Codes in the Grassmann Scheme

Tuvi Etzion, Alexander Vardy|arXiv (Cornell University)|Oct 21, 2012

Coding theory and cryptography参考文献 2被引用 8

一句话总结

本论文提出了一种新颖方法，利用弗罗贝尼乌斯映射和循环移位在有限域上的格拉斯曼流形中构造自同构群，从而发现了 PG(5,3) 中一种新的直线平行结构，以及一个在格拉斯曼流形中近乎斯坦纳结构的大码。该方法结合了分圆陪集与基于图的团搜索，以识别不相交的子空间，实现了参数 (n=7, k=3, q=2) 下目前已知最大的码，其最小距离为 4。

ABSTRACT

Two mappings in a finite field, the Frobenius mapping and the cyclic shift mapping, are applied on lines in PG($n,p$) or codes in the Grassmannian, to form automorphisms groups in the Grassmanian and in its codes. These automorphisms are examined on two classical coding problems in the Grassmannian. The first is the existence of a parallelism with lines in the related projective geometry and the second is the existence of a Steiner structure. A computer search was applied to find parallelisms and codes. A new parallelism of lines in PG(5,3) was formed. A parallelism with these parameters was not known before. A large code which is only slightly short of a Steiner structure was formed.

研究动机与目标

• 解决在有限域上的格拉斯曼流形与射影几何中构造非平凡斯坦纳结构与平行结构这一长期存在的开放问题。
• 开发一种系统性方法，利用弗罗贝尼乌斯映射与循环移位生成格拉斯曼流形中码的自同构群。
• 探索构造斯坦纳结构 S₂[2,3,13] 与 PG(n,p) 中新参数下平行结构的可行性。
• 提供一个基于分圆陪集与图团的计算框架，用于搜索不相交且陪集完备的子空间。
• 通过引入保持子空间结构与距离性质的自同构群，扩展已知构造。

提出的方法

• 将弗罗贝尼乌斯映射 𝛺ₗ(x) = x^{p^ℓ} 与循环移位 Φⱼ(αⁱ) = α^{i+j} 应用于格拉斯曼流形中的子空间，以生成自同构群。
• 利用分圆陪集将域元素按其在弗罗贝尼乌斯作用下的乘法轨道分组，从而高效表示子空间差。
• 为每个三维子空间 X 定义一个陪集差集 C(Δ(X))，以识别其结构并确保不相交性。
• 构建一个图 G(V,E)，其中顶点表示陪集群的 7 元子集，边连接不相交且陪集完备的子空间。
• 该图中的团对应于成对不相交且陪集完备的三维子空间集合，大小为 15 的团对应于斯坦纳结构 S₂[2,3,13]。
• 对 n=13 的图执行计算机搜索以寻找大团，成功识别出 14 团。

实验结果

研究问题

• RQ1 能否利用弗罗贝尼乌斯与循环移位自同构，在新参数下构造 PG(n,p) 中的直线平行结构？
• RQ2 所提出的方法是否能对 n ≡ 1 (mod 6) 的情况，特别是 n=13，构造出非平凡的斯坦纳结构 S₂[2,3,n]？
• RQ3 由弗罗贝尼乌斯与循环移位生成的自同构群能否系统性地用于构造格拉斯曼流形中的不相交子空间？
• RQ4 在 G₂(7,3) 中，最小距离为 4 的码的最大大小是多少？该方法能否改进此结果？
• RQ5 当 n 与 p 满足特定数论条件时，是否存在 PG(n,p) 中平行结构的一般构造方法？

主要发现

• 成功构造了 PG(5,3) 中一种此前未知存在的新直线平行结构。
• 对于 n=13，找到了一个包含 1,490,762 个三维子空间的码，位于 G₂(13,3) 中，超过此前已知的最佳码（大小为 1,221,296）。
• 所构造的码最小距离为 4，是其参数下目前已知最大的码，其自同构群由循环移位与弗罗贝尼乌斯映射生成。
• 在 n=13 的图中发现了大小为 14 的团，表明存在一个大组成对不相交且陪集完备的三维子空间。
• 寻找大小为 15 的团（对应于斯坦纳结构 S₂[2,3,13]）在计算上仍不可行，但已建立完整框架。
• 该方法为在格拉斯曼流形中构造新的无限平行结构族与非平凡斯坦纳结构提供了切实可行的基础。