Member Seminar Speaker: Mike Douglas Title: AI and Theorem Proving Abstract: We survey interactive theorem proving and the Lean theorem prover, and the use of AI and large language models to improve this technology. We hope to start a discussion on projects we can do at the CMSA.

Member Seminar Speaker: Chuck Doran Title: Motivic Geometry of Two-Loop Feynman Integrals Abstract: We study the geometry and Hodge theory of the cubic hypersurfaces attached to two-loop Feynman integrals for generic physical parameters. We show that the Hodge structure attached to planar two-loop Feynman graphs decomposes into a mixed Tate piece and a variation of Hodge structure from […]

Member Seminar Speaker: Farzan Vafa Title: Dynamics of active nematic defects on cones Abstract: In the first part of the talk, we investigate the ground-state configurations of two-dimensional liquid crystals with p-fold rotational symmetry (p-atics) on cones. The cone apex develops an effective topological charge, which in analogy to electrostatics, leads to defect absorption and emission […]

Member Seminar Speaker: Dan Kapec Title: Hints of Flat Space Holography Abstract: Despite our detailed understanding of holography in Anti-de Sitter space, flat space holography remains somewhat mysterious. “Celestial CFT” is a formalism which attempts to recast quantum gravity in (d+2)-dimensional asymptotically flat spacetimes in terms of a d-dimensional Euclidean conformal field theory residing at the conformal […]

Member Seminar Speaker: Barak Weiss   Title: New bounds on lattice covering volumes, and nearly uniform covers Abstract: Let L be a lattice in R^n and let K be a convex body. The covering volume of L with respect to K is the minimal volume of a dilate rK, such that L+rK = R^n, normalized by the […]