Ehrhart positivity for paving positroids

The empty-ground-set and singleton cases have point base polytopes and Ehrhart polynomial 1. Suppose M is connected with at least two elements. In rank one or corank one it is uniform, so [Ferroni2021, Theorem 1.2] applies. Otherwise 2\leq r\leq n-2 and q=n-1. For 1\leq j\leq q, Proposition 5.4 makes [t^{j-1}]\Gamma_v(G_e) positive on (0,1). This coefficient is polynomial in v and hence continuous; it has a positive lower bound on some closed interval in (0,1), so its integral is positive. Proposition 5.1, including nonnegativity of the local term, gives [t^j]\operatorname{ehr}_M(t)>0. Ehrhart’s theorem gives \operatorname{ehr}_M(0)=1, and connectedness gives \dim P(M)=q.

For general M, its connected components M_1,\ldots,M_c are positroids in the induced orders, being restrictions [ARW2016, Proposition 3.5]. Every circuit of M_i is a circuit of M, of size at least r(M)\geq r(M_i); hence each M_i is paving. Their Cartesian product decomposition gives

Each factor has positive coefficients throughout its degree range. Every integer between zero and the sum of these degrees is a sum of integers from the respective ranges. Its coefficient in the product therefore contains a positive product, and all remaining summands are nonnegative.

If r_M(A)\leq r-2 and A were dependent, a basis of A together with one additional element would contain a circuit of size at most r_M(A)+1<r. Hence such an A is independent, and its rank inequality follows from x_e\leq1. A set of rank r-1 is contained in a hyperplane. A hyperplane of size r-1 gives another consequence of the coordinate bounds, whereas the remaining hyperplanes are precisely H_1,\ldots,H_\ell. The inequality for a spanning set follows from nonnegativity and x(E)=r. The rank description therefore gives the displayed description of P(M).

Every (r-1)-set is independent and its closure is its unique containing hyperplane. Distinct hyperplanes therefore intersect in at most r-2 elements.

For each H_i, the restriction is U_{r-1,|H_i|} and the contraction is U_{1,n-|H_i|}. Connectedness implies n-|H_i|\geq2: a singleton complement would be a coloop. The face x(H_i)=r-1 is the product of the two uniform base polytopes and has dimension (|H_i|-1)+(n-|H_i|-1)=n-2. It is therefore a facet. The cyclic interval description of P(M) must include an inequality supporting this facet. Its outward normal, modulo the normal to x(E)=r, gives

for a proper nonempty cyclic interval J. The two values on the right are b and a+b; they must be 0 and 1 in that order. Thus a=1, b=0, and H_i=J.

Finally, for distinct H_i,H_j and x\in\Delta(r,n),

The two sums cannot both exceed r-1. The same disjoint cap geometry appears in the paving Ehrhart formulas of [HanelyEtAl2023, Proposition 5.10].

Differentiation with respect to v gives the formal identity

Integrating coefficientwise over 0\leq v\leq1 yields

The numerator on the right has zero constant term, so the quotient is a formal power series. Its coefficient of \lambda^s is \binom{t+s+1}{s+1}. On the left this coefficient is 1+t\int_0^1\Gamma_v(X^s)\,dv. Multiplication by h_s(t) and summation prove the formula. All extracted coefficients are polynomials, so the identity also includes t=0.

The identity has zero integral kernel. Composition with D gives, for every integer j\geq0 and u<v,

The middle term integrates the evaluation term of D^j; the last comes from reversing two integrations of a bounded piecewise continuous integrand on a finite triangle. This recurrence fixes the kernel at every u<v, including assigned endpoint values.

Fix a nonzero real t. Induction in the recurrence gives |K_{D^j}(u,v)|\leq j|t|(1+|t|B)^{j-1} for j\geq1, uniformly on 0\leq u<v\leq B. Hence, for real 0<|\lambda|<(1+|t|B)^{-1}, \sum_{j=1}^{\infty}\lambda^jK_{D^j}(u,v) converges uniformly. Multiplying the recurrence by \lambda^{j+1} and summing over j\geq0 shows that this series, divided by \lambda t, satisfies

For fixed v, the continuous function Y(u)=\int_u^v R_\lambda(w,v)\,dw satisfies, on each open partition interval,

