Future students

Speaker:

Kanstantsin Pashkovich

Affiliation: University of Waterloo
Room: MC 6029

Abstract: In this talk, I will go over the construction that shows a lower bound of d/log(d) for the prophet inequality, where the feasible set is the intersection of d matroids. This talk is based on the paper "A Nearly Tight Lower Bound for Matroid Intersection Prophet Inequalities" by Dimitris Fotakis, Charalampos Platanos, Thanos Tolias.

Friday, October 9, 2026 3:30 pm - 4:30 pm EDT (GMT -04:00)

Tutte Colloquium | Jake Doliskani, Quantum Money: From Wiesner to Standard Assumptions

Speaker: Jake Doliskani
Affiliation: McMaster University
Location: MC 5501

Abstract: Quantum money is one of the earliest ideas in quantum cryptography: a banknote is represented by a quantum state that cannot simply be copied. Wiesner’s original proposal required the bank to verify every transaction, motivating the notion of public-key quantum money, where anyone can verify a banknote while only the bank can create new ones.

In this talk, I will trace the story of quantum money from Wiesner’s scheme, through the hidden-subspace construction of Aaronson and Christiano, to Zhandry’s recent construction from abelian group actions. I will discuss why previous proposals were either broken or relied on non-standard assumptions, and then present recent work showing that Zhandry’s construction can be based, in the generic group-action model, on the standard group-action discrete logarithm assumption. I will conclude with the main idea behind the security proof.

Wednesday, October 7, 2026 10:00 am - 11:00 am EDT (GMT -04:00)

Crypto Reading Group on quantum computing | Mojtaba Fadavi and Taha Hedayat, Quantum Circuits

Speaker: Mojtaba Fadavi & Taha Hedayat
Affiliation: University of Waterloo
Room: MC 5501

Abstract: Equipped with the knowledge of quantum information, we present how to use quantum states to build a quantum algorithm. While classical circuits represent how one makes algorithms using the bits 0 and 1, quantum circuits represent how one makes algorithms using qubits $\ket{\alpha} = \alpha_0 \ket{0} + \alpha_1\ket{1}$. In this presentation, we will introduce the definition and presentation of quantum gates. Starting with 1-qubit gates and expanding to n-qubit gates. We also present the standard gates such as the Pauli Gates, CNOT, CCNOT, SWAP, etc. Then we proceed to see the effects and interactions of these gates along with some measurements.

Speaker: Jun Yan
Affiliation: University of Waterloo
Location: MC 5417

Abstract: Tiling enumerations problems have fascinating connections with many other combinatorial problems involving perfect matchings, lattice paths, and determinants. In this talk, I will briefly survey some of the classical results and methods in this area. Then, I will present a new result enumerating lozenge tilings of a triangular region. Interestingly, the formula, reminiscent of the famous Kasteleyn formula counting domino tilings of the rectangle, contains roots of unity and does not obviously output an integer.

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1:30pm.

Monday, October 5, 2026 3:00 pm - 4:00 pm EDT (GMT -04:00)

Graphs and Matroids | Jun Yan, Ramsey numbers of trees

Speaker: Jun Yan
Affiliation: University of Waterloo
Room: MC 6029

Abstract: Let T be a tree with bipartition class sizes t_1>=t_2. Motivated by two simple lower bound constructions, Burr conjectured that the Ramsey number of T, denoted by R(T), is exactly max{t_1+2t_2,2t_1}-1. While this conjecture turns out to be false, all known counterexamples have large maximum degrees. In a joint work with Richard Montgomery and Matías Pavez-Signé, we show that there exists a constant c>0, such that Burr's conjecture does hold if T has maximum degree at most c(t_1+t_2). In particular, this determines the exact Ramsey numbers of a large family of trees. In this talk, I will go over some background on tree embeddings, and give an overview of our proof. 

Wednesday, September 30, 2026 10:00 am - 11:00 am EDT (GMT -04:00)

Crypto Reading Group on quantum computing | Quantum Information Theory

Speaker: Elnaz Hessami Pilehrood & Owen Waldon 
Affiliation: University of Waterloo
Room: MC 5501

Abstract: Pure quantum states describe systems whose preparation is known exactly, but realistic quantum information often involves uncertainty, inaccessible subsystems, and interactions with the environment. In this talk, we introduce density operators as a general framework encompassing both pure and mixed states. We then discuss quantum channels, which model physical transformations and common forms of noise affecting quantum systems. Finally, we introduce classical and quantum entropy as measures of uncertainty and information, and explain how these ideas provide basic intuition for quantum cryptographic security.

Thursday, October 1, 2026 2:30 pm - 3:30 pm EDT (GMT -04:00)

Algebraic and Enumerative Combinatorics Seminar | Theta operators and LLT positivity

Speaker: Vasu Tewari
Affiliation: University of Toronto
Location: MC 5417

Abstract: I will introduce a family of commuting derivations on the ring of symmetric polynomials. Using this family I will then define an apparently-novel family of symmetric functions that is vertical-strip LLT positive and relates directly to the Theta operators of D'Adderio–Iraci–Vanden Wyngaerd. Finally I'll discuss some consequences for the "higher order" Macdonald positivity conjecture of Dołęga. This is joint work with Jim Haglund.

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1:30pm.

Friday, October 2, 2026 3:30 pm - 4:30 pm EDT (GMT -04:00)

Tutte Colloquium | Recent Progress on Erdos-Rogers Function

Speaker: Jacques Verstraete
Affiliation: University of California
Location: MC 5501

Abstract: For positive integers $s$ and $n$, let $f_{s}(n)$ denote the maximum $k$ such that every $n$-vertex $K_{s+1}$-free graph contains an induced $K_s$-free subgraph with $k$ vertices. These are the Erd\H{o}s-Rogers functions, introduced by Erd\H{o}s and Rogers in 1962, and are generalizations of Ramsey numbers.

In this talk we survey recent progress, culminating with the recent result of Morris, Saharasbudhe which finally determines the order of magnitude of the Erd\H{o}s-Rogers functions.

Joint work with Rob Morris and Julian Saharasbudhe.