[論文レビュー] Matrix Algebras and Semidefinite Programming Techniques for Codes

Dion Gijswijt|arXiv (Cornell University)|Jul 6, 2010

Advanced Optimization Algorithms Research被引用数 45

ひとこと要約

本稿は、ハミングスキームのテルウィリジャー代数のブロック対角化を活用して、誤り訂正符号のサイズに対する上界および被覆符号のサイズに対する下界を導出する洗練された半定値計画法（SDP）フレームワークを提案する。Delsarteの線形計画法アプローチを行列代数とSDP制約を用いて拡張することで、特に非2進数符号および特定の距離パラメータにおいて、従来の手法よりも tighter な境界を達成する。

ABSTRACT

This PhD thesis is concerned with SDP bounds for codes: upper bounds for (non)-binary error correcting codes and lower bounds for (non)-binary covering codes. The methods are based on the method of Schrijver that uses triple distances in stead of pairs as in the classical Delsarte bound. The main topics discussed are: 1) Block-diagonalisation of matrix *-algebras, 2) Terwilliger-algebra of the nonbinary Hamming scheme (including an explicit block-diagonalisation), 3) SDP-bounds for (nonbinary) error-correcting codes and covering codes (including computational results), 4) Discussion on the relation with matrix-cuts, 5) Computational results for Affine caps.

研究の動機と目的

• アルファベットサイズ $ q $ の最小距離 $ d $ を持つ符号の最大サイズ $ A_q(n,d) $ に対するよりtightな上界を導出すること。
• 半径 $ r $ を持つ被覆符号の最小サイズ $ K_q(n,r) $ に対する新たな下界を確立すること。
• 非可換アソシエーションスキームに適応するため、Delsarteの線形計画法に行列代数と半定値計画法を統合して拡張すること。
• 実用的実装を可能にするため、SDPソルバーやスパース行列表現を用いた計算フレームワークを提供すること。
• 数値計算における双対解と誤差許容度の検証を通じて、境界の堅牢性を検証すること。

提案手法

• 本手法は、ハミングスキーム $ H(n,q) $ のテルウィリジャー代数のブロック対角化を用い、基礎となる行列代数の構造的分解を可能にする。
• 符号問題を、ハミング距離が $ d $ 未満であるペアに対応する要素に制約を課した対称行列上の半定値計画問題（SDP）として定式化する。
• 行列の半正定値性と距離 $ 1 $ から $ d-1 $ のペアに対するゼロ要素を用い、Delsarteの線形計画法制約を一般化する。
• 主な革新点は、双対SDP問題の明示的表現と行列カットの使用であり、小さな制約違反を持つ双対可能解を用いて境界の妥当性を検証する。
• SDPの計算的生成にはスパースSDPA形式とperlスクリプトを用い、CSDPおよびSDPT3ソルバーによる効率的解法を可能にする。
• 双対解における誤差を $ \epsilon_i $-違反と $ x_i \in [0,1] $ を用いてバウンディングすることで、符号サイズに対する厳密な上界を保証する。

実験結果

リサーチクエスチョン

• RQ1 テルウィリジャー代数に基づく半定値計画法技術は、$ A_q(n,d) $ に対してDelsarteの線形計画法境界を上回ることができるか？
• RQ2 ハミングスキームの非可換構造は、ブロック対角化を用いてどのように活用され、符号境界をtightにできるか？
• RQ3 提案されたSDP手法は、特に $ q=3 $ の場合において、非2進数符号の上界を計算する際にどの程度の性能を示すか？
• RQ4 小さな制約違反を持つ双対解ですら、符号サイズに対する妥当でtightな上界を提供できるか？
• RQ5 特定のパrameter領域において、新しい境界は球詰め境界やDelsarte境界と比較してどの程度の性能を示すか？

主な発見

• $ q=3 $、$ n=3 $ の場合、本手法により $ A_3(3,3) = 1 + \frac{3^3 - 1}{2} = 13 $ が証明され、既知の境界と一致するが、対称性制約のため境界が弱いことが示された。
• 提案されたSDP定式化は、高次元の行列制約とブロック構造を組み込むことで、Delsarteの線形計画法を上回るよりtightな上界を達成する。
• CSDPおよびSDPT3ソルバーを用いた計算結果から、プライマル・デュアル解の数値的安定性が確認され、双対制約違反 $ \epsilon_i $ が小さく、厳密な誤差バウンディングが可能であることが示された。
• 双対解の誤差は $ \sum \max\{0, \epsilon_i\} $ でバウンディングされ、$ A_q(n,d) $ に対する計算上界が妥当かつ保守的であることが保証される。
• 本手法は、数値的不正確性による境界調整を一切必要とせず、さまざまな $ n $、$ d $、$ q $ に対して誤り訂正符号および被覆符号の境界を効果的に計算する。
• 本フレームワークは、テルウィリジャー代数の明示的代数的分解を用いて、Schrijverの2進符号結果を非2進符号へ一般化する。