양자‑클래식 하이브리드 MCMC로 구현하는 공정한 최저상태 샘플링

초록

본 논문은 양자 어닐링·QAOA와 같은 양자 최적화 기법을 제안된 제안 단계로만 활용하고, 고전적인 메트로폴리스‑헤이스팅 수용 단계에서 상세 균형을 강제함으로써, 퇴화된 최저상태(ground‑state)들을 거의 균등하게 샘플링할 수 있음을 실험적으로 입증한다. 작은 Ising 모델과 무작위 k‑SAT(특히 2‑SAT, 3‑SAT) 인스턴스에 대해 기존의 PT‑ICM·WalkSAT 대비 공정성과 전이 횟수에서 경쟁력을 보이며, 양자‑클래식 하이브리드 MCMC가 솔루션 열거와 카운팅에 실용적인 프레임워크가 될 수 있음을 제시한다.

상세 분석

이 연구는 두 가지 핵심 질문에 답한다. 첫째, 전통적인 transverse‑field driver(H_d = −∑σ_i^x)만을 사용한 양자 동역학이 본질적으로 편향된 전이 확률을 갖는다는 점을 감안했을 때, 이를 제안(proposal) 단계로만 이용하고 고전적인 수용(acceptance) 절차에서 상세 균형(detailed balance)을 강제하면 공정한 샘플링이 가능한가? 둘째, 이러한 하이브리드 스킴이 실제로 NP‑hard 수준의 문제, 예컨대 임계점 근처의 무작위 k‑SAT에 적용될 때 어느 정도의 샘플링 품질과 효율성을 유지하는가?

논문은 먼저 5‑스핀 Ising 모델(±1 결합)에서 퇴화된 최저에너지 상태가 여러 개 존재하도록 설계하였다. QA와 QAOA(p = 5)만을 사용한 직접 샘플링은 특정 최저상태에 대한 출현 빈도가 지수적으로 억제되는 편향을 보였다. 반면, 제안 단계에 양자 회로의 짧은 시간 진화를 이용하고, 메트로폴리스‑헤이스팅 수용 확률 A(σ′|σ)=min