Abstract

Shpilka & Wigderson (IEEE conference on computational complexity, vol 87, 1999) had posed the problem of proving exponential lower bounds for (nonhomogeneous) depth-three arithmetic circuits with bounded bottom fanin over a field $${{\mathbb{F}}}$$F of characteristic zero. We resolve this problem by proving a $${N^{\Omega(\frac{d}{\tau})}}$$NΩ(d?) lower bound for (nonhomogeneous) depth-three arithmetic circuits with bottom fanin at most $${\tau}$$? computing an explicit $${N}$$N-variate polynomial of degree $${d}$$d over $${{\mathbb{F}}}$$F. Meanwhile, Nisan & Wigderson (Comp Complex 6(3):217---234, 1997) had posed the problem of proving super-polynomial lower bounds for homogeneous depth-five arithmetic circuits. Over fields of characteristic zero, we show a lower bound of $${N^{\Omega(\sqrt{d})}}$$NΩ(d) for homogeneous depth-five circuits (resp. also for depth-three circuits) with bottom fanin at most $${N^{\mu}}$$Nμ, for any fixed$${\mu < 1}$$μ<1. This resolves the problem posed by Nisan and Wigderson only partially because of the added restriction on the bottom fanin (a general homogeneous depth-five circuit has bottom fanin at most $${N}$$N).

Highlights

  • The problem of proving super-polynomial lower bounds for arithmetic circuits occupies a central position in algebraic complexity theory, much like the problem of proving superpolynomial lower bounds for Boolean circuits does in Boolean complexity

  • Over fields of characteristic zero, we show a lower bound of N Ω( d) for homogeneous depth five circuits with bottom fanin at most N μ, for any fixed μ < 1

  • A recent line of research on arithmetic circuit lower bounds uses the dimension of the space of shifted partials and its variant the projected shifted partials under random restriction as a complexity measure to make progress on proving lower bounds for certain interesting classes of arithmetic circuits, namely regular formulas and homogeneous depth four formulas. (The dimension of the space of shifted partials measure is in turn based on the classical measure of the dimension of the space of partial derivatives.) The formal degree of a homogeneous depth four formula is bounded by the degree of the polynomial that it computes

Read more

Summary

Introduction

The problem of proving super-polynomial lower bounds for arithmetic circuits occupies a central position in algebraic complexity theory, much like the problem of proving superpolynomial lower bounds for Boolean circuits does in Boolean complexity. Nisan and Wigderson noted that (nonhomogeneous) ΣΠΣ circuits with bottom fanin just two can be exponentially more powerful than homogeneous ΣΠΣ circuits – any homogeneous ΣΠΣ circuit computing the elementary symmetric polynomial of degree n on 2n variables must be of size 2Ω(n) but it can be computed by just O(n2)-sized ΣΠΣ[2] circuits11 They noted that this contrasts sharply with the the exponential lower bounds for Majority in the Boolean model and over fixed finite fields. Shpilka and Wigderson [22] had already noted this frontier in arithmetic complexity and explicitly posed the problem of proving lower bounds for (nonhomogeneous) depth three circuits with bounded bottom fanin (over fields of characteristic zero). We resolve this challenge here by proving exponential lower bounds for such circuits. {fN } in VNP with N√∈ [d2+α, 2d2+α] such that any ΣΠΣ[Nμ] formula over F computing fN has size at least N Ω( d)

Proof Overview
Preliminaries
Depth Three Circuits with small bottom fanin
Proof of the decomposition lemma
Summary and discussion
16. Analyzing this situation gives
B Proofs of certain propositions
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call