One-point function estimates for loop-erased random walk in three dimensions

In this work, we consider loop-erased random walk (LERW) in three dimensions and give an asymptotic estimate on the one-point function for LERW and the non-intersection probability of LERW and simple random walk in three dimensions for dyadic scales. These estimates will be crucial to the characterization of the convergence of LERW to its scaling limit in natural parametrization. As a step in the proof, we also obtain a coupling of two pairs of LERW and SRW with different starting points conditioned to avoid each other.