arXiv++ Combinatorics

Lorentzian polynomials serve as a bridge between continuous and discrete convexity, connecting analysis and combinatorics. In this article, we study the topology of the space $\mathbb{P}\textrm{L}_J$ of Lorentzian polynomials on $J$ modulo $\mathbb{R}_{>0}$, which is nonempty if and only if $J$ is the set of bases of a polymatroid. We prove that $\mathbb{P}\textrm{L}_J$ is a manifold with boundary of dimension equal to the Tutte rank of $J$, and more precisely, that it is homeomorphic to a closed Euclidean ball with the Dressian of $J$ removed from its boundary. Furthermore, we show that $\mathbb{P}\textrm{L}_J$ is homeomorphic to the thin Schubert cell $\textrm{Gr}_J(\mathbb{T}_q)$ of $J$ over the triangular hyperfield $\mathbb{T}_q$, introduced by Viro in the context of tropical geometry and Maslov dequantization, for any $q>0$. This identification enables us to apply the representation theory of polymatroids developed in a companion paper, as well as earlier work by the first and fourth authors on foundations of matroids, to give a simple explicit description of $\mathbb{P}\textrm{L}_J$ up to homeomorphism in several key cases. Our results show that $\mathbb{P}\textrm{L}_J$ always admits a compactification homeomorphic to a closed Euclidean ball. They can also be used to answer a question of Brändén in the negative by showing that the closure of $\mathbb{P}\textrm{L}_J$ within the space of all polynomials modulo $\mathbb{R}_{>0}$ is not homeomorphic to a closed Euclidean ball in general. In addition, we introduce the Hausdorff compactification of the space of rescaling classes of Lorentzian polynomials and show that the Chow quotient of a complex Grassmannian maps naturally to this compactification. This provides a geometric framework that connects the asymptotic structure of the space of Lorentzian polynomials with classical constructions in algebraic geometry.

We show that Schur classes of ample vector bundles on smooth projective varieties satisfy Hodge-Riemann relations on $H^{p,q}$ under the assumption that $H^{p-2,q-2}$ vanishes. More generally, we study Hodge-Riemann polynomials, which are partially symmetric polynomials that produce cohomology classes satisfying the Hodge-Riemann property when evaluated at Chern roots of ample vector bundles. In the case of line bundles and in bidegree $(1,1)$, these are precisely the nonzero dually Lorentzian polynomials. We prove various properties of Hodge-Riemann polynomials, confirming predictions and answering questions of Ross and Toma. As an application, we show that the derivative sequence of any product of Schur polynomials is Schur log-concave, confirming conjectures of Ross and Wu.

An edge-weighted graph $G$, possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The number of graph homomorphisms from a graph $H$ to an antiferromagnetic graph $G$ generalises various important parameters in graph theory, including the number of independent sets and proper vertex-colourings, as well as their relaxations in statistical physics. We obtain homomorphism inequalities for various graphs $H$ and antiferromagnetic graphs~$G$ of the form \[ \lvert\operatorname{Hom}(H,G)\rvert^2 \leq \lvert\operatorname{Hom}(H\times K_2,G)\rvert, \] where $H\times K_2$ denotes the tensor product of $H$ and $K_2$. Firstly, we show that the inequality holds for any $H$ obtained by blowing up vertices of a bipartite graph into complete graphs and any antiferromagnetic $G$. In particular, one can take $H=K_{d+1}$, which already implies a new result for the Sah--Sawhney--Stoner--Zhao conjecture on the maximum number of $d$-regular graphs in antiferromagnetic graphs. Secondly, the inequality also holds for $G=K_q$ and those $H$ obtained by blowing up vertices of a bipartite graph into complete multipartite graphs, paths or even cycles. Both results can be seen as the first progress towards Zhao's conjecture on $q$-colourings, which states that the inequality holds for any $H$ and $G=K_q$, after his own work. Our method leverages on the emerging theory of Lorentzian polynomials due to Brändén and Huh and log-concavity of the list colourings of bipartite graphs, which may be of independent interest.

Taking a compact Kähler manifold as playground, we explore the powerfulness of Hodge index theorem. A main object is the Lorentzian classes on a compact Kähler manifold, behind which the characterization via Lorentzian polynomials over the Kähler cone and hence the validity of Hodge index theorem. Along the exploration, we discover several applications in complex geometry that may be unexpected before. (1) For a Lefschetz type operator given by the complete intersection of nef classes, we give a complete characterization of its kernel face against the pseudo-effective cone. (2) We provide a new approach to Teissier's proportionality problem from the validity of hard Lefschetz property. This perspective enables us to establish the extremals for the Brunn-Minkowski inequality on a strictly Lorentzian class, and thus also characterize the most extremal case for a log-concavity sequence given by the intersection numbers of two nef classes. These Lorentzian classes include the fundamental classes of smooth projective varieties or compact Kähler manifolds as typical examples, hence our result extends Boucksom-Favre-Jonsson's and Fu-Xiao's results in respective settings to broader contexts, e.g. certain algebraic cycle classes given by reducible subvarieties. (3) Furthermore, we also strengthen the proportionality characterization by comparing various quantitative deficits and establishing stability estimates. Two quantitative sharper stability estimates with close relation with complex Monge--Ampère equations and Newton-Okounkov bodies are also discussed.

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.