Calendar

The magnetoroton is the neutral excitation of a gapped fractional quantum Hall state. We argue that at zero momentum the magnetoroton has spin ±2, and show how the spin of the magnetoroton can be determined by polarized Raman scattering. We suggest that polarized Raman scattering may help to determine the nature of the ν=5/2 state. Ref: D.X. Nguyen and D.T. Son, arXiv:2101.02213.

Zoom: https://harvard.zoom.us/j/977347126

The O’Connell-Yor polymer is a fundamental model of a polymer in a random environment. It corresponds to the positive temperature version of Brownian Last Passage percolation. Although much is known about this model thanks to remarkable algebraic structure uncovered by O’Connell, Yor and others, basic estimates for the behavior of the tails of the centered partition function for finite N that are available for zero temperature models are missing. I will present an iterative estimate to obtain strong concentration and localization bounds for the O’Connell-Yor polymer on an almost optimal scale N^{1/3+\epsilon}.

In the second part of the talk, I will introduce a system of interacting diffusions describing the successive increments of partition functions of different sizes. For this system, the N^{2/3} variance upper bound known for the OY polymer can be proved for a general class of interactions which are not expected to correspond to integrable models.

Joint work with Christian Noack and Benjamin Landon.

Zoom: https://harvard.zoom.us/j/99333938108?pwd=eklLTS9qaGVrWWx5elJWb2IrS284Zz09

Are proof assistants relevant to mathematics? One approach to this question is to explore the breadth of mathematical topics that can be formalised. The partition calculus was introduced by Erdös and R. Rado in 1956 as the study of “analogues and extensions of Ramsey’s theorem”. Highly technical results were obtained by Erdös-Milner, Specker and Larson (among many others) for the particular case of ordinal partition relations, which is concerned with countable ordinals and order types. Much of this material was formalised last year (with the assistance of Džamonja and Koutsoukou-Argyraki). Some highlights of this work will be presented along with general observations about the formalisation of mathematics, including ZFC, in simple type theory.

Zoom: https://harvard.zoom.us/j/99018808011?pwd=SjRlbWFwVms5YVcwWURVN3R3S2tCUT09