arXiv++ Combinatorics

The cave polynomial of a polymatroid was recently introduced and used to study the syzygies of polymatroidal ideals. We study the combinatorial relationships between three formulas for the cave polynomial. As an application, we interpret the Snapper polynomial in terms of these three formulas.

A lattice polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called level* if (i) $\mathcal{P}$ is normal, (ii) $(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^n \neq \emptyset$ and (iii) for each $N = 2,3, \ldots$ and for each $\textbf{a} \in N(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^n$, there is $\textbf{a}_0 \in (\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^n$ together with $\textbf{a}' \in (N-1)\mathcal{P} \cap \mathbb{Z}^n$ for which $\textbf{a} = \textbf{a}_0 + \textbf{a}'$, where $N\mathcal{P} = \{N\textbf{a} : \textbf{a} \in \mathcal{P}\}$. A normal polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called pseudo-Gorenstein* [4] if $ |(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^n| = 1. $ A pseudo-Gorenstein* polytope $\mathcal{P}$ is level* if and only if $\mathcal{P}$ is reflexive up to translation. In the present paper, level* polytopes together with pseudo-Gorenstein* polytopes arising from discrete polymatroids of bounded powers of edge ideals are studied.

The Tutte polynomial is a significant invariant of graphs and matroids. It is well-known that it has three equivalent definitions: bases expansion, rank generating function, and deletion-contraction formula. The polymatroid Tutte polynomial $\mathscr{T}_{P}$ generalizes the Tutte polynomial from matroids to polymatroids $P$. In \emph{[Adv. Math. 402 (2022) 108355.]} and \emph{[J. Combin. Theory Ser. A 188 (2022) 105584]}, the authors provided bases expansion and rank generating function constructions for $\mathscr{T}_{P}$, respectively. In \emph{[Int. Math. Res. Not. 19 (2025) rnaf302]}, a recursive formula for $\mathscr{T}_{P}$ was obtained. In this paper, we show that the recursive formula itself can be used to define the polymatroid Tutte polynomial independently.

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I(G) \subset S$ the edge ideal of a finite graph $G$ on $n$ vertices. Given a vector $\mathfrak{c}\in\mathbb{N}^n$ and an integer $q\geq 1$, we denote by $(I(G)^q)_{\mathfrak{c}}$ the ideal of $S$ generated by those monomials belonging to $I(G)^q$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I(G))$ denote the largest integer $q$ for which $(I(G)^q)_{\mathfrak{c}}\neq (0)$. Since $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal, it follows that its minimal set of monomial generators is the set of bases of a discrete polymatroid $\mathcal{D}(G,\mathfrak{c})$. In the present paper, a classification of Gorenstein polytopes of the form ${\rm conv}(\mathcal{D}(G,\mathfrak{c}))$ is studied.

The Tutte polynomial is an important invariant of graphs and matroids. Chen and Guo \emph{[Adv. in Appl. Math. 166 (2025) 102868.]} proved that for a $(k+1)$-edge connected graph $G$ and for any $i$ with $0\leq i <\frac{3(k+1)}{2}$, $$[y^{g-i}]T_{G}(1,y)=\binom{|V(G)|+i-2}{i}-\sum_{j=0}^{i}\binom{|V(G)|+i-2-j}{i-j}|\mathcal{SC}_{j}(G)|,$$ where $g=|E(G)|-|V(G)|+1$, $\mathcal{SC}_{j}(G)$ is the set of all minimal edge cuts with $j$ edges, $T_{G}(x,y)$ is the Tutte polynomial of the graph $G$, and $[y^{g-i}]T_{G}(1,y)$ denotes the coefficient of $y^{g-i}$ in the polynomial $T_{G}(1,y)$. Recently, Ma, Guan and Jin \emph{[arXiv.2503.06095, 2025.]} generalized this result from graphs to matroids and obtained the dual result on coefficients of $T_M(x,1)$ of matroids $M$ at the same time. In 2013, as a generalization of $T_{G}(x,1)$ and $T_{G}(1,y)$ of graphs $G$ to hypergraphs, Kálmán \emph{[Adv. Math. 244 (2013) 823-873.]} introduced interior and exterior polynomials for connected hypergraphs. Chen and Guo posed a problem that can one generalize these results of graphs to interior and exterior polynomials of hypergraphs? In this paper, we solve it in the affirmative by obtaining results for more general polymatroids, which include the case of hypergraphs and also generalize the results of matroids due to Ma, Guan and Jin. As an application, the sequence consisting of these coefficients on polymatroids is proven to be unimodal, while the unimodality of the whole coefficients of matroids was obtained in 2018 by Adiprasito, Huh and Katz using Hodge theory.

We investigate the asymptotic behavior of entropy polymatroids associated with algebraic matroids over finite fields. Given an algebraic matroid ${\sf M}:=(\mathcal{E},r)$ and the irreducible variety $V$ associated with ${\sf M}$, we consider the polymatroid $h_{\mathbb{F}}$ induced by the entropies of the projections of $V(\mathbb{F})$, where $\mathbb{F}$ is a finite extension of $\mathbb{G}$. Revisiting a construction of Matú$\check{\mathrm{s}}$, we show that the polymatroid $h_{\mathbb{F}}$ converges to the rank function $r$ of ${\sf M}$ as $q:=|\mathbb{F}|$ tends to infinity. Our main contribution is to make this convergence quantitative: we derive explicit uniform error bounds for the deviation $|h_\mathbb{F}-r|$, expressed in terms of the degree of $V$, the ground set size $|\mathcal{E}|$, the rank $r(\mathcal{E})$, and $q$. The proofs combine tools of algebraic geometry (effective Lang-Weil estimates and intrinsic degree bounds for annihilating polynomials of circuits) with information-theoretic arguments (submodularity of entropy and conditional entropy estimates). These results provide the first effective and uniform approximation bounds for algebraic matroids by entropy polymatroids, clarifying the quantitative link between algebraic independence (captured by matroid rank) and information-theoretic independence (captured by entropy).

We prove that there is no algorithm to decide whether a given integer vector is in the closure of the entropic cone $\overline{Γ_{n}^{*}}$. Equivalently, there is no decision procedure to determine whether a given integer-valued function $h:\mathcal{P}(\{1,\ldots,n\})\rightarrow\mathbb{Z}_{\ge 0}$ is a pointwise limit of joint entropy functions. In other words, given such an $h$, it is undecidable whether for all $\varepsilon > 0$ there exists a finite probability space $(Ω,P)$ with random variables $X_{1},\ldots,X_{n}$ such that their joint entropy $H$ satisfies $\max_{I\subseteq\{1,\ldots,n\}}\left|H\left(X_{I}\right)-h\left(I\right)\right|<\varepsilon$. This settles the last open case in a sequence of related undecidability results proved by L. Kühne and the author, with applications in algorithmic information theory. The main new tool is a Desargues'-type theorem for almost entropic polymatroids.

As a direct application of Dilworth truncations of polymatroids, we give short proofs of two theorems: Bernstein's characterisation of algebraic matroids coming from the Hadamard product of two linear spaces, and a formula for the dimension of the amoeba of a complex linear space by Draisma, Eggleston, Pendavingh, Rau, and Yuen. We disprove Bernstein's conjecture on a characterisation of the algebraic matroids of Hadamard products of more than two linear spaces, by giving explicit counterexamples.

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 develop a theory of representations of (discrete) polymatroids over tracts in terms of Plücker coordinates and suitable Plücker relations. As special cases, we recover polymatroids themselves as polymatroid representations over the Krasner hyperfield K and M-convex functions as polymatroid representations over the tropical hyperfield. We introduce and study several useful operations for polymatroid representations, such as translation and refined notions of minors and duality which have better properties than the existing definitions; for example, deletion and contraction become dual operations (up to translation) in our setting. We also prove an idempotency principle which asserts that polymatroids which are not translates of matroids are representable only over tracts that are idempotent in a certain specific sense (in particular -1 = 1). The space of all representations of a polymatroid J, which we call the thin Schubert cell of J, is represented by an algebraic object called {universal tract of J. When we restrict to just the 3-term Plücker relations, we obtain the weak thin Schubert cell, and passing to torus orbits yields the realization space. These are represented by the universal pasture and the foundation of J, respectively. We exhibit a canonical bijection between the universal tract and the universal pasture, which is new even in the case of matroids, and we show that the foundation of a polymatroid is generated by cross ratios. We also describe a (possibly incomplete) list of multiplicative relations between cross ratios. Thin Schubert cells and realization spaces are canonically embedded in certain tori. Over idempotent tracts, we show that thin Schubert cells contain a canonical torus orbit and split naturally as a product of the realization space with this distinguished torus.

It has been conjectured that the toric ideal of the base ring of a discrete polymatroid is generated by symmetric exchange binomials. In the present paper, we give several classes of discrete polymatroids which yield toric ideals generated by symmetric exchange binomials. Especially, we are interested in the discrete polymatroids arising from bounded powers of edge ideals of finite graphs.

Let $L \subset \mathbb{C}^r \otimes \mathbb{C}[x_1^\pm, \ldots, x_n^\pm]$ be a finite dimensional subspace of vector-valued Laurent polynomials invariant under the action of torus $(\mathbb{C}^*)^n$. We study subvarieties in the torus, defined by equations $f = 0$ for generic $f \in L$. We generalize the BKK theorem, that counts the number of solutions of a system of Laurent polynomial equations generic for their Newton polytopes, to this setting. The answer is in terms of mixed volume of certain virtual polytopes encoding discrete invariants of $L$ which involves matroid data. Moreover, we prove an Alexandrov-Fenchel type inequality for these virtual polytopes. Finally, we extend this inequality to non-representable polymatroids. This extends the usual Alexandrov-Fenchel inequality for polytopes as well as log-concavity results related to matroids.

By unifying various earlier extensions of alternating sign matrices (ASMs), we introduce the notion of prefix-bounded matrices (PBMs). It is shown that the convex hull of these matrices forms the intersection of two special generalized polymatroids. This implies $\unicode{x2013}$ in a more general form $\unicode{x2013}$ that the linear inequality system given by Behrend and Knight (2007) and by Striker (2007, 2009) for describing the polytope of alternating sign matrices is totally dual integral (TDI), confirming a recent conjecture of Edmonds (2024, 2025). By relying on the polymatroidal approach, we derive a characterization for the existence of prefix-bounded matrices meeting lower and upper bounds on their entries. Furthermore, we point out that the constraint matrix of the linear system describing the convex hull of PBMs, in particular ASMs, is a network matrix. This implies that (a) standard network-flow techniques can be used to manage algorithmically optimization and structural results on PBMs obtained via g-polymatroids, (b) the linear system is actually box-TDI, and (c) the convex hull of PBMs admits a sharpened form of the integer Carathéodory property, in particular, the integer decomposition property. This latter feature makes it possible to confirm an extended form of an elegant conjecture of Brualdi and Dahl (2023) on the decomposability of a so-called $k$-regular alternating sign matrix as the sum of $k$ pattern-disjoint ASMs.

A $q$-rank function is a real-valued function defined on the subspace lattice that is non-negative, upper bounded by the dimension function, non-drecreasing, and satisfies the submodularity law. Each such function corresponds to the rank function of a $q$-polymatroid. In this paper, we identify these functions with points in a polytope. We show that this polytope contains no interior lattice points, implying that the points corresponding to $q$-matroids are among its vertices. We investigate several properties of convex combinations of two lattice points in this polytope, particularly in terms of independence, flats, and cyclic flats. Special attention is given to the convex combinations of paving and uniform $q$-matroids.

We establish formulas for the Hilbert series of the Feichtner--Yuzvinsky Chow ring of a polymatroid using arbitrary building sets. For braid matroids and minimal building sets, our results produce new formulas for the Poincaré polynomial of the moduli space $\overline{\mathcal{M}}_{0,n+1}$ of pointed stable rational curves, and recover several previous results by Keel, Getzler, Manin, and Aluffi--Marcolli--Nascimento. We also use our methods to produce examples of matroids and building sets for which the corresponding Chow ring has Hilbert series with non-log-concave coefficients. This contrasts with the real-rootedness and log-concavity conjectures of Ferroni--Schröter for matroids with maximal building sets, and of Aluffi--Chen--Marcolli for braid matroids with minimal building sets.

Denote the Tutte polynomial of a graph $G$ and a matroid $M$ by $T_G(x,y)$ and $T_M(x,y)$ respectively. $T_G(x,1)$ and $T_G(1,y)$ were generalized to hypergraphs and further extended to integer polymatroids by Kálmán \cite{Kalman} in 2013, called interior and exterior polynomials respectively. Let $G$ be a $(k+1)$-edge connected graph of order $n$ and size $m$, and let $g=m-n+1$. Guan et al. (2023) \cite{Guan} obtained the coefficients of $T_G(1,y)$: \[[y^j]T_G(1,y)=\binom{m-j-1}{n-2} \text{ for } g-k\leq j\leq g,\] which was deduced from coefficients of the exterior polynomial of polymatroids. Recently, Chen and Guo (2025) \cite{Chen} further obtained \[[y^j]T_G(1,y)=\binom{m-j-1}{n-2}-\sum_{i=k+1}^{g-j}\binom{m-j-i-1}{n-2}|\mathcal{EC}_i(G)|\] for $g-3(k+1)/2< j\leq g$, where $\mathcal{EC}_i(G)$ denotes the set of all minimal edge cuts with $i$ edges. In this paper, for any matroid $M=(X,rk)$ we first obtain \[[y^j]T_M(1,y)=\sum_{t=j}^{|X|-r}(-1)^{t-j}\binom{t}{j}σ_{r+t}(M),\] where $σ_{r+t}(M)$ denotes the number of spanning sets with $r+t$ elements in $M$ and $r=rk(M)$. Moveover, the expression of $[x^i]T_M(x,1)$ is obtained immediately from the duality of the Tutte polynomial. As applications of our results, we generalize the two aforementioned results on graphs to the setting of matroids. This not only resolves two open problems posed by Chen and Guo in \cite{Chen} but also provides a purely combinatorial proof that is significantly simpler than their original proofs.

A new connection between two different necessary conditions for a polymatroid to be linearly representable is presented. Specifically, we prove that the existence of a tensor product with the uniform matroid of rank two on three elements implies the existence of a common information extension for every pair of subsets of the ground set.

A greedoid is a generalization of a matroid allowing for more flexible analyses and modeling of combinatorial optimization problems. However, these structures decimate many matroid properties contributing to their pervasive nature. A polymatroid greedoid [KL85a] presents an interesting middle ground, so we further develop this class. First we prove every local poset greedoid for which the greedy algorithm correctly solves linear optimizations over its basic words must have a polymatroid representation. For this, we use relationships between the lattices of greedoid flats and closed sets of a polymatroid to generalize concepts in [KL85a]. Then, we show our generalization induces a Galois injection between the greedoid flats and closed sets of a representation. Finally, we apply this duality to identify a subclass of polymatroid greedoids with a maximum representation, giving a partial answer to an open problem of [KL85a]. As technical tools for our analyses, we introduce optimism and the Forking Lemma for interval greedoids. Both are pervasive in our work, and are of independent interest.

We introduce and study different compactifications of the moduli space of $n$ distinct weighted labeled points in a flag of affine spaces. We construct these spaces via the weighted and generalized Fulton-MacPherson compactifications of Routis and Kim-Sato. For certain weights, our compactifications are toric and isomorphic to the polypermutohedral and polystellahedral varieties, which arise in the work of Crowley-Huh-Larson-Simpson-Wang and Eur-Larson on polymatroids, a generalization of matroids. Moreover, we show that these toric compactifications have a fibration structure, with fibers isomorphic to the Losev-Manin space, and are related to each other via a geometric quotient.

Five different ways of combinatorial description of non-empty faces of the cone of supermodular functions on the power set of a finite basic set $N$ are introduced. Their identification with faces of the cone of supermodular games allows one to associate to them certain polytopes in $\mathbb{R}^{N}$, known as cores (of these games) in context of cooperative game theory, or generalized permutohedra in context of polyhedral geometry. Non-empty faces of the supermodular cone then correspond to normal fans of those polytopes. This (basically) geometric way of description of faces of the cone then leads to the combinatorial ways of their description. The first combinatorial way is to identify the faces with certain partitions of the set of enumerations of $N$, known as rank tests in context of algebraic statistics. The second combinatorial way is to identify faces with certain collections of posets on $N$, known as (complete) fans of posets in context of polyhedral geometry. The third combinatorial way is to identify the faces with certain coverings of the power set of $N$, introduced relatively recently in context of cooperative game theory under name core structures. The fourth combinatorial way is to identify the faces with certain formal conditional independence structures, introduced formerly in context of multivariate statistics under name structural semi-graphoids. The fifth way is to identify the faces with certain subgraphs of the permutohedral graph, whose nodes are enumerations of $N$. We prove the equivalence of those six ways of description of non-empty faces of the supermodular cone. This result also allows one to describe the faces of the polyhedral cone of (rank functions of) polymatroids over $N$ and the faces of the submodular cone over $N$.