FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3111554155> ?p ?o ?g. }

• W3111554155 abstract "Hr{a}stad showed that any De Morgan formula (composed of AND, OR and NOT gates) shrinks by a factor of $O(p^{2})$ under a random restriction that leaves each variable alive independently with probability $p$ [SICOMP, 1998]. Using this result, he gave an $widetilde{Omega}(n^{3})$ formula size lower bound for the Andreev function, which, up to lower order improvements, remains the state-of-the-art lower bound for any explicit function. In this work, we extend the shrinkage result of Hr{a}stad to hold under a far wider family of random restrictions and their generalization -- random projections. Based on our shrinkage results, we obtain an $widetilde{Omega}(n^{3})$ formula size lower bound for an explicit function computed in $mathbf{AC}^0$. This improves upon the best known formula size lower bounds for $mathbf{AC}^0$, that were only quadratic prior to our work. In addition, we prove that the KRW conjecture [Karchmer et al., Computational Complexity 5(3/4), 1995] holds for inner functions for which the unweighted quantum adversary bound is tight. In particular, this holds for inner functions with a tight Khrapchenko bound. Our random projections are tailor-made to the function's structure so that the function maintains structure even under projection -- using such projections is necessary, as standard random restrictions simplify $mathbf{AC}^0$ circuits. In contrast, we show that any De Morgan formula shrinks by a quadratic factor under our random projections, allowing us to prove the cubic lower bound. Our proof techniques build on the proof of Hr{a}stad for the simpler case of balanced formulas. This allows for a significantly simpler proof at the cost of slightly worse parameters. As such, when specialized to the case of $p$-random restrictions, our proof can be used as an exposition of Hr{a}stad's result." @default.
• W3111554155 created "2020-12-21" @default.
• W3111554155 creator A5047362769 @default.
• W3111554155 creator A5049425955 @default.
• W3111554155 creator A5071686980 @default.
• W3111554155 date "2020-12-03" @default.
• W3111554155 modified "2023-09-27" @default.
• W3111554155 title "Shrinkage under Random Projections, and Cubic Formula Lower Bounds for $mathbf{AC}^0$." @default.
• W3111554155 cites W1915058039 @default.
• W3111554155 cites W1964032471 @default.
• W3111554155 cites W1966278576 @default.
• W3111554155 cites W1967322922 @default.
• W3111554155 cites W1990066863 @default.
• W3111554155 cites W1991702990 @default.
• W3111554155 cites W1995365759 @default.
• W3111554155 cites W2003104918 @default.
• W3111554155 cites W2005223599 @default.
• W3111554155 cites W2012496360 @default.
• W3111554155 cites W2017290750 @default.
• W3111554155 cites W2023316152 @default.
• W3111554155 cites W2026987631 @default.
• W3111554155 cites W2049016755 @default.
• W3111554155 cites W2050688507 @default.
• W3111554155 cites W2060270693 @default.
• W3111554155 cites W2069796292 @default.
• W3111554155 cites W2073639613 @default.
• W3111554155 cites W2099111195 @default.
• W3111554155 cites W2099197821 @default.
• W3111554155 cites W2102687371 @default.
• W3111554155 cites W2123056342 @default.
• W3111554155 cites W2123459960 @default.
• W3111554155 cites W2126323053 @default.
• W3111554155 cites W2129059686 @default.
• W3111554155 cites W2130566259 @default.
• W3111554155 cites W2141585995 @default.
• W3111554155 cites W2165293955 @default.
• W3111554155 cites W2340787257 @default.
• W3111554155 cites W2406847186 @default.
• W3111554155 cites W2487493690 @default.
• W3111554155 cites W2588984325 @default.
• W3111554155 cites W2593070235 @default.
• W3111554155 cites W2624730843 @default.
• W3111554155 cites W2741968539 @default.
• W3111554155 cites W2767196686 @default.
• W3111554155 cites W2887468738 @default.
• W3111554155 cites W2889405140 @default.
• W3111554155 cites W2897781990 @default.
• W3111554155 cites W2913244533 @default.
• W3111554155 cites W3033309051 @default.
• W3111554155 cites W3041308142 @default.
• W3111554155 cites W3046523482 @default.
• W3111554155 cites W3082334577 @default.
• W3111554155 cites W3101653183 @default.
• W3111554155 cites W3154157054 @default.
• W3111554155 cites W42251193 @default.
• W3111554155 cites W50958263 @default.
• W3111554155 hasPublicationYear "2020" @default.
• W3111554155 type Work @default.
• W3111554155 sameAs 3111554155 @default.
• W3111554155 citedByCount "0" @default.
• W3111554155 crossrefType "posted-content" @default.
• W3111554155 hasAuthorship W3111554155A5047362769 @default.
• W3111554155 hasAuthorship W3111554155A5049425955 @default.
• W3111554155 hasAuthorship W3111554155A5071686980 @default.
• W3111554155 hasConcept C105795698 @default.
• W3111554155 hasConcept C114614502 @default.
• W3111554155 hasConcept C118615104 @default.
• W3111554155 hasConcept C121332964 @default.
• W3111554155 hasConcept C122123141 @default.
• W3111554155 hasConcept C129844170 @default.
• W3111554155 hasConcept C134306372 @default.
• W3111554155 hasConcept C14036430 @default.
• W3111554155 hasConcept C180145272 @default.
• W3111554155 hasConcept C2524010 @default.
• W3111554155 hasConcept C2779557605 @default.
• W3111554155 hasConcept C2780990831 @default.
• W3111554155 hasConcept C33923547 @default.
• W3111554155 hasConcept C62520636 @default.
• W3111554155 hasConcept C77553402 @default.
• W3111554155 hasConcept C78458016 @default.
• W3111554155 hasConcept C86803240 @default.
• W3111554155 hasConceptScore W3111554155C105795698 @default.
• W3111554155 hasConceptScore W3111554155C114614502 @default.
• W3111554155 hasConceptScore W3111554155C118615104 @default.
• W3111554155 hasConceptScore W3111554155C121332964 @default.
• W3111554155 hasConceptScore W3111554155C122123141 @default.
• W3111554155 hasConceptScore W3111554155C129844170 @default.
• W3111554155 hasConceptScore W3111554155C134306372 @default.
• W3111554155 hasConceptScore W3111554155C14036430 @default.
• W3111554155 hasConceptScore W3111554155C180145272 @default.
• W3111554155 hasConceptScore W3111554155C2524010 @default.
• W3111554155 hasConceptScore W3111554155C2779557605 @default.
• W3111554155 hasConceptScore W3111554155C2780990831 @default.
• W3111554155 hasConceptScore W3111554155C33923547 @default.
• W3111554155 hasConceptScore W3111554155C62520636 @default.
• W3111554155 hasConceptScore W3111554155C77553402 @default.
• W3111554155 hasConceptScore W3111554155C78458016 @default.
• W3111554155 hasConceptScore W3111554155C86803240 @default.
• W3111554155 hasLocation W31115541551 @default.
• W3111554155 hasOpenAccess W3111554155 @default.

• next