Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950870155> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2950870155 abstract "We call a depth-4 formula C set-depth-4 if there exists a (unknown) partition (X_1,...,X_d) of the variable indices [n] that the top product layer respects, i.e. C(x) = sum_{i=1}^k prod_{j=1}^{d} f_{i,j}(x_{X_j}), where f_{i,j} is a sparse polynomial in F[x_{X_j}]. Extending this definition to any depth - we call a depth-Delta formula C (consisting of alternating layers of Sigma and Pi gates, with a Sigma-gate on top) a set-depth-Delta formula if every Pi-layer in C respects a (unknown) partition on the variables; if Delta is even then the product gates of the bottom-most Pi-layer are allowed to compute arbitrary monomials. In this work, we give a hitting-set generator for set-depth-Delta formulas (over any field) with running time polynomial in exp(({Delta}^2 log s)^{Delta - 1}), where s is the size bound on the input set-depth-Delta formula. In other words, we give a quasi-polynomial time blackbox polynomial identity test for such constant-depth formulas. Previously, the very special case of Delta=3 (also known as set-multilinear depth-3 circuits) had no known sub-exponential time hitting-set generator. This was declared as an open problem by Shpilka & Yehudayoff (FnT-TCS 2010); the model being first studied by Nisan & Wigderson (FOCS 1995). Our work settles this question, not only for depth-3 but, up to depth epsilon.log s / loglog s, for a fixed constant epsilon < 1. The technique is to investigate depth-Delta formulas via depth-(Delta-1) formulas over a Hadamard algebra, after applying a `shift' on the variables. We propose a new algebraic conjecture about the low-support rank-concentration in the latter formulas, and manage to prove it in the case of set-depth-Delta formulas." @default.
- W2950870155 created "2019-06-27" @default.
- W2950870155 creator A5037672300 @default.
- W2950870155 creator A5081866401 @default.
- W2950870155 creator A5084229662 @default.
- W2950870155 date "2012-09-11" @default.
- W2950870155 modified "2023-09-24" @default.
- W2950870155 title "Quasi-polynomial Hitting-set for Set-depth-Delta Formulas" @default.
- W2950870155 cites W1599026900 @default.
- W2950870155 cites W1973174141 @default.
- W2950870155 cites W1994433543 @default.
- W2950870155 cites W2026944800 @default.
- W2950870155 cites W2100272829 @default.
- W2950870155 cites W2117300304 @default.
- W2950870155 cites W2121894367 @default.
- W2950870155 cites W2128510017 @default.
- W2950870155 cites W2139434573 @default.
- W2950870155 cites W2148193607 @default.
- W2950870155 cites W2170831059 @default.
- W2950870155 cites W2171403864 @default.
- W2950870155 cites W2172394696 @default.
- W2950870155 cites W2949518752 @default.
- W2950870155 cites W2953233060 @default.
- W2950870155 hasPublicationYear "2012" @default.
- W2950870155 type Work @default.
- W2950870155 sameAs 2950870155 @default.
- W2950870155 citedByCount "4" @default.
- W2950870155 countsByYear W29508701552012 @default.
- W2950870155 countsByYear W29508701552014 @default.
- W2950870155 countsByYear W29508701552015 @default.
- W2950870155 countsByYear W29508701552017 @default.
- W2950870155 crossrefType "posted-content" @default.
- W2950870155 hasAuthorship W2950870155A5037672300 @default.
- W2950870155 hasAuthorship W2950870155A5081866401 @default.
- W2950870155 hasAuthorship W2950870155A5084229662 @default.
- W2950870155 hasConcept C11252640 @default.
- W2950870155 hasConcept C114614502 @default.
- W2950870155 hasConcept C118615104 @default.
- W2950870155 hasConcept C121332964 @default.
- W2950870155 hasConcept C134306372 @default.
- W2950870155 hasConcept C163258240 @default.
- W2950870155 hasConcept C2524010 @default.
- W2950870155 hasConcept C2780992000 @default.
- W2950870155 hasConcept C33923547 @default.
- W2950870155 hasConcept C42812 @default.
- W2950870155 hasConcept C62520636 @default.
- W2950870155 hasConcept C90119067 @default.
- W2950870155 hasConcept C90673727 @default.
- W2950870155 hasConceptScore W2950870155C11252640 @default.
- W2950870155 hasConceptScore W2950870155C114614502 @default.
- W2950870155 hasConceptScore W2950870155C118615104 @default.
- W2950870155 hasConceptScore W2950870155C121332964 @default.
- W2950870155 hasConceptScore W2950870155C134306372 @default.
- W2950870155 hasConceptScore W2950870155C163258240 @default.
- W2950870155 hasConceptScore W2950870155C2524010 @default.
- W2950870155 hasConceptScore W2950870155C2780992000 @default.
- W2950870155 hasConceptScore W2950870155C33923547 @default.
- W2950870155 hasConceptScore W2950870155C42812 @default.
- W2950870155 hasConceptScore W2950870155C62520636 @default.
- W2950870155 hasConceptScore W2950870155C90119067 @default.
- W2950870155 hasConceptScore W2950870155C90673727 @default.
- W2950870155 hasLocation W29508701551 @default.
- W2950870155 hasOpenAccess W2950870155 @default.
- W2950870155 hasPrimaryLocation W29508701551 @default.
- W2950870155 hasRelatedWork W1582514549 @default.
- W2950870155 hasRelatedWork W2019969751 @default.
- W2950870155 hasRelatedWork W2026944800 @default.
- W2950870155 hasRelatedWork W2080132708 @default.
- W2950870155 hasRelatedWork W2128510017 @default.
- W2950870155 hasRelatedWork W2136589970 @default.
- W2950870155 hasRelatedWork W2140994271 @default.
- W2950870155 hasRelatedWork W2402273037 @default.
- W2950870155 hasRelatedWork W2404166988 @default.
- W2950870155 hasRelatedWork W2406587098 @default.
- W2950870155 hasRelatedWork W2765850415 @default.
- W2950870155 hasRelatedWork W2795587066 @default.
- W2950870155 hasRelatedWork W2803788777 @default.
- W2950870155 hasRelatedWork W2810741936 @default.
- W2950870155 hasRelatedWork W2926912675 @default.
- W2950870155 hasRelatedWork W2953078113 @default.
- W2950870155 hasRelatedWork W2963794320 @default.
- W2950870155 hasRelatedWork W2979867979 @default.
- W2950870155 hasRelatedWork W3021687661 @default.
- W2950870155 hasRelatedWork W3090578916 @default.
- W2950870155 isParatext "false" @default.
- W2950870155 isRetracted "false" @default.
- W2950870155 magId "2950870155" @default.
- W2950870155 workType "article" @default.