Put and . Both events consist of loops surrounding ; lies in the disc of radius , so its loops remain in . Translation invariance and the pointed representation implySince , cancel it. Outer boundaries commute with translation, and is exactly . HenceThe half-disc condition ensures that translating a relevant filled Brownian trace still lies inside the original unit-disc cutoff. This proves the asserted event identity; it does not claim translation invariance of the entire measure rooted at .
Articles by others on the same topic
There are currently no matching articles.