We establish two degree-dependent results for spatially coupled MacKay-Neal codes on binary-input memoryless symmetric channels. The ensembles use uniform random smoothing and shorten both variable types outside the active chain. For , every integer , and each channel of capacity greater than , there is a sequence of code realizations whose actual transmitted rate tends to and whose average sum-product bit error tends to zero. For and each , an interval of binary symmetric channels has capacity greater than but retains positive transmitted-bit error under terminated density evolution as chain length grows relative to coupling width. Both results follow from the signs of the same density-valued potential at uncoupled fixed points. The degree-three proof combines analytic bounds for with exact interval certificates for , followed by threshold saturation and a projection argument for the actual rate. The degree-two proof analytically constructs a fixed point with negative potential and controls both boundary contributions. We relate the potential and the degree-two bifurcation condition to earlier statistical-mechanical predictions. The finite certificates and verification software are available in a versioned supplement.

生成讲解博客的中文版本

生成AI智能校验的中文版本