[논문 리뷰] A two-qubit algorithm involving quantum entanglement

N. Mukunda, Mukunda, N.|ArXiv.org|2000. 06. 14.

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

한 줄 요약

이 논문은 두 비트 부울 함수가 짝수인지 홀수인지 판단하기 위해 양자 얽힘을 명시적으로 요구하는 두 큐비트 양자 알고리즘을 제안한다. 이 알고리즘은 고전적으로 필요한 네 번의 함수 호출보다 적은 두 번의 함수 호출로도 문제를 해결한다. 알고리즘은 헤르마드 게이트와 제어된-U 연산을 활용하여, 측정 결과가 짝수 함수와 홀수 함수를 구분할 수 있는 얽힌 상태를 생성한다. 이는 NMR 분광법을 통해 검출 가능한 단일 양자 공명으로 나타나는 얽힘의 형태로 나타난다.

ABSTRACT

The phenomenon of quantum entanglement is fundamental to the implementation of quantum computation, and requires at least two qubits for its demonstration. However, both Deutsch algorithm and Grover's search algorithm for two bits do not use entanglement. We develop a Deutsch-like problem, where we consider all possible binary functions for two bit inputs and distinguish their even or odd nature. The quantum algorithm to solve this problem requires entanglement at the level of two qubits. The final solution suggests that an NMR implementation of the problem would lead to interesting results.

연구 동기 및 목표

• 두 큐비트 함수를 위한 양자 알고리즘을 개발하여, 드류이트-조자 또는 그로버 알고리즘과 달리 얽힘이 본질적으로 필요하다.
• 두 번째 드류이트 문제의 일반화된 형태에서, 이진 함수의 짝수/홀수 분류 문제를 해결하기 위해 얽힘이 필수적임을 보여준다.
• NMR 양자 계산이 양자 공명 유형과 연결된 스펙트럼적 차이를 통해 짝수와 홀수 함수를 구분할 수 있음을 보여준다.
• 특히 단일 양자 공명과 영-양자 공명의 맥락에서, 비직교 상태 분류에서 얽힘의 역할을 명확히 한다.

제안 방법

• 함수 호출 이전 및 이후에 두 큐비트에 대해 선택적 또는 동시 헤르마드 변환을 적용하여 초위상 상태를 생성한다.
• 함수 $ f $ 가 상태의 위상에 인코딩되는 제어된 유니터리 연산 $ U_f $ 를 사용하며, 모든 입력이 초위상 상태에서 평가된다.
• 초기 상태 $ |00\rangle $ 에 대해 순서 $ H^{1-2} U_f H^2 U_f H^{1-2} $ 를 적용하여, 함수의 기수성에 따라 달라지는 최종 상태를 생성한다.
• 최종 상태의 얽힘 정도와 공명 구조를 분석하며, 특히 단일 양자 공명과 영-양자 공명을 구분한다.
• 개별 큐비트의 감소 밀도 행렬을 계산하여 국소적 혼합도를 평가하고, 감소 밀도 행렬의 비자기성으로써 얽힘을 탐지한다.
• NMR 검출을 통해 짝수와 홀수 함수를 구분한다: 짝수 함수는 밀도 행렬의 단일 양자 공명으로 인해 관측 가능한 신호를 생성하지만, 홀수 함수는 영-양자 공명으로 인해 신호가 없다.

실험 결과

연구 질문

• RQ1 두 큐비트 양자 알고리즘을 구성할 수 있는가? 이 알고리즘은 함수 분류 문제를 해결하기 위해 본질적으로 얽힘을 필요로 하는가?
• RQ2 공명 유형을 활용해 NMR 기반 양자 계산에서 얽힘을 어떻게 탐지하고 구분할 수 있는가?
• RQ3 짝수 함수와 홀수 함수에서 유도된 비직교 양자 상태를 원칙적으로 한 번의 측정으로 모호하지 않게 분류할 수 있는가?
• RQ4 최종 상태가 직교하지 않음에도 불구하고, 짝수 함수와 홀수 함수가 다른 NMR 스펙트럼 서명을 생성하는 이유는 무엇인가?
• RQ5 감소 밀도 행렬은 알고리즘 최종 상태에서 얽힘을 드러내는 데 어떤 역할을 하는가?

주요 결과

• 이 알고리즘은 고전적인 네 번의 호출 요구 조건보다 더 적은 두 번의 함수 호출로 짝수/홀수 함수 분류 문제를 해결한다.
• 짝수 함수의 최종 상태는 $ \frac{1}{\sqrt{2}}(\pm|00\rangle + |01\rangle) $ 이고, 홀수 함수의 최종 상태는 $ \frac{1}{\sqrt{2}}(\pm|10\rangle + |01\rangle) $ 이며, 둘 다 직교하지 않지만 NMR을 통해 구분 가능하다.
• 짝수 함수는 밀도 행렬의 단일 양자 공명으로 인해 관측 가능한 NMR 신호를 생성하지만, 홀수 함수는 영-양자 공명으로 인해 신호가 없다.
• 홀수 함수의 두 번째 큐비트에 대한 감소 밀도 행렬은 최대로 혼합된 상태($ \frac{1}{2}I $)이며, 이는 얽힘을 확인한다. 반면 짝수 함수의 경우 그렇지 않다.
• 홀수 함수에서 $ \rho^{(2)}_{\text{odd}} $ 가 자기를 만족하지 않음으로써 얽힘은 확인된다. 이는 혼합 상태임을 나타낸다.
• 이 방법은 영-양자 공명이 표준 NMR 스펙트럼에서 검출 불가능하다는 사실을 활용하여, NMR을 통해 함수 기수성의 모호하지 않은 분류를 가능하게 한다.