Tagged particle processes and their non-explosion criteria

We give a derivation of tagged particle processes from unlabeled interacting Brownian motions. We give a criteria of the non-explosion property of tagged particle processes. We prove the quasi-regularity of Dirichlet forms describing the environment seen from the tagged particle, which were used in previous papers to prove the invariance principle of tagged particles of interacting Brownian motions.