[论文解读] Constructive noncommutative rank computation in deterministic polynomial time over fields of arbitrary characteristics.

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

Complexity and Algorithms in Graphs被引用 14

一句话总结

本文提出了一种在任意特征的域上计算矩阵空间非交换秩的确定性多项式时间算法，采用一种新颖的约化过程，保持较小的膨胀参数。该方法结合了贪心的行/列移除技术与Derksen和Makam结果的算法实现，并通过去除互素条件的强化正则性引理加以增强。

ABSTRACT

We extend our techniques developed in our manuscript mentioned in the subtitle 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 the aforementioned manuscript, and in this note we improve that lemma by removing a coprime condition there. arXiv:1508.00690

研究动机与目标

• 开发一种在任意特征的域上计算矩阵空间非交换秩的确定性多项式时间算法。
• 为计算得到的非交换秩提供证明，确保正确性与可验证性。
• 在秩计算过程中减小膨胀参数，提升效率与可扩展性。
• 消除先前工作中正则性引理中的互素条件，扩大其适用范围。

提出的方法

• 引入一种新的约化过程，在非交换秩计算过程中保持较小的膨胀参数。
• 通过贪心策略移除特定行与列，实现约化过程的算法实现。
• 应用Derksen和Makam结果的算法版本，以实现高效的秩计算。
• 通过去除互素条件，强化正则性引理，使其在更广范围内适用。
• 将改进的正则性引理作为基础工具，确保膨胀有界并维持多项式时间复杂度。
• 结合贪心方法与Derksen–Makam方法的约化策略，实现确定性且高效的计算。

实验结果

研究问题

• RQ1 能否在任意特征的域上，以确定性多项式时间计算矩阵空间的非交换秩？
• RQ2 如何有效控制秩约化过程中膨胀参数的大小，以确保多项式时间复杂度？
• RQ3 对正则性引理可作何改进，以消除如互素性等限制性条件？
• RQ4 贪心与代数约化技术能否结合，以生成稳健且高效的算法？
• RQ5 如何在相同的多项式时间框架内生成计算所得非交换秩的证明？

主要发现

• 本文在任意特征的域上实现了非交换秩计算的确定性多项式时间算法，解决了关键开放问题。
• 该算法为计算所得的非交换秩提供了可验证的证明，显著提升了可靠性与正确性。
• 通过新颖的约化技术，约化过程中保持了较小的膨胀参数，确保了高效性。
• 通过去除互素条件，强化了正则性引理，使其适用于所有域。
• 贪心方法与Derksen–Makam方法的结合，构建了稳健且高效的计算框架。
• 改进的正则性引理使更一般且更稳定的约化成为可能，尤其在正特征情形下表现更优。