The partite-structure conjecture for packed hypergraphs

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.

Sources & referencesView supporting material

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.