1: $ on all edges. Then,

2: the critical values for convergence of LBP satisfy

3: $