The C&O department has 36 faculty members and 60 graduate students. We are intensely research oriented and hold a strong international reputation in each of our six major areas:
- Algebraic combinatorics
- Combinatorial optimization
- Continuous optimization
- Cryptography
- Graph theory
- Quantum computing
Read more about the department's research to learn of our contributions to the world of mathematics!
News
Three C&O faculty 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.
Prof. Alfred Menezes is named Fellow of the International Association for Cryptologic Research
The Fellows program, which was established in 2004, is awarded to no more than 0.25% of the IACR’s 3000 members each year and recognizes “outstanding IACR members for technical and professional contributions to cryptologic research.”
C&O student Ava Pun receives Jessie W. H. Zou Memorial Award
She received the award in recognition of her research on simulating virtual training environments for autonomous vehicles, which she conducted at the start-up Waabi.
Events
Algebraic and enumerative combinatorics seminar-Jonathan Leake
Approximately Counting Flows via Generating Function Optimization
Speaker | Jonathan Leake |
Affiliation | University of Waterloo |
Location | MC 5479 |
Abstract: In this talk, we will present recent new lower bounds on the number of non-negative integer flows on a directed acyclic graph with specified total vertex flows (or equivalently, the number of lattice points of a given flow polytope, or the coefficients of the A-type Kostant partition function). We will also give a sketch of the proof, which involves three main parts: (1) prove a certain log-concavity property of the associated multivariate generating function, (2) prove bounds on the coefficients in terms of an associated optimization problem, and (3) dualize the optimization problem to obtain the desired lower bounds. If time permits, we will also briefly discuss other applications of this technique, including to approximating Kostka numbers and to the traveling salesperson problem. Joint work with Alejandro Morales, and with Petter Brändén and Igor Pak.
There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm,
Tutte colloquium-Eric Blais
Graph Property Testing using the Container Method
Speaker: | Eric Blais |
Affilation: | University of Waterloo |
Location: | MC 5501 |
Abstract: The Graph and Hypergraph Container Methods have recently been used to obtain multiple striking results across different areas of mathematics. In this talk, we will see how the graph container method is particularly well-suited for the study of some fundamental problems in graph property testing.
The main problem we will discuss in the talk is the Independent Set Testing problem introduced by Goldreich, Goldwasser, and Ron (1998). In this problem, we are given oracle access to a graph on $n$ vertices that either (i) contains an independent set on $\rho n$ vertices, or (ii) is $\epsilon$-far from the property in the sense that at least $\epsilon n^2$ edges must be removed from the graph to make it have an independent set of this size. We will introduce a new container lemma for the latter class of graphs and we will show how this lemma can be used to obtain a near-optimal solution to the Independent Set Testing problem. We will also discuss how variants and extensions of the new container lemma can be used to prove a variety of other results in property testing.
This is joint work with Cameron Seth.
Algebraic Graph Theory-Alexey Gordeev
Title: Combinatorial Nullstellensatz and the Erdős box problem
Speaker: | Alexey Gordeev |
Affiliation: | Umeå University |
Location: | Please contact Sabrina Lato for Zoom link. |
Abstract: In the talk, I will show how Lasoń’s generalization of Alon’s Combinatorial Nullstellensatz can be used to obtain lower bounds on Turán numbers of complete r-partite r-uniform hypergraphs. As an example, I will give a short and simple explicit construction of a hypergraph free of copies of the complete r-partite r-uniform hypergraph with parts of size 2, thereby providing a lower bound for the so-called Erdős box problem. This asymptotically matches best known bounds when r ≤ 4.