[논문 리뷰] Programmable quantum channels and measurements

Giacomo Mauro D’Ariano, Paolo Perinotti|ArXiv.org|2005. 10. 05.

Quantum Mechanics and Applications참고 문헌 12인용 수 7

한 줄 요약

이 논문은 유니터리 채널과 양성 연산자 측정 측정(POVMs)을 위한 최적의 프로그래머블 양자 장치 설계를 다루며, 큐비트 시스템의 경우 두 차원의 보조 큐비트와의 유니터리 상호작용이 오차의 역수에 선형적으로 비례하는 보조 큐비트 차원 수에 비례하는 정밀도로 보편적 프로그래머블성을 달성할 수 있음을 보여준다. 측정의 경우 정밀도에 대해 다항식, 심지어 선형 스케일링을 달성하여 이전의 지수적 경계를 뛰어넘는 성능을 보인다.

ABSTRACT

We review some partial results for two strictly related problems. The first problem consists in finding the optimal joint unitary transformation on system and ancilla which is the most efficient in programming any desired channel on the system by changing the state of the ancilla. In this respect we present a solution for dimension two for both system and ancilla. The second problem consists in finding the optimal universal programmable detector, namely a device that can be tuned to perform any desired measurement on a given quantum system, by changing the state of an ancilla. With a finite dimension for the ancilla only approximate universal programmability is possible, with minimal dimension increasing function versus the precision of the approximation. We show that one can achieve a dimension growing polynomially versus the precision, and even linearly in specific cases.

연구 동기 및 목표

• 고정된 장치와 가변적인 보조 큐비트 상태를 사용하여 어떤 원하는 양자 채널을 프로그래밍할 수 있는 최적의 공동 유니터리 변환을 결정하기 위해.
• 오차가 제한된 조건에서 보편적 프로그래머블성의 최소 보조 큐비트 차원을 조사하기 위해.
• 특히 큐비트 시스템에서 프로그래머블 양자 장치의 정확도에 대한 이론적 한계를 수립하기 위해.
• 고정된 보조 큐비트 차원에서 높은 정밀도의 프로그래머블 채널 및 검출기를 달성하는 데 있어 다양한 보조 큐비트 차원의 성능를 비교하기 위해.
• 큐비트 차원과 근사 오차 사이의 상호 교환 관계를 해결하기 위해.

제안 방법

• 논문은 유니터리 채널의 프로그래머블성 문제를, 목표 유니터리와 프로그래머블 채널 집합 사이의 최대 거리 최소화 문제로 공식화하며, Raginsky의 유사도 기반 채널 유사도 지표를 사용한다.
• 큐비트 시스템의 경우, 각각의 양자역학적 운동량 표현과 Clebsch-Gordan 계수를 사용하여 공동 힐베르트 공간을 비가역 표현으로 분해함으로써 최적의 유니터리 상호작용 V를 유도한다.
• 보조 큐비트 상태가 프로그램을 인코딩하고 측정 결과가 보조 큐비트 상태에 의해 조정되는 방식으로, 시스템과 보조 큐비트의 공동 관측 가능성을 기반으로 프로그래머블 검출기를 구성한다.
• 최적의 프로그램 상태와 유사도 경계를 유도하기 위해, 특히 SU(2) 대칭성과 비가역 표현을 활용한 군 이론 기법을 사용한다.
• CB-노름 거리와 기반 유사도 지표를 사용하여 근사 오차를 정량화하며, 유사도는 유니터리 연산자의 추적 겹침을 통해 표현된다.
• 최소 유사도에 대한 경계를 유도하고, 악성 경우의 유사도가 보조 큐비트 상호작용 매개변수의 위상에만 의존함을 보여준다.

실험 결과

연구 질문

• RQ1 오차가 제한된 조건에서 보편적 프로그래머블성의 최소 보조 큐비트 차원은 얼마인가?
• RQ2 유한 차원의 보조 큐비트로 유니터리 채널의 정확한 보편적 프로그래머블성을 달성할 수 있는가?
• RQ3 고정된 보조 큐비트 차원에서 모든 목표 유니터리에 대해 최소 유사도를 최대화하는 최적의 유니터리 상호작용 V는 무엇인가?
• RQ4 프로그래머블 POVMs의 경우 필요한 보조 큐비트 차원은 정밀도에 따라 어떻게 스케일링되는가?
• RQ5 정밀도에 따른 보조 큐비트 차원의 스케일링을 이전의 지수적 경계를 뛰어넘어 향상시킬 수 있는가?

주요 결과

• 큐비트 시스템(dim(H) = 2)의 경우, 어떤 유니터리 채널을 프로그래밍하는 데 최대 오차를 최소화하는 최적의 유니터리 상호작용 V에 대한 명시적 해를 제공한다.
• 군 이론적 분해를 사용하여 프로그래머블 유니터리 채널의 최적 유사도를 유도하며, 악성 경우의 유사도가 보조 큐비트 상호작용 매개변수의 위상에만 의존함을 보여준다.
• 프로그래머블 POVMs의 경우, 특정 경우에서 보조 큐비트 차원 d가 ε⁻¹에 대해 선형으로 스케일링됨을 보여주며, d(ε⁻¹) = 2ε⁻¹를 달성한다. 이는 제곱 또는 지수적 경계보다 훨씬 우수한 성능이다.
• d(ε⁻¹) ∝ ε⁻¹ 경계는 최적은 아니지만 이전의 지수적 추정치에 비해 상당한 개선을 이룬다. 이는 공동 시스템-보조 큐비트 공간의 비가역 표현 분해를 통해 달성된다.
• 유사도 기반 오차 지표 δ(P, Q) = 2/d 가 유도되며, 이는 근사 오차가 보조 큐비트 차원 d의 역수에 비례함을 보여준다.
• 논문은 정확한 보편적 프로그래머블성의 유한 보조 큐비트로는 불가능함을 증명하며, Nielsen과 Chuang의 금지 정리와 일치한다. 그러나 최적의 근사 프로그래머블성에 대한 구축적 접근법을 제시한다.