[論文レビュー] 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 $ が十分に大きく、特定の合同条件を満たす場合、固定重みおよび特定の距離に対してジョンソン型の上限が漸近的に正確であることを証明している。

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.

研究の動機と目的

• 高度な組合せデザイン技術を用いて、定組成および非2進定重符号に対するジョンソン型の上限が、長さの条件のもとで漸近的に正確であるかどうかを特定すること。
• エッジ彩色付き有向グラフの分解理論が、一般化された符号族の最適符号の構築にどのように関連するかを調査すること。
• 特に合同条件を含む符号長 $ n $ に対する十分条件を確立し、ジョンソン型の上限がタイトであることを示すこと。
• 2進定重符号に関するウィルソンの古典的結果を非2進および多重量符号族に拡張すること。
• 物理的に複製不能な関数に関連する多重定重符号に対して、境界の漸近的正確性を証明すること。

提案手法

• 特にLamkenとWilsonのフレームワークを用いた、エッジ彩色付き有向グラフの分解理論を活用して、符号構築問題をモデル化する。
• 完全なエッジ彩色付き有向グラフを、符号語に対応する部分グラフに分解し、次数と重複の制約をバランスさせる。
• 色ごとの内部次数および外部次数の分布をベクトル表現で用いて、符号の重みおよび組成の制約をモデル化する。
• シュリーヴァーの補題を用いた整数線形結合条件を適用し、分解における必要な次数ベクトルの実現可能性を検証する。
• 対称性および許容性条件を適用し、$ n(n-1)(q-1) \equiv 0 \pmod{w(w-1)} $ および $ n-1 \equiv 0 \pmod{w-1} $ のとき、分解の存在を保証する。
• ジョンソン型の上限に等号が成立する部分グラフの分解を組み合わせることで、最適符号を構築する。

実験結果

リサーチクエスチョン

• RQ1 長さの適切な条件のもとで、定組成符号に対するジョンソン型の上限が漸近的に正確であるか？
• RQ2 エッジ彩色付き有向グラフの分解理論を用いて、最適な非2進定重符号を構築できるか？
• RQ3 $ n $ および符号パラメータにどのような条件下で、多重定重符号のジョンソン境界が漸近的にタイトになるか？
• RQ4 ジョンソン境界の漸近的正確性は、2進符号から非2進および多重量符号族に拡張可能か？
• RQ5 $ n $ に対してどのような合同条件を満たせば、ジョンソン境界を等号で達成する分解の存在が保証されるか？

主な発見

• 符号長 $ 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}) $ のジョンソン型上界は漸近的に正確である。
• $ A_q(n, 2w-3, \overline{w}) $ に対しても、同様の合同条件のもとで上界は漸近的に正確であり、$ w_1 > w_2 $ か $ w_1 = w_2 $ かによって異なる式で表される。
• 境界 $ 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 $ は、$ n-1 \equiv 0 \pmod{w-1} $ および $ (q-1)n(n-1) \equiv 0 \pmod{w(w-1)} $ のとき漸近的に正確である。
• 境界 $ 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) $ を証明し、必要な条件下での分解の実現可能性を確認した。
• シュリーヴァーの補題を用いて、次数ベクトル系の整数解の存在を確立し、合同条件が成立する場合に分解が実現可能であることを保証した。