[論文レビュー] A new upper bound for subspace codes

Daniel Heinlein, Sascha Kurz|arXiv (Cornell University)|Mar 25, 2017

Cooperative Communication and Network Coding参考文献 13被引用数 3

ひとこと要約

この論文は、整数線形計画法（ILP）とより小さい部分空間コードの分類結果を組み合わせることで、パケット長8、最小部分空間距離6、次元4のバイナリ定次元部分空間コードの最大サイズに対する新たな上界272を確立した。この結果は、部分構造の列挙と構造的制約下でのILP定式化による対称性削減を活用することで、以前の上界289を改善した。

ABSTRACT

It is shown that the maximum size $A_2(8,6;4)$ of a binary subspace code of packet length $v=8$, minimum subspace distance $d=4$, and constant dimension $k=4$ is at most $272$. In Finite Geometry terms, the maximum number of solids in $\operatorname{PG}(7,2)$, mutually intersecting in at most a point, is at most $272$. Previously, the best known upper bound $A_2(8,6;4)\le 289$ was implied by the Johnson bound and the maximum size $A_2(7,6;3)=17$ of partial plane spreads in $\operatorname{PG}(6,2)$. The result was obtained by combining the classification of subspace codes with parameters $(7,17,6;3)_2$ and $(7,34,5;\{3,4\})_2$ with integer linear programming techniques. The classification of $(7,33,5;\{3,4\})_2$ subspace codes is obtained as a byproduct.

研究の動機と目的

• パrameters (8, N, 6; 4)₂のバイナリ定次元部分空間コードの最大サイズに対する上界を改善すること。
• より小さいコードからの構造的制約を活用して、A₂(8,6;4)の既知の下界と上界の差を縮小すること。
• 分類結果から導かれる部分構造を固定することで対称性を活用するILPベースのフレームワークを構築・適用すること。
• 解析の副産物として、PG(7,2)におけるすべての(7,33,5;{3,4})₂部分空間コードを同型を除いて分類すること。
• 他のアプローチによる境界の妥当性を検証し、定次元コードの境界に関する今後の改善の基盤を提供すること。

提案手法

• ILP定式化において、(7,17,6;3)₂および(7,16,6;4)₂部分空間コードの分類結果を固定部分構造として用いた。
• 整数線形計画法（ILP）を用いて、PG(7,2)における部分空間距離制約下での4次元部分空間の最大数を計算した。
• 超平面に(7,17,6;3)₂コードと(7,16,6;4)₂コードの存在を規定することで、対称性を破り、ILPの解法性を向上させた。
• 4次元部分空間に対するバイナリ変数を定義し、1次元および7次元部分空間とのインシデント制約を設けた。
• インシデント制約を定義：1次元および7次元部分空間に対して∑x_U ≤ 17、2次元および6次元部分空間に対して∑x_U ≤ 1、射影的点に対するグローバルな合計制約を設けた。
• 既知の部分コードを固定することで自己同型群の削減を実現し、対称性を低減させ、効率的なILP解法を可能にした。

実験結果

リサーチクエスチョン

• RQ1 A₂(8,6;4)の上界をジョンソン境界値289を超えて改善できるか？
• RQ2 PG(7,2)における任意の2つの4次元部分空間が高々1点で交わるような4次元部分空間の最大数は何か？
• RQ3 高い対称性を示す部分空間コードに対して、整数線形計画法技術を効果的に適用できるか？
• RQ4 どのような構造的部分コードを用いることで、大規模な部分空間コード問題におけるILP計算の可能性を高められるか？
• RQ5 (7,33,5;{3,4})₂部分空間コードは存在するか？もしあるならば、同型を除いて何個存在するか？

主な発見

• パrameters (8, N, 6; 4)₂のバイナリ定次元部分空間コードの最大サイズは272以下であることが示され、以前の上界289を改善した。
• この上界は、(7,17,6;3)₂および(7,16,6;4)₂コードの分類結果と、対称性を低減するILP定式化を組み合わせることで達成された。
• ILP定式化は563のケースで成功裏に解かれた。各ケースでz(F₃, F₄) ≤ 272が得られ、上界の妥当性が確認された。
• 解析の副産物として、(7,33,5;{3,4})₂部分空間コードを同型を除いて完全に分類した。
• この結果は、PG(7,2)における互いに高々1点で交わるような立体（4次元部分空間）の最大数が272以下であることを示唆している。
• 本手法は、部分構造の固定による対称性削減が、大規模な部分空間コード問題へのILP適用を効果的に可能にすることを示している。