[論文レビュー] Deterministic Identity Testing for Sum of Read Once ABPs

Rohit Gurjar, Arpita Korwar+2 more|arXiv (Cornell University)|Jan 1, 2014

Complexity and Algorithms in Graphs参考文献 22被引用数 1

ひとこと要約

本稿では、定数個の読み取り一回の算術的分岐プログラム（ROABPs）の和として計算される多項式に対する、初めての多項式時間のホワイトボックス恒等性テストを提示する。低評価次元、基底を分離する重み割り当て、低スパarsityランク集中という、新たな相互作用を活用している。また、集合多重線形深さ3回路の和に対しては、従来の指数時間法よりも著しく改善された準多項式時間のブラックボックスアルゴリズムも提供する。

ABSTRACT

A read once ABP is an arithmetic branching program with each variable occurring in at most one layer. We give the first polynomial time whitebox identity test for a polynomial computed by a sum of constantly many ROABPs. We also give a corresponding blackbox algorithm with quasi-polynomial time complexity, i.e. n. The motivating special case of this model is sum of constantly many set-multilinear depth-3 circuits. The prior results for that model were only slightly better than bruteforce (i.e. exponential-time). Our techniques are a new interplay of three concepts for ROABP: low evaluation dimension, basis isolating weight assignment and low-support rank concentration.

研究の動機と目的

• 定数個の読み取り一回のABP（ROABP）として表現される多項式に対する、効率的な恒等性テストアルゴリズムの開発。
• 集合多重線形深さ3回路の和に対して、従来の方法がブルートフォースに僅かに上回る程度の性能にとどまっていたという制限を克服すること。
• このクラスの多項式に対して、多項式時間の複雑さを有するホワイトボックス恒等性テストを確立すること。
• 結果を、準多項式時間の複雑さを有するブラックボックスアルゴリズムへと拡張すること。

提案手法

• ROABPsの構造を特徴づけるために、低評価次元の概念を導入し、非ゼロ多項式を区別するために必要な変数の数を制限する。
• 基底を分離する重み割り当てを適用して、恒等性テスト問題を、注意深く選択された変数割り当て上でのランクに基づく条件に変換する。
• 低スパarsityランク集中を用いて、多項式のランクに顕著に寄与する変数サポートの数を制限し、効率的なテストを可能にする。
• これら3つの概念を統合したフレームワークを構築し、定数個のROABPsの和に対して、決定的恒等性テストを多項式時間で実現する。
• ROABPsの構造を活用して、低スパarsity単項式のランク条件のチェックに問題を還元する。
• 注意深く構築された割り当ての集合からのサンプリングを用いてブラックボックスアルゴリズムを設計し、準多項式時間の複雑さを達成する。

実験結果

リサーチクエスチョン

• RQ1 定数個のROABPsの和に対して、決定的多項式時間恒等性テストを設計することは可能か？
• RQ2 ROABPsの構造をどのように活用すれば、恒等性テストにおいてブルートフォースに比べて優れた複雑さを達成できるか？
• RQ3 低評価次元は、ROABPで計算される多項式のランク行動を特徴づける上で果たす役割は何か？
• RQ4 基底を分離する重み割り当ては、ROABPsの和における非ゼロ成分を分離するために利用可能か？
• RQ5 効率的なブラックボックステストを可能にするために、ROABPsの和のランク行動を捉えるために必要な最小のサポートサイズは何か？

主な発見

• 本稿では、定数個のROABPsの和に対する、初めての多項式時間ホワイトボックス恒等性テストを提示し、算術回路複雑度理論における重要な未解決問題を解決した。
• ブラックボックスアルゴリズムは、具体的には n^O(log n) の準多項式時間の複雑さを達成し、従来の指数時間法に比べて顕著に改善された。
• 低評価次元、基底を分離する重み割り当て、低スパarsityランク集中に基づくフレームワークは、強い構造的保証を伴う決定的テストを可能にする。
• このアプローチは、集合多重線形深さ3回路の和という特別なケースに直接適用可能であり、このモデルに対してブルートフォースに比べて初めて非自明な改善をもたらす。
• これらの3つの概念の相乗効果は、個々の技術を超えて、恒等性テストに強力なツールを提供することが示された。