양자 아다iabatic 알고리즘의 지수적 복잡성: 잠긴 SAT 문제들의 실험적 분석

초록

**
본 논문은 잠긴 1‑in‑3 SAT, 잠긴 2‑in‑4 SAT, 3‑regular 3‑XOR SAT 세 가지 제약 만족 문제에 대해 가장 단순한 드라이버 해밀토니안을 사용한 양자 아다iabatic 알고리즘(QAA)의 실행 시간을 결정하는 최소 에너지 갭을 양자 몬테카를로 시뮬레이션으로 조사한다. 모든 모델에서 시스템 크기 N이 커질수록 최소 갭이 지수적으로 감소함을 확인했으며, 이는 QAA의 복잡도가 지수적으로 증가함을 의미한다. 또한 고전적 WalkSAT 알고리즘과의 비교를 통해 문제의 고전적 난이도가 양자 알고리즘에서도 동일하게 난이도를 좌우한다는 결론을 제시한다.

**

상세 분석

**
이 연구는 양자 아다iabatic 알고리즘(QAA)의 복잡성을 평가하기 위해 최소 갭 ΔE_min 의 크기 의존성을 정량화한다. 저자들은 세 가지 NP‑complete 수준의 “잠긴” 제약 만족 문제—잠긴 1‑in‑3 SAT, 잠긴 2‑in‑4 SAT, 그리고 3‑regular 3‑XOR SAT—를 선택하였다. 잠긴 문제는 각 변수(스핀)가 최소 두 개의 절에 포함되고, 만족 배정 사이를 단일 비트 플립만으로는 이동할 수 없도록 설계되어, 전형적인 인스턴스가 고유 만족 배정(USA)을 갖도록 만든다. 이는 최소 갭 측정에 있어 퇴화된 바닥 상태가 없는 명확한 스펙트럼을 제공한다.

드라이버 해밀토니안은 가장 단순한 형태인 ˆH_d = ½∑_i(1 − σ_i^x) 로, 모든 스핀에 동일한 전이장(transverse field)을 가한다. 문제 해밀토니안 ˆH_p 은 각 절에 대해 만족 여부에 따라 0 또는 1의 에너지를 부여하도록 구성되며, 구체적인 연산자는 식 (4)–(6) 에 명시되어 있다. QAA는 ˆH(s) = s ˆH_p + (1 − s) ˆH_d 로 선형 보간하며, s∈