Future students

Speaker: Maryam Yekta
Affiliation: University of Waterloo
Location: MC 5479

AbstractThe theory of log concave polynomials has recently been developed to study objects and problems in combinatorics and other subfields in mathematics. Particular classes of log concave polynomials called Lorentzian polynomials and denormalized and dually Lorentzian polynomials have been used to prove log concavity statements for various combinatorial sequences. This includes the strongest form of Mason's log concavity conjecture on the independent sets of matroids and the log concavity of sequences of Kostka numbers.
In this talk, we develop an analogous class of power series called denormalized Lorentzian (DL) Laurent series. This class is the natural generalization of DL polynomials to homogeneous power series with the benefit of capturing a number of combinatorial generating series including the Kostant partition function for integer flows of directed graphs. We then analyze specific DL Laurent series to obtain new bounds for integral flows on general directed acyclic graphs and new bounds for the dimensions of weight spaces of parabolic 𝔰𝔩ₙ₊₁(ℂ) Verma modules.

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

Speaker: Kanstantsin Pashkovich
Affiliation: University of Waterloo
Location: MC 5501

Abstract: Prophet inequalities are a fundamental model for online decision-making under uncertainty. For matroid constraints, Kleinberg and Weinberg gave a tight 1/2-approximation, but their algorithm uses adaptive thresholds that depend on the previously accepted elements. Specifically, the mechanism of Kleinberg and Weinberg accepts an arriving element if and only if it is feasible to add with respect to the matroid constraint and the value of the arriving element passes its threshold; but this threshold depends on the elements accepted so far and on the arriving element itself. Later, Feldman, Svensson, and Zenklusen showed that one can give a 1/4-approximation for general matroids. Their algorithm is almost non-adaptive, i.e., it uses non-adaptive thresholds but changes the underlying matroid to another ``stricter'' matroid. Feldman, Svensson, and Zenklusen also showed that no constant approximation is possible in general matroids using non-adaptive thresholds if one does not change the underlying matroid.

We give a new almost non-adaptive algorithm for matroid prophet inequalities that achieves a 1/2 guarantee. We change the underlying matroid to a ``stricter'' new matroid that is a direct sum of several matroids. For each part of the new matroid, we precompute a single non-adaptive threshold. Once the elements start to arrive, we accept an arriving element as long as it is feasible with respect to the new ``stricter'' matroid and its value passes the precomputed threshold. In addition, we guarantee that our algorithm achieves the 1/2 guarantee not simply with respect to the prophet's expected gain, but with respect to the stronger ex-ante relaxation value.
Thus, we provide the first almost non-adaptive algorithm for the matroid prophet inequality that achieves the best-possible approximation guarantee of 1/2. If time permits, we will also discuss how we used LLM in this project.
Friday, July 24, 2026 11:30 am - 12:30 pm EDT (GMT -04:00)

CombOpt ReadingGroup -Mahtab Alghasi-The Local Dyadic Conjecture

Speaker:

Mahtab Alghasi
Affiliation: University of Waterloo
Location: MC 6029

Abstract: A family of sets $\mathcal{C}$ over a finite ground set $E(\mathcal{C})$ is a clutter if no member of $\mathcal{C}$ properly contains another. A clutter is ideal if its covering polyhedron is integral. A rational number whose denominator is a power of two is called \emph{dyadic}.

A longstanding conjecture of Paul Seymour, known as the Dyadic Conjecture, predicts that, for every ideal clutter, the dual of the set covering linear program admits an optimal solution in which all variables take dyadic values. We present a local version of this conjecture and provide evidence for it by proving the proposed local statement for binary clutters under certain assumptions.
This is joint work with Bertrand Guenin and Levent Tuncel.
Speaker: Noah Weninger
Affiliation: University of Waterloo
Location: MC 5029

Abstract: 

In the shortest-path network interdiction problem, the objective is to select a set $X$ of arcs in a directed graph $G=(V,A)$, subject to a knapsack constraint on $X$, such that the shortest $s$-$t$ path length in $(V,A\setminus X)$ is maximized. We present an improved version of the classic Israeli-Wood Benders covering decomposition (2002). Our method is based on new upper and lower bounds for the problem which integrate cleanly into the Benders decomposition, causing many iterations to be skipped. Using similar techniques, we also derive new covering heuristics, which further reduce the running time. In computational experiments, our improved algorithm achieves speedups of up to two orders of magnitude. The speedup is most notable on the more difficult large, dense graphs: we can often solve instances on complete graphs with 1000 vertices and uniformly distributed weights and costs within a few minutes.
This is joint work with Amir Dadpour and Ricardo Fukasawa.
Speaker: Francisco J. Aragón Artacho
Affiliation: University of Alicante
Location: MC 5501

