Improved Polynomial Identity Testing for Read-Once Formulas

摘要

An arithmetic read-once formula (ROF for short) is a formula (a circuit whose underlying graph is a tree) in which the operations are {+, ×} and such that every input variable labels at most one leaf. In this paper we study the problems of giving deterministic identity testing and reconstruction algorithms for ROFs. Our main result is an n~(O(k+log n)) time deterministic algorithm for checking whether a black box holding the sum of k n-variate ROFs computes the zero polynomial. In other words, we provide a hitting set of size n~(O(k+log n)) for the sum of k ROFs. This result greatly improves [27] where an n~(O(k~2+n~(1/2))) algorithm was given for the problem.rnUsing our new results we obtain a deterministic reconstruction algorithms for read-once formulas that runs in time n~(O(log n)).rnIn fact, our results also hold for the more general model of preprocessed read-once formulas that we define in this paper. In this model we are allowed to replace each variable x_i with a polynomial T_i(x_i).rnOur techniques are very close to the techniques in [27]. The main difference is that we obtain several tighter versions of the tools first used there. In particular we obtain a better version of the hardness of representation approach which was first used in [27]. This technique can be thought of as a very explicit way of transforming (mild) hardness of a very structured polynomial to an identity testing algorithm.