School of Mathematics

2013 Marston Morse Lectures

Larry Guth
Massachusetts Institute of Technology
March 12, 2013 - 2:00pm

Sensitivity Versus Block Sensitivity, I

Hao Huang
University of California, Los Angeles; Member, School of Mathematics
March 12, 2013 - 10:30am

There are two important measures of the complexity of a boolean function: the sensitivity and block sensitivity. Whether or not they are polynomial related remains a major open question. In this talk I will survey some known results on this conjecture, and its connection with various combinatorial problems.


Random Matrices, Dimensionality Reduction, and Faster Numerical Linear Algebra Algorithms

Jelani Nelson
Member, School of Mathematics, Institute for Advanced Study
March 11, 2013 - 2:00pm

 fundamental theorem in linear algebra is that any real n x d matrix has a singular value decomposition (SVD). Several important numerical linear algebra problems can be solved efficiently once the SVD of an input matrix is computed: e.g.


Intractability in Algorithmic Game Theory

Tim Roughgarden
Stanford University
March 11, 2013 - 11:15am

We discuss three areas of algorithmic game theory that have grappled with intractability. The first is the complexity of computing game-theoretic equilibria, like Nash equilibria. There is an urgent need for new ideas on this topic, to enable meaningful research in the face of computational hardness results. The other domains concern the design and analysis of mechanisms (such as auctions).


"Setoids, e-Categories, and Exact Completions"

Richard Garner
Queen Mary, University of London
March 7, 2013 - 11:00am

Workshop on Topology: Identifying Order in Complex Systems

Institute for Advanced Study
March 6, 2013 - 2:00pm

Cohomology in Homotopy Type Theory

Eric Finster
Ecole Polytechnique Federal de Lausanne; Member, School of Mathematics
March 6, 2013 - 11:00am

Derandomization of Probabilistic Logspace (The Nisan Variations)

Avi Wigderson
chool of Mathematics, Institute for Advanced Study
March 5, 2013 - 10:30am

I will continue the exposition of different derandmization techniques for probabilistic logspace algorithms.


Quasirandom Hypergraphs

Dhruv Mubayi
University of Illinois at Chicago
March 4, 2013 - 11:15am

Since the foundational results of Thomason and Chung-Graham-Wilson on quasirandom graphs over 20 years ago, there has been a lot of effort by many researchers to extend the theory to hypergraphs. I will present some of this history, and then describe our recent results that provide such a generalization and unify much of the previous work. One key new aspect in the theory is a systematic study of hypergraph eigenvalues.


Formal Abstract Homotopy Theory

Jeremy Avigad
Carnegie Mellon University
February 28, 2013 - 11:00am