A Near-Optimal Depth-Hierarchy Theorem for Small-Depth Multilinear Circuits

We study the size blow-up that is necessary to convert an algebraic circuit of product-depth δ+1 to one of product-depth δ in the multilinear setting. We show that for every positive δ = δ(n) = o(log n/log log n), there is an explicit multilinear polynomial P^(δ) on n variables that can be computed by a multilinear formula of product-depth δ+1 and size O(n), but not by any multilinear circuit of product-depth δ and size less than exp(n^Ω(1/δ)). This result is tight up to the constant implicit in the double exponent for all δ = o(log n/log log n). This strengthens a result of Raz and Yehudayoff (Computational Complexity 2009) who prove a quasipolynomial separation for constant-depth multilinear circuits, and a result of Kayal, Nair and Saha (STACS 2016) who give an exponential separation in the case δ = 1. Our separating examples may be viewed as algebraic analogues of variants of the Graph Reachability problem studied by Chen, Oliveira, Servedio and Tan (STOC 2016), who used them to prove lower bounds for constant-depth Boolean circuits.