[논문 리뷰] The geometry of quantum computation

Mark R. Dowling, Michael A. Nielsen|ArXiv.org|2006. 12. 31.

Quantum Mechanics and Applications인용 수 10

한 줄 요약

이 논문은 군집된 다양체 위에서 기하적 기하학적 프레임워크를 수립하여, 유니타리 진동을 곡면 위의 지오데식선으로 모델링함으로써 양자 회로 복잡도를 분석한다. 최적의 하밀토니안 진동이 보편적인 지오데식 방정식을 따르는 것으로 보여졌으며, 주어진 유니타리 연산자로 향하는 최소 길이 지오데식선을 계산하기 위한 변형 절차를 제안한다. 이는 기하학적 불변량과 곡률을 통해 양자 회로 복잡도의 하한을 도출하는 데 기여한다.

ABSTRACT

Determining the quantum circuit complexity of a unitary operation is closely related to the problem of finding minimal length paths in a particular curved geometry [Nielsen et al, Science 311, 1133-1135 (2006)]. This paper investigates many of the basic geometric objects associated to this space, including the Levi-Civita connection, the geodesic equation, the curvature, and the Jacobi equation. We show that the optimal Hamiltonian evolution for synthesis of a desired unitary necessarily obeys a simple universal geodesic equation. As a consequence, once the initial value of the Hamiltonian is set, subsequent changes to the Hamiltonian are completely determined by the geodesic equation. We develop many analytic solutions to the geodesic equation, and a set of invariants that completely determine the geodesics. We investigate the problem of finding minimal geodesics through a desired unitary, U, and develop a procedure which allows us to deform the (known) geodesics of a simple and well understood metric to the geodesics of the metric of interest in quantum computation. This deformation procedure is illustrated using some three-qubit numerical examples. We study the computational complexity of evaluating distances on Riemmanian manifolds, and show that no efficient classical algorithm for this problem exists, subject to the assumption that good pseudorandom generators exist. Finally, we develop a canonical extension procedure for unitary operations which allows ancilla qubits to be incorporated into the geometric approach to quantum computing.

연구 동기 및 목표

• 양자 회로 복잡도 분석을 위한 종합적인 기하학적 프레임워크를 구축하기 위해 리만 기하학을 활용한다.
• 유니타리 연산자의 다양체 위에서 리만-비바르티에 연결, 곡률, 지오데식 방정식을 규명한다.
• 항등원에서 목표 유니타리 연산자로 연결되는 최소 지오데식선을 계산하기 위한 변형 절차를 구축한다.
• 기하학적 거리와 양자 회로 복잡도 사이의 관계, 특히 하한에 대한 연결 고리를 확립한다.
• 이 리만 다양체 위에서 거리 값을 평가하는 데 필요한 계산 복잡도를 조사하고, 이를 고전 알고리즘에 대한 함의를 분석한다.

제안 방법

• 게이트 수가 거리 측도에 대응하는 리만 기하학 문제로 양자 회로 복잡도를 수식화한다.
• n-qubit 유니타리 연산자의 다양체에 대해 리만-비바르티에 연결과 곡률 텐서를 유도하여 모든 기하학적 양의 계산을 가능하게 한다.
• 최적의 하밀토니안 진동을 지배하는 지오데식 방정식을 도출하며, 초기 하밀토니안이 설정되면 나머지 진동은 지오데식 방정식에 의해 유일하게 결정됨을 보여준다.
• 기본 메트릭에서 목표 양자 계산 메트릭으로의 지오데식선을 부드럽게 변형시키는 지오데식 변형 절차를 도입하며, 끝점을 유지한다.
• 자코비 장과 공액점 분석을 통해 지오데식선이 더 이상 국소적으로 최소가 되지 않는 조건을 분석하고, 최소 경로의 수치적 탐색을 가능하게 한다.
• 보조 큐비트를 기하학적 프레임워크에 통합하기 위해 캐논컬 확장 절차를 적용하여 기하학적 일관성을 유지한다.

실험 결과

연구 질문

• RQ1 유니타리 연산자의 공간에 어떤 리만 메트릭을 부여하면 지오데식 거리가 양자 회로 복잡도에 대응하게 되는가?
• RQ2 양자 회로 다양체 위에서 기본 기하학적 대상—리만-비바르티에 연결, 곡률, 지오데식선—은 무엇인가?
• RQ3 항등원에서 목표 유니타리 연산자 U로 연결되는 최소 지오데식선을 체계적으로 계산할 수 있는 방법을 개발할 수 있는가?
• RQ4 이 양자 기하학적 설정에서 리만 거리 값을 평가하는 데 있어 계산 복잡도에 어떤 함의가 있는가?
• RQ5 기하학적 불변량과 곡률을 얼마나 활용하여 정확한 양자 회로 복잡도의 하한을 도출할 수 있는가?

주요 결과

• 유니타리 연산자를 합성하기 위한 최적의 하밀토니안 진동은 반드시 보편적인 지오데식 방정식을 따르며, 전체 진동은 초기 하밀토니안에 의해 결정된다.
• 모든 지오데식 방정식에 대한 보존량의 완전한 집합과 해석적 해를 도출하였으며, 3 큐비트 유니타리 연산자에 대한 일반적인 정확한 해도 제공된다.
• 지오데식 변형 절차를 통해 목표 유니타리 연산자로 향하는 최소 지오데식선의 수치 계산이 가능해졌으며, 이는 무작위 유니타리 연산자와 양자 푸리에 변환에 대해 실험적으로 검증되었다.
• 이 리만 다양체 위에서 거리 값을 계산하는 문제는 표준 가짜 난수 생성기 가정 하에 고전적으로 비가역적임이 입증되었으며, 이는 효율적인 고전 알고리즘이 존재하지 않음을 시사한다.
• 기하학적 불변량과 곡률을 활용하여 정확한 게이트 복잡도의 하한을 도출할 수 있다: 기하학적 거리가 초선형 또는 지수적으로 증가하면, 게이트 수 역시 동일한 방식으로 증가한다.
• 캐논컬 확장 절차를 통해 보조 큐비트를 기하학적 프레임워크에 통합할 수 있으며, 이는 양자 계산의 기하학적 접근과의 일관성을 보장한다.