Events

Filter by:

Limit to events where the title matches:
Limit to events where the first date of the event:
Date range
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Monday, February 9, 2026 3:00 pm - 4:00 pm EST (GMT -05:00)

Graphs and Matroids - Eunjung Kim-A brief introduction to twin-width.

Speaker: Eunjung Kim
Affiliation: KAIST
Room: MC 5479

Abstract:Twin-width is a notion introduced in 2020 by Bonnet, Kim, Thomassé and Watrigant  which provides a unified perspective on a range of important graph classes, encompassing both sparse and dense classes. Many graph classes ranging from planar graphs, H-minor-free graphs to proper interval graphs and graphs of bounded cliquewidth have bounded twin-width. This new perspective also allows us to establish powerful properties such as tractability of First-Order model checking on many graph classes and (polynomial) χ-boundedness in a unified way. Twin-width is now considered an important part of the toolbox for structural graph theory, algorithms design, logic on finite graphs and data structure.

Thursday, February 12, 2026 2:30 pm - 3:30 pm EST (GMT -05:00)

Algebraic & Enumerative Combinatorics - Santiago Estupiñán

Title: Jeu de Taquin for Mixed Insertion and a Problem of Soojin Cho

Speaker: Santiago Estupiñán
Affiliation: University of Waterloo
Location: MC 5417

Abstract: 

Serrano (2010) introduced the shifted plactic monoid, governing Haiman's (1989) mixed insertion algorithm, as a type B analogue of the classical plactic monoid that connects jeu de taquin of Young tableaux with the Robinson–Schensted–Knuth insertion algorithm. Serrano proposed a corresponding definition of skew shifted plactic Schur functions. Cho (2013) disproved Serrano's conjecture regarding this definition, by showing that the functions do not live in the desired ring and hence cannot provide an algebraic interpretation of tableau rectification or of the corresponding structure coefficients. Cho asked for a new definition with particular properties. We introduce such a definition and prove that it behaves as desired. We also introduce the first jeu de taquin theory that computes mixed insertion. This is joint work with Oliver Pechenik.

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

Friday, February 13, 2026 10:30 am - 11:30 am EST (GMT -05:00)

Crypto Reading Group - Youcef Mokrani

Title: Adaptive Attacks Against FESTA Without Input Validation or Constant-Time Implementation

Speaker:

Youcef Mokrani
Affiliation: University of Waterloo
Location: MC 6029

Abstract: 

A FESTA trapdoor function is an isogeny-based trapdoor function based on an attempt to apply Kani’s theorem to cryptography. This paper claims that there are adaptive attacks for a FESTA-based scheme if this scheme does not check the correctness of the input matrix or is not implemented in constant time. Our attacks do not apply to the constant-time implementation of the IND-CCA PKE scheme named FESTA proposed in the FESTA original paper. In this paper, we provide adaptive attacks for a FESTA trapdoor function using auxiliary oracles, which reveals the secret key of the function. These oracles may be constructed if the FESTA trapdoor function is used without validating the input matrix or implemented in non-constant time.

Monday, February 23, 2026 2:45 pm - 3:45 pm EST (GMT -05:00)

Graphs and Matroids - Agnes Totschnig-Colouring graphs with forbidden 7-vertex minors

Speaker: Agnes Totschnig
Affiliation: McGill University
Room: MC 5479

Abstract:In 1943, Hadwiger conjectured that every k-chromatic graph has a K_k-minor. While the cases k = 5 and k = 6 have been shown to be equivalent to the Four Colour Theorem, respectively by Wagner, and in seminal work by Robertson, Seymour and Thomas, the cases k at least 7 remain open. We show that any 7-chromatic graph has as a minor the complete graph K_7 with two adjacent edges removed, by extending work of Kawarabayashi and Toft and by proving a new edge-extremal bound. This improves Jakobsen’s result with two arbitrary edges removed. Joint work with Sergey Norin.

Speaker: Adrien Segovia
Affiliation: Université du Québec à Montréal
Location: MC 5417

Abstract: The order dimension of a partially ordered set (poset), which is often difficult to compute, is a measure of its complexity. Dilworth proved that the dimension of a distributive lattice is the width of its subposet on its join-irreducible elements. We generalize this result by showing that the dimension of a semidistributive extremal lattice is the chromatic number of the complement of its Galois graph (see Section 3.5 of arXiv:2511.18540). We apply this result to prove that the dimension of the lattice of torsion classes of a gentle tree with n vertices is equal to n. No advanced background is required to follow the talk.

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

Speaker:

Jack Zhao
Affiliation: University of Waterloo
Location: MC 6029

