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 imply
Since , cancel it. Outer boundaries commute with translation, and is exactly . Hence
The 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 (0)

There are currently no matching articles.