 Gibbs-Markov property of the discrete Gaussian free field

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.