[논문 리뷰] An efficient test for product states

Aram W. Harrow, Ashley Montanaro|arXiv (Cornell University)|2010. 01. 04.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 시스템 크기나 국소 차원에 관계없이, 최대 겹침이 1 − ǫ인 상태에 대해 1 − Θ(ǫ)의 확률로 통과하는 효율적인 두 복사본 테스트를 제안한다. 이는 제품 상태와 제품에서 멀리 떨어진 상태를 구별하는 데 사용되며, 붕괴 채널에서 최대 출력 순수도의 안정성에 기반한다. 이 테스트를 통해 두 개의 얽히지 않은 증인만을 사용하여 다중 증인 양자 멜린-아서 프로토콜을 시뮬레이션할 수 있다.

ABSTRACT

We give a test that can distinguish efficiently between product states of n quantum systems and states which are far from product. If applied to a state |ψ 〉 whose maximum overlap with a product state is 1 − ǫ, the test passes with probability 1 − Θ(ǫ), regardless of n or the local dimensions of the individual systems. The test uses two copies of |ψ〉. We prove correctness of this test as a special case of a more general result regarding stability of maximum output purity of the depolarising channel. One application of the test is to Quantum Merlin-Arthur games, where we show that a witness from two unentangled provers can simulate a witness from arbitrarily many unentangled provers, up to a constant loss of soundness. Our test can also be used to construct an efficient test for determining whether a unitary operator is a tensor product. 1

연구 동기 및 목표

• 고차원 또는 대규모 시스템에서도 제품 상태와 제품에서 멀리 떨어진 상태를 구별할 수 있는 효율적인 테스트를 개발하는 것.
• 양자 상태 및 연산자 테스트에 적용 가능한, 붕괴 채널의 최대 출력 순수도에 대한 일반적인 안정성 결과를 확립하는 것.
• 소음이 있는 성능 손실이 일정한 범위 내에 머무르는 두 개의 얽히지 않은 증인만을 사용하여 다중 증인 양자 멜린-아서 프로토콜을 시뮬레이션할 수 있도록 하는 것.
• 유니터리 연산자가 국소 연산자의 텐서곱인지 여부를 판단하는 효율적인 테스트를 구성하는 것.

제안 방법

• 테스트는 입력 상태 |ψ⟩의 두 복사본을 사용하여 제품 상태 집합과의 겹침을 평가한다.
• 이 테스트는 붕괴 채널의 최대 출력 순수도에 대한 안정성 정리에 기반하며, 양자 상태 구별 가능성과 채널 출력 성질 간의 연결 고리를 제공한다.
• 입력 상태 |ψ⟩가 어떤 제품 상태와의 최대 겹침이 1 − ǫ일 경우, 테스트의 성공 확률은 1 − Θ(ǫ)이다.
• 이 방법은 임의의 국소 차원과 큐비트 또는 큼직한 큐비트의 수를 가진 시스템에 적용 가능하다.
• 이 테스트 구조를 동일하게 적용하여, 유니터리 연산자가 국소 연산자의 텐서곱인지 여부를 테스트하기 위해 프레임워크를 확장한다.
• 이론적 분석을 통해, 제품 상태에서 약간 벗어난 경우에도 테스트의 강건성을 입증하여 얽힘의 신뢰성 있는 탐지 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 시스템 크기나 국소 차원에 관계없이, 두 복사본 테스트가 양자 상태가 제품 상태에 가까운지 효율적으로 감지할 수 있는가?
• RQ2 붕괴 채널에서 최대 출력 순수도의 안정성은 어떻게 되며, 이는 상태 구별 가능성과 어떤 관련이 있는가?
• RQ3 소음이 있는 성능 손실이 일정한 범위 내에 머무르는 두 개의 얽히지 않은 증인만을 사용하여 다수의 얽히지 않은 증인을 가진 양자 멜린-아서 프로토콜을 시뮬레이션할 수 있는가?
• RQ4 이 테스트는 어떻게 유니터리 연산자가 국소 유니터리의 텐서곱인지 여부를 판단하는 데 적응할 수 있는가?

주요 결과

• 입력 상태 |ψ⟩가 어떤 제품 상태와의 최대 겹침이 1 − ǫ일 경우, 테스트는 n이나 국소 차원에 관계없이 1 − Θ(ǫ)의 확률로 통과한다.
• 테스트의 정확성은 붕괴 채널의 최대 출력 순수도에 대한 일반적인 안정성 결과에서 유도된다.
• 이 테스트는 소음이 있는 성능 손실이 일정한 상수 이내인 두 개의 얽히지 않은 증인만을 사용하여 k-증인 양자 멜린-아서 게임을 시뮬레이션할 수 있다.
• 동일한 프레임워크를 통해 국소 연산자의 텐서곱인지 여부를 판단하는 효율적인 테스트를 얻을 수 있다.
• 이 방법은 강건하고 효율적이며, 상태 또는 연산자의 두 복사본만 필요하다.
• 이 결과는 양자 채널의 안정성과 양자 상태 구별 가능성 간의 강력한 연결 고리를 확립한다.