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:
Speaker: Mike Cummings
Affiliation: University of Waterloo
Location: MC 6460

Abstract:  When you encounter an algebraic variety in the wild, you might ask: What do its components look like? Which components are smooth? How do the components intersect? For Springer fibres, answers to these questions are only known in some very special cases. This is particularly surprising because other aspects Springer fibres have been studied for the past 50 years and they appear throughout combinatorics and adjacent areas. For just one example: Hall–Littlewood polynomials can be obtained from the cohomology of Springer fibres by taking graded Frobenius characteristic.

One classical theorem says that the components of Springer fibers are indexed by standard Young tableaux. In this talk, we will discuss the benefits of instead using webs to index the components in two cases: the "two row" case, and our recent contributions in the "two column" case. We will see that in these cases, webs both characterize and describe the smooth components of Springer fibres, and give a geometric interpretation of rotation of webs.

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

Friday, June 26, 2026 10:30 am - 11:30 am EDT (GMT -04:00)

Crypto Reading Group - Bruce Xu and Maggie Simmons-HQC Implementation and Optimisation

Speaker:

Bruce Xu and Maggie Simmons
Affiliation: University of Waterloo
Location: MC 5417

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.
Friday, June 26, 2026 11:30 am - 12:30 pm EDT (GMT -04:00)

CombOpt ReadingGroup - Rian Neogi-Multidimensional Budget-feasible mechanism design

Speaker:

Rian Neogi
Affiliation: University of Waterloo
Location: MC 6029

Abstract:  

In budget-feasible mechanism design, there is a set of items U. A buyer wishes to purchase a set of items from the sellers of maximum value, where the value of a subset S of items is provided by a valuation function v. Each element e is held by a distinct seller, who incurs a private cost c_e for supplying her item. The buyer also has a budget of B on the total payments made to the sellers. The private costs c_e are known only to the sellers, and not to the buyer. Each seller e reports a cost r_e to the mechanism, which may or may not be equal to her true cost c_e. As a result, a seller may choose to misreport her cost if she sees that she is better off when doing so (for example, the mechanism might be giving her a higher payment under the misreported cost). 
Budget-feasible mechanisms have been well-studied over the past 15 years. In this talk, we will introduce a generalization of the setting, where each agent can now hold multiple items. This generalizes the problem into what is known as a multi-parameter domain, which brings about several complications, including strong impossibility results with respect to the typical benchmark of the algorithmic optimum. In lieu of these impossibility results, we propose a novel benchmark for the setting. We prove positive results with respect to this new benchmark, qualitatively matching prior results in single-parameter budget-feasible mechanism design.
This is joint work with Kanstantsin Pashkovich and Chaitanya Swamy, and is to appear in EC 2026.
Speaker: Rutger Campbell
Affiliation: Institute for Basic Science, Korea
Location: MC 5501

Abstract: A biased graph is a pair (G,B) consisting of a graph G and a collection B of balanced" cycles in G. Biased graphs arise naturally as the cycles that have identity weight in a group-labelling of arcs where opposite arcs have inverse weight. I present an excluded minor characterization for biased graphs that have such a group-labelling over Z3.

Speaker: Jerónimo Valencia-Porras
Affiliation: University of Waterloo
Location: MC 6460

AbstractThe totally asymmetric simple exclusion process (TASEP) is a finite Markov chain of particles hopping between adjacent sites on a one-dimensional lattice. The multispecies TASEP is a generalization in which particles have different types. These processes have interesting connections to algebraic combinatorics: the stationary distribution of the TASEP on a circle is connected to Macdonald polynomials at t=0, whereas the stationary distribution of the open-boundary TASEP is connected to Koorwinder polynomials at t=0.

Multiline queues were introduced by Ferrari and Martin (2007) to compute the stationary distribution of the multispecies TASEP on a circle. It has been a long-standing open problem to find a combinatorial formula for the stationary distribution of the multispecies TASEP with open boundaries. Recently, we studied the combinatorics of FerrariMartin multiline queues using type A crystals. In this talk, we use crystals of type C to construct an analog of multiline queues and give a combinatorial formula for the stationary distribution of the multispecies open-boundary TASEP for a certain specialization of the boundary parameters. This is joint work with Olya Mandelshtam.

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