[論文レビュー] Constrained Linear Representability of Polymatroids and Algorithms for Computing Achievability Proofs in Network Coding

Jayant Apte, John MacLaren Walsh|arXiv (Cornell University)|May 15, 2016

Cooperative Communication and Network Coding参考文献 44被引用数 5

ひとこと要約

本稿では、多形体における制約付き線形表現問題（CLRP）を解く計算フレームワークを紹介し、それを実装したITAP GAPパッケージを提供する。このフレームワークにより、ネットワーク符号化および秘密分散における自動達成証明が可能になる。群論的組合せ生成を活用することで、有限体上での線形表現の有効な検査が可能となり、線形符号構成の自動発見および線形ランク不等式の検証が自動化される。Fanoネットワークや$2U^4_2$ネットワーク、Benaloh-Coppersmithの秘密分散方式といったベンチマーク問題において、成功が確認された。

ABSTRACT

The constrained linear representability problem (CLRP) for polymatroids determines whether there exists a polymatroid that is linear over a specified field while satisfying a collection of constraints on the rank function. Using a computer to test whether a certain rate vector is achievable with vector linear network codes for a multi-source network coding instance and whether there exists a multi-linear secret sharing scheme achieving a specified information ratio for a given secret sharing instance are shown to be special cases of CLRP. Methods for solving CLRP built from group theoretic techniques for combinatorial generation are developed and described. These techniques form the core of an information theoretic achievability prover, an implementation accompanies the article, and several computational experiments with interesting instances of network coding and secret sharing demonstrating the utility of the method are provided.

研究の動機と目的

• ネットワーク符号化および秘密分散における達成証明を自動化するという根本的課題に取り組むこと。これは従来、手作業で行われており、時間と労力がかかる。
• エントロピー的ベクトルの閉包を特徴付けるという未解決問題の特殊ケースである制約付き線形表現問題（CLRP）に対するアルゴリズム的解決策を開発すること。
• 小さなネットワークおよび秘密分散インスタンスの体系的探索を可能にするために、パターン認識や一般化に役立つ、解決済みケースの包括的データベースの構築を目的とする。
• 有限体上での多形体の線形表現の検証を支援する計算ツールであるITAPを提供すること。これは存在性および列挙型CLRPの両方のバリアントをサポートする。
• 自動表現検査を通じて、新しい線形ランク不等式の発見および検証を促進すること。

提案手法

• CLRPの2つの変種を形式化する：存在性問題（制約を満たす線形表現可能な多形体が存在するか？）と列挙問題（同型を除いてすべてのこのような表現を求めるか？）。
• 多形体表現における同型類を効率的に取り扱うために、対称性を活用する群論的技法を用いた組合せ生成を適用する。
• ネットワーク符号化のレート領域からの制約と秘密分散のアクセス構造からの制約を統合的に統合し、一元的なCLRPフレームワークを構築する。
• アルゴリズムを実装し、有限体上での多形体表現を処理するGAPパッケージ「Information Theoretic Achievability Prover（ITAP）」を構築する。
• 変数をベクトル空間にマッピングするpマップを用いて、効率的な表現と同型削減を実現する。
• 同型解を早期に pruning する体系的な探索戦略を採用し、計算複雑性を低減する。

実験結果

リサーチクエスチョン

• RQ1 コンピュータによる自動化手法を開発し、ネットワーク符号化および秘密分散問題における線形符号構成の存在を検証することは可能か？
• RQ2 制約付き線形表現問題（CLRP）は、情報理論における根本的問題を解くための計算的代理として、どの程度有効に機能するか？
• RQ3 複雑な制約下で、群論的組合せ生成を線形表現可能な多形体の探索にどの程度効率的に適用できるか？
• RQ4 自動化ツール（例：ITAP）は、既知の構成（例：Benaloh-Coppersmith）や新しい線形ランク不等式を発見または検証できるか？
• RQ5 このようなシステムは、ネットワーク符号化および秘密分散分野のベンチマーク問題に対して、スケーラビリティおよびパフォーマンスに優れているか？

主な発見

• ITAPは、2次元の秘密と指定された共有サイズを持つBenaloh-Coppersmithの秘密分散方式を、約32分で再現した。
• Fanoネットワークの達成証明は、ITAPを用いて142分1秒で検証され、有効な線形符号の存在が確認された。
• $2U^4_2$ネットワークの達成証明は、1分1秒で計算され、小さなインスタンスにおいて高い効率性を示した。
• ITAPは、複数回の反復においてBenaloh-Coppersmith例に対して174の弱く非同型な表現を生成し、その列挙能力を検証した。
• 統一的なCLRP定式化を通じて、ネットワーク符号化および秘密分散からの複雑な制約（ランク制約やアクセス構造要件）を効果的に処理した。
• 本手法により、解決済みインスタンスの巨大なデータベースの構築が可能となり、構造的パターンの解明やネットワーク符号化・秘密分散分野における一般定理の導出に貢献できる。