It is physically understood why the standard Metropolis-Hasting algorithm slows down near the critical temperature, since it doesn’t utilize the divergence of the correlation length. However, I’m surprised that I couldn’t find a mathematical proof on this topic considering how old it is. I’m especially surprised that cluster update algorithms (as a solution to critical slow-down) also do not seem to have a proof of convergence rate despite it being based on FK-percolation which has a plethora of literature on it.
Question: Does anyone know how to prove the existence of critical slow-down of the standard Metropolis Hasting algorithm? Or alternatively, prove that cluster update algorithms can bypass this problem?