[논문 리뷰] Cryptographic Distinguishability Measures for Quantum Mechanical States

Christopher A. Fuchs, Jeroen van de Graaf|ArXiv.org|1997. 12. 18.

Quantum Information and Cryptography참고 문헌 27인용 수 28

한 줄 요약

이 논문은 고전적 통계적 구분 가능성에 기반한 네 가지 양자 구분 가능성 측정법—오류 확률, 트레이스 거리(콜모고로프 거리), 바타차리야 계수, 샤논 구분 가능성—을 도입하고 그 상호 관계를 제시한다. 이들 사이의 핵심 부등식을 수립하여, 한 측정법에서의 지수적 구분 불가능성이 다른 모든 측정법에서도 성립함을 보이며, 이는 양자 키 분배와 같은 양자 암호 프로토콜의 보안성을 입증하는 데 핵심적이다.

ABSTRACT

This paper, mostly expository in nature, surveys four measures of distinguishability for quantum-mechanical states. This is done from the point of view of the cryptographer with a particular eye on applications in quantum cryptography. Each of the measures considered is rooted in an analogous classical measure of distinguishability for probability distributions: namely, the probability of an identification error, the Kolmogorov distance, the Bhattacharyya coefficient, and the Shannon distinguishability (as defined through mutual information). These measures have a long history of use in statistical pattern recognition and classical cryptography. We obtain several inequalities that relate the quantum distinguishability measures to each other, one of which may be crucial for proving the security of quantum cryptographic key distribution. In another vein, these measures and their connecting inequalities are used to define a single notion of cryptographic exponential indistinguishability for two families of quantum states. This is a tool that may prove useful in the analysis of various quantum cryptographic protocols.

연구 동기 및 목표

• 양자 암호와 관련된 네 가지 양자 구분 가능성 측정법을 정의하고 고전적 통계적 구분 가능성에 기반해 그 관계를 규명함.
• 이들 양자 측정법 사이의 엄밀한 수학적 부등식을 수립하여 양자 상태 구분 분석의 비교 분석을 가능하게 함.
• 한 측정법에서의 지수적 구분 불가능성이 다른 모든 측정법에서도 성립함을 보여 양자 프로토콜 보안 분석의 강건성을 확보함.
• 양자 상태 가족이 얼마나 가까이 구분 가능한지 수량화하여 양자 암호 프로토콜의 보안성을 분석할 수 있는 도구를 제공함.
• 트레이스 거리와 바타차리야 계수를 사용해 구분 가능성 측정법에 대한 경계를 유도함으로써 양자 키 분배의 보안 증명을 지원함.

제안 방법

• 임의의 행렬 노름을 기각하고 통계적으로 타당한 측정법을 선택함으로써 양자 측정 기반의 구분 가능성 접근법을 채택함.
• 네 가지 양자 구분 가능성 측정법을 고전적 측정법의 양자 일반화로 정의함: 오류 확률, 트레이스 노름 거리(콜모고로프 거리), 바타차리야 계수(울만의 전이 확률), 샤논 구분 가능성(상호정보량).
• 핵심 부등식 유도: $\texttt{SD}(\rho_0,\rho_1) \leq \frac{1}{2}\mathrm{Tr}|\rho_0 - \rho_1|$, 샤논 구분 가능성과 트레이스 거리 간의 연결.
• 다중 큐비트에서의 구분 가능성 측정법 계산을 단순화하기 위해 양자 상태의 블록 대각 구조(예: $\rho_0^{(n)} = \bigoplus_k \rho_{(0,k)}$)를 활용함.
• 복합 상태의 바타차리야 계수를 계산하기 위해 분해식 $\texttt{B}(\sigma_0, \sigma_1) = \texttt{B}(\sigma_0^u, \sigma_1^u) + \texttt{B}(\sigma_0^l, \sigma_1^l)$ 를 적용함.
• 구체적인 예시를 통해 $n=2$ 큐비트의 경계를 도식화함. $\texttt{B}(\rho_0^{(2)}, \rho_1^{(2)}) = |C|$ 및 $\texttt{SD}(\rho_0^{(2)}, \rho_1^{(2)})$ 를 $C = \cos 2\alpha$ 로 표현함.

실험 결과

연구 질문

• RQ1 고전적 구분 가능성 측정법을 물리적으로 의미 있는 방식으로 양자 상태로 일반화할 수 있는가?
• RQ2 오류 확률, 트레이스 거리, 바타차리야 계수, 샤논 구분 가능성의 네 가지 양자 구분 가능성 측정법 사이의 수학적 관계는 무엇인가?
• RQ3 한 구분 가능성 측정법에서의 지수적 구분 불가능성이 다른 측정법들에서도 성립할 수 있는가?
• RQ4 특히 양자 키 분배의 보안 증명에 있어, 구분 가능성 측정법 간에 유도할 수 있는 날카운 경계는 무엇인가?
• RQ5 예를 들어 $2\times2$ 블록으로 구성된 블록 대각 구조를 가진 구조적 양자 상태의 구분 가능성은 어떻게 효율적으로 계산하고 경계할 수 있는가?

주요 결과

• 논문은 부등식 $\texttt{SD}(\rho_0, \rho_1) \leq \frac{1}{2}\mathrm{Tr}|\rho_0 - \rho_1|$ 를 수립하여, 샤논 구분 가능성에 대한 트레이스 거리 기반의 유효한 상한을 제공함.
• $n=2$ 에서 $\rho_0^{(2)}$ 와 $\rho_1^{(2)}$ 사이의 바타차리야 계수는 $|C|$ 로 주어지며, 여기서 $C = \cos 2\alpha$ 이므로 기저 큐비트 상태 간의 각도에 직접적인 의존성을 보임.
• $n=2$ 에서의 샤논 구분 가능성은 $\texttt{SD}(\rho_0^{(2)}, \rho_1^{(2)}) = \frac{1}{2}(1+C^2)I_2\left(\frac{C^2}{1+C^2}\right) + \frac{S^2}{2}$ 로 주어지며, 여기서 $S = \sin 2\alpha$.
• $n=2$ 에서 바타차리야 계수 경계는 날카로운 것으로 판명되었으며, 함수 $2\sqrt{x(1-x)}$ 는 이진 엔트로피 함수 $\mathtt{H}_2(x)$ 와 밀접하게 근사함.
• 유도된 부등식 덕분에 한 측정법에서의 지수적 구분 불가능성이 다른 모든 측정법에서도 성립함을 보여, 측정법 간의 등가성을 확보함.
• $\rho_0^{(n)}$ 와 $\rho_1^{(n)}$ 의 블록 대각 구조 덕분에 바타차리야 계수를 개별 $2\times2$ 블록에 대한 합으로 계산할 수 있으며, 이는 다중 큐비트 상태에 대한 효율적 계산을 가능하게 함.