Black-box Identity Testing for Low Degree Unmixed ΣΠΣΠ(k) Circuits
Abstract
A
ΣΠΣΠ(k)
circuit
C=
∑
k
i=1
F
i
=
∑
k
i=1
∏
d
i
j=1
f
ij
is unmixed if for each
i∈[k]
,
F
i
=
f
i1
(
x
1
)...
f
in
(
x
n
)
, where each
f
ij
is a univariate polynomial given in the sparse representation. In this paper, we give a polynomial time black-box algorithm of identity testing for the low degree unmixed
ΣΠΣΠ(k)
circuits. In order to obtain the black-box algorithm, we first show that a special class of low degree unmixed
ΣΠΣΠ(k)
circuits of size
s
is
s
O(
k
2
)
-sparse. Then we construct a hitting set
H
in polynomial time for the low degree unmixed
ΣΠΣΠ(k)
circuits from the sparsity result above. The constructed hitting set is polynomial size. Thus we can test whether the circuit or the polynomial
C
is identically zero by checking whether
C(a)=0
for each
a∈H
. This is the first polynomial time black-box algorithm for the low degree unmixed
ΣΠΣΠ(k)
circuits, which also partly answers a question of Saxena \cite{SAX}.