Matches in SemOpenAlex for { <https://semopenalex.org/work/W3186058991> ?p ?o ?g. }
- W3186058991 abstract "Recently, Forbes, Kumar and Saptharishi [CCC, 2016] proved that there exists an explicit $d^{O(1)}$-variate and degree $d$ polynomial $P_{d}in VNP$ such that if any depth four circuit $C$ of bounded formal degree $d$ which computes a polynomial of bounded individual degree $O(1)$, that is functionally equivalent to $P_d$, then $C$ must have size $2^{Omega(sqrt{d}log{d})}$. The motivation for their work comes from Boolean Circuit Complexity. Based on a characterization for $ACC^0$ circuits by Yao [FOCS, 1985] and Beigel and Tarui [CC, 1994], Forbes, Kumar and Saptharishi [CCC, 2016] observed that functions in $ACC^0$ can also be computed by algebraic $Sigmamathord{wedge}SigmaPi$ circuits (i.e., circuits of the form -- sums of powers of polynomials) of $2^{log^{O(1)}n}$ size. Thus they argued that a $2^{omega(log^{O(1)}{n})}$ functional lower bound for an explicit polynomial $Q$ against $Sigmamathord{wedge}SigmaPi$ circuits would imply a lower bound for the corresponding Boolean function of $Q$ against non-uniform $ACC^0$. In their work, they ask if their lower bound be extended to $Sigmamathord{wedge}SigmaPi$ circuits. In this paper, for large integers $n$ and $d$ such that $omega(log^2n)leq dleq n^{0.01}$, we show that any $Sigmamathord{wedge}SigmaPi$ circuit of bounded individual degree at most $Oleft(frac{d}{k^2}right)$ that functionally computes Iterated Matrix Multiplication polynomial $IMM_{n,d}$ ($in VP$) over ${0,1}^{n^2d}$ must have size $n^{Omega(k)}$. Since Iterated Matrix Multiplication $IMM_{n,d}$ over ${0,1}^{n^2d}$ is functionally in $GapL$, improvement of the afore mentioned lower bound to hold for quasipolynomially large values of individual degree would imply a fine-grained separation of $ACC^0$ from $GapL$." @default.
- W3186058991 created "2021-08-02" @default.
- W3186058991 creator A5014415631 @default.
- W3186058991 date "2021-07-20" @default.
- W3186058991 modified "2023-09-27" @default.
- W3186058991 title "Functional lower bounds for restricted arithmetic circuits of depth four" @default.
- W3186058991 cites W1426742690 @default.
- W3186058991 cites W1900995703 @default.
- W3186058991 cites W1964748897 @default.
- W3186058991 cites W1968206655 @default.
- W3186058991 cites W1970089350 @default.
- W3186058991 cites W1973342538 @default.
- W3186058991 cites W1979337672 @default.
- W3186058991 cites W1989903304 @default.
- W3186058991 cites W2009998423 @default.
- W3186058991 cites W2026944800 @default.
- W3186058991 cites W2069546133 @default.
- W3186058991 cites W2069864904 @default.
- W3186058991 cites W2079910744 @default.
- W3186058991 cites W2083820240 @default.
- W3186058991 cites W2110206454 @default.
- W3186058991 cites W2123466414 @default.
- W3186058991 cites W2128510017 @default.
- W3186058991 cites W2136726614 @default.
- W3186058991 cites W2170831059 @default.
- W3186058991 cites W2172394696 @default.
- W3186058991 cites W2350173794 @default.
- W3186058991 cites W2398173151 @default.
- W3186058991 cites W2467589244 @default.
- W3186058991 cites W2592993021 @default.
- W3186058991 cites W2594331892 @default.
- W3186058991 cites W2611339529 @default.
- W3186058991 cites W2903016892 @default.
- W3186058991 cites W2910483288 @default.
- W3186058991 cites W2912133662 @default.
- W3186058991 cites W3000087930 @default.
- W3186058991 cites W3009964738 @default.
- W3186058991 cites W3013403809 @default.
- W3186058991 cites W3013938469 @default.
- W3186058991 cites W3022488381 @default.
- W3186058991 cites W3175812362 @default.
- W3186058991 cites W36301692 @default.
- W3186058991 hasPublicationYear "2021" @default.
- W3186058991 type Work @default.
- W3186058991 sameAs 3186058991 @default.
- W3186058991 citedByCount "0" @default.
- W3186058991 crossrefType "posted-content" @default.
- W3186058991 hasAuthorship W3186058991A5014415631 @default.
- W3186058991 hasConcept C114614502 @default.
- W3186058991 hasConcept C118615104 @default.
- W3186058991 hasConcept C121332964 @default.
- W3186058991 hasConcept C134306372 @default.
- W3186058991 hasConcept C140479938 @default.
- W3186058991 hasConcept C187455244 @default.
- W3186058991 hasConcept C24890656 @default.
- W3186058991 hasConcept C2775997480 @default.
- W3186058991 hasConcept C2778049214 @default.
- W3186058991 hasConcept C2779557605 @default.
- W3186058991 hasConcept C33923547 @default.
- W3186058991 hasConcept C34388435 @default.
- W3186058991 hasConcept C62520636 @default.
- W3186058991 hasConcept C77553402 @default.
- W3186058991 hasConcept C90119067 @default.
- W3186058991 hasConcept C9376300 @default.
- W3186058991 hasConceptScore W3186058991C114614502 @default.
- W3186058991 hasConceptScore W3186058991C118615104 @default.
- W3186058991 hasConceptScore W3186058991C121332964 @default.
- W3186058991 hasConceptScore W3186058991C134306372 @default.
- W3186058991 hasConceptScore W3186058991C140479938 @default.
- W3186058991 hasConceptScore W3186058991C187455244 @default.
- W3186058991 hasConceptScore W3186058991C24890656 @default.
- W3186058991 hasConceptScore W3186058991C2775997480 @default.
- W3186058991 hasConceptScore W3186058991C2778049214 @default.
- W3186058991 hasConceptScore W3186058991C2779557605 @default.
- W3186058991 hasConceptScore W3186058991C33923547 @default.
- W3186058991 hasConceptScore W3186058991C34388435 @default.
- W3186058991 hasConceptScore W3186058991C62520636 @default.
- W3186058991 hasConceptScore W3186058991C77553402 @default.
- W3186058991 hasConceptScore W3186058991C90119067 @default.
- W3186058991 hasConceptScore W3186058991C9376300 @default.
- W3186058991 hasLocation W31860589911 @default.
- W3186058991 hasOpenAccess W3186058991 @default.
- W3186058991 hasPrimaryLocation W31860589911 @default.
- W3186058991 hasRelatedWork W1566753984 @default.
- W3186058991 hasRelatedWork W1590866142 @default.
- W3186058991 hasRelatedWork W1623626896 @default.
- W3186058991 hasRelatedWork W2002068271 @default.
- W3186058991 hasRelatedWork W2026339776 @default.
- W3186058991 hasRelatedWork W2069546133 @default.
- W3186058991 hasRelatedWork W2094783265 @default.
- W3186058991 hasRelatedWork W2140459707 @default.
- W3186058991 hasRelatedWork W2296296575 @default.
- W3186058991 hasRelatedWork W2405004071 @default.
- W3186058991 hasRelatedWork W2407574188 @default.
- W3186058991 hasRelatedWork W2466056838 @default.
- W3186058991 hasRelatedWork W2765903192 @default.
- W3186058991 hasRelatedWork W2889078076 @default.
- W3186058991 hasRelatedWork W2951995773 @default.
- W3186058991 hasRelatedWork W2952360260 @default.
- W3186058991 hasRelatedWork W2978517333 @default.