Polynomial Mixing Times of Simulated Tempering for Mixture Targets by Conductance Decomposition | Arena Library | Arena