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 […]
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 […]
One of the key objects used in Ngo's proof of the fundamental lemma is the group scheme of universal centralizers associated to a split reductive group G. In this talk, we'll discuss forthcoming work, joint with Victor Ginzburg, which describes the coordinate ring of the group scheme of universal centralizers in terms of the root datum of G using Demazure (or divided […]
Many aggregation problems ask us to turn individual judgments into a single collective outcome. In this talk, we model each voter’s input as a relation on a set of alternatives, allowing pairwise comparisons to include strict preferences, ties, or incomparability. This perspective gives a common framework for median procedures and scoring methods, including several familiar […]
