[논문 리뷰] Quantum searching with continuous variables

Arun Kumar Pati, Samuel L. Braunstein외 1명|ArXiv.org|2000. 02. 26.

Quantum Computing Algorithms and Architecture인용 수 20

한 줄 요약

이 논문은 고전적 검색에 비해 제곱근 속도 향상을 달성하는 연속변수 양자 검색 알고리즘을 제안한다. 이는 큐비트에 대한 그로버 알고리즘과 유사하다. 푸리에 변환과 일반화된 푸리에 변환(GFT)을 사용하여 하다마드 및 역전치 연산을 연속변수로 일반화함으로써, 전자기장 모드와 같은 큸터를 사용하여 무한차원 힐베르트 공간에서 효율적인 검색을 가능하게 한다.

ABSTRACT

A fast quantum search algorithm for continuous variables is presented. The result is the quantum continuous variable analog of Grover's algorithm originally proposed for qubits. A continuous variable analog of the Hadamard (i.e., Fourier transform) operation is used in conjunction with inversion about the average of quantum states to allow the approximate identification of an unknown quantum state in a way that gives a square-root speed-up over search algorithms using classical continuous variables. Also, we show that this quantum search algorithm is robust for a generalised Fourier transformation on continuous variables.

연구 동기 및 목표

• 이산 큐비트에서의 그로버 양자 검색 알고리즘을 위치, 운동량 또는 장 강도와 같은 연속 양자 변수로 확장하기.
• 쿰터를 기본 정보 단위로 사용하는 연속변수 양자 컴퓨터에 적용 가능한 양자 검색 프레임워크 개발하기.
• 임의의 연속변수에 대한 푸리에 변환을 통한 일반화가 이루어진 상황에서도 그로버 알고리즘의 제곱근 속도 향상이 유지되는지 보여주기.
• 이dealized 무한에너지 고유상태가 아닌 물리적으로 실현 가능한 강한 피크를 가진 유한에너지 상태를 사용할 경우 알고리즘의 강건성 분석하기.

제안 방법

• 연속변수인 위치 또는 운동량을 나타내는 기저 상태 |x⟩를 사용하여 n차원 연속 힐베르트 공간에서 검색을 수식화한다.
• 일반화된 푸리에 변환(GFT)은 푸리에 변환의 연속적 일반화로, 각도 θ에 따라 매개변수화되어 연속 공간 내 기저 변환을 가능하게 한다.
• 검색 연산자 C^(θ)는 GFT, 목표 상태에 대한 역전치, 역 GFT의 순서로 구성되며, 힐베르트 공간 내에서의 회전을 형성한다.
• 역전치 연산은 표적 영역에 대한 투영을 사용하며, 이는 연속 기저에서 델타-함수 유사 조건을 통해 정의된다.
• Fubini-Study 거리 분석을 통해 목표 상태에 도달하기 위한 반복 횟수를 추정한다.
• GFT의 사용으로 인해 반복 횟수의 스케일링이 O(√(π sin θ)^n) 유지되며, θ = π/2일 경우 N = (π sin θ)^n 에서 O(√N)로 감소한다.

실험 결과

연구 질문

• RQ1 그로버 양자 검색 알고리즘이 무한차원 힐베르트 공간을 가진 연속변수 양자 시스템으로 일반화될 수 있는가?
• RQ2 이산 큐비트와 하다마드 변환 대신 연속변수와 일반화된 푸리에 변환을 사용할 경우, 그로버 알고리즘의 제곱근 속도 향상이 유지되는가?
• RQ3 일반화된 푸리에 변환 매개변수 θ의 선택이 연속변수 검색 알고리즘의 성능에 미치는 영향은 무엇인가?
• RQ4 이dealized 무한에너지 위치 고유상태가 아닌 물리적으로 실현 가능한, 유한에너지 상태를 사용할 경우 알고리즘이 강건한가?
• RQ5 전자기장 강도와 같은 연속변수를 사용할 경우, 선형 광학 장치를 통해 검색 알고리즘이 실행될 수 있는가?

주요 결과

• 연속변수 양자 검색 알고리즘은 O(√(π sin θ)^n)회의 반복을 통해 크기 N = (π sin θ)^n인 데이터베이스에서 표적 항목을 찾는 데 제곱근 속도 향상을 달성한다.
• 표준 푸리에 변환(θ = π/2)의 경우 알고리즘이 원래의 그로버 검색 스케일링으로 감소하며, O(√N)단계를 필요로 한다.
• 모든 일반화된 푸리에 변환(GFT)에 대해 검색 알고리즘이 효과적으로 유지되며, 기저 변환의 선택에 대해 강건함을 보여준다.
• Fubini-Study 거리 분석은 검색 연산자 각 적용 시 고정된 각도 단위로 상태가 진행됨을 확인하며, √N회의 반복 내에 수렴함을 가능하게 한다.
• 이dealized 델타-함수 위치 고유상태가 아닌 강한 피크를 가진 정규화 가능한 상태를 사용할 경우 알고리즘이 강건하며, 물리적 실현 가능성을 보장한다.
• 이 프레임워크는 선형 및 비선형 광학 장치를 사용한 구현을 지원하며, 큄터(연속변수 양자 단위)가 검색 과정에서 큐비트의 역할을 수행한다.