Cave Polynomial of a Polymatroid

• The cave polynomial of a polymatroid is a valuative invariant that captures its combinatorial and geometric structure through equivalent formulations like stalactite, box, and Möbius formulas.
• It generalizes classical invariants such as the Tutte polynomial, providing a unified framework for studying lattice points, polyhedral geometry, and algebraic properties of polymatroidal ideals.
• It has broad applications in combinatorial optimization, K-theory, and computational methods, offering concrete tools for analyzing syzygies, log-concavity, and homological invariants.

The cave polynomial of a polymatroid is a valuative invariant that encodes the combinatorial and geometric structure of a polymatroid in a multivariate polynomial, unifying perspectives from combinatorial optimization, lattice point methods, and $K$-theory. It generalizes various invariants such as the Tutte polynomial (for matroids) and provides deep connections between polytopal geometry, syzygy theory, and algebraic invariants of polymatroidal ideals. Several equivalent combinatorial and polyhedral descriptions exist, all yielding the same polynomial, which plays a central role in current research on valuative invariants, algebraic combinatorics, and related fields.

1. Definitions and Fundamental Constructions

A polymatroid $P$ on a ground set $[p]=\{1,\dots,p\}$ with cage $m=(m_1, \dots, m_p)\in\mathbb N^p$ is determined by a rank function $\rk_P:2^{[p]}\to\mathbb N$ satisfying:

• $\rk_P(\varnothing)=0$;
• $\rk_P(\{i\}) \le m_i$ for all $i$;
• Monotonicity: if $I_1 \subseteq I_2$ then $\rk_P(I_1) \le \rk_P(I_2)$;
• Submodularity: $P$0.

The independence polytope is $P$1 and the base polytope is $P$2. The set $P$3 coincides with the integral points of a convex polytope of dimension at most $P$4 (Shapiro, 12 Jan 2026, Cid-Ruiz et al., 17 Jul 2025).

The cave polynomial $P$5 is defined as a (Laurent) polynomial: $P$6 where $P$7 is the indicator function of $P$8. Despite appearance, all negative exponents cancel. This definition reflects a shelling-type construction in the combinatorics of "caves" (Shapiro, 12 Jan 2026, Cid-Ruiz et al., 17 Jul 2025).

2. Equivalent Combinatorial Formulations

Three additional combinatorial formulas for the cave polynomial have been established—each providing distinct structural insight but all provably equivalent.

• Stalactite (Caves-Union) Formula: For a lex ordering $P$9 of $[p]=\{1,\dots,p\}$0, build "stalactites" rooted at each $[p]=\{1,\dots,p\}$1:

$[p]=\{1,\dots,p\}$2

where $[p]=\{1,\dots,p\}$3 counts containment in stalactites. This formula is closely related to shelling and inclusion-exclusion over $[p]=\{1,\dots,p\}$4 (Shapiro, 12 Jan 2026).

• Box Formula:

$[p]=\{1,\dots,p\}$5

This viewpoint interprets monomials as weighted box decompositions of $[p]=\{1,\dots,p\}$6 (Shapiro, 12 Jan 2026).

• Möbius Formula: Using the coordinatewise poset structure $[p]=\{1,\dots,p\}$7, define

$[p]=\{1,\dots,p\}$8

where $[p]=\{1,\dots,p\}$9 and the Möbius function satisfies explicit recursion. The key recurrence ties directly to the combinatorics of $m=(m_1, \dots, m_p)\in\mathbb N^p$0 (Shapiro, 12 Jan 2026, Cid-Ruiz et al., 17 Jul 2025).

All four formulas coincide: $m=(m_1, \dots, m_p)\in\mathbb N^p$1 Equivalence is established using inductive, inclusion-exclusion, and poset-theoretic arguments (Shapiro, 12 Jan 2026). The Möbius formula is particularly effective for computational and valuative perspectives (Cid-Ruiz et al., 17 Jul 2025).

3. Polyhedral and Lattice-Point Generalization

Given a polymatroid $m=(m_1, \dots, m_p)\in\mathbb N^p$2, the base polytope $m=(m_1, \dots, m_p)\in\mathbb N^p$3 and standard simplex $m=(m_1, \dots, m_p)\in\mathbb N^p$4 (and reflection $m=(m_1, \dots, m_p)\in\mathbb N^p$5) in $m=(m_1, \dots, m_p)\in\mathbb N^p$6 allow definition of the two-variable "lattice-point" or Cave polynomial: $m=(m_1, \dots, m_p)\in\mathbb N^p$7 Due to McMullen's theorem, $m=(m_1, \dots, m_p)\in\mathbb N^p$8 is a polynomial of degree $m=(m_1, \dots, m_p)\in\mathbb N^p$9 and admits a binomial expansion: $\rk_P:2^{[p]}\to\mathbb N$0 A change of variables $\rk_P:2^{[p]}\to\mathbb N$1, $\rk_P:2^{[p]}\to\mathbb N$2 leads to the two-variable polynomial $\rk_P:2^{[p]}\to\mathbb N$3, specializing to the Tutte polynomial for matroids with explicit inversion formulas (Cameron et al., 2016).

