Symmetries and exponential error reduction in YM theories on the lattice: Theoretical aspects and simulation results