비정규 그래프에서 양자 마코프 체인 혼합 가속 및 큐비트 절감

초록

이 논문은 모든 가역 마코프 체인에 대해 이산시간 양자 워크와 양자 빠른 전진(quantum fast‑forwarding) 기법을 결합한 새로운 q샘플링 알고리즘을 제안한다. 비정규 그래프에서는 기존 방법보다 로그 n 요인을 없애고, 정규 그래프에서는 기존 양자 알고리즘과 동일한 2차 속도 향상을 유지하면서 필요 큐비트 수를 감소시킨다.

상세 분석

본 연구는 가역 마코프 체인 P의 고유값 간격 δ와 최소 정지 확률 π_min을 핵심 파라미터로 삼아, 양자 워크 연산자를 이용한 q샘플링 복잡도를 기존 Θ(√HT·log π_min⁻¹·log ε⁻¹) 수준에서 크게 개선한다. 핵심 기술은 두 가지이다. 첫째, 양자 보간 워크(quantum interpolated walk) 방법을 사용해 초기 상태와 목표 정지 상태가 모두 1‑고유벡터와 일정한 겹침(overlap)을 갖도록 인터폴레이션 파라미터 s를 선택한다. 이때 기존에는 위상 추정(phase estimation)으로 1‑고유벡터를 구분했지만, 위상 추정은 ε‑의존적인 반복 횟수와 다수의 ancilla 큐비트를 요구한다. 둘째, 양자 빠른 전진(quantum fast‑forwarding) 기법을 도입해 클래식 랜덤 워크의 t 단계 진행을 √t 단계 양자 워크로 시뮬레이션한다. 이 과정에서 1‑고유벡터와 그 외 고유벡터를 효과적으로 구분할 수 있어, ε‑의존성을 √HT·log ε⁻¹ 수준으로 낮추고 ancilla 레지스터의 깊이를 log √HT+log log ε 로 압축한다.

비정규 그래프에서는 정점별 정지 확률 π_g가 사전에 알려지지 않은 경우가 일반적인데, 저자들은 π_g 를 로그 스케일로 이진 탐색하는 대신, π_min 과 그래프 크기 n 의 비율인 log(π_min⁻¹/n) 로 제한된 추가 비용만을 요구하도록 새로운 추정 절차를 설계했다. 이 절차는 희소 그래프(π_min = Θ(1/n))에서 상수 시간에 가깝게 동작한다. 정규 그래프에서는 모든 정점이 동일 확률을 가지므로 π_g 를 별도 추정할 필요가 없으며, 제안된 알고리즘은 기존 Θ(√HT·log ε⁻¹) 복잡도와 동일하지만 ancilla 수를 log √HT+log log ε 로 감소시킨다.

또한, 성공 확률을 1‑ε 로 높이기 위해 amplitude amplification을 적용했으며, 이를 위해 기존 방법보다 적은 ancilla 큐비트로 구현 가능한 새로운 정지 상태 반사 연산 ˜R_π 를 제안한다. 이 반사 연산은 양자 빠른 전진을 이용해 1‑고유벡터를 선택적으로 위상 변환함으로써 구현되며, 독립적인 응용 가능성을 가진다.

전체적으로 본 논문은 (i) 비정규 그래프에서 로그 n 요인을 제거하고, (ii) 정규·비정규 모두에서 ancilla 큐비트 수를 현저히 줄이며, (iii) 기존 양자 q샘플링 알고리즘이 달성하지 못했던 완전 2차 속도 향상을 제공한다는 점에서 의미가 크다.