arXiv++ Combinatorics

We study linear operators preserving the property of being a volume polynomial. More, precisely we show that a linear operator preserves this property if the associated symbol is itself a volume polynomial. This can be seen as an analogue to theorems by Borcea-Brändén and Brändén-Huh for stable polynomials and Lorentzian polynomials, respectively.

Let $X$ be a $d$-partite $d$-dimensional simplicial complex with parts $T_1,\dots,T_d$ and let $μ$ be a distribution on the facets of $X$. Informally, we say $(X,μ)$ is a path complex if for any $i<j<k$ and $F \in T_i,G \in T_j, K\in T_k$, we have $\mathbb{P}_μ[F,K | G]=\mathbb{P}_μ[F|G]\cdot\mathbb{P}_μ[K|G].$ We develop a new machinery with $\mathcal{C}$-Lorentzian polynomials to show that if all links of $X$ of co-dimension 2 have spectral expansion at most $1/2$, then $X$ is a $1/2$-local spectral expander. We then prove that one can derive fast-mixing results and log-concavity statements for top-link spectral expanders. We use our machinery to prove fast mixing results for sampling maximal flags of flats of distributive lattices (a.k.a. linear extensions of posets) subject to external fields, and to sample maximal flags of flats of "typical" modular lattices. We also use it to re-prove the Heron-Rota-Welsh conjecture and to prove a conjecture of Chan and Pak which gives a generalization of Stanley's log-concavity theorem. Lastly, we use it to prove near optimal trickle-down theorems for "sparse complexes" such as constructions by Lubotzky-Samuels-Vishne, Kaufman-Oppenheim, and O'Donnell-Pratt.

Every symmetric polynomial $h(x)$ with center of symmetry $n/2$ can be expressed as a linear combination in the basis $x^i(1+x)^{n-2i}$. The $γ$-polynomial of $h(x)$, which we denote $γ_h(x)$, records the coefficients of this linear combination. Two decades ago, Brändén and Gal independently showed that if $γ_h(x)$ has nonpositive real roots only, then so does $h(x)$. More recently, Brändén, Ferroni, and Jochemko proved using Lorentzian polynomials that if $γ_h(x)$ is ultra log-concave, then so is $h(x)$, and they raised the question of whether a similar statement can be proved for the usual notion of log-concavity. The purpose of this article is to show that the answer to the question of Brändén, Ferroni, and Jochemko is affirmative. One of the crucial ingredients of the proof is an inequality involving binomial numbers that we establish via a path-counting argument.

We introduce a notion of Lorentzian proper position in close analogy to proper position of stable polynomials. Using this notion, we give a new characterization of elementary quotients of M-convex function that parallels the Lorentzian characterization of M-convex functions. We thereby use Lorentzian proper position to study the incidence geometry of tropical linear spaces, and vice versa. In particular, we prove new structural results on the moduli space of codimension-1 tropical linear subspaces of a given tropical linear space and show that it is tropically convex. Applying these results, we show that some properties of classical linear incidence geometry fail for tropical linear spaces. For instance, we show that the poset of all matroids on $[n]$, partially ordered by matroid quotient, is not submodular when $n\geq 8$. On the other hand, we introduce a notion of adjoints for tropical linear spaces, generalizing adjoints of matroids, and show that certain incidence properties expected from classical geometry hold for tropical linear spaces that have adjoints.

Postnikov--Stanley polynomials $D_u^w$ are a generalization of skew dual Schubert polynomials to the setting of arbitrary Weyl groups. We prove that Postnikov--Stanley polynomials are Lorentzian by showing that they are degree polynomials of Richardson varieties. Our result yields an interesting class of Lorentzian polynomials related to the geometry of Richardson varieties, generalizes the result that dual Schubert polynomials are Lorentzian (Huh--Matherne--Mészáros--St. Dizier 2022), and resolves the conjecture that Postnikov--Stanley polynomials have M-convex support (An--Tung--Zhang 2024).

