[论文解读] The combinatorics of LCD codes: Linear Programming bound and orthogonal matrices

Steven T. Dougherty, Jon-Lark Kim+3 more|arXiv (Cornell University)|Jun 5, 2015

graph theory and CDMA systems被引用 5

一句话总结

本文提出了一种针对给定长度和最小距离的二元 LCD（线性互补对偶）码最大尺寸的线性规划界，证明其优于标准界。通过正交矩阵、自偶码、组合设计以及环 $ R_k $ 上的格雷映射构造 LCD 码，提供了 $ LCK[n,d] $ 的改进下界综合表格，关键结果表明正交矩阵可生成多个 LCD 码，且该界显著优于经典估计。

ABSTRACT

Linear Complementary Dual codes (LCD) are binary linear codes that meet their dual trivially. We construct LCD codes using orthogonal matrices, self-dual codes, combinatorial designs and Gray map from codes over the family of rings $R_k$. We give a linear programming bound on the largest size of an LCD code of given length and minimum distance. We make a table of lower bounds for this combinatorial function for modest values of the parameters.

研究动机与目标

• 推导给定长度和最小距离的二元 LCD 码最大尺寸的线性规划界。
• 利用正交矩阵、自偶码、对称设计以及环 $ R_k $ 上的格雷映射构造新的 LCD 码。
• 提供 $ LCK[n,d] $（长度 $ n $ 和最小距离 $ d $ 的 LCD 码的最大尺寸）的改进下界表格。
• 建立 BIBD 的关联矩阵生成 LCD 码的组合条件。
• 探讨正交矩阵与 LCD 码生成之间的关系，特别是通过系统化生成矩阵实现。

提出的方法

• 利用对偶性和内积约束，推导 $ LCK[n,d] $（最大尺寸的 LCD 码）的线性规划界。
• 使用 $ \mathbb{F}_2 $ 上满足 $ GG^T = I_n $ 的正交矩阵 $ G $，通过 $ G $ 的行张成生成 LCD 码。
• 应用从 $ R_k $ 上的码到二元码的格雷映射 $ \phi_k $，当 $ GG^T $ 可逆时保持 LCD 性质。
• 利用自偶码及其系统化生成矩阵，通过条件 $ GG^T = I_n $ 或 $ J_n - I_n $ 构造 LCD 码。
• 利用参数为 $ (b,v,k,r,\lambda) $ 的 2-设计（BIBDs）的关联矩阵，证明当 $ rk(r-\lambda) \not\equiv 0 \pmod{2} $ 时，其行张成是 LCD 码。
• 通过扩展二次剩余码、自偶码数据库以及 $ n \leq 24 $ 时正交矩阵的群生成，构造 $ LCK[n,d] $ 的下界。

实验结果

研究问题

• RQ1 如何推导出比标准界更紧致的 LCD 码线性规划界？
• RQ2 哪些组合结构（如正交矩阵、自偶码或对称设计）可用于构造新的 LCD 码？
• RQ3 BIBD 的关联矩阵在何种条件下可生成 LCD 码？
• RQ4 通过格雷映射，环 $ R_k $ 上的码能否产生参数更优的二元 LCD 码？
• RQ5 在 $ \mathbb{F}_2 $ 上，正交矩阵如何与单个自偶码生成多个 LCD 码相关联？

主要发现

• 所提出的 $ LCK[n,d] $ 线性规划界在许多参数集下严格优于标准线性规划界。
• 当 $ n=12 $ 时，扩展格雷码中的正交矩阵可生成参数为 $[12,6,3]$、$[12,4,4]$ 和 $[12,8,2]$ 的 LCD 码。
• 当 $ GG^T = I_n $ 时，矩阵 $ G $ 在 $ \mathbb{F}_2 $ 上生成一个 LCD 码，其在格雷映射 $ \phi_k $ 下的像为长度 $ 2^k n $ 的 $ \mathbb{F}_2 $ 上的 LCD 码。
• 若 $ rk(r-\lambda) \not\equiv 0 \pmod{2} $，则 $ 2-(v,k,\lambda) $ 设计的关联矩阵 $ Q $ 生成的码为 LCD 码，其最小距离至少为 $ 2(r-\lambda) $。
• 对 $ LCK[n,d] $ 的下界表格涵盖至 $ n=24 $，通过正交矩阵和环基构造实现了对先前边界的改进。
• 在 $ R_k $ 上，长度为 1 的非平凡 LCD 码不存在，因为 $ C \cap C^\perp $ 总包含非平凡的支集 $ \{0, u_1u_2\cdots u_k\} $。