부분 아디아빗 진화를 이용한 양자 검색

초록

이 논문은 부분 아디아빗 진화 기법을 활용한 양자 검색 알고리즘을 제안한다. 전체 시스템을 두 차원 서브스페이스로 축소한 뒤, 에너지 갭을 분석하여 시간 복잡도를 도출한다. 기존 로컬 아디아빗 검색이 갖는 $O(\sqrt{N/M})$ 복잡도보다 $O(\sqrt{N}/M)$ 로 개선함을 보인다.

상세 분석

본 연구는 Tulsi가 제안한 부분 아디아빗(partial adiabatic) 진화 개념을 양자 검색 문제에 적용한다는 점에서 의미가 크다. 전통적인 아디아빗 알고리즘은 전체 해밀토니안을 서서히 변형시키면서 시스템을 기저 상태에서 목표 상태로 이동시키지만, 시간 스케줄을 전체 구간에 걸쳐 균등하게 적용한다. 반면 부분 아디아빗은 특정 구간에서만 급격히 변화를 주어, 필요한 최소 에너지 갭을 확보하면서도 전체 진행 시간을 단축한다. 논문은 검색 문제를 $N$개의 후보 중 $M$개의 마크된 상태를 찾는 형태로 설정하고, 초기 해밀토니안을 $H_0=I-|s\rangle\langle s|$ (균등 초월 상태 $|s\rangle$)와 목표 해밀토니안을 $H_f=I-\sum_{x\in\mathcal{M}}|x\rangle\langle x|$ 로 정의한다. 두 해밀토니안 사이의 선형 보간 $H(s)= (1-s)H_0 + s H_f$ 를 고려할 때, 전체 Hilbert 공간은 $|s\rangle$와 마크된 상태들의 균등 초월 조합 $|w\rangle$ 로 생성되는 2차원 서브스페이스에 제한될 수 있다. 이 서브스페이스 내에서 해밀토니안은 2×2 행렬 형태로 표현되며, 고유값 차이(에너지 갭) $\Delta(s)$ 를 정확히 계산할 수 있다. 부분 아디아빗에서는 $s$ 를 $s_c$ 부근에서만 급격히 변하게 하여, $\Delta_{\min}$ 가 $O(M/\sqrt{N})$ 로 유지되는 구간을 선택한다. 아디아빗 정리에 따라 필요한 실행 시간 $T$ 는 $\max_s \frac{|\langle E_1(s)|\dot H(s)|E_0(s)\rangle|}{\Delta(s)^2}$ 로 추정되며, 여기서 $\dot H(s)$ 는 $s$ 에 대한 미분이다. 부분 진화 구간에서 $\dot H(s)$ 가 제한적이므로, 전체 복잡도는 $T = O!\left(\frac{\sqrt{N}}{M}\right)$ 로 감소한다. 이는 기존 로컬 아디아빗 검색이 달성한 $O(\sqrt{N/M})$ 보다 $M$ 이 1보다 큰 경우에 확연히 우수하다. 또한, 이 복잡도는 Grover 알고리즘의 $O(\sqrt{N/M})$ 와 비교했을 때, $M$ 가 $O(\sqrt{N})$ 이상이면 동일하거나 더 나은 성능을 보인다. 논문은 수치 시뮬레이션을 통해 이론적 예측을 검증하고, 부분 아디아빗 스케줄이 실제 양자 회로 구현 시 제어 파라미터의 부드러운 변화를 요구함에도 불구하고, 고전적인 제어 오버헤드가 크게 증가하지 않음을 확인한다. 따라서 이 접근법은 제한된 양자 자원 하에서 다중 마크된 검색 문제를 효율적으로 해결할 수 있는 실용적인 대안으로 평가된다.