[논문 리뷰] Quantum Communications Based on Quantum Hashing

Alexander Vasiliev|arXiv (Cornell University)|2013. 12. 05.

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

한 줄 요약

이 논문은 보정 다항식 표현을 사용한 양자 해싱을 통해 부울 함수를 계산하기 위한 양자 통신 프로토콜을 제안한다. 입력을 특성 다항식을 통해 양자 중첩 상태로 인코딩함으로써, 특정 함수에 대해 일방 통신에서 큐비트 복잡도를 지수적으로 감소시키며, 동시 메시지 전달 모델에서 고전적 방법에 비해 지수적 속도 향상을 달성한다.

ABSTRACT

In this paper we consider an application of the recently proposed quantum hashing technique for computing Boolean functions in the quantum communication model. The combination of binary functions on non-binary quantum hash function is done via polynomial presentation, which we have called a characteristic of a Boolean function. Based on the characteristic polynomial presentation of Boolean functions and quantum hashing technique we present a method for computing Boolean functions in the quantum one-way communication model, where one of the parties performs his computations and sends a message to the other party, who must output the result after his part of computations. Some of the results are also true in a more restricted Simultaneous Message Passing model with no shared resources, in which communicating parties can interact only via the referee. We give several examples of Boolean functions whose polynomial presentations have specific properties allowing for construction of quantum communication protocols that are provably exponentially better than classical ones in the simultaneous message passing setting.

연구 동기 및 목표

• 부울 함수를 위한 양자 통신 프로토콜을 양자 해싱과 다항식 표현을 사용하여 개발한다.
• 일방 통신 및 동일 메시지 전달(SMP) 모델에서의 통신 복잡도를 감소시킨다.
• 양자 프로토콜이 고전적 방법에 비해 지수적으로 승리하는 부울 함수의 클래스를 규명한다.
• 분산 양자 계산을 위한 복잡도 한계가 보장되는 일반화된 양자 해싱 기법을 개발한다.

제안 방법

• 함수의 값이 1이 되는 조건이 다항식 집합의 모든 다항식의 값이 0이 되는 경우임을 고려하여, Z_m 상에서 부울 함수를 특성 다항식으로 표현한다.
• 고전적 입력을 양자 중첩 상태로 매핑하기 위해 양자 해싱을 사용하여 통신 오버헤드를 감소시킨다.
• 앨리스가 양자 해시 상태와 다항식의 고전적 값을 보낸다. 이는 일방 통신 양자 프로토콜의 핵심이다.
• 앨리스와 보브가 독립적으로 계산한 해시 상태 간에 SWAP 테스트를 적용하여 일치 여부를 검증한다.
• 입력이 다를 경우 오류 확률을 제한하기 위해 양자 해시 함수의 충돌 저항성을 활용한다.
• 임의의 부울 함수를 다루기 위해 특성 다항식 집합을 일반화하고, 통신 복잡도를 O(|S| + m) 큐비트로 유도한다.

실험 결과

연구 질문

• RQ1 양자 해싱을 사용하여 부울 함수에 대한 효율적인 일방 통신 양자 통신 프로토콜을 구성할 수 있는가?
• RQ2 부울 함수의 다항식 표현이 어떤 조건일 때 양자 프로토콜이 고전적 프로토콜에 비해 지수적 우위를 확보하는가?
• RQ3 특성 다항식 집합의 크기와 구조가 통신 복잡도에 어떻게 영향을 미치는가?
• RQ4 공유 자원이 없는 조건에서 일방 모델에서 SMP 모델로 프로토콜을 확장할 수 있는가?
• RQ5 충돌 저항성이 양자 해싱 기반 프로토콜의 정확성 확보 및 오류 최소화에 어떤 역할을 하는가?

주요 결과

• 특성 집합 크기가 |S|이고 매개변수 수가 m인 부울 함수에 대해, 양자 통신 복잡도는 O(|S| + m) 큐비트이며, 특정 함수에 대해 고전적 O(n)에 비해 지수적으로 우수하다.
• |S| = O(log n) 이고 m = O(log n 일 때, 프로토콜은 O(log n)의 통신 복잡도를 달성하며, 고전적 프로토콜에 비해 지수적으로 향상된다.
• 프로토콜은 일방 통신 및 동일 메시지 전달(SMP) 모델 모두에서 작동하며, SMP 변형은 공유 자원이 필요하지 않다.
• 앨리스와 보브의 해시 상태 간의 SWAP 테스트는 입력이 일치할 경우에만 높은 확률로 결과 1을 출력하며, 오류 확률은 양자 해시의 m-저항성 특성을 통해 제한된다.
• 이 방법은 임의의 부울 함수로 일반화되지만, 특성 다항식 집합이 유리한 구조적 특성을 가져야만 비로소 비트리비어 복잡도 한계를 도출할 수 있다.
• 임의의 부울 함수를 특성 다항식 집합으로 분해하는 구축 가능한 방법을 포함하며, 이는 단일 특성 다항식이 존재하지 않을 경우에도 프로토콜 생성을 가능하게 한다.