The positive hypergraph stable-involution conjecture

About 5 years old · traced to

Let HH be an rr-uniform hypergraph, or rr-graph. Call HH positive when its corresponding hypergraph homomorphism-density functional is nonnegative for every bounded measurable symmetric rr-variate function. An involution of V(H)V(H) is a stable involution if it preserves the edges and, for the partition V(H)=V0⊔V+⊔V−V(H)=V_0\sqcup V_+\sqcup V_- induced by its fixed points and exchanged pairs, no edge is contained entirely in V0V_0 and no edge intersects both V+V_+ and V−V_-. The positive hypergraph stable-involution conjecture. An rr-graph is positive if and only if it has a stable involution. The existence of a stable involution is shown to imply positivity, while the converse is presented as a conjectural extension of the positive graph phenomenon to uniform hypergraphs. The source does not provide resolution evidence for this statement, so its status is open.

References

Primary source

Alexander Sidorenko, “On positive hypergraphs”, arXiv:2110.05349 (2022).

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.