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
Pure Math Department celebrates undergraduate achievement at awards tea
On March 24, the department of Pure Mathematics held its annual Undergraduate Awards Tea, an event that celebrates the accomplishments of its remarkable undergraduate students.
Two Pure Math professors win Outstanding Performance Awards
The awards are given each year to faculty members across the University of Waterloo who demonstrate excellence in teaching and research.
Pure Math PhD student wins Amit and Meena Chakma Award for Exceptional Teaching
The award ($1000), which is given to up to four recipients annually, recognizes excellence in teaching by students, including intellectual vigour, skill in communication and presentation of subject matter, and concern for the needs of students.
Events
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
Geometry and Topology Seminar
Ababacar Sadikhe Djité, Université Cheikh Anta Diop de Dankar & University of Waterloo
Shape Stability of a quadrature surface problem in infinite Riemannian manifolds
In this talk, we revisit a quadrature surface problem in shape optimization. With tools from infinite-dimensional Riemannian geometry, we give simple control over how an optimal shape can be characterized. The framework of the infinite-dimensional Riemannian manifold is essential in the control of optimal geometric shape. The covariant derivative plays a key role in calculating and analyzing the qualitative properties of the shape hessian. Control only depends on the mean curvature of the domain, which is a minimum or a critical point. In the two-dimensional case, Gauss-Bonnet's theorem gives a control within the framework of the algorithm for the minimum.
MC 5417