Video Lectures

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...

Fourier Quasicrystals (FQ) are defined as crystalline measures

μ=∑λ∈Λaλδλ,μ̂ =∑s∈Sbsδs, so that not only μ (and hence μ̂ ) are tempered distributions, but also |μ|:=∑λ∈Λ|aλ|δλand|μ̂ |:=∑s∈S|bs|δs,

are tempered.

One-dimensional FQs with positive...