We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are covolume polynomials in the sense of Aluffi. We study the cohomology rings of complex varieties in terms of Macaulay inverse systems over $\mathbb{Z}$. As applications, we show that under certain conditions, the Macaulay dual generator is a denormalized Lorentzian polynomial in the sense of Brändén and Huh, and we give a characteristic-free extension (over $\mathbb{Z}$) of the result of Khovanskii and Pukhlikov describing the cohomology ring of toric varieties in terms of volume polynomials.

Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials, developed by Brändén and Huh, to prove a generalization of the Mason-Welsh conjecture to the context of valuated matroids. In fact, we provide a log-concavity result in the more general setting of valuated discrete polymatroids, or equivalently, M-convex functions. Our approach is via the construction of a generic extension of a valuated matroid or M-convex function, so that the bases of the extension are related to the independent sets of the original matroid. We also provide a similar log-concavity result for valuated bimatroids, which, we believe, might be of independent interest.

The type $A$ Kostant partition function is an important combinatorial object with various applications: it counts integer flows on the complete directed graph, computes Hilbert series of spaces of diagonal harmonics, and can be used to compute weight and tensor product multiplicities of representations. In this paper we study asymptotics of the Kostant partition function, improving on various previously known lower bounds and settling conjectures of O'Neill and Yip. Our methods build upon recent results and techniques of Brändén-Leake-Pak, who used Lorentzian polynomials and Gurvits' capacity method to bound the number of lattice points of transportation and flow polytopes. Finally, we also give new two-sided bounds using the Lidskii formulas from subdivisions of flow polytopes.

We study the multivariate independence polynomials of graphs and the log-concavity of the coefficients of their univariate restrictions. Let $R_{W_4}$ be the operator defined on simple and undirected graphs which replaces each edge with a caterpillar of size $4$. We prove that all graphs in the image of $R_{W_4}$ are what we call pre-Lorentzian, that is, their multivariate independence polynomial becomes Lorentzian after appropriate manipulations. In particular, as pre-Lorentzian graphs have log-concave (and therefore unimodal) independence sequences, our result makes progress on a conjecture of Alavi, Malde, Schwenk and Erdős which asks if the independence sequence of trees or forests is unimodal.

Real-stable, Lorentzian, and log-concave polynomials are well-studied classes of polynomials, and have been powerful tools in resolving several conjectures. We show that the problems of deciding whether a polynomial of fixed degree is real stable or log concave are coNP-hard. On the other hand, while all homogeneous real-stable polynomials are Lorentzian and all Lorentzian polynomials are log concave on the positive orthant, the problem of deciding whether a polynomial of fixed degree is Lorentzian can be solved in polynomial time.

We survey some of the mechanisms used to prove that naturally defined sequences in combinatorics are log-concave. Among these mechanisms are Alexandrov's inequality for mixed discriminants, the Alexandrov Fenchel inequality for mixed volumes, Lorentzian polynomials, and the Hard Lefschetz theorem. We use these mechanisms to prove some new log-concavity and extremal results related to partially ordered sets and matroids. We present joint work with Ramon van Handel and Xinmeng Zeng to give a complete characterization for the extremals of the Kahn-Saks inequality. We extend Stanley's inequality for regular matroids to arbitrary matroids using the technology of Lorentzian polynomials. As a result, we provide a new proof of the weakest Mason conjecture. We also prove necessary and sufficient conditions for the Gorenstein ring associated to the basis generating polynomial of a matroid to satisfy Hodge-Riemann relations of degree one on the facets of the positive orthant.

A bimatroid is a matroid-like generalization of the collection of regular minors of a matrix. In this article, we use the theory of Lorentzian polynomials to study the logarithmic concavity of natural sequences associated to bimatroids. Bimatroids can be used to characterize morphisms of matroids and this observation (originally due to Kung) allows us to prove a weak version of logarithmic concavity of the number of bases of a morphism of matroids. This is weaker than the original result by Eur and Huh; it nevertheless provides us with a new perspective on Mason's log-concavity conjecture for independent sets of matroids. We finally show that for realizable bimatroids, the regular minor polynomial is a volume polynomial. Applied to morphisms of matroids, this shows that the weak basis generating polynomial of a morphism is a volume polynomial; this confirms a conjecture of Eur--Huh for morphisms of nullity $\leq 1$ and gives an algebro-geometric explanation for Mason's log-concavity conjecture in the realizable case.

Given n convex bodies in the real space of dimension d, we consider the set of homogeneous polynomials of degree d in n variables that can be represented as their volume polynomial. This set is a subset of the set of Lorentzian polynomials. Using our knowledge of operations that preserve the Lorentzian property, we give a complete classification of the cases when the two sets are equal.