The integrating factor \exp(\int_0^u\lambda t/(1-\lambda\varphi(w))\,dw) gives

Continuity of Y joins the solutions at partition points. Substitution into the integral equation gives the stated R_\lambda, with the assigned endpoint values. Comparing coefficients of \lambda^{s+1} proves the identity for nonzero real t. Each coefficient identity is polynomial in t, so it holds for formal t, including t=0.

Terms without integrated jumps evaluate at integer translates of u, so do not contribute at a noninteger displacement. Fix a term with h integrated jumps and j unit jumps, where 1\leq h\leq q. It is t^h times an integral over (0,1)^h with integrand \omega(x_1,\ldots,x_h)g(u+j+\sum_{i=1}^{h}x_i), where \omega\in[0,1] is the product of frozen weights.

For h\geq2, the final-point equation gives x_h=v-u-j-\sum_{i=1}^{h-1}x_i. The remaining variables range over the polytope \Delta_{h,j}(u,v) defined by 0<x_i<1 for 1\leq i\leq h-1 and 0<v-u-j-\sum_{i=1}^{h-1}x_i<1. The change from x_h to v has derivative one, giving the kernel contribution

For h=1, it is t\omega(v-u-j) when 0<v-u-j<1, and zero otherwise. Assigned weights at the initial, final, and frozen intermediate points are retained.

Each intermediate point is affine in the remaining variables. Constant points retain their assigned m-values; at nonconstant points, the affine expression for m changes only on finitely many proper affine hyperplanes. The integrands are bounded and piecewise polynomial on polytopes, hence Riemann integrable, also as successive integrals.

Each contribution is t^h times a nonnegative quantity. Summing over terms with h integrated jumps defines c_{q,h}(u,v); division by t proves the formula.

All calculations are coefficientwise in t and involve finitely many powers. Fix u and g in the operator domain, and choose B>u with g=0 on [B,\infty). All jumps are nonnegative, so a contributing term has total jump at most B-u. This bounds every integrated jump and truncates all integrals in a finite composition, including those defining \mathcal E. Intermediate outputs also vanish sufficiently far to the right.

The jump variables now range over finite polytopes. Arguments of profiles and evaluation coefficients are affine: nonconstant arguments meet partition points on finitely many proper affine hyperplanes, and constant arguments retain their specified values. Coefficient integrands are therefore piecewise polynomial on finite polyhedral partitions. Multiplying by g at the final point gives bounded piecewise continuous integrands. This remains true after fixing any subset of variables, with assigned values retained at constant arguments. Thus the multiple integrals and all their sections are Riemann integrable, allowing successive integrations to be reversed. At fixed initial and final points, the same reasoning applies after eliminating the last integrated jump.

It suffices to consider two factors, written as

and

Kernels are set to zero outside their forward support. The evaluation part of TU is

An evaluation before an integral shifts its starting point to u+i; an evaluation after an integral uses v=z+j, with derivative one. Two integrals range over u\leq z\leq v. Thus a representative of the composed kernel is

This formula also represents the grouped jump expansion at noninteger total displacement. If both groups contain integrated jumps, replace their last integrated jumps by z and v, respectively. Both changes have derivative one; reversing the remaining finite Riemann integrals gives the last term. Changes of kernel convention at integer block displacements affect only finitely many intermediate z and leave this integral unchanged. If just one group contains an integrated jump, the first or second sum results. Its displacement is noninteger because the other group’s displacement is integral. Terms without integration give the displayed evaluation part.

Fix u<v with v-u\notin\mathbb Z. Each supported kernel in the two sums has noninteger displacement, since i,j are integers. Thus the sums agree for the two representations, with evaluation coefficients taken at their specified points. In the integral, the integrands agree except possibly where z-u or v-z is an integer. There are finitely many such points in [u,v], so the integrals agree. Evaluation coefficients agree pointwise as well. Induction proves the claim for finite compositions.

For T=(r-j)t-\delta, the coefficient formula above is [\lambda^{b-1}](1-\lambda)^\delta R_\lambda(j,r-L). Since \delta\leq b-1, every exponent b-\delta+\ell below is at least one. The binomial expansion and Lemma 3.4 therefore give

The shift S^j changes the starting point from 0 to j, which proves the kernel identity.

