Decelle–Krzakala–Moore–Zdeborová Potts-model conjecture for k communities

Let G(n,a/n,b/n)\mathcal{G}(n,a/n,b/n) be the planted partition model with kk communities, where a>ba>b. Let c(k)c(k) be a threshold depending only on kk. Decelle–Krzakala–Moore–Zdeborová's Potts-model conjecture. For any kk, there exists c(k)c(k) such that

(ab)2a+(k1)b<c(k)\frac{(a-b)^2}{a+(k-1)b}<c(k)

implies that the clustering problem cannot be solved;

c(k)<(ab)2a+(k1)b<kc(k)<\frac{(a-b)^2}{a+(k-1)b}<k

implies that it is solvable but not in polynomial time; and

(ab)2a+(k1)b>k\frac{(a-b)^2}{a+(k-1)b}>k

implies that it can be solved in polynomial time. When k4k\leq4, c(k)=kc(k)=k, so the intermediate case does not occur; when k5k\geq5, c(k)<kc(k)<k. This conjecture predicts distinct information-theoretic and computational transitions for the multi-community model, motivated by phase transitions in the Potts model on trees. The source notes that non-reconstruction results are less precise for k>2k>2 and gives no resolution of the conjecture.

Sources & referencesView supporting material

Primary source

Elchanan Mossel, Joe Neeman and Allan Sly, “Stochastic Block Models and Reconstruction”, arXiv:1202.1499 (2012).

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.