Past Events

239 results

239 results

Special Mini Conference
November 13, 2026
|
3:00PM - 5:30PM EST
|
Jefferson 453
In Person
3:00 pm Kaifeng Bu (Ohio State) 3:45 pm Michael Douglas (Harvard) 4:45 pm Mikhail Lukin (Harvard)

Berke Ünal (Koç University): Norm Properties of Quantum Uniformity Measures
November 10, 2026
|
3:00PM - 4:00PM EST
|
Jefferson 368
In Person
Abstract: Bu, Gu, and Jaffe recently introduced quantum uniformity measures to analytically characterize the Clifford hierarchy. In this talk, among other results, we classify the norm properties of these measures, resolving an open question they posed.

Matt Schwartz (Harvard): Bootloops Claude-shaped Science Across Disciplines
October 27, 2026
|
3:00PM - 4:00PM EDT
|
Jefferson 368
In Person
Abstract: BootLoops is an open-source harness for large language models aimed at exact, checkable quantitative science. Originating in scattering amplitudes and Feynman integrals, it seeks problems whose mathematical structure recurs across disciplines...

Scott Sheffield (MIT): 4D Hex and Baby Yang-Mills
October 20, 2026
|
3:00PM - 4:00PM EDT
|
Jefferson 368
In Person
Abstract: The 2D O(n) model is a very close analog of 4D lattice Yang-Mills. The quest to understand the former (mass gap, scaling limit, etc.) has been colloquially called the "baby Yang-Mills problem" or the "half million-dollar-problem." Now, several...

William Simon (Tufts): Quantum Advantage in Resource Estimation
June 3, 2026
|
3:00PM - 4:00PM EDT
|
Jefferson 368
In Person
Title: Quantum Advantage in Resource Estimation Abstract: When will quantum computers be useful? Resource estimation - the process of determining how many qubits and operations are needed to run an algorithm - is central to answering this question...

Michael Douglas (Harvard): Formalization of QFT
May 6, 2026
|
3:00PM - 4:00PM EDT
|
Jefferson 368
In Person
Speaker: Michael Douglas Title: Formalization of QFT Abstract: Interactive theorem proving with the Lean 4 theorem prover, Mathlib and AI coding assistants has recently become a powerful method for checking and developing rigorous mathematical proofs. In...