hardcore model,anti-ferro Ising model: (for B,<1) SSM in△-reg.tree in reg.trees: WSM→SSM SSM in graphs of degree s△ VSM in△-reg.tree> SSM in graphs of degree s△
SSM in Δ-reg. tree SSM in graphs of degree ≤Δ in reg. trees: WSM SSM hardcore model, anti-ferro Ising model: (for ) , < 1 WSM in Δ-reg. tree SSM in graphs of degree ≤Δ
hardcore model,anti-ferro Ising model: (for B,y<1) SSM in trees in reg.trees: SSM in△-reg.tree of degree <A WSM→SSM SSM in trees SSM in graphs of degree≤△ of degree≤△ fixing SAW-tree
SSM in trees of degree ≤Δ SSM in graphs of degree ≤Δ SSM in trees of degree ≤Δ SSM in Δ-reg. tree fixing SAW-tree hardcore model, anti-ferro Ising model: (for ) , < 1 in reg. trees: WSM SSM