Combinatorial interpretations of the coefficients $\rk_P:2^{[p]}\to\mathbb N$4 involve regular mixed subdivisions and bijections to basis triples in the matroid case. The signs alternate: $\rk_P:2^{[p]}\to\mathbb N$5 (Cameron et al., 2016).

4. Algebraic and $\rk_P:2^{[p]}\to\mathbb N$6-Theoretic Relationships

The cave polynomial encodes $\rk_P:2^{[p]}\to\mathbb N$7-theoretic and algebraic properties through connection to polymatroidal ideals and matroidal $\rk_P:2^{[p]}\to\mathbb N$8-rings. For a partitioned ground set $\rk_P:2^{[p]}\to\mathbb N$9 with associated polymatroid $\rk_P(\varnothing)=0$0:

• The Snapper polynomial is defined as

$\rk_P(\varnothing)=0$1

where $\rk_P(\varnothing)=0$2 is the Euler characteristic in the $\rk_P(\varnothing)=0$3-ring $\rk_P(\varnothing)=0$4 (Shapiro, 12 Jan 2026, Cid-Ruiz et al., 17 Jul 2025).

• There is a binomial-generating map $\rk_P(\varnothing)=0$5 taking $\rk_P(\varnothing)=0$6 to $\rk_P(\varnothing)=0$7:

$\rk_P(\varnothing)=0$8

yielding an explicit formula:

$\rk_P(\varnothing)=0$9

In the context of polymatroidal ideals $\rk_P(\{i\}) \le m_i$0, the $\rk_P(\{i\}) \le m_i$1-polynomial and its dual can be explicitly expressed via the cave polynomial evaluated at reciprocal variables (Cid-Ruiz et al., 17 Jul 2025).

A key property is that $\rk_P(\{i\}) \le m_i$2 (the cave polynomial) is a valuative function on polymatroids, meaning it behaves additively under polytope subdivisions and certain algebraic operations, as proved using connections to multigraded Hilbert functions and results of Ardila–Fink–Rincón (Cid-Ruiz et al., 17 Jul 2025).

5. Specializations, Dualities, and Classical Connections

The cave polynomial admits specializations that recover traditional enumerative invariants:

• Internal activity polynomial: For any polymatroid $\rk_P(\{i\}) \le m_i$3, $\rk_P(\{i\}) \le m_i$4 (Cameron et al., 2016).
• External activity polynomial: $\rk_P(\{i\}) \le m_i$5.

In the matroid case, $\rk_P(\{i\}) \le m_i$6 encodes the Tutte polynomial: $\rk_P(\{i\}) \le m_i$7 with inverse provided explicitly (Cameron et al., 2016).

Other key properties include:

• Direct sum: $\rk_P(\{i\}) \le m_i$8.
• Duality: $\rk_P(\{i\}) \le m_i$9.
• Valuative property: $i$0 is valuative under decompositions of the base polytope (Cameron et al., 2016).

The homogenized cave polynomial $i$1, where $i$2, has support that is again a polymatroid, confirming and extending prior combinatorial conjectures (Cid-Ruiz et al., 17 Jul 2025).

6. Applications and Computational Methods

The cave polynomial underpins advances in the study of syzygies of polymatroidal ideals, $i$3-theoretic invariants, and optimization of combinatorial polytopes (Cid-Ruiz et al., 17 Jul 2025, Shapiro, 12 Jan 2026). Three combinatorial algorithms for computing the cave polynomial have been developed, corresponding to the cave, box, and Möbius formulas, each with explicit time complexity analysis:

• Direct cave algorithm: $i$4.
• Stalactite algorithm: $i$5.
• Box and Möbius algorithms: $i$6 (Shapiro, 12 Jan 2026).

Applications include explicit computation for matroids, verification of log-concavity in coefficients, and structural results for polymatroidal ideals via their $i$7-polynomials. The cave polynomial framework also settles conjectures on Möbius supports and the structure of homological shift ideals (Cid-Ruiz et al., 17 Jul 2025).

7. Open Problems and Future Directions

Research avenues include:

• Refined complexity analysis for special polymatroid classes (e.g., uniform, graphic, transversal) (Shapiro, 12 Jan 2026).
• Combinatorial interpretations of related multidegree and syzygy polynomials.
• Deeper investigation into log-concavity and Lorentzianity of cave polynomial coefficients, potentially linking to Hodge-theoretic inequalities.
• Exploration of further $i$8-theoretic and valuative invariants beyond those currently established.

A plausible implication is that the cave polynomial may serve as a unifying tool for future advances in combinatorial geometry, commutative algebra, and optimization, particularly as new equivalences, dualities, and computational techniques are uncovered in the study of matroids, polymatroids, and their associated algebraic invariants (Cameron et al., 2016, Cid-Ruiz et al., 17 Jul 2025, Shapiro, 12 Jan 2026).