The quarter-range tripartite hypergraph degree-sequence conjecture

From papers

A tripartite hypergraph degree sequence on n+n+nn+n+n vertices assigns degrees to the three vertex classes; it is graphic if it has a tripartite hypergraph realization. The quarter-range tripartite hypergraph degree-sequence conjecture. For every ε>0\varepsilon>0, sufficiently large nn, any such degree sequence with equal degree sums in the three vertex classes, every degree between n2/4n^2/4 and 3n2/43n^2/4, and each common class degree sum either at most

(717ε8)n3\left(\frac{7-\sqrt{17}-\varepsilon}{8}\right)n^3

or at least

(1+17+ε8)n3\left(\frac{1+\sqrt{17}+\varepsilon}{8}\right)n^3

is graphic. Conversely, whenever 0<ε<(173)/40<\varepsilon<(\sqrt{17}-3)/4, for all sufficiently large nn there exists a non-graphic tripartite hypergraph degree sequence with every degree in the same interval and common class degree sum

(5174+ε)3n34+(1714ε)n34.\left\lceil\left(\frac{5-\sqrt{17}}{4}+\varepsilon\right)\frac{3n^3}{4}+\left(\frac{\sqrt{17}-1}{4}-\varepsilon\right)\frac{n^3}{4}\right\rceil.

This conjecture refines the quarter-to-three-quarter degree-range observation by predicting exceptional degree-sum ranges where graphicness is guaranteed and a complementary range containing non-graphic sequences.

Progress summary

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

Sources & referencesView supporting material

Primary source

Runze Li and Istvan Miklos, “Dense, irregular, yet always graphic 3-uniform hypergraph degree sequences”, arXiv:2312.00555 (2023).

Solutions 0

No solutions have been posted yet.