[论文解读] Transitive and Self-dual Codes Attaining the Tsfasman-Vladut-Zink Bound

Henning Stichtenoth|ArXiv.org|Jun 14, 2005

Coding theory and cryptography被引用 4

一句话总结

本文引入了传递码——具有传递自同构群的线性码——作为循环码的推广，并证明当 𝔽_q 中 q = ℓ² 为平方数时，其在有限域上达到 Tsfasman-Vladut-Zink (TVZ) 界。通过构造一个新的渐近最优的函数域伽罗瓦塔，作者构建了序列的传递、自正交及自对偶码，其渐近性能达到 TVZ 界，显著优于 q ≥ 49 时的 Gilbert-Varshamov 界。

ABSTRACT

We introduce - as a generalization of cyclic codes - the notion of transitive codes, and we show that the class of transitive codes is asymptotically good. Even more, transitive codes attain the Tsfasman-Vladut-Zink bound over F_q, for all aquares q=l^2. We also show that self-orthogonal and self-dual codes attain the Tsfasman-Vladut-Zink bound, thus improving previous results about self-dual codes attaining the Gilbert-Varshamov bound. The main tool is a new asymptotically optimal tower (E_n) of function fields over F_q where all extensions E_n/E_0 are Galois.

研究动机与目标

• 通过引入更广泛的传递码类来解决循环码是否渐近优良的开放问题。
• 证明在 𝔽_q 且 q = ℓ² 时，传递码可达到 Tsfasman-Vladut-Zink (TVZ) 界，从而确立其渐近优良性。
• 表明自正交与自对偶码同样可达到 TVZ 界，改进了以往仅达到 Gilbert-Varshamov 界的结果。
• 构造一个在 𝔽_q (q=ℓ²) 上所有扩张均为伽罗瓦的渐近最优函数域塔，以实现具有最优参数的码的构造。

提出的方法

• 将传递码定义为循环码的推广，其自同构群在对称群 S_n 中作用传递。
• 在 𝔽_q (q=ℓ²) 上构造一个新的函数域塔 E₀ ⊆ E₁ ⊆ E₂ ⊆ …，其中所有扩张 E_n/E₀ 均为伽罗瓦扩张且具有最大类数增长。
• 利用塔中函数域上的除子与微分形式构造几何 Goppa 码，以生成具有可控参数的线性码。
• 通过微分形式在有理点处的留数刻画所构造码的对偶，从而实现自正交性与自对偶性。
• 利用伽罗瓦作用在点上的性质，证明码的传递性，确保自同构群在坐标位置上传递作用。
• 结合 Drinfeld-Vladut 界与塔的亏格增长性质，推导渐近参数，并验证码达到 TVZ 界。

实验结果

研究问题

• RQ1 传递码类——作为循环码的推广——是否可在平方阶有限域上达到 Tsfasman-Vladut-Zink 界？
• RQ2 在 𝔽_q (q=ℓ²) 上的自正交与自对偶码是否可达到 TVZ 界，从而优于 Gilbert-Varshamov 界？
• RQ3 是否存在一类新的 𝔽_q (q=ℓ²) 上的函数域族，其所有扩张均为伽罗瓦扩张，从而支持渐近最优码的构造？
• RQ4 能否通过微分留数分析证明此类塔中几何 Goppa 码具有传递性、自正交性或自对偶性？
• RQ5 这些结构化码的渐近速率 R 与相对最小距离 δ 之间存在何种权衡？其性能与已知界相比如何？

主要发现

• 在 𝔽_q 且 q=ℓ² 时，传递码达到 Tsfasman-Vladut-Zink 界，其渐近速率满足 R ≥ 1−δ−1/(ℓ−1)，其中 δ∈(0,1−1/(ℓ−1))。
• 在 𝔽_q (q=ℓ²) 上的自正交码达到 TVZ 界，其渐近速率满足 R ≥ 1−δ−1/(ℓ−1)，其中 δ∈(0,1−1/(ℓ−1)) 且 R≤1/2。
• 在 𝔽_q (q=ℓ²) 上的自对偶码也达到 TVZ 界，其渐近速率 R=1/2，且相对最小距离 δ 满足 R=1−δ−1/(ℓ−1)。
• 所构造的几何 Goppa 码 C^{(n)}_{a,b} 在 0≤a≤a_n/2 且 0≤b≤b_n/2 时为传递且等正交；当 a=a_n/2, b=b_n/2 时为等对偶。
• C^{(n)}_{a,b} 的对偶为 (C^{(n)}_{a,b})^⊥ = u·C^{(n)}_{a_n−a,b_n−b}，其中 u 为微分形式在有理点处的留数向量。
• 当 q≥49 时，TVZ 界严格优于 Gilbert-Varshamov 界，且所构造码达到此改进后的界，证明其优越性。