[論文レビュー] Constructive noncommutative rank computation is in deterministic polynomial time

Gábor Ivanyos, Youming Qiao+1 more|arXiv (Cornell University)|Dec 11, 2015

Complexity and Algorithms in Graphs参考文献 20被引用数 12

ひとこと要約

この論文は、任意の体上の行列空間の非可換ランクを決定的多項式時間で計算するアルゴリズムを提示し、計算代数および計算複雑性理論における長年の未解決問題を解決する。正則性補題を精緻化し、吹き出しパラメータを制御する効率的な還元手順を導入することで、著者たちは多項式時間の複雑性を達成し、従来の指数時間法を改善し、DerksenとMakam、およびGargたちはの結果を拡張する。

ABSTRACT

We extend our techniques developed in our earlier paper appeared in Computational Complexity, 2017 (preprint: arXiv:1508.00690) to obtain a deterministic polynomial time algorithm for computing the non-commutative rank together with certificates of linear spaces of matrices over sufficiently large base fields. The key new idea is a reduction procedure that keeps the blow-up parameter small, and there are two methods to implement this idea: the first one is a greedy argument that removes certain rows and columns, and the second one is an efficient algorithmic version of a result of Derksen and Makam. Both methods rely crucially on the regularity lemma in our aforementioned paper, and in this manuscript we also improve that lemma by removing a coprime condition there.

研究の動機と目的

• 任意の体上で行列空間の非可換ランクを決定的多項式時間で計算するアルゴリズムを開発すること。
• 非可換ランク計算の効率的アルゴリズムという未解決問題を解消すること。これは記号的行列式恒等式テストや回路下界に影響を及ぼす。
• [IQS17]における指数時間法を改善し、時間計算量を多項式時間に削減すること。
• [IQS17]における正則性補題の互いに素条件を除去することで、手法の理論的基盤を強化すること。
• ランダム化や指数時間法を避ける、非可換ランクを構成的に計算するアルゴリズムを提供すること。

提案手法

• 著者たちは、[IQS17]に存在する互いに素条件を除去した精緻化された正則性補題を導入し、より広範な適用可能性と tighter な境界を可能にする。
• 彼らは、吹き出しパラメータを小さく保つ還元手順を採用し、グリーディな行／列削除戦略またはDerksenとMakamの[DM17b]の結果のアルゴリズム的版を用いる。
• この手法は、ランクを増加させる一方で構造的制約を維持するために、繰り返し行列ブロックを変更することに依存し、ランクの上限と部分空間不変量を用いる。
• アルゴリズムは、十分に大きな体上で多項式が消えないことをテストするためのブロック行列構成 $ A(t) = M(k+2,\ell) + tM(k,\ell)^{++} $ を用いる。
• 不等式 $ r(k,\ell) $ に関する不等式に基づく再帰的戦略を適用し、ランク境界の違反がランク増加の置換を引き起こすことを保証する。
• 証明は[DM17b]の補題6.2を活用し、$ r(d+1,d+1) = n(d+1) $ ならば $ r(d,d) = nd $ であることを示し、帰納的ランク回復を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の体上で、行列空間の非可換ランクを決定的に多項式時間で計算できるか？
• RQ2 非可換性があるにもかかわらず、効率的なランク計算を可能にする行列空間の構造的性質は何か？
• RQ3 ランク計算における吹き出しパラメータはどのように制御され、指数的吹き出しを避けることができるか？
• RQ4 [IQS17]の正則性補題は、互いに素条件を除去することで強化できるか、効果を失わないか？
• RQ5 非可換ランクを計算する構成的アルゴリズムは存在するか？そのアルゴリズムは確率的または指数時間的手法を避けることができるか？

主な発見

• 任意の体上で行列空間の非可換ランクを決定的多項式時間で計算可能であり、主要な未解決問題が解決された。
• 精緻化された正則性補題と効率的な還元手順により、吹き出しパラメータを制御することで、多項式時間の複雑性を達成した。
• 正則性補題における互いに素条件の除去により、理論的枠組みが強化され、適用可能な問題のクラスが拡大した。
• 各反復で少なくとも1つの行列ブロックのランクが増加することを保証し、最大 $ N^3 n $ ラウンドで終了することが保証された。
• 補題6.2の証明により、$ r(d+1,d+1) = n(d+1) $ ならば $ r(d,d) = nd $ であることが示され、帰納的ランク回復プロセスに不可欠な役割を果たす。
• アルゴリズムは構成的であり、非可換ランクを計算する具体的な方法を提供する。フルランクを判定するのではなく、実際に計算する。