On Finite Types That Are Not h-Sets

Sergey Melikhov
Steklov Mathematical Institute; Member, School of Mathematics
February 14, 2013 - 11:00am

The Hopf Fibration via Higher Inductive Types

Peter Lumsdaine
Dalhousie University; Member, School of Mathematics
February 13, 2013 - 11:00am

High Dimensional Expanders and Ramanujan Complexes

Alex Lubotzky
Hebrew University
February 12, 2013 - 10:30am

Expander graphs, in general, and Ramanujan graphs, in particular, have been objects of intensive research in the last four decades. Many application came out, initially to computer science and combinatorics and more recently also to pure mathematics (number theory, geometry, group theory ). In recent years, there has been an interest in generalizing this theory to higher dimensional simplical complexes. We plan to survey first the classical theory and then describe the more recent developments.


Homological Mirror Symmetry

Nicholas Sheridan
Massachusetts Institute of Technology; Member, School of Mathematics
February 11, 2013 - 2:00pm

Mirror symmetry is a deep conjectural relationship between complex and symplectic geometry. It was first noticed by string theorists. Mathematicians became interested in it when string theorists used it to predict counts of curves on the quintic three-fold (just as there are famously 27 lines on a cubic surface, there are 2875 lines on a quintic three-fold, 609250 conics, and so on). Kontsevich conjectured that mirror symmetry should reflect a deeper equivalence of categories: his celebrated 'Homological Mirror Symmetry' conjecture.


Mathematical Theories of Interaction with Oracles: Active Property Testing and New Models for Learning Boolean Functions

Liu Yang
School of Computer Science, Carnegie Mellon University
February 11, 2013 - 11:15am

With the notion of interaction with oracles as a unifying theme of much of my dissertation work, I discuss novel models and results for property testing and computational learning, with the use of Fourier analytic and probabilistic methods.


Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?

Peter Aczel
The Unviersity of Manchester; Member,School of Mathematics
February 7, 2013 - 11:00am

A Quillen Model Structure in Type Theory

Peter LeFanu Lumsdaine
Dalhousie University; Member, School of Mathematics
February 6, 2013 - 11:00am

Ramsey Theory for Metric Spaces

Manor Mendel
The Open University of Israel; Member, School of Mathematics
February 5, 2013 - 10:30am

http://math.ias.edu/files/seminars/MendelAbst.pdf


Influences, Traces, Tribes, and Perhaps Also Thresholds

Gil Kalai
Hebrew University; Yale University
February 4, 2013 - 11:15am

I will describe some recent results and problems regarding influence of sets of variables on Boolean functions: In 1989 Benny Chor conjectured that a balanced Boolean function with n variables has a subset S of size 0.4n with influence (1-c^n) where c0 follows from a theorem by Kahn, Kalai and Linial (KKL).I will present a recent counterexample by Kahn and me showing that up to the identity of c, the KKL bound cannot be improved.


Large Data Dynamics for Nonlinear Dispersive PDEs

Wilhelm Schlag
University of Chicago
February 1, 2013 - 3:30pm

We will discuss recent work on wave evolutions for large data. Particular emphasis will be placed on concentration compactness ideas. Amongst others, we will describe a result for wave equations from R^3 minus the unit ball into the sphere S^3 where we can show that any solution approaches the unique harmonic map in its degree class.
Joint work with Cote, Kenig, Lawrie, Nakanishi -- in various combinations.