[论文解读] Universal Bounds for Size and Energy of Codes of Given Minimum and Maximum Distances

Peter Boyvalenkov, Peter D Dragnev+3 more|arXiv (Cornell University)|Oct 16, 2019

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

一句话总结

本论文利用带符号测度和正定多项式，在汉明空间中针对指定最小距离和最大距离的码，建立了码大小的通用上界以及能量的通用下界。通过勒文施泰因型求积公式推导出显式可计算的界，并证明了最优性条件，验证了在已知码（如椭球面和戈莱码投影）上的紧致性。

ABSTRACT

We employ signed measures that are positive definite up to certain degrees to establish Levenshtein-type upper bounds on the cardinality of codes with given minimum and maximum distances, and universal lower bounds on the potential energy (for absolutely monotone interactions) for codes with given maximum distance and cardinality. The distance distributions of codes that attain the bounds are found in terms of the parameters of Levenshtein-type quadrature formulas. Necessary and sufficient conditions for the optimality of our bounds are derived. Further, we obtain upper bounds on the energy of codes of fixed minimum and maximum distances and cardinality.

研究动机与目标

• 推导汉明空间中具有给定最小距离和最大距离的码的最大大小的通用上界。
• 为具有固定大小和最大距离的码的势能建立通用下界。
• 利用勒文施泰因型求积公式，表征达到这些界的码的距离分布。
• 提供所推导界最优性的必要和充分条件。
• 验证已知最优码（如椭球面和戈莱码投影）上的界的紧致性。

提出的方法

• 使用在特定度数内为正定的带符号测度，构造线性规划界。
• 利用克劳奇丘克多项式展开，将对偶空间中的多项式表示为系数非负的组合。
• 分别为大小和能量界定义可行集 $\mathcal{F}_{n,\ell,s}$ 和 $\mathcal{G}^{(h)}_{n,\ell}$。
• 利用参数 $n$、$q$、$\ell$ 和 $s$ 推导显式界公式，其中 $L = nq^2(1-s)(1-\ell)$。
• 应用勒文施泰因型求积公式，表征最优码的距离分布。
• 通过检查距离分布是否满足系统 (38)，且界以等式形式达到，来验证最优性。

实验结果

研究问题

• RQ1 在 $F_q^n$ 中，具有给定最小和最大距离的码的大小，其最紧致的通用上界是什么？
• RQ2 如何为绝对单调相互作用函数推导码的势能的通用下界？
• RQ3 码实现所推导界所需的必要和充分条件是什么？
• RQ4 哪些已知最优码（例如椭球面、戈莱码投影）满足最优性条件并达到界？
• RQ5 如何显式计算达到界的码的距离分布？

主要发现

• 本文推导出 $\mathcal{A}_q(n,\ell,s)$ 的通用上界：$$\mathcal{A}_q(n,\ell,s) \leq \frac{L}{L + 4(q-1)(1-n) + 2nq(q-1)(s+\ell)}$$，其中 $L = nq^2(1-s)(1-\ell)$，该界将勒文施泰因界推广至同时具有最小距离和最大距离约束的码。
• 对于 $\ell > -1$ 的码，该界是紧致的，且被已知构造（如 $[5,4,2]$ 二元码、$[6,3,2]$ 二元码，以及希尔三元和四元射影锥）所实现。
• 通过系统 (38) 完全表征了达到该界的码的距离分布，其中椭球面在 $\mathrm{PG}(3,q)$ 中满足 $A_\ell = n(q-1)$ 且 $A_s = nd$，从而得到 $|C| = q^4$。
• 此类最优码的 $h$-能量计算为 $$E_h(C) = q^4(q^2+1)(q-1)\left(h\left(\frac{1-q^2}{1+q^2}\right) + h\left(\frac{1+2q-q^2}{1+q^2}\right)\right)$$，且对所有绝对单调 $h$ 均达到下界。
• 二元戈莱码投影（长度分别为 23 和 22）在 $k=2$ 时达到界 $L_4(n,\ell,s)$，对应 $|C| = 2^{11}$ 和 $2^{10}$，确认了该界在高阶情形下的紧致性。
• 对于多德尼科夫、赫勒塞思和齐诺维耶夫的无限码族，当 $N \geq 1 + (q^m - q)/2$ 时，该界被实现，且 $|C| = q^{2m} = L_2(n,\ell,s)$，其距离分布通过系统 (38) 显式计算得出。