[논문 리뷰] Impossibility of comparing and sorting quantum states

A Arul|ArXiv.org|2001. 07. 17.

Quantum Information and Cryptography참고 문헌 5인용 수 7

한 줄 요약

이 논문은 비정규직교 상태의 집합에 대해 비교 및 정렬을 유니타리 양자 연산을 통해 수행하는 것이 본질적으로 불가능하다는 것을 증명한다. 양자 변환의 유니타리 성질을 활용하여 저자는 이러한 연산이 비정규직교 상태를 구별할 수 없음을 입증하며, 이는 임의의 양자 상태에 대한 비교나 정렬을 위한 양자 회로의 존재를 배제한다. 이는 복제 금지 및 삭제 금지 정리 이외의 양자 정보 처리의 근본적 한계를 드러낸다.

ABSTRACT

Is there any point of principle that prohibits us from doing one or more forms of quantum information processing? It is now well known that an unknown quantum state can neither be copied nor deleted perfectly. Given a set of states which are not necessarily orthogonal, is it possible to compare any two states from the set, given some reasonable ordering of such states? Is it possible to sort them in some specific order? In the context of quantum computation, it is shown here that there is no quantum circuit implementing a unitary transformation, for comparing and sorting an unrestricted set of quantum states.

연구 동기 및 목표

• 양자 컴퓨터가 임의의 양자 상태에 대해 비교 및 정렬과 같은 기본 연산을 수행할 수 있는지 조사하기 위해.
• 비정규직교 양자 상태에 대해 비교기 또는 정렬 연산을 구현할 수 있는 유니타리 변환이 존재하는지 확인하기 위해.
• 기존의 알려진 금지 정리 이외의 양자 계산에서 허용되는 연산과 금지되는 연산의 경계를 명확히 하기 위해.
• 유니타리 제약 조건으로 인해 비정규직교 상태의 비교 및 정렬이 양자 정보 처리에서 확장될 수 없음을 입증하기 위해.

제안 방법

• 입력 상태의 순서에 따라 |ψi⟩ < |ψj⟩ 여부를 나타내는 제어 큐비트를 출력하는 유니타리 변환으로서 양자 비교기의 수학적 정의를 내리기 위해.
• 상태의 값 매핑 v(|ψ⟩) = ⟨ψ|X|ψ⟩에 따라 입력 상태를 단조롭게 증가하는 순서로 재정렬하는 정렬 변환 정의하기 위해.
• 비교기 및 정렬기 연산에 대해 유니타리 제약 조건을 적용하여 상태 간의 내적 조건을 유도하기 위해.
• 비정규직교 상태가 비교 가능하거나 정렬 가능하다는 가정에서 모순를 도출하여 ⟨ψi|ψj⟩가 0이어야 함을 보여주기 위해.
• 유니타리 성질에서 유도된 내적 일致 조건을 이용하여 비정규직교 상태가 필요한 변환 관계를 만족시킬 수 없음을 증명하기 위해.
• 특정 3상태 예시를 분석하여 비정규직교 상태가 유니타리 진화 하에서 일致하지 않는 내적 요구 조건을 초래함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 유니타리 양자 회로는 두 비정규직교 양자 상태를 비교하고 고전적 비교 결과를 출력할 수 있는가?
• RQ2 임의의 비정규직교 양자 상태 집합을 사전에 정해진 순서로 정렬할 수 있는 유니타리 변환을 설계하는 것이 가능한가?
• RQ3 양자 유니타리성은 비정규직교 상태의 비교 및 정렬에 어떤 제약을 가하는가?
• RQ4 사전에 상태 값에 대한 지식이 있다면, 쌍별 비교 없이도 양자 정렬을 달성할 수 있는가?
• RQ5 비정규직교 상태의 비교 불가능성이 더 복잡한 연산인 정렬으로까지 확장되는가?

주요 결과

• 유니타리성은 내적 ⟨ψi|ψj⟩를 0으로 만드므로, 양자 비교기는 비정규직교 상태를 구별할 수 없다. 이는 상태가 정규직교일 때만 성립한다.
• 비정규직교 상태의 정렬을 요구하는 변환은 모든 상태가 상호 정규직교일 경우를 제외하고는 모순을 야기한다.
• 유니타리성에서 유도된 내적 조건 ⟨ψ3|ψ1⟩ = ⟨ψ2|ψ1⟩⟨ψ3|ψ2⟩⟨Σ′′|Σ′⟩는 비정규직교 상태에서는 특정 내적 값이 0이 되어야만 성립 가능하며, 이는 일반적으로 참이 아니다.
• 비정규직교 상태의 비교 및 정렬과 같은 양자 연산은 본질적으로 정규직교 상태 집합으로 제한되며, 이러한 상태는 복제 및 조작이 가능하다.
• 이 결과는 양자 정보의 기초적인 금지 정리들을 확장하여, 복제 및 삭제 외에도 비교 및 정렬이 비정규직교 상태에 대해 불가능하다는 것을 보여준다.
• 이 불가능성은 양자 진화의 유니타리성에서 기인하며, 이는 비정규직교 상태 순서 정렬과 충돌하는 방식으로 상태 변환의 동역학을 제약한다.