[论文解读] Decompositions of Edge-Colored Digraphs: A New Technique in the Construction of Constant-Weight Codes and Related Families

Yeow Meng Chee, Fei Gao+4 more|arXiv (Cornell University)|Jan 16, 2014

Coding theory and cryptography参考文献 23被引用 5

一句话总结

本文提出了一种边染色有向图分解的新应用，用于构造最优的等重、等组成及多重等重码。通过利用Lamken和Wilson的分解理论，作者证明了当长度 $ n $ 足够大且满足特定同余条件时，对于固定权重和特定距离，Johnson型界是渐近精确的。

ABSTRACT

We demonstrate that certain Johnson-type bounds are asymptotically exact for a variety of classes of codes, namely, constant-composition codes, nonbinary constant-weight codes and multiply constant-weight codes. This was achieved via an interesting application of the theory of decomposition of edge-colored digraphs.

研究动机与目标

• 通过使用高级组合设计技术，确定常组成码和非二元等重码的Johnson型界是否渐近精确。
• 研究边染色有向图分解理论在构造广义码族最优码中的相关性。
• 建立码长 $ n $ 的充分条件，特别是同余条件，使得Johnson型界是紧的。
• 将Wilson关于二元等重码的经典结果推广至非二元和多权重码族。
• 证明与物理不可克隆函数相关的多重等重码的界是渐近精确的。

提出的方法

• 利用边染色有向图分解理论，特别是Lamken和Wilson的框架，来建模码构造问题。
• 将完全边染色有向图分解为对应于码字的子图，以确保度数和重数约束的平衡。
• 使用基于向量的各颜色内度和外度分布表示，以建模码的权重和组成约束。
• 通过Schrijver引理使用整数线性组合条件，验证分解中所需度向量的可实现性。
• 应用对称性和可容许性条件，确保当 $ n(n-1)(q-1) \equiv 0 \pmod{w(w-1)} $ 且 $ n-1 \equiv 0 \pmod{w-1} $ 时分解的存在性。
• 通过组合满足Johnson型上界且取等号的子图分解，构造最优码。

实验结果

研究问题

• RQ1 在合适的长度条件下，常组成码的Johnson型上界是否渐近精确？
• RQ2 边染色有向图分解理论能否用于构造最优的非二元等重码？
• RQ3 在 $ n $ 和码参数满足何种条件下，多重等重码的Johnson界是渐近紧的？
• RQ4 Johnson界渐近精确性是否从二元码扩展至非二元和多权重码族？
• RQ5 对 $ n $ 的何种同余条件可确保实现Johnson界取等的分解存在？

主要发现

• 当 $ n $ 足够大且满足 $ n \equiv 0 \pmod{w_1} $、$ n-1 \equiv 0 \pmod{w-1} $ 以及 $ (q-1)n(n-1) \equiv 0 \pmod{w(w-1)} $ 时，$ A_q(n, 2w-2, \overline{w}) $ 的Johnson型上界是渐近精确的。
• 对于 $ A_q(n, 2w-3, \overline{w}) $，在类似同余条件下该界也是渐近精确的，其表达式取决于 $ w_1 > w_2 $ 还是 $ w_1 = w_2 $。
• 当 $ n-1 \equiv 0 \pmod{w-1} $ 且 $ (q-1)n(n-1) \equiv 0 \pmod{w(w-1)} $ 时，不等式 $ A_q(n, 2w-2, w) \leq \left\lfloor \frac{(q-1)n}{w} \left\lfloor \frac{n-1}{w-1} \right\rfloor \right\rfloor $ 是渐近精确的。
• 在相同条件下，不等式 $ A_q(n, 2w-3, w) \leq \left\lfloor \frac{(q-1)n}{w} \left\lfloor \frac{(q-1)(n-1)}{w-1} \right\rfloor \right\rfloor $ 也是渐近精确的。
• 作者证明了 $ \alpha(\mathcal{G}^*(\overline{w})) = w_1(w-1) $ 且 $ \beta(\mathcal{G}^*(\overline{w})) = w_1(w-1) $，确认在所需条件下分解是可行的。
• 通过Schrijver引理建立了度向量系统存在整数解，确保在同余条件成立时分解的可实现性。