Family 229Probability and statistical mechanicsNo LeanNot yet digested
Exact three- and four-state reconstruction thresholds and four-state tree capacity
Proves the exact reconstruction threshold , with nonreconstruction at equality, for three-state symmetric and four-state ferromagnetic broadcasting on regular trees (d ≥ 2) and observed Poisson trees (mean d > 1 and d > 0, respectively), with Poisson advantage averaged without conditioning on survival. The three-state theorem allows both signs of λ and gives the exact weak-recovery threshold for the symmetric three-community stochastic block model.
Manuscripts in this family · 3
The Reconstruction Threshold for the Ferromagnetic Four-State Potts Model
Oct 5, 2026·four-state-potts.pdf
We establish the exact Kesten–Stigum reconstruction threshold for the ferromagnetic four-state Potts broadcast model on every regular d-ary tree with d ≥ 2 and every Poisson Galton–Watson tree of mean d > 0. Reconstruction occurs exactly when ; we prove nonreconstruction at and below the threshold, including equality. In the Poisson model the whole tree is observed and the reconstruction advantage is averaged without conditioning on survival. The proof uses reproducible exact-arithmetic verification of polynomial inequalities.
A Capacity Criterion for Four-State Potts Reconstruction on Trees
Oct 5, 2026·four-state-capacity.pdf
For the ferromagnetic four-state broadcast model with , we prove that reconstruction on a bounded-degree deterministic rooted tree occurs exactly when its L capacity with edge resistances is positive. This gives an exact criterion without regularity or growth-rate assumptions on the tree, including at the exponential critical boundary.
The exact reconstruction threshold for the three-state symmetric channel
Sep 25, 2026·paper.pdf
We determine the exact reconstruction threshold for the symmetric three-state broadcast process on every regular b-ary tree, b ≥ 2, and every observed Poisson Galton–Watson tree of mean d > 1. Reconstruction occurs exactly when , with d = b in the regular model; there is non-reconstruction at equality for either sign of the channel parameter. The Poisson advantage is averaged over trees and spins without conditioning on survival. This resolves the all-degree three-state regular-tree prediction. Combining the Poisson theorem with known tree-to-graph and algorithmic results gives the exact weak-recovery threshold for the symmetric three-community sparse stochastic block model with independent uniform labels, fixed within- and between-community rates , and mean degree : recovery is possible exactly when . Above this threshold it is achievable in time; at or below it, weak recovery is information-theoretically impossible.