Abstract: Much of post-quantum PKE from unstructured noisy linear algebra relies on LWE or Alekhnovich’s LPN: both assume samples of the form (A, As+e) are computationally indistinguishable from (A, u), but with different noise models. LWE uses “short” errors, while Alekhnovich LPN uses sparse errors. Motivated by uncertainty around future cryptanalytic advances, we ask whether one can still obtain PKE from noisy linear assumptions even if both LWE and Alekhnovich LPN were broken. We talk about two new assumptions: Learning with Two Errors (LW2E), which mixes an LWE-style short error with an LPN-style sparse error, and Learning with Short and Sparse Errors (LWSSE), which uses errors that are simultaneously short and sparse but denser than Alekhnovich LPN.

Friday, February 27, 2026 3:30 pm - 4:30 pm EST (GMT -05:00)

Tutte Colloquium -Graeme Smith-Quantum Capacities and Quantum Synergies

Speaker: Graeme Smith
Affiliation: University of Waterloo
Location: MC 5501

Abstract: A central goal of quantum information theory is to determine the capacities of a quantum channel for sending different sorts of information.  I’ll highlight the new and fundamentally quantum aspects that arise in quantum information theory compared to the classical theory. These include the central role of entanglement, nonadditivity, and synergies between resources. I will also discuss some challenging open questions that we will have to solve to push the theory forward. 
 

Monday, March 2, 2026 3:30 pm - 4:30 pm EST (GMT -05:00)

Tutte Colloquium -Kostya Pashkovich-Sequential Linear Contracts on Matroids

Speaker: Kostya Pashkovich 
Affiliation: University of Waterloo
Location: MC 6029

Abstract: In this talk, we present sequential contracts under matroid constraints. In the sequential setting, an agent can take actions one by one. After each action, the agent observes the stochastic value of the action and then decides which action to take next, if any. At the end, the agent decides what subset of taken actions to use for the principal's reward; and the principal receives the total value of this subset as a reward. Taking each action induces a certain cost for the agent. Thus, to motivate the agent to take actions the principal is expected to offer an appropriate contract. A contract describes the payment from the principal to the agent as a function of the principal's reward obtained through the agent's actions. In this work, we concentrate on studying linear contracts, i.e. the contracts where the principal transfers a fraction of their total reward to the agent. We assume that the total principal's reward is calculated based on a subset of actions that forms an independent set in a given matroid. We establish a relationship between the problem of finding an optimal linear contract (or computing the corresponding principal's utility) and the so called matroid (un)reliability problem. Generally, the above problems turn out to be equivalent subject to adding parallel copies of elements to the given matroid. (Joint work with Jacob Skitsko and Yun Xing)

Speaker: Maria Gillespie
Affiliation: Colorado State University
Location: MC 5417

Abstract: We use a new combinatorial construction and a sign-reversing involution to simplify an alternating sum that arises naturally in intersection theory on moduli spaces of curves. In particular, it is well known that a product of ψ classes on the moduli space M₀,ₙ-bar, the most commonly studied compactification of the moduli space M₀,ₙ of choices of n distinct marked points on ℙ¹, is equal to a multinomial coefficient and has many natural combinatorial interpretations.

There are similar ψ class products on other compactifications of M₀,ₙ, including the "multicolored" spaces, in which the answer is a positive integer and yet only signed summation formulas were known. We simplify the alternating sum formula in the multicolored case to give a positive combinatorial rule, and discuss some applications of the formula. This is joint work with Vance Blankers and Jake Levinson.

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

Speaker:

Leonardo Colò
Affiliation: University of Waterloo
Location: MC 6029

Abstract: Isogeny-basedcryptographyisoneofthecandidatesforpost- quantum cryptography. One of the benefits of using isogeny-based cryptography is its compactness. In particular, a key exchange scheme SIDH allowed us to use a 4λ-bit prime for the security parameter λ. Unfortunately, SIDH was broken in 2022 by some studies. After that, some isogeny-based key exchange and public key encryption schemes have been proposed; however, most of these schemes use primes whose sizes are not guaranteed as linearly related to the security parameter λ. As far as we know, the remaining schemes have not been implemented due to the computation of isogenies of high dimensional abelian varieties, or they need to use a “weak” curve (i.e., a curve whose endomorphism ring is known) as the starting curve.

In this study, we propose a novel compact isogeny-based key encapsula- tion mechanism named IS-CUBE via Kani’s theorem and a 3-dimensional SIDH diagram. A prime used in IS-CUBE is of the size of about 8λ bits, and we can use a random supersingular elliptic curve for the starting curve. The public key of IS-CUBE is about 3 times larger than that of SIKE, and the ciphertext of IS-CUBE is about 4 times larger than that of SIKE from theoretical estimation. In practice, compared to FESTA, the public key of IS-CUBE is slightly larger and its ciphertext is slightly smaller.
The core idea of IS-CUBE comes from the hardness of some already known computational problems and a novel computational problem (the Long Isogeny with Torsion (LIT) problem), which is the problem to compute a hidden isogeny from two given supersingular elliptic curves and information of torsion points of relatively small order.