Uniqueness conjecture for the Brownian path decomposition

From papers

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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.