아디아빗 양자 연산의 가능성과 한계

초록

본 논문은 작은 계수(rank) 문제 해밀토니안 $H_F$와 임의의 초기 해밀토니안 $H_I$에 대해 아디아빗 양자 연산(AQC)의 실행 시간을 분석한다. 일반적인 $H_I$에 대해 실행 시간은 $O(\sqrt N)$ 이하로는 줄어들 수 없으며, 특정 $H_I$를 설계하면 실제로 $O(\sqrt N)$에 도달한다. 반면, 장치가 외란에 강인하도록 설계될 경우 실행 시간 하한은 $O(N/\ln N)$에 가깝게 제한된다.

상세 분석

논문은 먼저 작은 차원(rank) 문제 해밀토니안 $H_F$를 가정하고, 초기 해밀토니안 $H_I$를 완전히 일반적인 형태로 두었다. 아디아빗 정리를 적용하면 시스템이 바뀌는 동안 최소 에너지 갭 $\Delta_{\min}$이 전체 연산 시간 $T$와 역비례한다는 관계 $T\gtrsim \Delta_{\min}^{-2}$가 도출된다. 여기서 $H_F$가 작은 랭크를 갖는 경우, 대부분의 고유 상태는 $H_F$와 거의 직교하므로 갭은 $O(1/\sqrt N)$ 수준으로 축소된다. 따라서 일반적인 $H_I$에 대해 $T$는 최소 $O(\sqrt N)$보다 작아질 수 없으며, 이는 고전적인 무작위 탐색의 $O(N)$에 비해 제곱근 가속을 제공한다는 점에서 흥미롭다.

다음으로 저자들은 $H_I$를 특수하게 설계하여 초기와 최종 상태 사이의 전이 경로를 최적화한다. 구체적으로, $H_I$를 $|s\rangle\langle s|$ 형태의 균등 초월 상태와 $H_F$의 비표준 고유벡터를 연결하도록 구성함으로써, 전체 스펙트럼의 최소 갭을 $O(1/\sqrt N)$로 유지하면서도 전이 확률을 거의 1에 가깝게 만든다. 이 구성은 기존의 그로버 검색 알고리즘과 수학적으로 동등함을 보이며, 마킹된 아이템 수가 사전에 알려지지 않은 경우에도 동일한 복잡도를 달성한다.

반대 입장을 제시한 ‘스케프틱’ 파트에서는 실제 장치가 환경 잡음, 제어 오차, 그리고 해밀토니안 파라미터의 미세 변동에 강인해야 함을 강조한다. 이러한 강인성을 모델링하기 위해 해밀토니안에 작은 무작위 교란 $\epsilon V$를 추가하고, 아디아빗 경로가 교란에 의해 급격히 변형되는 경우를 분석한다. 결과적으로 최소 갭은 $O(\ln N / N)$ 수준으로 감소하고, 이에 따라 실행 시간 하한은 $T\gtrsim O(N/\ln N)$이 된다. 이는 이론적으로는 $O(\sqrt N)$ 가속이 가능하더라도, 실용적인 장치에서는 여전히 선형에 가까운 복잡도가 요구될 수 있음을 시사한다.

전체적으로 이 논문은 AQC가 특정 설계 하에서 그로버 검색과 동등한 제곱근 가속을 제공할 수 있음을 증명함과 동시에, 물리적 구현의 강인성 요구가 실제 성능을 크게 제한할 수 있음을 경고한다.