The remaining counting exponent is N=(r-j)t-a-\delta. For N\geq0, extracting the coefficient of (1-z)^{-b} gives the stated binomial coefficient. For N<0, N\geq(r-j-1)t-\delta\geq-\delta\geq-(b-1), so 0\leq N+b-1<b-1. Both the binomial polynomial and the extracted coefficient are then zero, including at small positive t.

Commutativity of S and \mathcal E gives

At total jump k-L, the terms with j\geq k cannot reach the endpoint and contribute zero. For 0\leq j\leq k-1, the transfer lemma, with r=k, b=p, and \delta=j, gives the j-th term in the transform of the uniform rooted count. The factor (I-\mathcal E)^j=(-1)^j(\mathcal E-I)^j gives the inclusion-exclusion sign. Lemma 3.8 identifies this polynomial kernel with the coordinate jump kernel at the noninteger displacement k-L. Coefficient nonnegativity follows from Lemma 3.6.

Through degree kt, the first sum counts bounded compositions: terms with at least k coordinates exceeding t begin in degree k(t+1)>kt. For v\geq0, its coefficient in degree kt+1+v is F_{p,k}(-v-1,t). The binomial expansion of F_{p,k} gives

Here \binom{-v-1+s}{s}=(-1)^s\binom vs, so the tail is

The upper binomial arguments in the tail are at least p-j\geq1 (the minimum occurs at v=0, a=-1), including at small dilations. Subtracting the tail proves the identity.

Kernel cancellation and evaluations below k. Below jump k, the last term of \mathcal B_{p,k} vanishes, and its first sum contains exactly the terms of \mathcal A^p that can reach the jump. This includes the evaluation weights at 0,\ldots,k-1.

For cancellation above k, the coefficient formula for f_p gives, for any polynomial parameter T,

The integral kernel of the expression on the right, divided by t, is -[\lambda^{p-1}](1-\lambda)^{-T}R_\lambda(u,v). Indeed, the kernel of (I-\lambda\mathcal E)^{-1} is \lambda tR_\lambda, whereas that of \mathcal E(I-\lambda\mathcal E)^{-1} is tR_\lambda.

Suppose v-u>k. For 0\leq j\leq k-1, the kernel of S^j\mathcal E^{p-j}(I-\mathcal E)^j, divided by t, is

The arcs [u+j,v] and [u+k,v] differ by k-j full periods, so R_\lambda(u+j,v)=(1-\lambda)^{-(k-j)t}R_\lambda(u+k,v). The j-th term of the first sum therefore has kernel divided by t equal to \binom pj[\lambda^{p-1}](-1)^j (1-\lambda)^{j-(k-j)t}R_\lambda(u+k,v). The j-th term of S^k(I-\mathcal E)G_{p,k}(t,I-\mathcal E) has the negative of this expression, by the preceding kernel identity with T=(k-j)t-j. Thus the kernel above k is zero.

The evaluation at jump k. The first sum has shifts smaller than k, so the evaluation weight at k is the multiplication part of the last term, (1-m(u))G_{p,k}(t,1-m(u)). In \mathcal A^p, exactly k unit steps and p-k zero steps give the old weight \binom pk(1-m(u))^km(u)^{p-k}, since periodicity makes all endpoint values equal to m(u). Their difference is Q_{p,k}(t,m(u)). Neither \mathcal B_{p,k} nor the restricted expansion of \mathcal A^p has evaluation terms above k. Lemma 3.8 permits composition with external coordinate operators at noninteger total displacement.

Coefficients of the correction. The subtracted evaluation weight has degree zero in t, so only the constant coefficient requires a comparison. Set s=1-x with 0<s<1. In Lemma 3.10, choose w(u)=\varepsilon, \alpha=s, and \beta=0, where 0<\varepsilon<1. The total jump is k-\varepsilon; the complementary profile has endpoints x,1 and \int_0^{1-\varepsilon}g(m(u))\,du =(1-\varepsilon)\int_0^1g(y)\,dy. The operator \mathcal A below depends on this profile. As \varepsilon\downarrow0, the finite moments defining \Gamma tend to zero, while the endpoints remain fixed. Consequently,

The coefficients on the right are nonnegative, so all positive-degree coefficients of sG_{p,k}(t,s) are nonnegative.

