[논문 리뷰] An Entropic Uncertainty Principle for Quantum Measurements

M. Krishna, K. R. Parthasarathy|ArXiv.org|2001. 10. 04.

Quantum Information and Cryptography참고 문헌 5인용 수 24

한 줄 요약

이 논문은 Riesz-Thorin 보간법과 Naimark 정리를 사용하여, 사영 관측가능량을 초월한 임의의 양자 측정에 대해 엔트로피 불확정성 원리를 일반화한다. 이는 두 측정에 대한 샤논 엔트로피 합에 대한 하한을 도출함으로써 이루어지며, 비특이 관측가능량의 경우 Maassen-Uffink 하한으로 축소된다. 핵심 결과는 단일 측정에 대해서도 비자명한 불확정성 하한을 제공한다.

ABSTRACT

The entropic uncertainty principle as outlined by Maassen and Uffink for a pair of non-degenerate observables in a finite level qusystem is generalized here to the case of a pair of arbitrary quantum measurements. In particular, our result includes not only the case of projectivmeasurements (or equivalently, observables) exhibiting degeneracy but also an uncertainty principle for a single measurement.

연구 동기 및 목표

• 유한 차원 양자 시스템에서 비특이 관측가능량을 초월하여 엔트로피 불확정성 원리를 일반 양자 측정으로 확장하는 것.
• 두 임의의 양자 측정에 대한 샤논 엔트로피 합에 대해 날카로운 하한을 설정하는 것.
• 단일 측정의 경우를 포함하여, 한 측정에 대해서도 비자명한 불확정성이 존재하는지 고려하는 것.
• 측정이 비특이 사영 관측가능량일 경우 Maassen-Uffink 하한으로 축소되는가를 확인하는 것.

제안 방법

• 측정의 겹침을 나타내는 행렬의 연산자 노름을 유계화하기 위해 Riesz-Thorin 보간 정리를 사용한다.
• 일반적인 양의 연산자값 측정(POVM)을 더 큰 힐베르트 공간에서의 사영 측정으로 확장하기 위해 Naimark의 확장 정리를 적용한다.
• 측정의 겹침을 행렬 원소 $ t_{ij} = \langle \phi_i | \psi_j \rangle $ 로 정의한다. 여기서 $ \phi_i $, $ \psi_j $ 는 측정 결과에 관련된 정규화된 상태이다.
• L^2 및 L^1/L^\infty 노름 사이의 보간을 통해 엔트로피 합에 대한 하한을 유도한다.
• 문제를 $ \|T\|_{p_t,q_t} \leq R^t $ 형태의 노름 부등식으로 변환하며, 여기서 $ R = \max |t_{ij}| $ 이고, 이로 인해 불확정성 하한이 도출된다.
• 밀도 연산자에 이 하한을 적용하고, 엔트로피의 볼록성에 의해 혼합 상태로 확장한다.

실험 결과

연구 질문

• RQ1 엔트로피 불확정성 원리는 비특이 사영 측정을 초월하여 일반 양자 측정으로 일반화될 수 있는가?
• RQ2 두 일반 양자 측정에 대한 샤논 엔트로피 합에 대해 가장 날카로운 가능한 하한은 무엇인가?
• RQ3 단일 측정에 대해서도 비자명한 불확정성 원리가 존재하는가?
• RQ4 비특이 관측가능량의 경우 일반화된 하한이 Maassen-Uffink 결과로 어떻게 축소되는가?

주요 결과

• 논문은 엔트로피 합에 대한 하한을 확립한다: $ H(\mathbf{X},\psi) + H(\mathbf{Y},\psi) \geq -2 \log_2 \left( \max_{i,j} \frac{|\langle \psi | X_i Y_j | \psi \rangle|}{\|X_i^{1/2}\psi\| \|Y_j^{1/2}\psi\|} \right) $.
• 두 측정이 비특이 사영 관측가능량일 경우 이 하한은 Maassen-Uffink 결과로 축소된다.
• 단일 측정의 경우 하한은 $ H(\mathbf{X},\rho) \geq -\log_2 \left( \max_{i,j} \|X_i^{1/2} X_j^{1/2}\| \right) $ 를 제공하며, 이는 0이 아니고 비자명하다.
• 유한군 $ G $ 의 경우 하한은 $ H(\psi) + H(\widehat{\psi}) \geq \log_2 N - \log_2 \left( \max_{\pi} d(\pi) \right) $ 로 변형되며, $ \psi $ 가 균일할 경우 등호가 성립한다.
• 아벨 군의 경우 하한이 날카로워지며, $ \max d(\pi) = 1 $ 이므로 $ \log_2 N $ 이 하한이 되며, 이는 균일 상태에서 도달된다.