Previous Conferences & Workshops

Oct
16
2012

Computer Science/Discrete Mathematics Seminar II

On the AND- and OR-Conjectures: Limits to Efficient Preprocessing
10:30am|S-101

One of the major insights of the ``fixed-parameter tractability’’ (FPT) approach to algorithm design is that, for many NP-hard problems, it is possible to efficiently *shrink* instances which have some underlying simplicity. This preprocessing can...

Oct
15
2012

Members’ Seminar

How to Find Periodic Orbits and Exotic Symplectic Manifolds
2:00pm|S-101

I will give an introduction to symplectic geometry and Hamiltonian systems and then introduce an invariant called symplectic cohomology. This has many applications in symplectic geometry and has been used a lot especially in the last 5-10 years. I...

Oct
15
2012

Computer Science/Discrete Mathematics Seminar I

A Multi-Prover Interactive proof for NEXP Sound Against Entangled Provers
Tsuyoshi Ito
11:15am|S-101

We prove a strong limitation on the ability of entangled provers to collude in a multiplayer game. Our main result is the first nontrivial lower bound on the class MIP* of languages having multi-prover interactive proofs with entangled provers...

Oct
12
2012

Joint IAS/Princeton University Symplectic Geometry Seminar

Homological Mirror Symmetry for a Calabi-Yau Hypersurface in Projective Space
4:30pm|Fine Hall 322

We prove homological mirror symmetry for a smooth Calabi-Yau hypersurface in projective space. In the one-dimensional case, this is the elliptic curve, and our result is related to that of Polishchuk-Zaslow; in the two-dimensional case, it is the K3...