For the constant coefficient, the contributing paths before division by t have one continuous step and k-1 unit steps. The continuous jump must be 1-\varepsilon. If this step has index i, all unit steps must occur before it, since a later unit step has weight 1-1=0. There are \binom{i-1}{k-1} choices for these earlier unit steps. Every zero step before the continuous step has weight x=1-s, every earlier unit step has weight s, and every zero step after it has weight 1. Including the factor s therefore gives

This counts length-p binary strings with at least k ones, weighted by s for a one and 1-s for a zero: i is the position of the k-th one, and the suffix has total weight (s+(1-s))^{p-i}=1. Grouping by the number of ones gives

Subtracting the term with exactly k ones yields

with an empty sum when k=p. This proves all coefficients are nonnegative for 0<x<1; polynomial continuity gives x=0,1.

Below jump one, all shifted terms vanish, so \mathcal D_p, \mathcal E^p, and \mathcal A^p have the same kernel and evaluation terms. For v-u>1, the coefficient formula for f_p gives

A full uniform period gives (1-\lambda)^{-t}R_\lambda(u+1,v)=R_\lambda(u,v), so this kernel cancels that of \mathcal E^p above jump one. At jump one, the shifted term has evaluation weight -m(u)f_p(t-1,1-m(u)); at zero, the weight agrees with \mathcal E^p. There are no other evaluation terms. Lemma 3.8 permits insertion between external coordinate operators at noninteger total displacement.

The coefficient representation for f_p yields

For j=0 the binomial factor is 1. For j\geq1 it is t(t+1)\cdots(t+j-1)/j!, which has nonnegative coefficients. Multiplication by x\geq0 proves the assertion.

Lemma 3.10 gives the uniform term. For a block of size p, the q-p external coordinates contribute

The parameters in Lemma 3.9 are recorded below. In the upper rows, k=r-1 and 0\leq v\leq k-1. In both boundary rows, 0\leq s\leq p-1, and every row has 0\leq j\leq q-p.

For an upper block, p=|H_i|, k=r-1, and q-p\geq1. The retained count is the coefficient of z^{rt-a} in the product of B_{p,k}(t,z) and the external factor. In the first part of Lemma 4.1, an internal index v and an external index j give the factor

If v+j<r, Lemma 3.9 applies with b=q and constant shift \delta=v+j\leq q-1. If v+j\geq r, the remaining exponent is negative, since v+j\geq1, and the corresponding periodic shift cannot reach r-L.

The boundary polynomial is G_{p,k}(t,X)=\sum_{s=0}^{p-1}h_s(t)X^s. Multiplying the tail in Lemma 4.1 by the external factor gives the (s,j)-term

The signs come from subtracting the tail, substituting -z/(1-z) in G_{p,k}, and expanding the external factor. A retained shift satisfies k+j<r, hence j=0 because k=r-1. Consequently \delta=1+s\leq s+q-p=b-1, as q-p\geq1. Lemma 3.9 identifies the transformed retained term with t^{-1} times the kernel at (0,r-L) of

Terms with j\geq1 have negative remaining exponents because k+j\geq r and their constant shifts are at least one. The corresponding operator summands below also have zero kernel at (0,r-L): each contains S^{k+j}, with k+j\geq r>r-L, and all remaining jumps are nonnegative. Adding these zero contributions and using the binomial expansion of \mathcal A^{q-p} gives

This is the boundary part of \mathcal B_{p,k} times the external operator. Its factors can be placed at the original block, since the complete polynomials in \mathcal E,S commute. This commutation concerns the complete operator identity; it does not rearrange the individual path integration domains. Lemma 3.8 identifies the resulting polynomial and block kernels at the noninteger total displacement r-L.

Each binomial polynomial from the first part has total degree q-1. In a boundary term, \deg_t h_s\leq p-1-s, and the extracted binomial polynomial has degree s+q-p. Their product therefore has total degree at most q-1. The upper retained count and its forbidden count consequently have polynomial representations with the required transferred operators.

