On Brownian motion, simple paths, and loops

We provide a decomposition of the trace of the Brownian motion into a simple path and an independent Brownian soup of loops that intersect the simple path. More precisely, we prove that any subsequential scaling limit of the loop erased random walk is a simple path (a new result in three dimensions), which can be taken as the simple path of the decomposition. In three dimensions, we also prove that the Hausdorff dimension of any such subsequential scaling limit lies in ( 1 , 5 3 ] . We conjecture that our decomposition characterizes uniquely the law of the simple path. If so, our results would give a new strategy to the existence of the scaling limit of the loop erased random walk and its rotational invariance.