Polymatroid monotonicity conjecture for matroid h*-vectors

Let EE be a finite set, let P1\mathrm{P}_1 and P2\mathrm{P}_2 be polymatroids on EE, and let B(P1)B(\mathrm{P}_1) and B(P2)B(\mathrm{P}_2) denote their base polytopes. Suppose that

B(P1)B(P2).B(\mathrm{P}_1)\subseteq B(\mathrm{P}_2).

For a loopless matroid M\mathrm{M} on EE, let hi(M,LB(P))h^*_i(\mathrm{M},\underline{\mathcal{L}}_{B(\mathrm{P})}) be the iith coefficient of the hh^*-vector associated with the line bundle LB(P)\underline{\mathcal{L}}_{B(\mathrm{P})}. Polymatroid monotonicity conjecture. For every loopless matroid M\mathrm{M} and every ii,

hi(M,LB(P1))hi(M,LB(P2)).h^*_i(\mathrm{M},\underline{\mathcal{L}}_{B(\mathrm{P}_1)})\leq h^*_i(\mathrm{M},\underline{\mathcal{L}}_{B(\mathrm{P}_2)}).

This is inspired by Stanley's monotonicity result for hh^*-vectors of polytopes and specializes to the corresponding conjecture for the Boolean matroid. Its validity for general loopless matroids remains open.

Sources & referencesView supporting material

Primary source

Christopher Eur and Matt Larson, “K-theoretic positivity for matroids”, arXiv:2311.11996 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.