Note: Improved hardness amplification in NP
Theoretical Computer Science
Pseudorandomness and Average-Case Complexity Via Uniform Reductions
Computational Complexity
Hardness amplification proofs require majority
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Hardness Amplification Proofs Require Majority
SIAM Journal on Computing
A lower bound on list size for list decoding
APPROX'05/RANDOM'05 Proceedings of the 8th international workshop on Approximation, Randomization and Combinatorial Optimization Problems, and Proceedings of the 9th international conference on Randamization and Computation: algorithms and techniques
On the complexity of parallel hardness amplification for one-way functions
TCC'06 Proceedings of the Third conference on Theory of Cryptography
Impossibility results on weakly black-box hardness amplification
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
On the complexity of hard-core set constructions
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Hi-index | 0.00 |
We study the task of transforming a hard function f, with which any small circuit disagrees on (1-驴)/2 fraction of the input, into a harder function f驴, with which any small circuit disagrees on (1-驴^k)/2 fraction of the input, for 驴 驴 (0, 1) and k 驴 N. We show that this process cannot be carried out in a black-box way by a circuit of depth d and size 2^o(k^1/d) or by a nondeterministic circuit of size o(k/ log k) (and arbitrary depth). In particular, for k = 2^驴(n), such hardness amplification cannot be done in ATIME(O(1), 2^o(n)). Therefore, hardness amplification in general requires a high complexity. Furthermore, we show that even without any restriction on the complexity of the amplification procedure, such a black-box hardness amplification must be inherently non-uniform in the following sense. Given as an oracle any algorithm which agrees with f驴 on (1 - 驴^k)/2 fraction of the input, we still need an additional advice of length 驴(k log(1/驴)) in order to compute f correctly on (1 - 驴)/2 fraction of the input. Therefore, to guarantee the hardness, even against uniform machines, of the function f驴, one has to start with a function f which is hard against non-uniform circuits. Finally, we derive similar lower bounds for any black-box construction of pseudorandom generators from hard functions.