For a hyperplane containing e, set p=|E\setminus H_i|. Here q-p=|H_i|-1\geq r-1. Its forbidden count is the coefficient of z^{rt-a} in the product of D_p(t,z) and the external factor. The first term is covered by the preceding verification with v=0. For a boundary coefficient of f_p(t-1,X) with index s, the last row gives \delta=s+j\leq s+q-p=b-1, since j\leq q-p. Lemma 3.9 therefore applies whenever 1+j<r. Whenever 1+j\geq r, we have j\geq r-1\geq1, so the remaining exponent is negative and the periodic shift cannot reach r-L. The transferred boundary part is -S\mathcal E f_p(t-1,I-\mathcal E)\mathcal A^{q-p}, as in \mathcal D_p. Its coefficient of index s has degree at most p-1-s, and its binomial polynomial has degree s+q-p, so their product has total degree at most q-1.

Subtracting the forbidden counts constructs F_e and its transferred image. Uniqueness follows because a polynomial vanishing on the integer triangle is zero: for each fixed integer a\geq0 it vanishes at infinitely many t, so its coefficients in t vanish at every such a.

Set y_e=L and y_j=d_j for 1\leq j\leq q. Then y\in[0,1]^E and y(E)=L+\sum_{j=1}^{q}d_j=r, so y\in\Delta(r,n). If e\notin H_i, the forbidden condition is y(H_i)>r-1. If e\in H_i, the identity y(H_i)=r-d(E\setminus H_i) gives the same condition. These regions are disjoint by Lemma 2.1.

Assume first that 0<L<1. For 1\leq i\leq\ell, let \mathcal C_i denote the full inserted boundary correction. Its block factor sends g to the function

The block position and external factors are those of \mathcal T_i^{\mathrm{forb}}. By Lemma 4.2, Lemma 4.4, \mathcal T_i^{\mathrm{forb}} is the original expansion restricted to violation of constraint i, minus \mathcal C_i.

On each domain of the common expansion of \mathcal A^q, subtracting the original forbidden terms multiplies the integrand by

By Lemma 4.7, this is 1 for allowed paths and 0 otherwise; the same holds for zero and unit evaluation terms. Lemma 3.8 therefore gives, at r-L,

The restriction imposes all hyperplane constraints on the original integration domains and evaluation terms. Their coefficients are nonnegative, as are those of the corrections by Lemma 4.2, Lemma 4.4; external \mathcal A factors preserve nonnegativity.

The corrections are added without further restrictions on their domains or reconstruction of internal block coordinates. Every term reaching the noninteger jump r-L has a continuous step, since all evaluations, including corrections, have integer jumps. Its kernel is therefore divisible by t, and division preserves nonnegative coefficients. Lemma 4.5 proves the assertion.

For L=0,1, set w_\varepsilon(u)=(1-\varepsilon)w(u)+\varepsilon/2 with 0<\varepsilon<1. These finite piecewise constant functions have values in [0,1] and integrals in (0,1), and for every integer j\geq0, \int_0^1u^jw_\varepsilon(u)\,du\to\int_0^1u^jw(u)\,du as \varepsilon\downarrow0. Keep \alpha,\beta fixed. Each coefficient of \Gamma is polynomial in finitely many moments and the endpoints, so \Gamma_{w_\varepsilon,\alpha,\beta}(G_e) converges coefficientwise to \Gamma_{w,\alpha,\beta}(G_e), preserving nonnegativity.

Lemma 4.5 gives

Summation over 0\leq a\leq t and telescoping give

for every positive integer t, hence as a polynomial identity. Lemma 3.1 gives (?). Each coefficient of \Gamma_v(G_e) is polynomial in v; coefficient extraction commutes with its Riemann integral because the sum is finite.

Proposition 4.8 proves both nonnegativity assertions: use w=\mathbf1_{[1-v,1]}, \alpha=1, \beta=1-v for \Gamma_v(G_e), as in (?), and w=0, \alpha=1, \beta=0 for G_e(t,1)=\Gamma_{0,1,0}(G_e). The specialization \Gamma_{0,1,0} differs from \Gamma_v at v=0: since \Gamma_0(X^s)=[\lambda^s](1-\lambda)^{-2}=s+1,

for every polynomial G(t,X).

Coordinate faces and connected minors. Choose a circuit containing e,f and extend the independent set obtained by removing f to a basis B. This basis avoids f, and the chosen circuit is the unique circuit in B\cup\{f\}. Thus ef is an edge of the connected fundamental graph. Starting with this edge and successively adding adjacent vertices gives the sets S_h with connected induced subgraphs.

