Online talk: Peter Nelson

Monday, March 22, 3pm ET (7pm GMT, 8am Tue NZDT)
Peter Nelson, University of Waterloo
Formalizing matroids

YouTube: (sorry for the delay on this/accidentally deleting the post!)

Like in many areas of mathematics, long and technical proofs in combinatorics are becoming more common. When we consider the refereeing process, the unpleasant screeds of case-analysis with which many of us are familiar, and our high standards for mathematical truth, it is natural to have uncomfortable doubts due to simple human fallibility. A potential panacea is to use proof assistants to formally verify the correctness of our theorems. I will describe efforts I have made in recent months to formalize parts of matroid theory using the lean theorem prover, and a modest few results about matroids that are now formalized, including Edmonds’ Matroid Intersection Theorem. The talk is particularly aimed towards combinatorialists that are curious about this area; I will discuss both the bigger picture as well as the day-to-day experience of using a theorem prover, assuming no prior knowledge. This is joint work with Edward Lee and Mathieu Guay-Paquet.

Online talk: Benjamin Moore

Monday, March 15, 3pm ET (7pm GMT, 8am Tue NZDT)
Benjamin Moore, University of Waterloo
A density bound for triangle free 4-critical graphs

Password: email rose.mccarty ~at~ uwaterloo ~.~ ca if you need the password


Carsten Thomassen showed that every girth 5 graph embeddable in the torus or projective plane is 3-colourable. A complementary result of Robin Thomas and Barrett Walls shows that every girth 5 graph embedded in the Klein bottle is 3-colourable.

I’ll show neither the embeddability condition nor the girth 5 condition is needed in the above theorems by showing that every triangle-free 4-critical graph has average degree slightly larger than 10/3.

This is joint work with Evelyne Smith Roberge.

Online talk: Nick Brettell

Monday, March 8, 3pm ET (8pm GMT, 9am Tue NZDT)
Nick Brettell‬, Victoria University of Wellington
The excluded minors for 2-regular matroids, and for Hydra-5-representable matroids



The 2-regular matroids are a generalisation of regular matroids (which are representable over all fields), and near-regular matroids (which are representable over all fields of size at least three). Hydra-5-representability characterises matroids with precisely six inequivalent representations over GF(5). I will present the following recent result: any excluded minor for the class of 2-regular matroids, or for Hydra-5-representable matroids, has at most 17 elements. In fact, we can say more about potential excluded minors with 16 or 17 elements. This leads us tantalisingly close to an excluded-minor characterisation for these two classes. In this talk, I will give some background to why these classes are of interest, discuss the long road towards proving this result, give some key ideas from the argument, and discuss where to from here.

Joint work with James Oxley, Charles Semple, and Geoff Whittle.

Online talk: O-joung Kwon (at *5pm*)

Monday, March 1, *****5pm ET***** (10pm GMT, 11am Tue NZDT)
O-joung Kwon, Incheon National University
A unified half-integral Erdős-Pósa theorem for cycles in graphs labelled by multiple abelian groups


Erdős and Pósa proved in 1965 that there is a duality between the maximum size of a packing of cycles and the minimum size of a vertex set hitting all cycles. Such a duality does not hold if we restrict to odd cycles. However, in 1999, Reed proved an analogue for odd cycles by relaxing packing to half-integral packing. We prove a far-reaching generalisation of the theorem of Reed; if the edges of a graph are labelled by finitely many abelian groups, then there is a duality between the maximum size of a half-integral packing of cycles whose values avoid a fixed finite set for each abelian group and the minimum size of a vertex set hitting all such cycles.

A multitude of natural properties of cycles can be encoded in this setting, for example cycles of length at least $\ell$, cycles of length $p$ modulo $q$, cycles intersecting a prescribed set of vertices at least $t$ times, and cycles contained in given $\mathbb{Z}_2$-homology classes in a graph embedded on a fixed surface. Our main result allows us to prove a duality theorem for cycles satisfying a fixed set of finitely many such properties.

This is joint work with J. Pascal Gollin, Kevin Hendrey, Ken-ichi Kawarabayashi, and Sang-il Oum.