[論文レビュー] Tables of subspace codes

Daniel Heinlein, Kiermaier, Michael+2 more|arXiv (Cornell University)|Jan 12, 2016

Coding theory and cryptography参考文献 78被引用数 56

ひとこと要約

本論文は、部分空間コードのオンラインデータベースとユーザーガイドを提供し、最小部分空間距離 $ d $ で、$ \mathbb{F}_q^n $ 上の部分空間コードの最大サイズ $ A_q(n,d;K) $ について、包括的で最新の下界および上界を提示する。$ K \subseteq \{0,1,\dots,n\} $ の次元を含み、理論的結果、構成法（例：LMRDコード、部分スオート）およびアルゴリズム的制約（例：ジョンソン型の不等式、インジェクション距離の不等式）を統合し、特に定数次元コードと混合次元コードに焦点を当て、研究者が最新の部分空間符号理論にアクセス・検証・貢献できるようにする。

ABSTRACT

One of the main problems of subspace coding asks for the maximum possible cardinality of a subspace code with minimum distance at least $d$ over $\mathbb{F}_q^n$, where the dimensions of the codewords, which are vector spaces, are contained in $K\subseteq\{0,1,\dots,n\}$. In the special case of $K=\{k\}$ one speaks of constant dimension codes. Since this (still) emerging field is very prosperous on the one hand side and there are a lot of connections to classical objects from Galois geometry it is a bit difficult to keep or to obtain an overview about the current state of knowledge. To this end we have implemented an on-line database of the (at least to us) known results at \url{subspacecodes.uni-bayreuth.de}. The aim of this recurrently updated technical report is to provide a user guide how this technical tool can be used in research projects and to describe the so far implemented theoretic and algorithmic knowledge.

研究の動機と目的

• 部分空間コードの既知の下界および上界を、特に $ A_q(n,d;K) $ について、中央集権的かつ最新のオンラインデータベースとして編纂・維持し、ネットワーク符号理論および有限幾何学分野の研究を支援すること。
• 研究者がデータベースにアクセス・解釈・貢献できるように、使いやすい技術的ガイドを提供すること。理論的基盤およびアルゴリズム的制約を含む。
• 正確な $ A_q(n,d;K) $ の値が分かっている場合、特に定数次元コードおよび特殊パラメータ集合に対して、同型を除いて最適な部分空間コードを分類すること。
• アントイック、シングルトン、ジョンソン型の不等式からの主要な理論的結果をデータベースに統合・実装し、自動評価および比較を可能にすること。
• 研究者によるコミュニティ貢献を促進するため、専用の貢献インターフェースを提供し、欠落している構成法、境界、参考文献の提出を可能にすること。

提案手法

• データベースは、主に2つのカテゴリに分類される：固定次元 $ k $ の定数次元コード（CDC）と、$ K \subseteq \{0,\dots,n\} $ の変動する次元を許容する混合次元コード（MDC）。
• CDCについては、$ 2 \leq q \leq 9 $、$ 4 \leq n \leq 19 $ をサポートし、部分空間距離 $ d_S(U,W) = 2\dim(U+W) - \dim(U) - \dim(W) $ をメトリクスとして使用する。
• 主要な理論的境界は計算関数として実装されている。例：ジョンソン型の境界には $ \text{relax}_d $、$ d=2 $ には $ \text{d2} $、$ d=n $ には $ \text{neqdeven} $、$ A_q(5,3)=2q^3+2 $ には $ \text{n5_d3_CPS} $ が使用されている。
• 最新の文献からの境界（例：HKK定理（定理4.15）、アントイック境界、シングルトン境界）をデータベースに統合し、$ q $-ポッヒャー記号を用いた漸近的比較も実施している。
• 既知の定理（例：$ A_q(5,3)=2q^3+2 $）を用いて正確な値を特定可能であり、最適コードの分類データも含む。例：$ A_2(7,5)=34 $ の最適コードは20種類の同型型に分類されている。
• 貢献インターフェースにより、研究者が新しい構成法、境界、参考文献を提出できる。今後の開発ではソース追跡機能の計画が進行中である。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $ q, n, d, K $ の異なる組み合わせについて、$ A_q(n,d;K) $ の最もよく知られた下界および上界は何か？
• RQ2 アントイック、シングルトン、ジョンソン型の境界といった理論的境界は、定数次元コードにおいてどの程度のきつさで成り立つか？
• RQ3 どのパラメータ集合に対して $ A_q(n,d;K) $ の正確な値が分かっており、すべての最適コードが同型を除いて分類可能か？
• RQ4 LMRDコード、部分スオート、$ q $-アナログのステイナー系などの構成法は、部分空間コードの最もよく知られた下界をどのように達成するか？
• RQ5 混合次元コード（$ K $ に複数の次元が含まれる）をサポートするためにデータベースはどのように拡張可能か？現在の知識のギャップは何か？

主な発見

• 多くのパラメータについて、本データベースは既知で最もきつい上界を提供している。特に他の定理が評価されない場合、$ \text{relax}_d $ が最もきつい結果をもたらす。
• $ d=2 $ の場合、$ n=2k $ ならば $ A_q(n,2) = \sum_{i \equiv k \bmod 2} \binom{n}{i}_q $ であり、$ n=2k+1 $ ならば偶数または奇数の $ i $ についての和となる。これは $ \text{d2} $ として実装されている。
• $ d=n $ の場合、$ n=2k $ ならば $ A_q(n,n) = q^k + 1 $、$ n $ が奇数ならば $ A_q(n,n) = 2 $ であり、それぞれ $ \text{neqdeven} $ および $ \text{HKK_theorem_3_3_i} $ として実装されている。
• $ A_q(5,3) = 2q^3 + 2 $ はすべての $ q $ に対して正確であり、$ A_2(7,5) = 34 $ であり、最適コードは [67] で20種類の同型型に分類されている。
• $ d \leq 1 $ の場合、最大コードはすべての部分空間を含むため、$ A_q(n,d) = \sum_{k=0}^n \genfrac{[}{]}{0pt}{}{n}{k}_q $ であり、$ \text{trivial_dle1} $ として実装されている。
• 漸近的には、LMRDコードのサイズとアントイック境界の比は少なくとも $ 0.577576 $ に収束し、漸近的最適性の強い可能性を示している。