[논문 리뷰] Quantum Networks for Generating Arbitrary Quantum States

Phillip Kaye, Michele Mosca|ArXiv.org|2004. 07. 14.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 17

한 줄 요약

이 논문은 이전에 준비된 큐비트에 조건부로 작동하는 제어 회전의 순서를 사용하여 비음수 실수 진폭을 가진 임의의 양자 상태를 효율적으로 생성하는 양자 알고리즘을 제시한다. 조건부 확률이 효율적으로 계산될 수 있는 경우, 예를 들어 대칭 상태 및 그들의 중첩 상태와 같은 경우에, 이 방법은 다항로그 시간 내에 고정밀도 상태 준비를 달성한다.

ABSTRACT

Quantum protocols often require the generation of specific quantum states. We describe a quantum algorithm for generating any prescribed quantum state. For an important subclass of states, including pure symmetric states, this algorithm is efficient.

연구 동기 및 목표

• 비음수 실수 진폭을 가진 임의의 원하는 양자 상태를 준비하기 위한 일반적인 양자 알고리즘을 개발하는 것.
• 단지 표준 양자 게이트로는 구성할 수 없는 양자 상태를 효율적으로 생성하는 데 도전하는 것.
• 특히 대칭 상태 및 구조화된 상태에 대해 스케일러블한 상태 준비 프레임워크를 제공하는 것.
• 오차 허용 한계 $\epsilon$ 에 의해 제어되는 정밀도로 고정밀도 상태 생성을 보장하는 것.
• 대칭 상태 및 대칭 상태의 중첩과 같은 중요한 상태 클래스에 대해 효율성을 입증하는 것.

제안 방법

• 각 회전이 이전 $k-1$ 큐비트 상태에 조건부로 작동하는 $n$개의 제어 회전을 순차적으로 적용하여 목표 상태 $|\Psi\rangle = \sum_{x \in \{0,1\}^n} \alpha_x |x\rangle$ 를 구성한다.
• 조건부 확률이 상태 진폭에서 유도된 바탕으로, 제어 회전 $c-U_{x_1\ldots x_{k-1}0}^\Psi$ 를 정의하여 $k$-번째 큐비트를 진폭이 $\alpha_{x_1\ldots x_k}$ 비례하는 중첩 상태로 준비한다.
• 목표 상태 $|\Psi\rangle$ 의 고전적 매개변수를 인코딩한 양자 레지스터 $|\overline{\Psi}\rangle$ 를 사용하여 보조 큐비트 상에서 가역 산술 연산을 통해 필요한 회전 각도를 계산한다.
• 단계적 추정 기법과 제어된 위상 이동을 활용하여 회전을 구현하며, 조건부 확률과 관련된 $\omega_k$ 에 대해 $e^{2\pi i \omega}$ 를 근사하기 위해 $c-S_\omega$ 게이트를 활용한다.
• 대칭 상태의 경우, 해밍 무게 계산을 통해 조건부 확률 $\left(\frac{\alpha_{x_1\ldots x_{k-1}0}}{\alpha_{x_1\ldots x_{k-1}}}\right)^2 = \frac{r - H(x_1\ldots x_{k-1})}{n - k + 1}$ 을 효율적으로 계산할 수 있다.
• 목표 상태가 고정되어 있을 경우, 일반적인 $|\overline{\Psi}\rangle$ 레지스터를 제거하여 회로를 단순화할 수 있다.

실험 결과

연구 질문

• RQ1 비음수 실수 진폭을 가진 임의의 양자 상태를 효율적으로 준비할 수 있는 일반적인 양자 알고리즘이 존재하는가?
• RQ2 제어 회전 접근법이 게이트 수와 깊이 측면에서 효율적인 상태 준비를 이끌어내는 조건은 무엇인가?
• RQ3 양자 회로에서 큐비트 상태 준비를 위한 조건부 확률을 어떻게 효율적으로 계산할 수 있는가?
• RQ4 이 방법이 대칭 상태 및 대칭 상태의 중첩 상태에 얼마나 널리 적용될 수 있는가?
• RQ5 목표 정밀도 $1 - \epsilon$ 을 달성하기 위해 필요한 자원 과부하(큐비트 및 게이트 수)는 얼마인가?

주요 결과

• 알고리즘은 이전 큐비트 레지스터에 조건부로 작용하는 $n$개의 순차적 제어 회전을 사용하여 비음수 실수 진폭을 가진 $n$-큐비트 양자 상태를 생성한다.
• 대칭 상태 $|S_r\rangle = \frac{1}{\sqrt{\binom{n}{r}}} \sum_{H(x)=r} |x\rangle$ 에 대해, 조건부 확률 $\left(\frac{\alpha_{x_1\ldots x_{k-1}0}}{\alpha_{x_1\ldots x_{k-1}}}\right)^2 = \frac{r - H(x_1\ldots x_{k-1})}{n - k + 1}$ 을 해밍 무게 평가를 통해 효율적으로 계산할 수 있다.
• 알고리즘은 $O(\log(1/\epsilon))$개의 보조 큐비트와 $\text{polylog}(1/\epsilon)$개의 기본 연산을 사용하여 최소 $1 - \epsilon$ 의 정밀도를 달성하며, 고정밀도 상태 준비를 보장한다.
• 조건부 확률 $\left(\frac{\alpha_{x_1\ldots x_k0}}{\alpha_{x_1\ldots x_k}}\right)^2$ 이 다항로그 시간 내에 계산될 수 있는 상태의 가족, 예를 들어 대칭 상태 및 대칭 상태의 중첩 상태에 대해 이 방법은 효율적이다.
• 목표 상태가 고정되어 있을 경우, 일반적인 $|\overline{\Psi}\rangle$ 레지스터가 필요 없어지므로 회로 복잡도가 감소하여 알고리즘을 단순화할 수 있다.
• 이 프레임워크를 통해 [CEMM98]의 단계 인코딩 기법과 결합하여 임의의 단계 상태 준비가 가능하다.