# Lorentzian polynomials I: Theory

I’m organizing a reading seminar this semester on Lorentzian polynomials, mainly following this paper by Brändén and Huh but also covering some of the work of Anari et. al. In this post, I’d like to give a quick introduction to this active and beautiful subject. I’ll concentrate on the basic theory for now, and in a follow-up post I’ll discuss some of the striking applications of this theory.

One major goal of the theory of Lorentzian polynomials is to provide new techniques for proving that various naturally-occurring sequences of non-negative real numbers $a_k$ are log-concave, meaning that $a_k^2 \geq a_{k-1} a_{k+1}$ for all $k$. More generally, the authors consider homogeneous multivariate polynomials $p(x_1,\ldots,x_n)$ with non-negative coefficients and study certain natural extensions of log-concavity to this setting. (For some background on log-concave sequences, see this survey paper which I wrote for the Bulletin of the AMS.) So let me begin by introducing two “classical” methods for proving (an even sharper version of) log-concavity of the coefficients of certain polynomials.

In Part I of this post, we defined hyperrings and hyperfields, gave some key examples, and introduced matroids over (doubly distributive) hyperfields in terms of Grassman-Plücker functions.  If $E=\{ 1,\ldots,m \}$ is a finite set and $K$ is a field, we saw that a $K$-matroid on $E$ is the same thing as a linear subspace of $K^m$, and if ${\mathbb K}$ is the Krasner hyperfield then a ${\mathbb K}$-matroid on $E$ is the same thing as a matroid in the usual sense.  Matroids over the hyperfield ${\mathbb S}$ of signs are the same thing as oriented matroids, and matroids over the tropical hyperfield ${\mathbb T}$ are the same thing as valuated matroids.  In this post we will give some “cryptomorphic” axiomatizations of matroids over hyperfields, discuss duality theory, and then discuss the category of hyperrings in a bit more detail. Continue reading