Uniqueness conjecture for the Brownian path decomposition

At least 10 years old · documented by

Let DD be the unit ball, let (KD,dH)(\mathcal K_D,d_H) be the space of compact subsets of DD equipped with the Hausdorff metric, and let Γ\Gamma be the set of simple paths starting at 00 and meeting ∂D\partial D only at their endpoint. Let K1\mathrm{K}_1 and K2\mathrm{K}_2 be random elements of (KD,dH)(\mathcal K_D,d_H) such that K1,K2∈Γ\mathrm{K}_1,\mathrm{K}_2\in\Gamma almost surely, and let BS\mathrm{BS} be a Brownian loop soup in the unit ball independent of both.

Uniqueness conjecture. If, for each i∈{1,2}i\in\{1,2\}, the union of Ki\mathrm{K}_i and all loops from BS\mathrm{BS} intersecting Ki\mathrm{K}_i has the same law as the trace of Brownian motion stopped upon exiting the unit ball, then K1\mathrm{K}_1 and K2\mathrm{K}_2 have the same law in (KD,dH)(\mathcal K_D,d_H).

In two dimensions, the analogous decomposition is obtained from the scaling limit of loop-erased random walk, namely SLE2\mathrm{SLE}_2; in three dimensions the paper proves that subsequential scaling limits are simple paths and gives the corresponding Brownian-loop-soup decomposition, but uniqueness of the law of the simple path remains conjectural.

References

Primary source

Artem Sapozhnikov and Daisuke Shiraishi, “On Brownian motion, simple paths, and loops”, arXiv:1512.04864 (2015).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.