[논문 리뷰] Ideal state discrimination with an O(1)-qubit quantum computer

Robin Blume-Kohout, Sarah Croke외 1명|arXiv (Cornell University)|2012. 01. 31.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 K개의 비수직 순수 상태 간의 최적 양자 상태 구분을 위해 한 번에 한 개씩의 코herent 측정 프로토콜을 사용하는 방법을 제안한다. 이는 O(1)-큐비트 양자 프로세서를 사용하며, N개의 상태 복제본을 단계적으로 유니터리 상호작용을 통해 프로세서와 얽힘을 만들면서, 모든 상태 정보를 프로세서의 상태로 일관되게 전달한다. 이로 인해 동시 측정이나 디코herence 없이 최적의 구분이 가능해지며, 양자 메모리는 log₂K 큐비트만으로도 충분하다.

ABSTRACT

We show how to optimally discriminate between K distinct quantum states, of which N copies are available, using one-at-a-time interactions with each of the N copies. While this task (famously) requires joint measurements on all N copies, we show that it can be solved with one-at-a-time "coherent measurements" performed by an apparatus with log(K) qubits of quantum memory. We apply the same technique to optimal discrimination between K distinct N-particle matrix product states of bond dimension D, using a coherent measurement apparatus with log(K) + log(D) qubits of memory.

연구 동기 및 목표

• N개의 복제본이 존재할 때 K개의 비수직 상태 간의 최적 양자 상태 구분 문제를 해결하기 위해, 기존에는 동시 측정이 필요하다.
• 기본적인 양자 측정 방식에서 한 번에 한 개씩의 측정이 최적의 성공 확률을 달성하지 못하는 한계를 극복하기 위해.
• 디코herence 기반 측정 대신 코herent 유니터리 상호작용을 사용함으로써, O(1) 큐비트의 소형 양자 프로세서를 사용해 최적의 구분을 달성할 수 있음을 보여주기 위해.
• 결합 차원 D인 행렬 곱 상태(MPS)로의 일반화를 통해, 최적의 구분을 위해 log₂K + log₂D 큐비트가 충분함을 보여주기 위해.

제안 방법

• log₂K 큐비트의 양자 프로세서(QIP)를 코herent 측정 장치로 사용하며, 초기 상태로 |0⟩을 설정하여 각 시스템 복제본과 순차적으로 상호작용한다.
• 첫 번째 시스템과 QIP 사이에 SWAP 연산을 구현하여 상태 정보를 프로세서의 힐베르트 공간으로 일관되게 전달한다.
• 후속 시스템에 대해서는, 시스템과 프로세서의 공동 상태를 프로세서가 알려진 상태에 대한 전체 정보를 코herent하게 인코딩한 상태로 변환하는 유니터리 상호작용을 적용한다.
• 그램-슈미트 수직화를 통해 N-복제 상태가 생성하는 부분공간을 위한 K차원 기저를 구성함으로써, 프로세서의 상태 공간으로의 유니터리 회전을 가능하게 한다.
• 모든 측정과 독출를 최종적으로 연기함으로써, 일관성을 유지하고 유니터리 진화만으로 최적의 구분을 달성한다.
• 결합 차원 D를 고려하여 MPS로의 일반화를 수행함으로써, 전체 상태 정보를 코herent하게 인코딩하기 위해 log₂K + log₂D 큐비트가 필요함을 보여준다.

실험 결과

연구 질문

• RQ1 소형 양자 프로세서를 사용하여 동시 측정 없이, 한 번에 한 개씩의 상호작용만으로 K개의 비수직 순수 상태 간의 최적 구분이 가능한가?
• RQ2 측정 장치를 디코herence시키지 않고 전체 과정에서 양자 일관성을 유지함으로써, 최적의 성공 확률을 달성할 수 있는가?
• RQ3 후보 상태 수 K와 상태의 복잡성(예: 행렬 곱 상태의 경우)에 따라 필요한 양자 메모리 크기가 어떻게 스케일링되는가?
• RQ4 코herent 측정 프로토콜을 유한한 결합 차원 D를 가진 다체 얽힘 상태인 MPS로 일반화할 수 있는가?
• RQ5 일관성이 측정에서 수행하는 기본적인 역할은 무엇이며, 유니터리 진화만으로도 정보 수집 과정을 완전히 수행할 수 있는가?

주요 결과

• N개의 복제본이 있는 K개의 비수직 순수 상태 간의 최적 구분은, 단지 log₂K 큐비트의 프로세서를 사용하고 한 번에 한 개씩의 코herent 상호작용을 통해 달성할 수 있다.
• 이 프로토콜은 디코herence와 파동함수 붕괴를 피하며, 알려지지 않은 상태에 대한 정보를 전적으로 유니터리 진화를 통해 전달하고 유지한다.
• 결합 차원 D인 행렬 곱 상태(MPS)의 경우, 최적의 구분을 위해 log₂K + log₂D 큐비트의 프로세서가 충분하며, 이는 다체 얽힘 상태로의 확장 가능성을 보여준다.
• 이 방법은 동시 측정과 동일한 최적의 성공 확률을 달성하지만, 모든 N개의 복제본 간에 얽힘 연산이 필요로 하지 않는다.
• 이 프로토콜은 복제 수 N에 대해 강건하며, 각 시스템과의 순차적이고 국소적인 상호작용만 필요로 하므로, 근접한 양자 장치에 구현 가능하다.
• 결과적으로, 디코herence 없이 코herent 측정(유니터리 상호작용)이 표준 측정보다 정보 확보 능력에서 뛰어나다는 점을 시사하며, 측정이 본질적으로 비가역적이라는 전통적 관점을 도전한다.