Welcome to Combinatorics and Optimization

Abstract:  The study of matroid tensor products dates back to the 1970s, extending the tensor operation from linear algebra to the combinatorial setting. While any two matroids representable over the same field admit a tensor product via the Kronecker product of matrices, Las Vergnas showed that such products do not exist for matroids in general, leaving the area underexplored. In this work, we utilize this operation to study skew-representability — representation over division rings that need not be commutative — by proving that a matroid is skew-representable if and only if it admits iterated tensor products with specific test matroids. A key consequence is the existence of algorithmic certificates for non-representability. We further show that every rank-3 matroid admits a tensor product with any uniform matroid, constructing the unique freest such product. Finally, we demonstrate the power of this framework by deriving the first known linear rank inequality for (folded skew-)representable matroids that is independent of the common information property. 

Abstract: A weighted graph G with countable vertex set is bounded if there is an upper bound on the maximum of the sum of absolute values of all edge weights incident to a vertex in G. Most work done on quantum walks focus on finite graphs. In this talk, we extend the theory to bounded infinite graphs and discuss results concerning the rarity of perfect state transfer. This is joint work with Chris Godsil, Steve Kirkland, Sarojini Mohapatra and Hiranmoy Pal.

Abstract:  Modern secure communication systems, such as iMessage, WhatsApp, and Signal include intricate mechanisms that aim to achieve very strong security properties. These mechanisms typically involve continuously merging fresh secrets into the keying material that is used to encrypt messages during communications. In the literature, these mechanisms have been proven to achieve forms of Post-Compromise Security (PCS): the ability to provide communication security even if the full state of a party was compromised some time in the past. However, recent work has shown these proofs cannot be transferred to the end-user level, possibly because of usability concerns. This has raised the question of whether end-users can actually obtain PCS or not, and under which conditions.