Events

Title: The cyclic flats of L-polymatroids

Abstract: In recent years, q-polymatroids have drawn interest because of their connection with rank-metric codes. For a special class of q-polymatroids called q-matroids, the fundamental notion of a cyclic flat has been developed as a way to identify the key structural features of a q-matroid. In this talk, we will see a generalisation of the definition of a cyclic flat that can apply to q-polymatroids, as well as a further generalisation, L-polymatroids. The cyclic flats of an L-polymatroid is essentially a reduction of the data of an L-polymatroid such that the L-polymatroid can be retrieved from its cyclic flats. As such, in matroid theory, cyclic flats have been used to characterise numerous invariants.

Title: On the faces of the Kunz cone and the numerical semigroups within them

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm.

Abstract: A numerical semigroup is a subset of the natural numbers that is closed under addition, contains 0, and has finite complement. Each numerical semigroup $S$ with fixed smallest positive element $m$ corresponds to an integer point in a polyhedral cone $C_m \subset \mathbb{R}^{m-1}$ called the Kunz cone. Moreover, numerical semigroups corresponding to points on the same face $F$ of $C_m$ are known to share many properties, such as the number of minimal generators. But not all faces of the Kunz cone contain integer points corresponding to numerical semigroups. In this talk, we will classify all the faces that do contain such points. Additionally, we will present sharp bounds on the number of minimal generators of $S$ in terms of the dimension of the face of $C_m$ containing the point corresponding to $S$.

This is joint work with Levi Borevitz, Tara Gomes, Jiajie Ma, Christopher O'Neill, Daniel Pocklington, Rosa Stolk, Jessica Wang, and Shuhang Xue.

Title: Fujisaki-Okamoto - a recipe for post-quantum public key encryption.

Abstract: In this talk, I will give a short introduction to Fujisaki-Okamoto, a conversion that (intuitively) turns post-quantum hardness assumptions into post-quantum secure public-key encryption. Fujisaki-Okamoto featured prominently in NIST's post-quantum standardisation effort for public-key encryption, including the emerging new standard Kyber. If time permits, I will sketch open questions surrounding Fujisaki-Okamoto and potential improvements in security and efficiency.

Title: A new formula for the symmetric Macdonald polynomials via the ASEP and TAZRP

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm.

Abstract: In this talk, I will describe some recently discovered connections between one-dimensional interacting particle models (the ASEP and the TAZRP) and Macdonald polynomials and show the combinatorial objects that make these connections explicit. I will give a new compact tableau formula for the symmetric Macdonald polynomials $P_{\lambda}(X;q,t)$ in terms of a queue inversion statistic on certain sorted non-attacking tableaux. The nonsymmetric components of our formula specialize to the probabilities of the asymmetric simple exclusion process (ASEP) on a circle; moreover, the queue inversion statistic is naturally related to the dynamics of the ASEP. The new formula arises from the plethystic correspondence between the classical and modified Macdonald polynomials, which is closely related to fusion in the setting of integrable systems which connects the ASEP to the TAZRP.

Title: Oracle separation of QMA and QCMA with bounded adaptivity

Abstract: It is a long-standing open problem in quantum complexity theory whether the two possible quantum analogs of NP are equivalent. QMA is defined as the class of decision problems that are solvable by a polynomial-time quantum algorithm that has access to a polynomial-sized quantum proof, whereas QCMA is the class of decision problems that are solvable by a polynomial-time quantum algorithm that only has access to the polynomial-sized classical proof. In other words, the QMA vs QCMA question asks: are quantum proofs more powerful than classical proofs?

Title: Quasi-graphic matroids

Abstract: I will discuss various matroids (cycle-matroid, lifted-graphic matroid, frame matroid, and quasi-graphic matroid) associated with a graph. I will mostly focus on quasi-graphic matroids and on older results and conjectures that are joint with Bert Gerards and Geoff Whittle.

Title: Lattice Paths Through ACSV

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm.

Abstract: Analytic combinatorics in several variables uses complex analytic results to find coefficients in the series expansions of meromorphic functions. Typically this is used to find asymptotics of sequences by examining their associated generating functions. In the 2000's Bousquet-Melou (and others) used the kernel method, introduced in the late 60s and 70s, to find generating function expressions (in terms of certain multivariate rational functions) for certain kinds of walks in restricted regions. In particular Melczer and Mishna found asymptotics for these restricted walks when the step sets are symmetric in every axis.

Title: Bridging the gap between Linear and Integer Programming

Abstract: Informally, an Integer Program is obtained from a Linear Program by adding the condition that some variables be restricted to be integer. What kind of other restrictions lead to interesting classes of optimization problems? One such class of problems is obtained by restricting the variables in a Linear Program to be dyadic rationals, i.e. rationals where the denominator is a power of two. These problems borrow features from both Linear Programming and Integer Programming. Notably, they can be solved in polynomial time, but optimal solutions may have large support.

Title: New strongly regular graphs from optimal line packings

Abstract: In this talk, we'll explore several new constructions of strongly regular graphs. Specifically, we will show how some known optimal line packings can be coerced into generating new families of SRGs. We will also introduce a new construction of optimal line packings, yielding additional infinite families of SRGs.

Title: Analytic Methods and Combinatorial Plants

There will be a pre-seminar presenting relevant background at the beginning graduate level starting at 1pm

Abstract: In this talk, I will present the results of my masters thesis. I examine three applications of analytic methods to problems in combinatorics. By coincidence, each problem involves a combinatorial structure named for a plant--AVL trees, cactus graphs, and sunflowers--which we refer to collectively as combinatorial plants.