Matches in SemOpenAlex for { <https://semopenalex.org/work/W216666084> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W216666084 abstract "Hardness amplification is the fundamental task of converting a $delta$-hard function $f:{0,1}^nto{0,1}$ into a $(1/2-epsilon)$-hard function $mathit{Amp}(f)$, where $f$ is $gamma$-hard if small circuits fail to compute $f$ on at least a $gamma$ fraction of the inputs. In this paper we study the complexity of black-box proofs of hardness amplification. A class of circuits $mathcal{D}$ proves a hardness amplification result if for any function $h$ that agrees with $mathit{Amp}(f)$ on a $1/2+epsilon$ fraction of the inputs there exists an oracle circuit $Dinmathcal{D}$ such that $D^h$ agrees with $f$ on a $1-delta$ fraction of the inputs. We focus on the case where every $Dinmathcal{D}$ makes nonadaptive queries to $h$. This setting captures most hardness amplification techniques. We prove two main results: (1) The circuits in $mathcal{D}$ “can be used” to compute the majority function on $1/epsilon$ bits. In particular, when $epsilonleq1/log^{omega(1)}n$, $mathcal{D}$ cannot consist of oracle circuits that have unbounded fan-in, size $mathrm{poly}(n)$, and depth $O(1)$. (2) The circuits in $mathcal{D}$ must make $Omegaleft(log(1/delta)/epsilon^2right)$ oracle queries. Both our bounds on the depth and on the number of queries are tight up to constant factors. Our results explain why hardness amplification techniques have failed to transform known lower bounds against constant-depth circuit classes into strong average-case lower bounds. Our results reveal a contrast between Yao's XOR lemma ($mathit{Amp}(f):=f(x_1)opluscdotsoplus f(x_t)in{0,1}$) and the direct-product lemma ($mathit{Amp}(f):=f(x_1)circcdotscirc f(x_t)in{0,1}^t$; here $mathit{Amp}(f)$ is non-Boolean). Our results (1) and (2) apply to Yao's XOR lemma, whereas known proofs of the direct-product lemma violate both (1) and (2). One of our contributions is a new technique for handling “nonuniform” reductions, i.e., the case when $mathcal{D}$ contains many circuits." @default.
- W216666084 created "2016-06-24" @default.
- W216666084 creator A5062263696 @default.
- W216666084 creator A5072846764 @default.
- W216666084 date "2007-01-01" @default.
- W216666084 modified "2023-09-25" @default.
- W216666084 title "Hardness amplification proofs require majority." @default.
- W216666084 hasPublicationYear "2007" @default.
- W216666084 type Work @default.
- W216666084 sameAs 216666084 @default.
- W216666084 citedByCount "0" @default.
- W216666084 crossrefType "journal-article" @default.
- W216666084 hasAuthorship W216666084A5062263696 @default.
- W216666084 hasAuthorship W216666084A5072846764 @default.
- W216666084 hasConcept C108710211 @default.
- W216666084 hasConcept C114614502 @default.
- W216666084 hasConcept C115903868 @default.
- W216666084 hasConcept C118615104 @default.
- W216666084 hasConcept C121332964 @default.
- W216666084 hasConcept C134306372 @default.
- W216666084 hasConcept C14036430 @default.
- W216666084 hasConcept C149629883 @default.
- W216666084 hasConcept C178790620 @default.
- W216666084 hasConcept C185592680 @default.
- W216666084 hasConcept C199360897 @default.
- W216666084 hasConcept C2524010 @default.
- W216666084 hasConcept C2777027219 @default.
- W216666084 hasConcept C2777210771 @default.
- W216666084 hasConcept C2779557605 @default.
- W216666084 hasConcept C33923547 @default.
- W216666084 hasConcept C41008148 @default.
- W216666084 hasConcept C55166926 @default.
- W216666084 hasConcept C62520636 @default.
- W216666084 hasConcept C77553402 @default.
- W216666084 hasConcept C78458016 @default.
- W216666084 hasConcept C86803240 @default.
- W216666084 hasConceptScore W216666084C108710211 @default.
- W216666084 hasConceptScore W216666084C114614502 @default.
- W216666084 hasConceptScore W216666084C115903868 @default.
- W216666084 hasConceptScore W216666084C118615104 @default.
- W216666084 hasConceptScore W216666084C121332964 @default.
- W216666084 hasConceptScore W216666084C134306372 @default.
- W216666084 hasConceptScore W216666084C14036430 @default.
- W216666084 hasConceptScore W216666084C149629883 @default.
- W216666084 hasConceptScore W216666084C178790620 @default.
- W216666084 hasConceptScore W216666084C185592680 @default.
- W216666084 hasConceptScore W216666084C199360897 @default.
- W216666084 hasConceptScore W216666084C2524010 @default.
- W216666084 hasConceptScore W216666084C2777027219 @default.
- W216666084 hasConceptScore W216666084C2777210771 @default.
- W216666084 hasConceptScore W216666084C2779557605 @default.
- W216666084 hasConceptScore W216666084C33923547 @default.
- W216666084 hasConceptScore W216666084C41008148 @default.
- W216666084 hasConceptScore W216666084C55166926 @default.
- W216666084 hasConceptScore W216666084C62520636 @default.
- W216666084 hasConceptScore W216666084C77553402 @default.
- W216666084 hasConceptScore W216666084C78458016 @default.
- W216666084 hasConceptScore W216666084C86803240 @default.
- W216666084 hasLocation W2166660841 @default.
- W216666084 hasOpenAccess W216666084 @default.
- W216666084 hasPrimaryLocation W2166660841 @default.
- W216666084 hasRelatedWork W1919528438 @default.
- W216666084 hasRelatedWork W2002068271 @default.
- W216666084 hasRelatedWork W2032791464 @default.
- W216666084 hasRelatedWork W2094783265 @default.
- W216666084 hasRelatedWork W210554013 @default.
- W216666084 hasRelatedWork W2394746612 @default.
- W216666084 hasRelatedWork W2401055316 @default.
- W216666084 hasRelatedWork W2407574188 @default.
- W216666084 hasRelatedWork W2605296320 @default.
- W216666084 hasRelatedWork W2743601338 @default.
- W216666084 hasRelatedWork W2889078076 @default.
- W216666084 hasRelatedWork W2908400144 @default.
- W216666084 hasRelatedWork W2952360260 @default.
- W216666084 hasRelatedWork W2978517333 @default.
- W216666084 hasRelatedWork W2982690488 @default.
- W216666084 hasRelatedWork W3013938469 @default.
- W216666084 hasRelatedWork W3198256972 @default.
- W216666084 hasRelatedWork W3199523595 @default.
- W216666084 hasRelatedWork W346875545 @default.
- W216666084 hasRelatedWork W2410966328 @default.
- W216666084 hasVolume "14" @default.
- W216666084 isParatext "false" @default.
- W216666084 isRetracted "false" @default.
- W216666084 magId "216666084" @default.
- W216666084 workType "article" @default.