Events and Activities

Abstract: I will introduce a new framework to understand what a lattice QFT “really is” in relation to continuum QFT, by elevating the physically intuitive idea behind the Villain model into the mathematical language of higher category theory. Long...

Direct-product testers” are used in the design of (some) probabilistically checkable proofs (PCPs), which, in turn, play a fundamental role in modern complexity theory and cryptography. We investigate the direct-product testability of certain...

This semester, we will be beginning a *very informal* get-together every Monday of people interested in/working on phenomenology and new theories beyond the standard model.  The idea is to discuss over lunch, perhaps meet up around 12.20, grab lunch...

This talk will recall the Birch--Swinnerton-Dyer Conjecture and describe highlights of the progress towards it, both pre- and post-millennium.  This will largely be a repeat of the speaker's plenary talk from the 2025 Clay Research conference on the...

A line of work has shown how nontrivial uniform algorithms for analyzing circuits can be used to derive nonuniform circuit lower bounds. In this talk, I will show in depth how the nonexistence of nontrivial circuit-analysis algorithms can also imply...