Video Lectures

The Resolution proof system

March 22, 2016

The Resolution proof system is perhaps the simplest and most universally used in verification system and automated theorem proving. It was introduced by Davis and Putnam in 1960. The study of its efficiency, both in terms of proof length of natural...

video lecture

An introduction to the abc conjecture

March 21, 2016

Héctor Pastén Vásquez

In this talk I will discuss some classical and new applications of the abc conjecture, its relation to conjectures about elliptic curves, and some (admittedly weak) unconditional partial results.

video lecture

Polynomial-time tensor decompositions via sum-of-squares

March 21, 2016

Tengyu Ma

Tensor decompositions have been the key algorithmic components in provable learning of a wide range of hidden variable models such as topic models, Gaussian mixture models, independent component analysis, dictionary learning. Despite its success...

video lecture

A talk given by Kevin Zraly and Gary Alan Fine

March 18, 2016

Kevin Zraly and Gary Alan Fine

Gary Fine and Kevin Zraly Talk

video lecture

Counting closed orbits of Anosov flows in free homotopy classes

March 18, 2016

Sergio Fenley

This is joint work with Thomas Barthelme of Penn State University. There are Anosov and pseudo-Anosov flows so that some orbits are freely homotopic to infinitely many other orbits. An Anosov flow is $R$-covered if either the stable or unstable...

video lecture

Weyl groups, and their generalizations, in enumerative geometry III

March 17, 2016

Andrei Okounkov

These lectures will be about enumerative K-theory of curves (and more general 1-dimensional sheaves) in algebraic threefolds. In the first lecture, we will set up the enumerative problem and survey what we know and what we conjecture about it. In...

video lecture

Ordinary Light

March 16, 2016

Tracey K. Smith

Hailed for her "extraordinary range and ambition" by the New York Times, Tracey K. Smith will read from her recently published memoir Ordinary Light and her Pulitzer Prize–winning poetry collection Life on Mars.

Called "Transcendent ... deceptively...

video lecture

Weyl groups, and their generalizations in, enumerative geometry II

March 16, 2016

Andrei Okounkov

video lecture

Local eigenvalue statistics for random regular graphs

March 16, 2016

Roland Bauerschmidt

I will discuss results on local eigenvalue statistics for uniform random regular graphs. For graphs whose degrees grow slowly with the number of vertices, we prove that the local semicircle law holds at the optimal scale, and that the bulk...

video lecture

Weyl groups, and their generalizations, in enumerative geometry I

March 15, 2016

Andrei Okounkov