[论文解读] On minimal free resolutions and the method of shifted partial derivatives in complexity theory.

Klim Efremenko, J. M. Landsberg+2 more|arXiv (Cornell University)|Apr 20, 2015

Commutative Algebra and Its Applications被引用 4

一句话总结

本文计算了由子永久式生成的理想之最小自由解析的线性段，推进了对永久多项式雅可比理想的理解。通过与这些理想希尔伯特函数相关的移位偏导数法，本文表明，仅靠此方法无法证明当 m < 1.5n² 时，大小为 m 的填充永久式不属于大小为 n 的行列式之轨道闭包。

ABSTRACT

The minimal free resolution of the Jacobian ideals of the determinant polynomial were computed by Lascoux, and it is an active area of research to understand the Jacobian ideals of the permanent. As a step in this direction we compute several new cases and completely determine the linear strands of the minimal free resolutions of the ideals generated by sub-permanents. Our motivation is an exploration of the utility and limits of the method of shifted partial derivatives introduced by Kayal and Gupta-Kamath-Kayal-Saptharishi. The method of shifted partial derivatives amounts to computing Hilbert functions of Jacobian ideals, and the Hilbert functions are in turn the Euler characteristics of the minimal free resolutions of the Jacobian ideals. We compute several such Hilbert functions relevant for complexity theory. We show that the method of shifted partial derivatives alone cannot prove the size m padded permanent cannotbe realized inside the orbit closure of the size n determinant when m< 1.5n^2.

研究动机与目标

• 计算由永久多项式子永久式生成的理想之最小自由解析的线性段。
• 研究移位偏导数法在代数复杂性理论中的实用性和局限性。
• 确定移位偏导数法是否能通过希尔伯特函数计算，将填充永久式与行列式分离。
• 将先前关于行列式雅可比理想的研究扩展至更复杂的永久式情形。
• 明确移位偏导数法在证明永久式下界时的适用边界。

提出的方法

• 使用交换代数中的代数技术，计算由子永久式生成的理想之最小自由解析。
• 分析这些解析的线性段，以提取与复杂性理论相关的希尔伯特函数数据。
• 应用移位偏导数法，该方法依赖于雅可比理想的希尔伯特函数以推导复杂性下界。
• 利用最小自由解析的欧拉示性数，计算雅可比理想的希尔伯特函数。
• 将所得希尔伯特函数与代数复杂性理论中的已知界进行比较，以评估该方法的效力。
• 以拉苏克斯关于行列式雅可比理想的结果作为永久式情形的基准。

实验结果

研究问题

• RQ1 由子永久式生成的理想之最小自由解析的线性段是什么？
• RQ2 移位偏导数法在多大程度上能够区分填充永久式与行列式？
• RQ3 使用移位偏导数法时，填充永久式无法属于行列式轨道闭包的临界大小 m 是多少？
• RQ4 永久式雅可比理想的希尔伯特函数与行列式的相比如何？
• RQ5 移位偏导数法是否能单独证明当 m < 1.5n² 时，永久式不属于行列式的轨道闭包？

主要发现

• 在若干新情形下，由子永久式生成的理想之最小自由解析的线性段已被完全确定。
• 在这些情形下，计算了永久式雅可比理想的希尔伯特函数，提供了与复杂性下界相关的关键数据。
• 基于这些希尔伯特函数的移位偏导数法，无法证明当 m < 1.5n² 时，大小为 m 的填充永久式不属于大小为 n 的行列式之轨道闭包。
• 这表明，仅靠移位偏导数法不足以在超过某一大小阈值后将永久式与行列式分离。
• 研究结果在永久式与行列式问题背景下，为移位偏导数法的效力设定了明确的上界。
• 该研究揭示了该方法的结构性局限，暗示在代数复杂性理论中需要更强或互补的技术。