The partite-structure conjecture for packed hypergraphs

About 5 years old · traced to

Let HH be a hypergraph with edge ideal I=I(H)I=I(H). Write α(I)\alpha(I) for the least degree of a nonzero homogeneous element of II, and let ht⁡(I)\operatorname{ht}(I) denote the height of II. A hypergraph is (a:b)(a:b)-partite when it has the specific partite structure used to obtain the Waldschmidt lower bound α^(I)≥a/b\widehat{\alpha}(I)\geq a/b. The partite-structure conjecture. If HH has the packing property, then HH is

(α(I)ht⁡(I):ht⁡(I))-partite.(\alpha(I)\operatorname{ht}(I):\operatorname{ht}(I))\text{-partite}.

The proposed structure would apply the lower bound α^(I)≥a/b\widehat{\alpha}(I)\geq a/b with a=α(I)ht⁡(I)a=\alpha(I)\operatorname{ht}(I) and b=ht⁡(I)b=\operatorname{ht}(I), yielding α^(I)≥α(I)\widehat{\alpha}(I)\geq\alpha(I). Together with the general inequality α^(I)≤α(I)\widehat{\alpha}(I)\leq\alpha(I), this would prove equality for ideals with the packing property.

References

Primary source

Hrishikesh Bodas, Benjamin Drabkin, Caleb Fong, Su Jin, Justin Kim, Wenxuan Li, Alexandra Seceleanu, Tingting Tang and Brendan Williams, “Consequences of the packing problem”, arXiv:2101.04010 (2021).

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.