A Wronskian approach to the real τ-conjecture. (May 2015)

• Record Type: Journal Article
• Authors: Koiran, Pascal; Portier, Natacha; Tavenas, Sébastien
• Is Part Of: Journal of symbolic computation. Volume 68:Part 2(2015)
• Page Start: 195
• Page End: 214
• Publication Date: 2015-05
• Subjects: Real τ-conjecture -- Sparse polynomials -- Real algebraic geometry; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2014.09.036
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: According to the real τ -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).