Our work is motivated by the connection established between Lorentzian polynomials and the Dressian in the seminal work of Brändén and Huh on Lorentzian polynomials. We analyze this relation for the class of positroids, and are able to show that in this case, we can relate a multiaffine homogenous stable polynomial to it. Additionally, we also highlight that a conjecture for matroids posed by Brändén and Huh is true when considered over the class of Rayleigh matroids which strictly contain the class of positroids. We collect these findings along with other results for further exploration.

We study the numerical characterization of two dimensional hard Lefschetz classes given by the complete intersections of nef classes. In Shenfeld and van Handel's breakthrough work on the characterization of the extremals of the Alexandrov-Fenchel inequality for convex polytopes, they proposed an open question on the algebraic analogue of the characterization. By taking further inspiration from our previous work with Shang on hard Lefschetz theorems for free line bundles, we formulate and refine the conjectural picture more precisely and settle the open question when the collection of nef classes is given by a rearrangement of supercriticality, which in particular includes the big nef collection as a special case. The main results enable us to refine some previous results and study the extremals of Hodge index inequality, and more importantly provide the first series of examples of hard Lefschetz classes of dimension two both in algebraic geometry and analytic geometry, in which one can allow nontrivial augmented base locus and thus drop the semi-ampleness or semi-positivity assumption. As a key ingredient of the numerical characterization, we establish a local Hodge index inequality for Lorentzian polynomials, which is the algebraic analogue of the local Alexandrov-Fenchel inequality obtained by Shenfeld-van Handel for convex polytopes. This result holds in broad contexts, e.g., it holds on a smooth projective variety, on a compact Kähler manifold and on a Lorentzian fan, which contains the Bergman fan of a matroid or polymatroid as a typical example.

In this note, we give a rank function axiomatization for delta-matroids and study the corresponding rank generating function. We relate an evaluation of the rank generating function to the number of independent sets of the delta-matroid, and we prove a log-concavity result for that evaluation using the theory of Lorentzian polynomials.

Inspired by the theory of hyperbolic polynomials and Hodge theory, we develop the theory of Lorentzian polynomials on cones. This notion captures the Hodge-Riemann relations of degree zero and one. Motivated by fundamental properties of volume polynomials of Chow rings of simplicial fans, we define a class of multivariate polynomials which we call hereditary polynomials. We give a complete and easily checkable characterization of hereditary Lorentzian polynomials. This characterization is used to give elementary and simple proofs of the Heron-Rota-Welsh conjecture for the characteristic polynomial of a matroid, and the Alexandrov-Fenchel inequalities for convex bodies. We then characterize Chow rings of simplicial fans which satisfy the Hodge-Riemann relations of degree zero and one, and we prove that this property only depends on the support of the fan. Several different characterizations of Lorentzian polynomials on cones are provided.

We introduce and study a notion of dually Lorentzian polynomials, and show that if $s$ is non-zero and dually Lorentzian then the operator \[s(\partial_{x_1},\ldots,\partial_{x_n}):\mathbb R[x_1,\ldots,x_n] \to \mathbb R[x_1,\ldots,x_n]\] preserves (strictly) Lorentzian polynomials. From this we conclude that any theory that admits a mixed Alexandrov-Fenchel inequality also admits a generalized Alexandrov-Fenchel inequality involving dually Lorentzian polynomials. As such we deduce generalized Alexandrov-Fenchel inequalities for mixed discriminants, for integrals of Kähler classes, for mixed volumes, and in the theory of valuations.

We explore the applications of Lorentzian polynomials to the fields of algebraic geometry, analytic geometry and convex geometry. In particular, we establish a series of intersection theoretic inequalities, which we call rKT property, with respect to $m$-positive classes and Schur classes. We also study its convexity variants -- the geometric inequalities for $m$-convex functions on the sphere and convex bodies. Along the exploration, we prove that any finite subset on the closure of the cone generated by $m$-positive classes can be endowed with a polymatroid structure by a canonical numerical-dimension type function, extending our previous result for nef classes; and we prove Alexandrov-Fenchel inequalities for valuations of Schur type. We also establish various analogs of sumset estimates (Plünnecke-Ruzsa inequalities) from additive combinatorics in our contexts.

We explain connections among several, a priori unrelated, areas of mathematics: combinatorics, algebraic statistics, topology and enumerative algebraic geometry. Our focus is on discrete invariants, strongly related to the theory of Lorentzian polynomials. The main concept joining the mentioned fields is a linear space of matrices.