Lectures by Faculty

Nodal Lines of Maass Forms and Critical Percolation

Peter Sarnak
Institute for Advanced Study
March 20, 2012

We describe some results concerning the number of connected components of nodal lines of high frequency Maass forms on the modular surface. Based on heuristics connecting these to a critical percolation model, Bogomolny and Schmit have conjectured, and numerics confirm, that this number follows an asymptotic law. While proving this appears to be very difficult, some approximations to it can be proved by developing number theoretic and analytic methods. The work report on is joint with A. Ghosh and A. Reznikov.

Local Correction of Codes and Euclidean Incidence Geometry

Avi Wigderson
Institute for Advanced Study
March 5, 2012

A classical theorem in Euclidean geometry asserts that if a set of points has the property that every line through two of them contains a third point, then they must all be on the same line. We prove several approximate versions of this theorem (and related ones), which are motivated from questions about locally correctable codes and matrix rigidity. The proofs use an interesting combination of combinatorial, algebraic and analytic tools.

Joint work with Boaz Barak, Zeev Dvir and Amir Yehudayoff

Celebrating Modern Democracy’s Beginning: The “British Club” in Paris (1789–93)

Jonathan Israel
Institute for Advanced Study
March 7, 2012

Prior to the Terror (1793–94), the French Revolution was generally viewed very positively by progressive constitutional thinkers and law reformers. On November 18, 1792, more than a hundred distinguished Anglo-American democrats, including several founders of modern feminism, gathered at the British Club in Paris to celebrate liberty, human rights, and the spread of democracy across the world—what they viewed as the assured democratic future of mankind. In this lecture, Jonathan Israel, Professor in the School of Historical Studies, explores the vast significance of the toasts drunk at this banquet and of the public address that was afterward presented to the French National Assembly. They illuminate the relationship between the French Revolution and modernity, the history of our own time, and the many ironies of the values and propositions that the “British Club” in Paris proclaimed to the world.

CSDM: A Survey of Lower Bounds for the Resolution Proof System

Avi Wigderson
Herbert H. Maass Professor, School of Mathematics, Institute for Advanced Study
January 31, 2012
The Resolution proof system is among the most basic and popular for proving propositional tautologies, and underlies many of the automated theorem proving systems in use today. I'll start by defining the Resolution system, and its place in the proof-complexity picture.