Revision #2 Authors: Suryajith Chillara

Accepted on: 6th September 2020 09:57

Downloads: 325

Keywords:

In this paper, we are interested in understanding the complexity of computing multilinear polynomials using depth four circuits in which polynomial computed at every node has a bound on the individual degree of $r$ (referred to as multi-$r$-ic circuits). The goal of this study is to make progress towards proving superpolynomial lower bounds for general depth four circuits computing multilinear polynomials, by proving better and better bounds as the value of $r$ increases.

Recently, Kayal, Saha and Tavenas (Theory of Computing, 2018) showed that any depth four arithmetic circuit of bounded individual degree $r$ computing a multilinear polynomial on $n^{O(1)}$ variables and degree $d=o(n)$, must have size at least $\left(\frac{n}{r^{1.1}}\right)^{\Omega\left(\sqrt{\frac{d}{r}}\right)}$ when $r$ is $o(d)$ and is strictly less than $n^{1.1}$. This bound however deteriorates with increasing $r$. It is a natural question to ask if we can prove a bound that does not deteriorate with increasing $r$ or a bound that holds for a "larger" regime of $r$.

We here prove a lower bound which does not deteriorate with $r$, however for a specific instance of $d = d(n)$ but for a wider range of $r$. Formally, we show that there exists an explicit polynomial on $n^{O(1)}$ variables and degree $\Theta(\log^2 n)$ such that any depth four circuit of bounded individual degree $r<n^{\eta}$ (for some small constant $\eta$) must have size at least $\exp(\Omega(\log^2 n))$. This improvement is obtained by suitably adapting the complexity measure of Kayal et al. (Theory of Computing, 2018). This adaptation of the measure is inspired by the complexity measure used by Kayal et al. (SIAM J. Computing, 2017).

Bug in Revision 1, fixed.

Revision #1 Authors: Suryajith Chillara

Accepted on: 6th September 2020 02:14

Downloads: 308

Keywords:

In this paper, we are interested in understanding the complexity of computing multilinear polynomials using depth four circuits in which polynomial computed at every node has a bound on the individual degree of $r$ (referred to as multi-$r$-ic circuits). The goal of this study is to make progress towards proving superpolynomial lower bounds for general depth four circuits computing multilinear polynomials, by proving better and better bounds as the value of $r$ increases.

Recently, Kayal, Saha and Tavenas (Theory of Computing, 2018) showed that any depth four arithmetic circuit of bounded individual degree $r$ computing a multilinear polynomial on $n^{O(1)}$ variables and degree $d=o(n)$, must have size at least $\left(\frac{n}{r^{1.1}}\right)^{\Omega\left(\sqrt{\frac{d}{r}}\right)}$ when $r$ is $o(d)$ and is strictly less than $n^{1.1}$. This bound however deteriorates with increasing $r$. It is a natural question to ask if we can prove a bound that does not deteriorate with increasing $r$ or a bound that holds for a "larger" regime of $r$.

We here prove a lower bound which does not deteriorate with $r$, however for a specific instance of $d = d(n)$ but for a wider range of $r$. Formally, we show that there exists an explicit polynomial on $n^{O(1)}$ variables and degree $\Theta(\log^2 n)$ such that any depth four circuit of bounded individual degree $r<n^{0.2}$ must have size at least $\exp(\Omega(\log^2 n))$. This improvement is obtained by suitably adapting the complexity measure of Kayal et al. (Theory of Computing, 2018). This adaptation of the measure is inspired by the complexity measure used by Kayal et al. (SIAM J. Computing, 2017).

Fixed an error in Theorem 18. Cleaner version.

In this paper, we are interested in understanding the complexity of computing multilinear polynomials using depth four circuits in which polynomial computed at every node has a bound on the individual degree of $r$ (referred to as multi-$r$-ic circuits). The goal of this study is to make progress towards proving superpolynomial lower bounds for general depth four circuits computing multilinear polynomials, by proving better and better bounds as the value of $r$ increases.

Recently, Kayal, Saha and Tavenas (Theory of Computing, 2018) showed that any depth four arithmetic circuit of bounded individual degree $r$ computing a multilinear polynomial on $n^{O(1)}$ variables and degree $d=o(n)$, must have size at least $\left(\frac{n}{r^{1.1}}\right)^{\Omega\left(\sqrt{\frac{d}{r}}\right)}$ when $r$ is $o(d)$ and is strictly less than $n^{1.1}$. This bound however deteriorates with increasing $r$. It is a natural question to ask if we can prove a bound that does not deteriorate with increasing $r$ or a bound that holds for a "larger" regime of $r$.

We here prove a lower bound which does not deteriorate with $r$, however for a specific instance of $d = d(n)$ but for a wider range of $r$. Formally, we show that there exists an explicit polynomial on $n^{O(1)}$ variables and degree $\Theta(\log^2 n)$ such that any depth four circuit of bounded individual degree $r<n^{0.2}$ must have size at least $\exp(\Omega(\log^2 n))$. This improvement is obtained by suitably adapting the complexity measure of Kayal et al. (Theory of Computing, 2018). This adaptation of the measure is inspired by the complexity measure used by Kayal et al. (SIAM J. Computing, 2017).