Shapes

Welcome to Pure Mathematics

We are home to 30 faculty, four staff, approximately 60 graduate students, several research visitors, and numerous undergraduate students. We offer exciting and challenging programs leading to BMath, MMath and PhD degrees. We nurture a very active research environment and are intensely devoted to both ground-breaking research and excellent teaching.


News

Events

Thursday, April 17, 2025 4:00 pm - 5:00 pm EDT (GMT -04:00)

Analysis Seminar

Kieran Mastel, University of Waterloo

The weighted algebra approach to constraint system games

Entanglement allows for correlations between spatially separated experiments that are not possible classically. One way to study the computational power of entanglement is via nonlocal games. I will discuss my recent works with Eric Culf and William Slofstra on constraint system games. Different types of perfect entangled strategies for these games can be understood as representations of the algebra of the underlying constraint system. The weighted algebra formalism, introduced by Slofstra and me, extends this to non-perfect strategies. Using this formalism we can show that classical reductions between constraint systems are sound against quantum provers, which allows us to prove the RE-completeness of some constraint system games and to show that MIP* admits two prover perfect zero knowledge proofs.

MC 5417

Monday, April 21, 2025 4:00 pm - 5:00 pm EDT (GMT -04:00)

Mirror Symmetry Seminar

Elizabeth Cai, University of Waterloo

Mirror Symmetry Seminar: Isomorphism Between Small Analytical Neighborhoods of Points on (n − s − 1)-dim Stratum, Open Ball and Affine Toric Variety

In Batryrev's construction on dual polyhedra and mirror Symmetry for Calabi-Yau hypersurfaces in toric varieties, when he introduces regularity conditions for hypersurfaces, he proposes a theory implied by the definition of ∆-regular, in which sugguests that there exists an analytical isomorphism from small analytical neighbourhoods of points on a (n − s − 1)-dimensional stratum Zf,σ Zf,Σ to products of a (s − 1)-dimensional open ball and a small analytical neighbourhood of the point pσ on the (n − s)-dimensional affine toric variety Aσ,N(σ). This theory and its corollaries help obtain a simultanious resolution of all members of the family F(∆). 

MC 2017

Thursday, April 24, 2025 4:00 pm - 5:00 pm EDT (GMT -04:00)

Analysis Seminar

Soham Chakraborty, École Normale Supérieure

Measured groupoids and the Choquet-Deny property

A countable discrete group is called Choquet-Deny if for every non-degenerate probability measure on the group, the corresponding space of bounded harmonic functions is trivial. Recently a complete characterization of Choquet-Deny groups was obtained by Frisch, Hartman, Tamuz and Ferdowsi. In this talk, we will look at the extension of the Choquet-Deny property to the framework of discrete measured groupoids. Our main result gives a complete characterisation of this property in terms of the associated measured equivalence relation and the isotropy groups of the groupoid. This talk is based on a joint work with Tey Berendschot, Milan Donvil, Mario Klisse and Se-Jin Kim.

MC 5417 or Join on Zoom