[논문 리뷰] Superselection Rules in Quantum Cryptography

Dominic Mayers|ArXiv.org|2002. 12. 31.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 4

한 줄 요약

이 논문은 양자 암호에서 비트 커밋먼트 및 동전 뒤집기의 불가능성 증명을 뒤엎을 수 있는 초선택 규칙(예: 페르미온 수 보존)이 단일 큐비트에서 가능한 연산을 제한하지 않는다는 것을 보여준다. 보조 자유도를 촉매로 사용함으로써, 페르미온 모드와 광자 모드 사이의 상태 교환과 같은 유니터리 연산이 여전히 가능함을 입증한다. 이는 초선택 규칙이 존재하더라도 메이어스와 키타에프의 비가역성 증명이 유지됨을 의미한다.

ABSTRACT

It is believed that superselection rules in quantum mechanics can restrict the possible operation on a qbit. If this was true, the model used by Mayers for the impossibility of bit commitment and by Kitaev for the impossibility of coin flipping would be inadequate. We explain why this is not the case. We show that a charge superselection rule implies no restriction on the operations that can be executed on any individual qbit.

연구 동기 및 목표

• 초선택 규칙이 메이어스와 키타에프의 비트 커밋먼트 및 동전 뒤집기 불가능성 증명을 무효화할 수 있다는 우려를 해결하기 위해.
• 페르미온 수와 같은 보존 법칙이 큐비트에서 허용되는 양자 연산의 집합을 제한하는지 조사하기 위해.
• 초선택 규칙이 페르미온 모드와 다른 시스템 간 상태 교환과 같은 핵심 양자 연산의 구현을 방해하지 않음을 입증하기 위해.
• 초선택 규칙이 적용되더라도 원래의 불가능성 증명에서 사용된 모델이 여전히 유효함을 보여주기 위해.
• 다른 보존량(예: 다양한 페르미온 수)의 중첩 상태 사용이 보존 법칙을 위반하지 않으며 물리적으로 허용됨을 명확히 하기 위해.

제안 방법

• 모드 간 정규직교 상태로 생성되는 힐베르트 공간을 사용하여 양자 프로토콜을 모델링하고, 보존량(예: 총 페르미온 수)에 의해 초선택 규칙을 정의한다.
• 페르미온 모드와 광자 모드 간의 교환과 같은 금지된 연산을 가능하게 하기 위해 점유수를 변화시킬 수 있는 보조 모드를 촉매로 도입한다.
• 거울에 의해 반사되는 광자의 동역학(운동량은 거울의 반동을 통해 보존됨)과 유사한 분석을 통해, 얽힘 없이도 촉매 작용을 통한 유니터리 연산이 타당함을 정당화한다.
• 혼합 상태를 확장된 힐베르트 공간 내 순수 상태로 표현하기 위해 정제 기법을 사용하여 초선택 규칙과의 일관성을 확보한다.
• 보존량 $Q_R$ 가 고정되고 양 당사자에게 알려진 조건 하에서 프로토콜을 분석하여, 비트 커밋먼트가 여전히 불가능함을 보여준다.
• 보존량 $k$ 를 조건으로 하여 앨리스의 서브시스템에 조건부 유니터리 변환을 적용함으로써, 비트 0에 해당하는 상태를 비트 1로 변환한다.

실험 결과

연구 질문

• RQ1 보존량(예: 페르미온 수)에 기반한 초선택 규칙이 단일 큐비트에서 물리적으로 실행 가능한 연산의 집합을 제한할 수 있는가?
• RQ2 초선택 규칙이 메이어스와 키타에프의 비트 커밋먼트 및 동전 뒤집기 불가능성 증명을 무효화하는가?
• RQ3 페르미온 수 초선택 규칙 하에서 페르미온 모드와 광자 편광 모드 사이의 교환 연산을 수행할 수 있는가?
• RQ4 보조 자유도를 촉매로 사용하여 보존 법칙 위반을 초래하는 유니터리 연산을 가능하게 할 수 있는가?
• RQ5 다른 보존량(예: |0⟩ 및 |1⟩ 페르미온 상태)을 가진 상태의 중첩 존재가 불가능성 정리의 유효성을 해친다.

주요 결과

• 초선택 규칙은 페르미온 수와 같은 보존량에 의해 제어되는 시스템에 속한 큐비트에서도 허용되는 연산의 집합을 제한하지 않는다.
• 보조 모드를 촉매로 사용함으로써, 페르미온 모드와 광자 편광 모드 간의 교환 연산이 페르미온 수 보존 위반으로 보일지라도 실제로는 가능하다.
• 메이어스와 키타에프의 불가능성 증명에서 사용된 모델은 초선택 규칙 하에서도 유효하며, 핵심 가정이 손상되지 않는다.
• 보존량 $Q_R$ 가 고정되어 있고 양 당사자에게 알려져 있더라도, 비트 커밋먼트는 여전히 불가능하다. 왜냐하면 앨리스는 자신의 서브시스템을 조건부로 교환하여 비트 0의 커밋먼트를 비트 1로 변환할 수 있기 때문이다.
• 핵심 통찰은 동일한 $Q_R$ 값을 가진 상태의 중첩에서 상대 위상 제어가 서브시스템을 보유한 당사자에 의해 가능함을 의미하며, 이는 필요한 유니터리 변환을 가능하게 한다.
• 논문은 초선택 규칙이 안전한 비트 커밋먼트 프로토콜을 설계하는 데 구멍을 제공하지 않으며, 고전적 정보와 마찬가지로 그렇지 않음을 결론짓는다.