[论文解读] On Read-k Projections of the Determinant

Christian Ikenmeyer, J. M. Landsberg|arXiv (Cornell University)|Oct 1, 2016

Advanced Graph Theory Research参考文献 11被引用 3

一句话总结

该论文通过证明 m×m 行列式的常规行列式复杂度为 O(m³)，证明了当 m ≥ 3 时，永久式 permm 不存在秩一行列式表达式，并建立了关键代数复杂度度量（如迭代矩阵乘法、代数分支程序和行列式复杂度）之间的精确多项式等价关系，从而解决了关于行列式复杂度的开放问题。

ABSTRACT

We answer a question in [Landsberg, Ressayre, 2015], showing the regular determinantal complexity of the determinant det_m is O(m^3). We answer questions in, and generalize results of [Aravind, Joglekar, 2015], showing there is no rank one determinantal expression for perm_m or det_m when m >= 3. Finally we state and prove several "folklore" results relating different models of computation.

研究动机与目标

• 解决文献[10]提出的问题，即关于行列式多项式 detm 的常规行列式复杂度。
• 证明当 m ≥ 3 时，永久式 permm 不存在秩一行列式表达式，回答文献[2]提出的问题。
• 建立基本代数复杂度度量之间精确的非多项式关系，包括行列式复杂度、迭代矩阵乘法复杂度和代数分支程序复杂度。
• 澄清并形式化不同代数计算模型之间的‘常识性’等价关系，使在受限计算模型之间能够进行严格比较。

提出的方法

• 通过将分层代数分支程序（ABP）转化为常规行列式形式，利用 Mahajan-Vinay [11] 的技术，构造 detm 的常规行列式表达式。
• 应用 Howe–Young 对偶自函子，关联对称与反对称构造，指导永久式情况下的证明结构。
• 对矩阵元素应用消去与共轭技术，约束行列式表达式中变量的位置，利用引理 6.4 中的单项式特定约束。
• 通过对变量位置（如 y1,1, y2,3, y3,2）进行情况分析，当假设 permm 存在秩一表达式时导出矛盾。
• 通过行/列变换和对称性假设，对矩阵块（如 An−1,1 = 0, A1,3 = 0）施加结构约束，以排除无效配置。
• 在模型之间进行转换：从行列式表达式到迭代矩阵乘法（IMM），反之亦然，表明块多重线性 IMM 表达式与常规行列式表达式直接对应。

实验结果

研究问题

• RQ1 常规行列式复杂度 rdc(detm) 是多少，其随 m 的变化趋势如何？
• RQ2 当 m ≥ 3 时，永久式 permm 是否存在秩一行列式表达式？
• RQ3 行列式复杂度、迭代矩阵乘法复杂度和代数分支程序复杂度这些复杂度度量之间如何精确关联？
• RQ4 能否通过常规行列式表达式达到 permm 的已知上界 2m−1，且该上界是否紧致？
• RQ5 在建模永久式或行列式的单项式时，行列式表达式中会引出何种结构约束？

主要发现

• m×m 行列式的常规行列式复杂度满足 rdc(detm) ≤ 1/3(m³ − m) + 1，建立了 O(m³) 的上界。
• 当任意 m ≥ 3 时，永久式 permm 均不存在秩一行列式表达式，解决了文献[2]中的开放问题。
• 齐次迭代矩阵乘法复杂度（himmc）与行列式复杂度（dc）多项式等价，且建立了精确界限。
• detm 和 permm 的块多重线性 IMM 表达式达到最小大小 2m − 1，与已知上界一致，证实了其紧致性。
• permm 和 detm 的行列式表达式结构受到严格约束，即矩阵中变量的位置必须满足严格的定位与块内条件，以保持单项式系数。
• 通过使用消去共轭与对称性论证（如通过 Howe–Young 对偶），可在尝试构造秩一表达式时推导出矛盾，从而证明其不可能性。