Computer Science/Discrete Mathematics Seminar II

The XOR Lemma -- A Quarter Century of Proofs

Amplifying the difficulty of a somewhat hard function is a central technique in complexity, cryptography and pseudorandomness. By far the most common method of amplification is by repetition - asking to compute the original function in many independent inputs (and return all answers, or some combination thereof. e.g. their XOR). The fact that the new function is much harder than the original received many different proofs since Yao's original statement in 1982. Each proof has certain advantage over the others in different contexts. I will attempt to describe a few of these, and discuss their utilities.

Date & Time

January 27, 2009 | 10:30am – 12:30pm

Location

S-101

Affiliation

School of Mathematics, Institute for Advanced Study