A Wronskian approach to the real tau-conjecture

作者：Koiran Pascal^*; Portier Natacha; Tavenas Sebastien

来源：Journal of Symbolic Computation, 2015, 68: 195-214.

DOI：10.1016/j.jsc.2014.09.036

• Real tau-conjecture
• Sparse polynomials
• Real algebraic geometry

According to the real tau-conjecture, the number of real roots of a sum of products of sparse univariate polynomials should be polynomially bounded in the size of such an expression. It is known that this conjecture implies a superpolynomial lower bound on the arithmetic circuit complexity of the permanent.
In this paper, we use the Wronksian determinant to give an upper bound on the number of real roots of sums of products of sparse polynomials of a special form. We focus on the case where the number of distinct sparse polynomials is small, but each polynomial may be repeated several times. We also give a deterministic polynomial identity testing algorithm for the same class of polynomials.
Our proof techniques are quite versatile; they can in particular be applied to some sparse geometric problems that do not originate from arithmetic circuit complexity. The paper should therefore be of interest to researchers from these two communities (complexity theory and sparse polynomial systems).

• 出版日期2015-6
• 单位INRIA