Previous Conferences & Workshops

May
27
2009

Mathematical Physics Seminar

The Critical Temperature of Dilute Bose Gases
Robert Seiringer
4:30pm

The effect of interparticle interactions on the critical temperature for Bose-Einstein condensation has been a controversial issue in the physics literature. Various approximation schemes lead to different conclusions, concerning both the sign and...

May
26
2009

Computer Science/Discrete Mathematics Seminar I

On the Complexity of Boolean Functions in Different Characteristics
Amir Shpilka
2:00pm|S-101

Every Boolean function on n variables can be expressed as a unique multivariate polynomial modulo p for every prime p. In this work, we study how the degree of a function in one characteristic affects its complexity in other characteristics. We...

May
26
2009

Computer Science/Discrete Mathematics Seminar II

Constraints, Logic and Derandomization
10:30am|S-101

In their seminal paper Feder and Vardi proved that every problem in the class Monotone Monadic Strict NP (MMSNP) is random polynomial-time equivalent to a finite union of Constraint Satisfaction Problems (CSP). The class MMSNP is the "largest...

May
19
2009

Computer Science/Discrete Mathematics Seminar II

To Check is To Know is To Prove
10:30am|S-101

It has been checked, for zillions of even numbers, that they can all be expressed as a sum of two primes. It has also been checked for zillions of (non-trivial) zeros of Zeta(s), that their real parts are all equal to one half. Alas, these checks do...

May
18
2009

Computer Science/Discrete Mathematics Seminar I

The Density Hales-Jewett Theorem and Open-Source Mathematics
11:15am|S-101

On Feb. 1, in his blog, Tim Gowers proposed an open collaboration on a math problem. Specifically, he suggested working on a combinatorial proof of the Density Hales-Jewett Theorem. This theorem states that for every delta > 0, if n is sufficiently...

May
14
2009

Joint IAS/Princeton University Number Theory Seminar

The Circle Method in Function Fields
Craig Spencer
4:30pm|Fine Hall -- 214

In this talk, we will discuss how the circle method can be used to study additive number theory in function fields. After a brief introduction to the circle method and its history, we will describe how the method is implemented in the function field...