우리는 랜덤화된 해밀토니안 몬테카를로 (Randomized Hamiltonian Monte Carlo, RHMC) 알고리즘이 로그-오목 확률 분포에서 샘플링할 때 가속된 혼합 시간 보장을 갖는다는 것을 보여줍니다. RHMC는 임의의 적분 시간을 위해 연속 시간 해밀토니안 역학을 반복적으로 시뮬레이션하고, 각 시뮬레이션 사이에 속도를 독립적인 가우시안 랜덤 변수로 재설정하는 방식으로 진행됩니다. 대상 분포가 로그-오목이고 $\alpha$-Talagrand 부등식을 만족하며 (예를 들어, 대상 분포가 $\alpha$-강하게 로그-오목인 경우), 평균이 $\Theta(\alpha^{-1/2})$인 삼각형 또는 지수 분포에서 임의 적분 시간을 사용하면, RHMC는 KL 발산(KL divergence) 측면에서 지수적으로 빠르게 수렴하며, KL 발산에서 오차 $\varepsilon$에 도달하는 총 적분 시간은 $O(\alpha^{-1/2} \log(\varepsilon^{-1}))$으로 스케일링합니다. 또한 대상 분포가 로그-오목일 때, 평균이 지수적으로 증가하는 삼각형 분포의 임의 적분 시간 시퀀스를 사용하면, KL 발산에서 오차 $\varepsilon$에 도달하는 총 적분 시간은 $O(\varepsilon^{-1/2})$으로 스케일링한다는 것도 보여줍니다. 우리의 분석은 해밀토니안 역학을 따른 평균 KL 발산에 대한 경계에 의존하며, 이는 해밀토니안 역학 기반의 가속 최적화 방법에 관한 유사한 결과에서 영감을 받았습니다.