A hitting set construction, with application to arithmetic circuit lower bounds - ENS de Lyon - École normale supérieure de Lyon
Pré-Publication, Document De Travail Année : 2009

A hitting set construction, with application to arithmetic circuit lower bounds

Résumé

A polynomial identity testing algorithm must determine whether a given input polynomial is identically equal to 0. We give a deterministic black-box identity testing algorithm for polynomials of the form $\sum_{j=0}^t c_j X^{\alpha_j} (a + b X)^{\beta_j}$, and from there we derive a lower bound for representations of univariate polynomials under this form. This shows that the ``hardness from derandomization'' approach to lower bounds is feasible for a restricted class of arithmetic circuits.
Fichier principal
Vignette du fichier
prunel.pdf (172.02 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

ensl-00408713 , version 1 (31-07-2009)
ensl-00408713 , version 2 (07-12-2009)

Identifiants

Citer

Pascal Koiran. A hitting set construction, with application to arithmetic circuit lower bounds. 2009. ⟨ensl-00408713v1⟩
107 Consultations
261 Téléchargements

Altmetric

Partager

More