Existence of pathwise unique Langevin processes on polytopes with perfect reflection at the boundary

Exploiting an explicit projection from the real line into an interval, we prove existence and pathwise uniqueness of one-dimensional Langevin processes confined to an interval with perfect reflection at the boundary. This result is subsequently generalized to multi-dimensional Langevin processes confined to box domains or general polytopes.