[论文解读] A Generalized Sylvester-Gallai Type Theorem for Quadratic Polynomials

Shir Peleg, Amir Shpilka|arXiv (Cornell University)|Jan 1, 2020

semigroups and automata theory被引用 4

一句话总结

本文建立了复数域上不可约二次多项式的一般化Sylvester-Gallai定理，证明若在有限集Q中每对多项式均蕴含另一子集K ⊂ Q中多项式的乘积为零，则Q的线性张成空间的维数有界，为O(1)。证明的核心在于首次分类了何时一个二次多项式乘积属于由另外两个多项式生成的理想之根号内，将先前仅针对线性情形和单个乘积的情形推广至任意乘积，这是实现Σ[3]ΠΣΠ[2]电路确定性多项式恒等测试的关键一步。

ABSTRACT

In this work we prove a version of the Sylvester-Gallai theorem for quadratic polynomials that takes us one step closer to obtaining a deterministic polynomial time algorithm for testing zeroness of Σ^{[3]}ΠΣΠ^{[2]} circuits. Specifically, we prove that if a finite set of irreducible quadratic polynomials 𝒬 satisfy that for every two polynomials Q₁,Q₂ ∈ 𝒬 there is a subset 𝒦 ⊂ 𝒬, such that Q₁,Q₂ ∉ 𝒦 and whenever Q₁ and Q₂ vanish then ∏_{Q_i∈𝒦} Q_i vanishes, then the linear span of the polynomials in 𝒬 has dimension O(1). This extends the earlier result [Amir Shpilka, 2019] that showed a similar conclusion when |𝒦| = 1. An important technical step in our proof is a theorem classifying all the possible cases in which a product of quadratic polynomials can vanish when two other quadratic polynomials vanish. I.e., when the product is in the radical of the ideal generated by the two quadratics. This step extends a result from [Amir Shpilka, 2019] that studied the case when one quadratic polynomial is in the radical of two other quadratics.

研究动机与目标

• 将Sylvester-Gallai定理推广至二次多项式，刻画当两个其他多项式消失时，一组多项式乘积消失的条件。
• 解决代数复杂性中的一个关键开放问题：对满足广义Sylvester-Gallai条件的不可约二次多项式，其线性维数进行有界性证明。
• 通过在结构化消失条件下证明维数有界，为Σ[3]ΠΣΠ[2]电路的确定性多项式恒等测试奠定基础工具。
• 将早期仅考虑当两个多项式消失时单个多项式消失的情形推广至任意乘积。

提出的方法

• 提出一个结构定理，对所有满足二次多项式乘积属于由另外两个二次多项式生成的理想之根号内的情形进行完整分类。
• 运用代数几何工具，特别是结式和理想成员资格，分析二次型的消失条件。
• 采用基于秩的二次多项式分解方法，将多项式分为低秩与高秩部分，以处理不同情形。
• 应用投影映射与线性代数技术，将问题约化至有界维数的子空间。
• 对乘积集K中多项式的数量进行归纳与情形分析，区分K为空集、单元素集或更大集合的情形。
• 利用若两个多项式以特定方式生成第三个多项式，则其系数向量必须满足线性依赖关系，从而约束整体维数的事实。

实验结果

研究问题

• RQ1 在何种条件下，当两个其他二次多项式消失时，一组二次多项式的乘积也消失？
• RQ2 当每对多项式均蕴含另一子集K中多项式乘积消失时，有限个不可约二次多项式集合Q的线性张成空间的维数是否可被有界？
• RQ3 由两个二次多项式生成的理想之结构，如何约束位于其根号内的其他二次多项式乘积的可能形式？
• RQ4 Sylvester-Gallai定理能否从线性形式推广至具有任意乘积条件的二次多项式？
• RQ5 此类广义Sylvester-Gallai定理成立的最小条件集是什么？其与深度4电路的确定性PIT有何关联？

主要发现

• 任何满足广义Sylvester-Gallai条件的有限不可约二次多项式集合Q，其线性张成空间的维数为O(1)，解决了非着色情形。
• 首次完整提供了当一个二次多项式乘积属于由另外两个二次多项式生成的理想之根号内时的分类，这是重要的技术贡献。
• 证明表明：若两个二次多项式消失且其线性组合可生成第三个多项式，则整个系统被约束于低维空间。
• 该结果将[Shp19]的早期结果（仅考虑|K| = 1的情形）推广至K中任意有限乘积。
• 该方法提出了一套分析代数复杂性中消失条件的新框架，可能可推广至高次多项式及更复杂的电路类。
• 本工作为Σ[3]ΠΣΠ[2]电路的确定性PIT算法提供了有力证据，因其在底层多项式空间上实现了维数有界。