where T (dt) is a formal transition operator that propagates the coefficients as designed, e iφ 0 ξ = c 0,ξ (t)/|c 0,ξ (t)| is the phase factor of c 0,ξ (t), and the random phase θ ξ is sampled based on a uniform distribution P (θ ξ ) expressed as