[论文解读] 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 ]中存在互素条件，从而扩大了适用范围并获得了更紧的界。
• 他们采用一种约化过程，通过使用贪心的行/列移除策略或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 是否存在一种构造性算法来计算非交换秩，从而避免使用随机化或指数时间方法？

主要发现

• 在任意域上，矩阵空间的非交换秩可以以确定性多项式时间计算，解决了这一重大开放问题。
• 通过改进的正则性引理和高效的约化过程控制膨胀参数，该算法实现了多项式时间复杂度。
• 在正则性引理中去除互素条件，增强了理论框架，并扩大了该方法可适用的问题类别。
• 该方法确保在每次迭代中，至少有一个矩阵块的秩增加，从而保证在最多 $ N^3 n $ 轮内终止。
• 引理6.2的证明表明，若 $ r(d+1,d+1) = n(d+1) $，则 $ r(d,d) = nd $，这对归纳秩恢复过程至关重要。
• 该算法是构造性的，提供了计算非交换秩的具体方法，而不仅仅是判断其是否为满秩。