Black-box Identity Testing for Low Degree Unmixed $\Sigma \Pi \Sigma \Pi (k)$ Circuits

Jinyu Huang

A $\Sigma \Pi \Sigma \Pi (k)$ circuit $C={\sum }_{i=1}^k{F}_i={\sum }_{i=1}^k{\prod }_{j=1}^{d_i}{f}_{ij}$ is unmixed if for each $i\in [k]$, $F_i=f_{i1}(x_1)...f_{in}(x_n)$, where each $f_{ij}$ is a univariate…