Video Lectures

We construct compactifications of type IIB string theory that yield, at leading order in the α ′ α ′ and g s g s expansions, de Sitter vacua of the form envisioned by Kachru, Kallosh, Linde, and Trivedi. We specify explicit Calabi-Yau orientifolds...

I will discuss some well-known and less-known papers of Turing, exemplify the scope of deep, prescient ideas he put forth, and mention follow-up work on these by the Theoretical CS community.

No special background will be assumed.

The well-known Zig-Zag product and related graph operators, like derandomized squaring, are fundamentally combinatorial in nature. Classical bounds on their behavior often rely on a mix of combinatorics and linear algebra. However, these traditional...

Given a path-connected topological space X, a differential graded (DG) local system (or derived local system) is a module over the DGA of chains on the based loop space of X. I will explain how to define in the symplectically aspherical case...

The second and fourth moments of the Riemann zeta function have been known for about a century, but the sixth moment remains elusive.  

The sixth moment of zeta can be thought of as the second moment of a GL_3 Eisenstein series, and it is natural to...

Superradiant instabilities may create clouds of ultralight bosons around rotating black holes, forming so-called "gravitational atoms". In this talk, I will review a series of papers that study the effects of a binary companion’s presence. The...

In the third talk, I will concentrate on inequalities for linear extensionsof finite posets.  I will start with several inequalities which do have a combinatorial proof.  I will then turn to Stanley's inequality and outline the proof why its defect...

The Arithmetic Quantum Unique Ergodicity (AQUE) conjecture predicts that the L2 mass of Hecke-Maass cusp forms on an arithmetic hyperbolic manifold becomes equidistributed as the Laplace eigenvalue grows. If the underlying manifold is non-compact...