Title
Valiant's model: from exponential sums to exponential products
Abstract
We study the power of big products for computing multivariate polynomials in a Valiant-like framework. More precisely, we define a new class VΠP0 as the set of families of polynomials that are exponential products of easily computable polynomials. We investigate the consequences of the hypothesis that these big products are themselves easily computable. For instance, this hypothesis would imply that the nonuniform versions of P and NP coincide. Our main result relates this hypothesis to Blum, Shub and Smale's algebraic version of P versus NP. Let K be a field of characteristic 0. Roughly speaking, we show that in order to separate PK from NPK using a problem from a fairly large class of “simple” problems, one should first be able to show that exponential products are not easily computable. The class of “simple” problems under consideration is the class of NP problems in the structure (K,+,–,=), in which multiplication is not allowed.
Year
DOI
Venue
2006
10.1007/11821069_52
MFCS
Keywords
Field
DocType
main result,exponential product,large class,exponential sum,np problem,computable polynomial,multivariate polynomial,new class,big product,algebraic version,valiant-like framework
Discrete mathematics,Combinatorics,Boolean circuit,Algebraic number,Exponential function,Polynomial,Exponential polynomial,P versus NP problem,Multiplication,Mathematics,NP
Conference
Volume
ISSN
ISBN
4162
0302-9743
3-540-37791-3
Citations 
PageRank 
References 
4
0.45
10
Authors
2
Name
Order
Citations
PageRank
Pascal Koiran1919113.85
Sylvain Perifel2646.61