HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

# 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 \vpip 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 $\p_K$ from $\np_K$ 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.
Keywords :
Document type :
Preprints, Working Papers, ...

Cited literature [17 references]

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00078110
Contributor : Sylvain Perifel Connect in order to contact the contributor
Submitted on : Friday, June 2, 2006 - 6:02:03 PM
Last modification on : Saturday, September 11, 2021 - 3:18:08 AM
Long-term archiving on: : Monday, April 5, 2010 - 9:07:33 PM

### Identifiers

• HAL Id : ensl-00078110, version 1

### Citation

Sylvain Perifel, Pascal Koiran. Valiant's model: from exponential sums to exponential products. 2006. ⟨ensl-00078110⟩

Record views