[論文レビュー] 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

ひとこと要約

本稿は、符号の最小距離と最大距離が指定されたハミング空間における符号のサイズの上限とエネルギーの下限を、符号付き測度と正定値多項式を用いて普遍的に確立する。Levenshtein型の数値積分公式を用いて明示的かつ計算可能な上限を導出し、最適性条件を示し、オボイドやゴレイ符号の射影といった既知の符号においてそのタイトネスを検証する。

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.

研究の動機と目的

• 与えられた最小距離と最大距離をもつハミング空間における符号の最大サイズに対する普遍的上限を導出すること。
• 固定された濃度と最大距離をもつ符号のポテンシャルエネルギーに対する普遍的下限を確立すること。
• Levenshtein型の数値積分公式を用いて、これらのバウンドを達成する符号の距離分布を特徴付けること。
• 導出されたバウンドの最適性に対する必要十分条件を提供すること。
• オボイドやゴレイ符号の射影といった既知の最適符号において、バウンドのタイトネスを検証すること。

提案手法

• 特定の次数まで正定値である符号付き測度を用いて、線形計画法によるバウンドを構築する。
• Krawtchouk多項式展開を用いて双対空間における多項式を表現し、係数が非負であるように制約を課す。
• 濃度バウンドとエネルギーバウンドのそれぞれに対して、集合 $\mathcal{F}_{n,\ell,s}$ と $\mathcal{G}^{(h)}_{n,\ell}$ を定義する。
• パラメータ $n$, $q$, $\ell$, $s$ を用いて明示的なバウンド式を導出する。ここで $L = nq^2(1-s)(1-\ell)$ である。
• Levenshtein型の数値積分公式を適用し、最適符号の距離分布を特徴付ける。
• 距離分布がシステム (38) を満たし、バウンドが等号で達成されることを確認することで、最適性を検証する。

実験結果

リサーチクエスチョン

• RQ1 $F_q^n$ における与えられた最小距離と最大距離をもつ符号のサイズに対する、最もタイトな普遍的上限は何か？
• RQ2 絶対単調な相互作用関数に対して、符号のポテンシャルエネルギーに対する普遍的下限をどのように導出できるか？
• RQ3 符号が導出されたバウンドを達成するための必要十分条件は何か？
• RQ4 オボイドやゴレイ符号の射影などの既知の最適符号は、どの程度最適性条件を満たし、バウンドを達成するか？
• RQ5 バウンドを達成する符号の距離分布を明示的にどのように計算できるか？

主な発見

• 本稿は、$L = nq^2(1-s)(1-\ell)$ とおくとき、$\mathcal{A}_q(n,\ell,s) \leq \frac{L}{L + 4(q-1)(1-n) + 2nq(q-1)(s+\ell)}$ で与えられる普遍的上限を導出し、これは最小距離と最大距離の両方を制約とする符号に対してLevenshteinバウンドを一般化する。
• 符号の $\ell > -1$ の場合、このバウンドはタイトであり、$[5,4,2]$ 二進符号、$[6,3,2]$ 二進符号、およびヒルの三進および四進射影的カプ（projective caps）といった既知の構成によって達成される。
• バウンドを達成する符号の距離分布は、システム (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) を用いて明示的に計算可能である。