Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123056342> ?p ?o ?g. }
- W2123056342 endingPage "196" @default.
- W2123056342 startingPage "163" @default.
- W2123056342 abstract "We introduce two new complexity measures for Boolean functions, which we name sumPI and maxPI . The quantity sumPI has been emerging through a line of research on quantum query complexity lower bounds via the so-called quantum adversary method (Ambainis 2002, 2003; Barnum et al. 2003; Laplante & Magniez 2004; Zhang 2005), culminating in Špalek & Szegedy (2005) with the realization that these many different formulations are in fact equivalent. Given that sumPI turns out to be such a robust invariant of a function, we begin to investigate this quantity in its own right and see that it also has applications to classical complexity theory. As a surprising application we show that sumPI 2(f) is a lower bound on the formula size, and even, up to a constant multiplicative factor, the probabilistic formula size of f. We show that several formula size lower bounds in the literature, specifically Khrapchenko and its extensions (Khrapchenko 1971; Koutsoupias 1993), including a key lemma of Håstad (1998), are in fact special cases of our method. The second quantity we introduce, maxPI (f), is always at least as large as sumPI(f) , and is derived from sumPI in such a way that maxPI 2(f) remains a lower bound on formula size. Our main result is proven via a combinatorial lemma which relates the square of the spectral norm of a matrix to the squares of the spectral norms of its submatrices. The generality of this lemma implies that our methods can also be used to lower-bound the communication complexity of relations, and a related combinatorial quantity, the rectangle partition number. To exhibit the strengths and weaknesses of our methods, we look at the sumPI and maxPI complexity of a few examples, including the recursive majority of three function, a function defined by Ambainis (2003), and the collision problem." @default.
- W2123056342 created "2016-06-24" @default.
- W2123056342 creator A5020342792 @default.
- W2123056342 creator A5046789004 @default.
- W2123056342 creator A5083542323 @default.
- W2123056342 date "2006-06-01" @default.
- W2123056342 modified "2023-09-25" @default.
- W2123056342 title "THE QUANTUM ADVERSARY METHOD AND CLASSICAL FORMULA SIZE LOWER BOUNDS" @default.
- W2123056342 cites W1483763248 @default.
- W2123056342 cites W1631356911 @default.
- W2123056342 cites W175482385 @default.
- W2123056342 cites W1867758558 @default.
- W2123056342 cites W1898387096 @default.
- W2123056342 cites W1969865855 @default.
- W2123056342 cites W1995365759 @default.
- W2123056342 cites W2000211775 @default.
- W2123056342 cites W2001383654 @default.
- W2123056342 cites W2006290558 @default.
- W2123056342 cites W2008470071 @default.
- W2123056342 cites W2010730726 @default.
- W2123056342 cites W2012496360 @default.
- W2123056342 cites W2016737198 @default.
- W2123056342 cites W2034038586 @default.
- W2123056342 cites W2044982302 @default.
- W2123056342 cites W2067046685 @default.
- W2123056342 cites W2070053775 @default.
- W2123056342 cites W2079520411 @default.
- W2123056342 cites W2122780600 @default.
- W2123056342 cites W2124619161 @default.
- W2123056342 cites W2126323053 @default.
- W2123056342 cites W2150340379 @default.
- W2123056342 cites W2162702697 @default.
- W2123056342 cites W2327018399 @default.
- W2123056342 cites W2340787257 @default.
- W2123056342 cites W2582697902 @default.
- W2123056342 cites W2610857016 @default.
- W2123056342 cites W3041308142 @default.
- W2123056342 cites W3124818529 @default.
- W2123056342 cites W330562816 @default.
- W2123056342 cites W67017478 @default.
- W2123056342 doi "https://doi.org/10.1007/s00037-006-0212-7" @default.
- W2123056342 hasPublicationYear "2006" @default.
- W2123056342 type Work @default.
- W2123056342 sameAs 2123056342 @default.
- W2123056342 citedByCount "54" @default.
- W2123056342 countsByYear W21230563422012 @default.
- W2123056342 countsByYear W21230563422013 @default.
- W2123056342 countsByYear W21230563422014 @default.
- W2123056342 countsByYear W21230563422015 @default.
- W2123056342 countsByYear W21230563422016 @default.
- W2123056342 countsByYear W21230563422017 @default.
- W2123056342 countsByYear W21230563422019 @default.
- W2123056342 countsByYear W21230563422020 @default.
- W2123056342 countsByYear W21230563422021 @default.
- W2123056342 crossrefType "journal-article" @default.
- W2123056342 hasAuthorship W2123056342A5020342792 @default.
- W2123056342 hasAuthorship W2123056342A5046789004 @default.
- W2123056342 hasAuthorship W2123056342A5083542323 @default.
- W2123056342 hasBestOaLocation W21230563421 @default.
- W2123056342 hasConcept C105355099 @default.
- W2123056342 hasConcept C11413529 @default.
- W2123056342 hasConcept C114614502 @default.
- W2123056342 hasConcept C118615104 @default.
- W2123056342 hasConcept C134306372 @default.
- W2123056342 hasConcept C15744967 @default.
- W2123056342 hasConcept C178489894 @default.
- W2123056342 hasConcept C187455244 @default.
- W2123056342 hasConcept C18903297 @default.
- W2123056342 hasConcept C2777759810 @default.
- W2123056342 hasConcept C2780767217 @default.
- W2123056342 hasConcept C33923547 @default.
- W2123056342 hasConcept C42747912 @default.
- W2123056342 hasConcept C46757340 @default.
- W2123056342 hasConcept C542102704 @default.
- W2123056342 hasConcept C77553402 @default.
- W2123056342 hasConcept C86803240 @default.
- W2123056342 hasConceptScore W2123056342C105355099 @default.
- W2123056342 hasConceptScore W2123056342C11413529 @default.
- W2123056342 hasConceptScore W2123056342C114614502 @default.
- W2123056342 hasConceptScore W2123056342C118615104 @default.
- W2123056342 hasConceptScore W2123056342C134306372 @default.
- W2123056342 hasConceptScore W2123056342C15744967 @default.
- W2123056342 hasConceptScore W2123056342C178489894 @default.
- W2123056342 hasConceptScore W2123056342C187455244 @default.
- W2123056342 hasConceptScore W2123056342C18903297 @default.
- W2123056342 hasConceptScore W2123056342C2777759810 @default.
- W2123056342 hasConceptScore W2123056342C2780767217 @default.
- W2123056342 hasConceptScore W2123056342C33923547 @default.
- W2123056342 hasConceptScore W2123056342C42747912 @default.
- W2123056342 hasConceptScore W2123056342C46757340 @default.
- W2123056342 hasConceptScore W2123056342C542102704 @default.
- W2123056342 hasConceptScore W2123056342C77553402 @default.
- W2123056342 hasConceptScore W2123056342C86803240 @default.
- W2123056342 hasIssue "2" @default.
- W2123056342 hasLocation W21230563421 @default.
- W2123056342 hasLocation W21230563422 @default.
- W2123056342 hasOpenAccess W2123056342 @default.
- W2123056342 hasPrimaryLocation W21230563421 @default.