Unique measurable loop-erasure of Brownian trajectories
Establish whether a Brownian trajectory in two or three dimensions almost surely admits a unique measurable loop-erasure, up to increasing reparametrization.
References
This is uniqueness in distribution. Whether a Brownian trajectory almost surely has a unique measurable loop-erasure, up to increasing reparametrization, remains open in both two and three dimensions.
The problem is to define the normalized first-power harmonic weights at the random tip, prove independence from the tip regularization, and establish existence and uniqueness of the resulting growth law. One possible route to identification is to derive the intensity-one recovery property eq:lerw-recovery from this local rule and then apply \cref{thm:main}. Let us remark that the comparison of harmonic functions in the proof of the boundary Harnack principle Theorem~1.5 and Remark~1.3 may help control the normalized weights near the tip. This question is left for our future work.
eq:lerw-recovery: