Polymatroid monotonicity conjecture for matroid h*-vectors

About 3 years old · traced to

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,L‾B(P))h^*_i(\mathrm{M},\underline{\mathcal{L}}_{B(\mathrm{P})}) be the iith coefficient of the h∗h^*-vector associated with the line bundle L‾B(P)\underline{\mathcal{L}}_{B(\mathrm{P})}. Polymatroid monotonicity conjecture. For every loopless matroid M\mathrm{M} and every ii,

hi∗(M,L‾B(P1))≤hi∗(M,L‾B(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 h∗h^*-vectors of polytopes and specializes to the corresponding conjecture for the Boolean matroid. Its validity for general loopless matroids remains open.

References

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.