[논문 리뷰] Quantum Bit Commitment can be Unconditionally Secure

Chi-Yee Cheung|ArXiv.org|2001. 12. 20.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 5

한 줄 요약

이 논문은 보드가 측정 설정을 무작위로 선택할 때 알 수 없는 측정 기저를 활용하여 무조건적 보안을 달성하는 새로운 양자 비트 기여(Quantum Bit Commitment, QBC) 프로토콜을 제안한다. 앨리스가 보드의 얽힌 상태의 매개변수를 알 수 없도록 함으로써, 일반적으로 무조건적 보안 QBC가 불가능하다고 여겨지는 EPR 공격을 차단함으로써, 사기자에게 사기 유니터리 변환이 알려져 있지 않을 경우 무조건적 보안 QBC가 이론적으로 가능하다는 것을 보여준다.

ABSTRACT

It is generally believed that unconditionally secure quantum bit commitment (QBC) is proven impossible by a "no-go theorem". We point out that the theorem only establishes the existence of a cheating unitary transformation in any QBC scheme secure against the receiver, but this fact alone is not sufficient to rule out unconditionally secure QBC as a matter of principle, because there exists no proof that the cheating unitary transformation must be known to the cheater in all possible cases. In this work, we show how to circumvent the "no-go theorem" and prove that unconditionally secure QBC is in fact possible.

연구 동기 및 목표

• 무조건적 보안 양자 비트 기여(QBC)가 불가능하다고 주장하는 널리 수용된 '금지 정리'에 도전하기 위해.
• 금지 정리의 오류를 규명하기 위해: 사기 유니터리 변환이 사기자에게 알려져 있어야 한다는 가정.
• 사기 유니터리가 앨리스가 알 수 없는 매개변수에 의존하도록 함으로써 EPR 공격을 피하는 QBC 프로토콜을 구축하기 위해.
• 사기자가 수신자의 측정 기저를 알지 못할 경우 무조건적 보안 QBC가 가능하다는 것을 증명하기 위해.
• 사기 전략이 알려지지 않은 매개변수에 의존할 경우, 은폐성과 유사성(property)이 동시에 유지될 수 있음을 보여주기 위해.

제안 방법

• 다중 입자 쌍을 통해 분포된 얽힌 벨 상태를 사용하며, 보드가 측정 기저를 무작위로 선택한다(예: z축에 수직인 방향).
• 앨리스는 n개의 벨 상태로 이루어진 시퀀스를 준비하며, 각 상태는 혼합 상태 표현으로 나타낸다: |S_n^(b)> = { |b+>, |b->; 1/2, 1/2 }^n.
• 보드는 무작위로 선택된 기저(예: e_i이며 e_i · z = 0)에서 측정을 수행하며, 입자와 얽힌 보조 상태를 생성한다.
• 측정 후, 보드는 입자를 앨리스에게 전송하여 검증을 수행하며, b에 의존하는 상관관계를 숨기기 위해 입자 순서를 무작위로 재배열한다.
• 최종적으로 보드가 보유한 상태는 무작위화와 기저 불변성 덕분에 b에 독립적인 혼합 상태가 되며, 이는 은폐성을 보장한다.
• 유사성 성질은 유지되며, 사기를 위해 필요한 유니터리 변환은 앨리스가 액세스할 수 없는 보드의 알려지지 않은 측정 매개변수(p_i^k, e_i)에 의존한다.

실험 결과

연구 질문

• RQ1 사기 유니터리 변환이 사기자에게 알려져 있지 않을 경우, 무조건적 보안 양자 비트 기여가 달성될 수 있는가?
• RQ2 QBC에 대한 '금지 정리'는 보편적으로 성립하는가, 아니면 그 정리가 적용되지 않는 체계가 존재하는가?
• RQ3 사기 유니터리가 앨리스가 알 수 없는 매개변수에 의존하도록 하면 EPR 공격를 차단할 수 있는가?
• RQ4 사기자가 수신자의 측정 기저를 완전히 알지 못할 경우, 은폐성과 유사성 성질을 동시에 유지할 수 있는가?
• RQ5 기여 단계에서 입자 순서를 무작위로 배치함으로써 b에 의존하는 상관관계의 추출을 방지할 수 있는가?

주요 결과

• 제안된 QBC 프로토콜은 보드의 시스템 밀도 행렬이 기저 선택과 입자 순서의 무작위화로 인해 기여된 비트 b에 독립적이므로 무조건적으로 은폐된다.
• 프로토콜은 무조건적으로 유사성 성질을 유지한다. 사기를 위해 필요한 유니터리 변환은 앨리스가 액세스할 수 없는 보드의 측정 매개변수(p_i^k, e_i)에 의존하기 때문이다.
• 은폐성 체계에 사기 유니터리가 존재한다고 해서 무조건적인 비보안성을 의미하지 않으며, 이는 사기 유니터리가 사기자에게 알려져 있지 않을 경우에 한해 성립한다. 따라서 '금지 정리'의 핵심 가정이 무효화된다.
• 측정 후 보드가 입자 순서를 무작위로 배치함으로써 총 스핀 정보의 추출을 방지할 수 있으며, 이는 이전에는 b를 들킬 수 있었다.
• 프로토콜은 사기자가 수신자의 측정 기저와 매개변수를 모를 경우 무조건적 보안 QBC가 가능하다는 것을 보여준다.
• 수학적으로 존재하는 사기 유니터리 변환조차도, 앨리스가 접근할 수 없도록 하여 EPR 공격를 피하는 방식으로 체계를 구성한다.