Local set of a Gaussian free field
= Local set of a Gaussian free field
A random set is local for a <Gaussian free field> if, conditionally on the set and its associated <harmonic function>, the remaining field is an independent zero-boundary field in its complement. This extends the deterministic <Domain Markov property of the Gaussian free field> to appropriate random revealed domains. Arbitrary field-dependent random sets need not have this property.