2008-2009 Seminars

Feb
09
2009

Computer Science/Discrete Mathematics Seminar I

On P vs NP, Geometric Complexity Theory, and the Riemann Hypothesis
Ketan Mulmuley
11:15am|S-101

This series of three talks will give a nontechnical, high level overview of geometric complexity theory (GCT), which is an approach to the P vs. NP problem via algebraic geometry, representation theory, and the theory of a new class of quantum...

Feb
03
2009

Computer Science/Discrete Mathematics Seminar II

Poly-logarithmic Independence Fools ACO Circuits
10:30am|S-101

We will describe the recent proof of the 1990 Linial-Nisan conjecture. The conjecture states that bounded-depth boolean circuits cannot distinguish poly-logarithmically independent distributions from the uniform one. The talk will be almost...

Jan
27
2009

Computer Science/Discrete Mathematics Seminar II

The XOR Lemma -- A Quarter Century of Proofs
10:30am|S-101

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...

Jan
26
2009

Computer Science/Discrete Mathematics Seminar I

The Limits of Advice
11:15am|S-101

Since the work of Karp and Lipton in the 1980s, complexity theorists know and love the /poly operator, which adds a polynomial-sized advice string to any complexity class. But it's interesting to consider much more general kinds of "advice objects"...

Jan
20
2009

Computer Science/Discrete Mathematics Seminar II

Resilient and Equilibrium-Less Mechanism Design
Silvio Micali and Paul Valiant
10:30am|S-101

Mechanism design is not robust. It traditionally guarantees a desired property "at equilibrium", but an equilibrium is by definition very fragile: it only guarantees that no INDIVIDUAL player can profitably deviate from his envisaged strategy. Two...

Jan
19
2009

Computer Science/Discrete Mathematics Seminar I

Noise-Resilient Group Testing: Limitations and Constructions
Mahdi Cheraghchi
11:15am|S-101

We study combinatorial group testing schemes for learning d-sparse boolean vectors using highly unreliable disjunctive measurements. We consider an adversarial noise model that only limits the number of false observations, and show that any noise...

Dec
16
2008

Computer Science/Discrete Mathematics Seminar II

Extractors for Varieties
10:30am|S-101

In this work we study the task of randomness extraction from sources which are distributed uniformly on an unknown algebraic variety. In other words, we are interested in constructing a function (an extractor) whose output is close to uniform even...