Title: On the isoperimetric profile of the hypercube Abstract: The isoperimetric problem in the hypercube is a strikingly simple topic which is not yet completely understood. We will review the known facts on the problem, focusing on how the gaussian isoperimetric inequality provides a lower bound for the isoperimetric profile of the hypercube.We will exploit this […]
Title: Analytic rings
Title: Fibered Yoneda Lemma in Lean 4 Abstract: In this talk, I would like to give you a sense of what it’s like to do category theory in a computer. I use an interactive theorem prover called Lean4, a complex piece of software based on dependent type theory. In the first part, I will give a quick […]
Title: Abstract:
Dr. Riehl will be giving an interactive talk where we will play the natural numbers game and learn about formalizing mathematics in a computer-proof assistant! We ask that everyone who attends bring a laptop so that they can more easily participate.
Title: The Geometry of Theta Correspondence for Principal Series over Finite Fields Abstract: In this talk, we explore the finite field theta correspondence between principal series representations. We begin by categorifying the relevant Hecke algebra bimodules associated with this correspondence. Utilizing characteristic cycle maps, we provide a detailed description of the theta correspondence for principal […]