Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106343361> ?p ?o ?g. }
- W2106343361 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, culminating 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/sup 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 [Hastad, 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/sup 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 gives 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.
- W2106343361 created "2016-06-24" @default.
- W2106343361 creator A5020342792 @default.
- W2106343361 creator A5046789004 @default.
- W2106343361 creator A5064434728 @default.
- W2106343361 date "2005-06-28" @default.
- W2106343361 modified "2023-09-25" @default.
- W2106343361 title "The Quantum Adversary Method and Classical Formula Size Lower Bounds" @default.
- W2106343361 cites W1483763248 @default.
- W2106343361 cites W1589288424 @default.
- W2106343361 cites W1631356911 @default.
- W2106343361 cites W1638203394 @default.
- W2106343361 cites W175482385 @default.
- W2106343361 cites W1867758558 @default.
- W2106343361 cites W1898387096 @default.
- W2106343361 cites W1969865855 @default.
- W2106343361 cites W1971022885 @default.
- W2106343361 cites W1993344966 @default.
- W2106343361 cites W1995365759 @default.
- W2106343361 cites W2000211775 @default.
- W2106343361 cites W2001383654 @default.
- W2106343361 cites W2005223599 @default.
- W2106343361 cites W2006290558 @default.
- W2106343361 cites W2008470071 @default.
- W2106343361 cites W2010730726 @default.
- W2106343361 cites W2012496360 @default.
- W2106343361 cites W2016737198 @default.
- W2106343361 cites W2025279645 @default.
- W2106343361 cites W2034038586 @default.
- W2106343361 cites W2044982302 @default.
- W2106343361 cites W2067046685 @default.
- W2106343361 cites W2068422506 @default.
- W2106343361 cites W2070053775 @default.
- W2106343361 cites W2079520411 @default.
- W2106343361 cites W2084652510 @default.
- W2106343361 cites W2089842783 @default.
- W2106343361 cites W2109371739 @default.
- W2106343361 cites W2122780600 @default.
- W2106343361 cites W2123459960 @default.
- W2106343361 cites W2124619161 @default.
- W2106343361 cites W2126323053 @default.
- W2106343361 cites W2150340379 @default.
- W2106343361 cites W2162702697 @default.
- W2106343361 cites W2327018399 @default.
- W2106343361 cites W2340787257 @default.
- W2106343361 cites W2610857016 @default.
- W2106343361 cites W2796145042 @default.
- W2106343361 cites W2950257794 @default.
- W2106343361 cites W3041308142 @default.
- W2106343361 cites W3124818529 @default.
- W2106343361 cites W67017478 @default.
- W2106343361 doi "https://doi.org/10.1109/ccc.2005.29" @default.
- W2106343361 hasPublicationYear "2005" @default.
- W2106343361 type Work @default.
- W2106343361 sameAs 2106343361 @default.
- W2106343361 citedByCount "9" @default.
- W2106343361 countsByYear W21063433612016 @default.
- W2106343361 countsByYear W21063433612021 @default.
- W2106343361 crossrefType "proceedings-article" @default.
- W2106343361 hasAuthorship W2106343361A5020342792 @default.
- W2106343361 hasAuthorship W2106343361A5046789004 @default.
- W2106343361 hasAuthorship W2106343361A5064434728 @default.
- W2106343361 hasBestOaLocation W21063433612 @default.
- W2106343361 hasConcept C114614502 @default.
- W2106343361 hasConcept C118615104 @default.
- W2106343361 hasConcept C134306372 @default.
- W2106343361 hasConcept C15744967 @default.
- W2106343361 hasConcept C179145077 @default.
- W2106343361 hasConcept C187455244 @default.
- W2106343361 hasConcept C18903297 @default.
- W2106343361 hasConcept C2777759810 @default.
- W2106343361 hasConcept C2780767217 @default.
- W2106343361 hasConcept C33923547 @default.
- W2106343361 hasConcept C42747912 @default.
- W2106343361 hasConcept C46757340 @default.
- W2106343361 hasConcept C542102704 @default.
- W2106343361 hasConcept C77553402 @default.
- W2106343361 hasConcept C86803240 @default.
- W2106343361 hasConceptScore W2106343361C114614502 @default.
- W2106343361 hasConceptScore W2106343361C118615104 @default.
- W2106343361 hasConceptScore W2106343361C134306372 @default.
- W2106343361 hasConceptScore W2106343361C15744967 @default.
- W2106343361 hasConceptScore W2106343361C179145077 @default.
- W2106343361 hasConceptScore W2106343361C187455244 @default.
- W2106343361 hasConceptScore W2106343361C18903297 @default.
- W2106343361 hasConceptScore W2106343361C2777759810 @default.
- W2106343361 hasConceptScore W2106343361C2780767217 @default.
- W2106343361 hasConceptScore W2106343361C33923547 @default.
- W2106343361 hasConceptScore W2106343361C42747912 @default.
- W2106343361 hasConceptScore W2106343361C46757340 @default.
- W2106343361 hasConceptScore W2106343361C542102704 @default.
- W2106343361 hasConceptScore W2106343361C77553402 @default.
- W2106343361 hasConceptScore W2106343361C86803240 @default.
- W2106343361 hasLocation W21063433611 @default.
- W2106343361 hasLocation W21063433612 @default.
- W2106343361 hasOpenAccess W2106343361 @default.
- W2106343361 hasPrimaryLocation W21063433611 @default.
- W2106343361 hasRelatedWork W1582526119 @default.
- W2106343361 hasRelatedWork W1844039599 @default.
- W2106343361 hasRelatedWork W1974827405 @default.