Gibbs-Markov property of the discrete Gaussian free field (source code)

= Gibbs-Markov property of the discrete Gaussian free field
{c}

Conditionally on all other values, a discrete Gaussian free field value is Gaussian with mean equal to the weighted average of its neighbors and variance equal to the reciprocal local precision.