Abstract: When an optimization problem is structured, it is normally advantageous to use this feature when designing algorithms to solve it. Following the divide-and-conquer paradigm, splitting algorithms iteratively solve simpler problems that are defined by separately using some parts of the original problem. In this talk, we will recall some classical methods and present some recent advances in this subject, paying special attention to splitting methods devised by graphs.

Speaker: Alexandre Zotine
Affiliation: University of Saarland
Location: MC 5479

AbstractAn orbital scheme D of type M² = 0 is the closure of a conjugacy class of some set of n × n upper triangular matrices which are nilpotent of order 2. The geometric components of the orbit scheme are called orbital varieties of type M² = 0, and recently their invariants have been connected to statistical mechanics. In the setting of M² = 0, there are combinatorial methods for studying these invariants via the action of the Borel group of upper triangular invertible matrices. In this talk, we introduce a new pipe dream framework for computing and understanding these invariants. This is joint work with Megumi Harada, Illya Kierkosz, Allen Knutson, Emma Naguit, Brett Nasserden, Naveena Rangunathan, and Adam van Tuyl.

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

Speaker: Audrey Béliveau
Affiliation: University of Waterloo
Location: MC 5501

Abstract: 

Network meta-analysis (NMA) enables the comparison of multiple medical interventions by combining evidence on their efficacy or safety across clinical trials. Although these models produce rich probabilistic information about how treatments rank, what practitioners often want are simple, interpretable summaries; for example, whether a treatment is likely among the best, or whether one option is likely to outperform another.
The challenge is that, with n treatments, the number of possible questions one can ask about permutations, combinations, or partial orderings of various subsets of treatments grows exponentially. This leads to a large but highly structured combinatorial space, making exhaustive evaluation infeasible.
We develop algorithmic methods to explore this space efficiently and to identify all binary treatment hierarchy statements whose posterior probability exceeds a specified threshold (e.g., 95%). Our approach exploits structure in the ranking space to avoid redundant computations and then prunes conclusions that are logically implied by others, yielding a concise and non-redundant set of results. We illustrate the approach on an NMA of diabetes treatments.
Speaker: Audrey Béliveau
Affiliation: University of Waterloo
Location: MC 5501

Abstract: Network meta-analysis (NMA) enables the comparison of multiple medical interventions by combining evidence on their efficacy or safety across clinical trials. Although these models produce rich probabilistic information about how treatments rank, what practitioners often want are simple, interpretable summaries; for example, whether a treatment is likely among the best, or whether one option is likely to outperform another.

The challenge is that, with n treatments, the number of possible questions one can ask about permutations, combinations, or partial orderings of various subsets of treatments grows exponentially. This leads to a large but highly structured combinatorial space, making exhaustive evaluation infeasible.
We develop algorithmic methods to explore this space efficiently and to identify all binary treatment hierarchy statements whose posterior probability exceeds a specified threshold (e.g., 95%). Our approach exploits structure in the ranking space to avoid redundant computations and then prunes conclusions that are logically implied by others, yielding a concise and non-redundant set of results. We illustrate the approach on an NMA of diabetes treatments.
Friday, July 10, 2026 10:30 am - 11:30 am EDT (GMT -04:00)

Crypto Reading Group - Maggie Simmons-HQC Implementation and Optimization

Speaker:

Maggie Simmons
Affiliation: University of Waterloo
Location: MC 6029

Abstract:

This week will cover the implementation and optimization of key sub-routines within HQC. We will begin by examining the implementation of Reed-Solomon decoding within HQC, which includes the BCH-view of syndromes, weighted Newton's identity, the Berlekamp-Massey algorithm, and more. We will also discuss high-performance polynomial multiplication via the Karatsuba algorithm and hardware optimization.
References: [3] and [4]
[3] J. Dong, Y. Hou, S. Wang, L. Sha, F. Xiao, Z. Dong, and J. Lin. HIGH: Harnessing GPU Parallelism for Optimized HQC Performance. In IACR Cryptology ePrint Archive, 2026.
[4] HQC Team. Hamming Quasi-Cyclic (HQC), NIST Submission, 2025.
A week-by-week plan is outlined at the following link: https://www.leonardocolo.com/seminars/Spring26.html.
Speaker: Oliver Pechenik
Affiliation: University of Waterloo
Location: MC 6460

AbstractStandard tableaux are certain grids of numbers that lead a double life in algebraic combinatorics, with distinct roles in geometry and in representation theory. Extending the geometry to K-theory led to a corresponding extension of the combinatorics to a theory of increasing tableaux. I will discuss a longstanding plot by such tableaux to prevent me from explicating their combinatorial dynamics. Despite their reticence, we seem to be uncovering that these tableaux also have a mysterious second life in representation theory.

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