Past Events
We will show how to differentiate computer programs (lambda-expressions, Turing machines, etc) by encoding them in a new system called linear logic that endows the space of programs/proofs with the structure of a differential k-algebra. We will discuss this theory from the perspective of the…
I will describe some connections between arithmetic geometry of abelian varieties, non-archimedean/tropical geometry, and combinatorics. For a principally polarized abelian variety, we show an identity relating the Faltings height and the Néron--Tate height (of a symmetric effective divisor…
The functional equation of the Estermann function (the additive twist of zeta(s)^2) is morally equivalent to the Voronoi summation formula. This can be used, among other things, to study the correlations of the divisor counting function d(n). Motivated by the divisor correlation problem in the…
The singularity formation problem is a central question in fluid dynamics, and it is still widely open for several fundamental models, including the 3d incompressible Euler equations. In this talk, I will first review the singularity formation problem, describing how particle transport poses the…
Suppose you take a 1 x L strip of paper, twist it around in space, and tape the (short) ends together to make a paper Moebius band. In this talk I'll prove that you must have L > sqrt(3) and also that there is a unique limit that emerges if you have examples with L tending to sqrt(3). B.…
Abstract: Carleson proved in 1966 that the Fourier series of any square integrablefunction converges pointwise to the function, by establishing boundednessof the maximally modulated Hilbert transform from L^2 into weak L^2. Thistalk is about a generalization of his result, where the Hilbert…
Abstract
Illusions have been a constant source of amusement but they are also a unique gateway into understanding the way we perceive the world and how the brain processes information. Traditional visual illusions often involve a primary element—be it a line or a circle—that undergoes…
Einstein metrics and Ricci solitons are the fixed points of Ricci flow and model the singularities forming. They are also critical points of natural functionals in physics. Their stability in both contexts is a crucial question, since one should be able to perturb away from unstable models.
…