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 outstanding Teaching by a Graduate Student and Teaching Assistants at awards ceremony
On November 3, the department of Pure Mathematics held its Graduate Teaching and Teaching Assistant Awards Ceremony, an event that celebrates the accomplishments of its remarkable graduate students
53rd annual COSY conference a success
More than 100 researchers and students from across Canada and around the world attended the 53rd annual Canadian Operator Algebras Symposium (COSY), which took place from May 26-30 at the University of Waterloo.
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.
Events
Computability Learning Seminar
Joey Lakerdas-Gayle, University of Waterloo
Priority Arguments on Trees
We will introduce terminology for priority trees following Steffen Lempp's notes and compare the classicalpriority argument for Sacks Cone Avoidance Theorem with a proof that uses a priority tree.
MC 5403
Quantum Mathematics Catalyst Seminar
Adina Goldberg, Mittag-Leffler Institute
Quantum games and quantum graphs via the double category of quantum relations
Binary relations are ubiquitous. Classical nonlocal games (Bell scenarios) can be thought of as binary relations between question pairs and answer pairs. Classical undirected graphs can be thought of as symmetric binary relations on a vertex set. There is a notion of quantum relation: a quantum analogue of binary relation. Just as relations can be transformed by functions, quantum relations can be transformed by quantum functions. The interactions between quantum relations and quantum functions are made precise by the double category of quantum sets, quantum functions, and quantum relations. We define this new double category building on the work of Weaver, Kornell, and Musto-Reutter-Verdon. We illustrate how the category suggests, distinguishes, and motivates quantizations of some constructions/results from classical graph theory and nonlocal games. Basicterms related to C*-algebras, bimodules, and category theory will come up, but the talk can also be followed by analogy to the classical setting.
QNC 1201
Ergodic Theory Learning Seminar
Julius Frizzell, University of Waterloo
Mutliple recurrence for weakly-mixing transformations (Part II)
We will continue to discuss weakly-mixing transformations and work towards proving a special case of the multiple recurrence theorem.
MC 5417