[논문 리뷰] Comment on (t, n) Threshold d-level Quantum Secret Sharing

Shih-Hung Kao, Tzonelih Hwang|arXiv (Cornell University)|2018. 03. 01.

Quantum Information and Cryptography참고 문헌 1인용 수 6

한 줄 요약

이 논문은 송 등(2023)의 (t, n) 임계값 d-레벨 양자 비밀공유 프로토콜에서 비밀을 복구하기 위해 고전적 통신이 없이도 복구할 수 없다는 중요한 결함을 규명한다. 저자들은 보브 1이 자신의 단일 큐비트에 양자 푸리에 변환(QFT)을 적용해도 비밀 $a_0$를 복구할 수 없음을 입증한다. 이는 다른 큐비트들과의 얽힘 때문에 발생하며, 이는 프로토콜이 정보 없는 복구를 가능하게 한다는 주장의 정당성을 무너뜨린다.

ABSTRACT

This comment points out a problem in Song et al.'s (t, n) threshold quantum secret sharing [Scientific Reports, Vol. 7, No. 1 (2017), pp. 6366], indicating that the agent is unable to obtain the expected information.

연구 동기 및 목표

• 송 등의 (t, n) 임계값 d-레벨 양자 비밀공유 프로토콜에서 근본적인 결함을 규명하는 것.
• 비밀 복구 프로토콜이 참가자들이 고전적 정보를 교환하지 않고도 비밀을 복구하려 할 때 실패함을 입증하는 것.
• 큐비트 간의 얽힘이 보브 1이 자신의 큐비트에 QFT⁻¹을 적용할 때 올바른 측정 결과를 얻는 것을 방해함을 보여주는 것.
• 원래 프로토콜에서 다중 양자 얽힘 상태에서 단일 큐비트에 QFT⁻¹를 적용할 수 있다는 오해를 수정하는 것.

제안 방법

• 저자들은 송 등의 비밀 복구 프로토콜을 분석하여, 라그랑주 보간법 인코딩 이후의 양자 상태 변화에 초점을 맞춘다.
• 각 참가자가 자신의 유니터리 연산 $U_{0,s_r}$를 적용한 후의 정확한 양자 상태를 유도하여, 모든 t개 큐비트 간에 얽힘이 존재함을 보여준다.
• 분석 결과, 인코딩 이후의 상태는 $\frac{1}{\sqrt{d}}\sum_{k=0}^{d-1}\omega^{(\sum s_r)\cdot k}|k\rangle_1|k\rangle_2\cdots|k\rangle_t$이며, 이는 모든 큐비트에 걸쳐 얽혀 있다.
• 다른 큐비트들을 추적하면서 첫 번째 큐비트에만 역양자 푸리에 변환 $QFT^{-1}$를 적용한 결과, 상태가 $|a_0\rangle$로 붕괴되지 않음을 보여준다.
• d=4, t=3, a_0=3인 구체적 예시를 사용하여 전체 상태 변화를 계산하고, 다른 큐비트들의 상태가 다를 경우 초위상이 더해질 수 없음을 보여준다.
• 결론적으로, 다른 참가자들로부터 측정 결과를 수신하지 않으면서도 보브 1이 $a_0$를 결정할 수 없기 때문에 프로토콜이 실패함을 결론 내린다.

실험 결과

연구 질문

• RQ1 참가자들 간에 고전적 통신 없이 송 등의 프로토콜에서 비밀을 복구할 수 있는가?
• RQ2 다중 양자 얽힘 상태에서 단일 큐비트에 $QFT^{-1}$를 적용하면 올바른 비밀 상태가 얻어지는가?
• RQ3 다른 큐비트들과의 얽힘이 존재하는 상황에서 보브 1의 큐비트에만 $QFT^{-1}$를 적용해도 $|a_0\rangle$가 복구된다고 주장하는 원래 프로토콜의 근거는 무엇인가?
• RQ4 모든 참가자가 연산을 적용한 후의 정확한 양자 상태는 무엇인가?
• RQ5 얽힘 상태가 존재하는 상황에서 단일 큐비트에 $QFT^{-1}$를 독립적으로 적용할 수 있다는 가정은 타당한가?

주요 결과

• 보브 1이 다른 큐비트들과의 얽힘으로 인해 자신의 큐비트에만 $QFT^{-1}$를 적용해도 $a_0$를 복구할 수 없기 때문에 프로토콜이 실패한다.
• 정확한 상태는 $\frac{1}{\sqrt{d}}\sum_{k=0}^{d-1}\omega^{(\sum s_r)\cdot k}|k\rangle_1|k\rangle_2\cdots|k\rangle_t$이며, 이는 모든 큐비트에 걸쳐 얽혀 있다.
• 다른 큐비트들이 초위상 상태 $|k\rangle_2\cdots|k\rangle_t$에 있을 때 첫 번째 큐비트에만 $QFT^{-1}$를 적용해도 $|a_0\rangle$가 얻어지지 않으며, 이는 항들이 더해질 수 없기 때문이다.
• d=4, t=3, a_0=3인 예시에서 $QFT^{-1}$ 이후의 최종 상태는 첫 번째 큐비트에 대해 서로 다른 상태의 초위상으로 나타나며, $|3\rangle$가 아니다. 이는 다른 큐비트들에 대해 $|00\rangle$, $|11\rangle$, $|22\rangle$, $|33\rangle$ 상태가 서로 다를 때 발생한다.
• 보브 1이 다른 참가자들로부터 측정 결과를 수신하지 않으면서도 $a_0$를 결정할 수 없기 때문에, 프로토콜의 정보 없는 복구 주장은 정당하지 않다.
• 이 결함은 원래 프로토콜의 核 心 주장, 즉 참가자들 간 고전적 통신 없이도 비밀 복구가 가능하다는 주장을 무효화한다.