The coordinate face

contains \mathbf1_B. Removing its fixed coordinates identifies it with P(N_h), where N_h=(M/(B\setminus S_h))|S_h. For b\in B\cap S_h and g\in S_h\setminus B,

Indeed, the contraction basis correspondence [Oxley2011, Corollary 3.1.8] gives the equivalence before deletion. The basis B\cap S_h survives deletion, preserving rank, and the exchanged set contains no deleted element. The fundamental graph of N_h is therefore the connected induced graph on S_h. Hence N_h is connected, \dim P(N_h)=h, and its affine hull is x(S_h)=r(N_h).

Root slices. Let \bar x be the average of all basis indicators of N_h. A supporting functional maximal at \bar x is maximal at every basis indicator, hence constant on P(N_h); thus \bar x is in its relative interior. Since N_h is connected and has at least two elements, it has neither loops nor coloops; every coordinate of \bar x lies in (0,1). Set v_0=\bar x_e and choose bases D_0,D_1 with e\notin D_0 and e\in D_1. For 0<v<1, set

Then x_e(v)=v. The positive coefficient of \bar x keeps x(v) in the relative interior with all coordinates in (0,1). Since x_e is nonconstant on the h-dimensional affine hull, its level set has dimension h-1. A relative neighborhood of x(v) in that level set remains in the polytope and in (0,1)^{S_h}. Restoring the fixed coordinates gives the required root slice; for h=1 it is a point.

Allowed paths and integer prefixes. Use (?) and fix 1\leq h\leq q. Lemma 5.3 gives a coordinate face with h unfixed nonroot coordinates, including f=1. Write their jumps in order as y_1,\ldots,y_h, and let j count the frozen unit jumps. Their root slice satisfies

Choose the integration term at these coordinates and the zero or unit evaluation at every fixed coordinate. All points of this slice satisfy the hyperplane inequalities, so this path term is allowed there. Connectedness of the minor makes the displayed sum its only affine equation.

The first step is continuous. Every frozen step therefore starts at an integer plus a nonempty prefix \sum_{k=1}^{a}y_k. For a=h this is r-v-j\notin\mathbb Z. For 1\leq a<h, increasing a prefix coordinate and decreasing one outside it shows that the prefix is nonconstant on the fixed-sum affine hull. Since it lies in (0,a), the conditions that it be integral form finitely many proper affine hyperplanes. For h=1 there are no proper nonempty prefixes.

A positive integral for h\geq2. These hyperplanes cannot cover the relatively open slice: a line with direction parallel to none of them meets each at most once, so a short segment in the slice contains a point outside them all. At this point every frozen step starts at a noninteger, and both weights m(u) and 1-m(u) are positive.

Eliminate the last continuous coordinate by y_h=r-v-j-\sum_{k=1}^{h-1}y_k. Its coefficient in the total-jump equation is 1, so changing to the final point has derivative 1. Let \Omega\subseteq(0,1)^{h-1} be the allowed domain of the remaining integration variables and \omega the product of the frozen weights after elimination. Projection onto these variables is an affine bijection from the fixed-sum affine hull to \mathbb R^{h-1}, so the relatively open root slice projects to an open subset of \Omega. Only these continuous coordinates are integrated; the evaluation factors fix the remaining coordinates.

A sufficiently small closed box Q=\prod_{k=1}^{h-1}[a_k,b_k] about the chosen point lies in \Omega, has a_k<b_k, and avoids the exceptional hyperplanes. The frozen weights are continuous and positive on Q, so \omega\geq\eta>0 there. Hence

With no frozen steps the product is 1. Thus the selected term has a positive coefficient of t^h in the allowed kernel.

One continuous step and the coefficients. For h=1, the continuous step is f=1 and y_1=r-v-j\in(0,1) forces j=r-1, y_1=1-v. Every later starting point has fractional part 1-v. The q-r frozen zero jumps have weight v and the r-1 frozen unit jumps have weight 1-v, giving the positive coefficient v^{q-r}(1-v)^{r-1} of t.

For each h, division by t gives a positive contribution in degree h-1. All other allowed terms and boundary corrections have nonnegative coefficients by Proposition 4.8. Therefore

This completes the proof.