A key problem in computer proofs based on solutions from copositive optimization, is checking whether or not a given quadratic form is completely positive or not. In this talk we describe the first known algorithm for arbitrary rational input. It is based on a suitable adaption of Voronoi's Algorithm and the underlying theory from positive definite […]
A low autocorrelation binary sequence of length $\ell$ is an $\ell$-tuple of $+1$s and $-1$s that does not strongly resemble any translate of itself. Such sequences are used in communications and remote sensing for synchronization and ranging, where translation represents time delay. A single number that indicates how good a sequence is for such purposes, […]
In this talk, I'll attempt to give a friendly introduction to tropical linear series and explore their relationship to matroid theory. Along the way, we'll stop to admire the beautiful view from enumerative geometry and combinatorics. This is joint work with Chih-Wei Chang, Matthew Dupraz, Hernan Iriarte, David Jensen, Sam Payne, and Jidong Wang, and also with […]
Inspired by the categorification program for a numerical invariant of three-manifolds, series invariants for closed manifolds and for knot complements were introduced. This in turn motivated an extension of the series invariant of the former case to Lie superalgebras. It was recently generalized to knot complements. In this talk, we review the original series invariants […]
Diophantine avoidance has been studied by several authors in recent years. This refers to effective results on existence of points of bounded size in a given algebraic set avoiding some […]
