The positive hypergraph stable-involution conjecture

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)=V0V+VV(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 VV_-. 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.

Sources & referencesView supporting material

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.