[논문 리뷰] Stronger impossibility results for quantum string commitment

Rahul Jain|arXiv (Cornell University)|2005. 05. 31.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 6

한 줄 요약

이 논문은 하위상태 정리(substate theorem)를 활용하여 양자 스트링 커밋(QSC) 프로토콜에 대해 기존 결과보다 더 강력한 유한성-은폐성 무역관계를 확립한다. 분석은 단일 실행 및 병렬 실행 모두에 적용되며, 무역관계의 경계가 더 날카롭고 다양한 영역에 일반적으로 적용된다는 점을 보여준다.

ABSTRACT

String commitment schemes are similar to the well studied bit commitment schemes in cryptography with the difference that the committing party, say Alice is supposed to commit a long string instead of a single bit, to another party say Bob. Similar to bit commitment schemes, such schemes are supposed to be binding, i.e Alice cannot change her choice after committing and concealing i.e. Bob cannot find Alice’s committed string before Alice reveals it. Strong impossibility results are known for bit commitment schemes both in the classical and quantum settings, for example due to Mayer [13] and Lo and Chau [11, 12]. In fact for approximate quantum bit commitment schemes, trade-offs between the degrees of cheating of Alice and Bob, referred to as binding-concealing trade-offs are known as well for example due to Spekkens and Terry [15]. Recently, Buhrman, Christandl, Hayden, Lo and Wehner [1] have shown similar bindingconcealing trade-offs for quantum string commitment schemes (QSC), both in the scenario of single execution of the protocol and in the asymptotic regime of sufficiently large number of parallel executions of the protocol. We show stronger trade-off in the scenario of single execution of a QSC protocol which also immediately imply the trade-off shown by Buhrman et al. in the asymptotic regime of multiple parallel executions of a QSC protocol. We show our results by making a central use of an important information theoretic tool called the substate theorem due to Jain, Radhakrishnan and Sen [6]. Our techniques are quite different from that of [1] and may be of independent interest.

연구 동기 및 목표

• 기존의 QSC 프로토콜에 대한 불가능성 결과를 이전의 경계를 초월해 강화하기 위해.
• QSC 보안 무역관계에서 단일 실행과 점점 커지는 병렬 실행 영역 간의 격차를 메우기 위해.
• 하위상태 정리를 활용한 새로운 정보이론적 접근법을 개발하여 더 날카운 경계를 유도하기 위해.
• 새로운 무역관계가 이전에 알려진 점점 커지는 결과를 함의함을 보여주어 분석 프레임워크를 통합하기 위해.

제안 방법

• 하위상태 정리를 중심 정보이론적 도구로 활용한다.
• 하위상태 정리를 사용해 QSC 프로토콜에서 유한성과 은폐성 간의 관계를 분석한다.
• 단일 실행에서 앨리스(유한성)와 백(Bob, 은폐성)의 사기 확률에 대한 더 날카운 경계를 도출한다.
• 직접적인 함의를 통해 단일 실행의 무역관계를 병렬 실행의 점점 커지는 영역으로 확장한다.
• 이전 연구(예: Buhrman 등)에서 사용된 방법에 의존하지 않는 양자 정보이론 기법을 적용한다.
• 기타 양자 커밋 스킴을 분석하는 데에도 별도로 유용할 수 있는 프레임워크를 구축한다.

실험 결과

연구 질문

• RQ1 단일 실행 시나리오에서 양자 스트링 커밋에 대해 더 강력한 유한성-은폐성 무역관계를 도출할 수 있는가?
• RQ2 새로운 무역관계 경계가 이전에 병렬 실행에 대해 확립된 점점 커지는 무역관계를 함의하는가?
• RQ3 하위상태 정리는 양자 커밋 스킴에서 불가능성 결과를 강화하는 데 효과적으로 적용될 수 있는가?
• RQ4 제안된 방법은 이전의 분석 기법과 독립적이며 그에 비해 우월한가?
• RQ5 Buhrman 등과의 결과에 비해 무역관계 경계에서 정량적으로 얼마나 향상되었는가?

주요 결과

• 논문은 이전에 알려진 것보다 더 강력한 유한성-은폐성 무역관계를 단일 실행 QSC 프로토콜에 도출한다.
• 유도된 무역관계는 Buhrman 등이 병렬 다중 실행에 대해 확립한 점점 커지는 무역관계 경계를 함의한다.
• 하위상태 정리의 사용은 앨리스와 백 모두의 사기 확률에 대해 더 날카운 경계를 가능하게 한다.
• Buhrman 등과의 접근 방식과 근본적으로 다른 새로운 기법을 통해 결과를 도출한다.
• 이 방법은 단일 실행과 병렬 실행 영역 모두에 적용 가능한 통합된 프레임워크를 제공한다.
• 결과적으로 양자 스트링 커밋의 불가능성 결과가 강화되어, 이 영역에서 양자 프로토콜의 한계를 더욱 강화한다.