[논문 리뷰] Generalized Cramer-Rao relations for non-relativistic quantum systems

J. S. Dehesa, Angelo Plastino외 2명|arXiv (Cornell University)|2010. 01. 19.

Quantum Information and Cryptography참고 문헌 13인용 수 8

한 줄 요약

이 논문은 비상대론적 양자 시스템에 대해 D차원 비유계 및 유계 영역에서 Cramér-Rao 곱의 최솟값 $ F\langle\mathbf{x}^2\rangle $을 유도한다. 비유계 영역에서는 조화 진동자의 기본 상태가 최솟값을 달성하고, 유계 영역에서는 양자 무한 우물(양자 상자)의 기본 상태가 이를 달성함을 보이며, 피셔 정보, 양자 기본 상태, 그리고 정보이론적 부등식 간의 기본적인 연결 고리를 확립한다.

ABSTRACT

The Cramer-Rao product of the Fisher information and the variance of a probability density ρ(x), defined on a domain Δ\in R^D, is found to have a minimum value reached by the density associated with the ground state of the harmonic oscillator in Δ, when Δis an unbounded domain. If Δis bounded, the minimum value of the Fisher information is achieved by the ground state of the quantum box described itself by this domain.

연구 동기 및 목표

• D차원 비유계 영역에서 Cramér-Rao 곱 $ F\langle\mathbf{x}^2\rangle $를 최소화하는 확률 밀도를 결정하기 위해.
• D차원 유계 영역에서 피셔 정보를 최소화하는 확률 밀도를 특정하기 위해.
• 최솟값을 이루는 해와 기본 양자 시스템(조화 진동자 및 무한 우물)의 기본 상태 간의 연결 고리를 설정하기 위해.
• Becher와 Vignat의 이전 일차원 결과를 고차원 비상대론적 양자 시스템으로 일반화하기 위해.

제안 방법

• 정규화 및 분산 제약 조건을 포함한 제약 조건이 있는 변분법을 사용하여 최적화 문제를 수립한다.
• 피셔 정보, 정규화 및 분산 제약 조건을 포함한 라그랑지안에서 오일러-라그랑주 방정식을 유도한다.
• 유도된 미분 방정식이 비유계 영역에서는 조화 퍼텐셜을 가진 슈뢰딩거 방정식으로, 유계 영역에서는 무한 우물 퍼텐셜을 가진 슈뢰딩거 방정식으로 나타남을 확인한다.
• 비틀림 정리를 적용하여 최소 Cramér-Rao 곱을 해당 양자 시스템의 기본 상태 에너지와 연결한다.
• 기본 상태의 유일성(절댓값이 0이 되는 점이 없음)을 이용하여, 유계 영역에서 피셔 정보를 최소화하는 것은 오직 기본 상태뿐임을 증명한다.
• 직각 영역에 대해 슈뢰딩거 방정식의 정확한 해를 활용하여 피셔 정보와 분산의 명시적 값을 계산한다.

실험 결과

연구 질문

• RQ1 비유계 D차원 영역에서 Cramér-Rao 곱 $ F\langle\mathbf{x}^2\rangle $를 최소화하는 확률 밀도는 무엇인가요?
• RQ2 유계 D차원 영역에서 어떤 양자 상태가 피셔 정보를 최소화합니까?
• RQ3 비유계 영역에서 최소 Cramér-Rao 곱은 기본 상태의 에너지와 어떻게 관련이 있나요?
• RQ4 유계 영역에서의 최솟값 해를 무한 우물의 기본 상태로 식별할 수 있나요?
• RQ5 직사각형 2차원 영역에 대해 최소 Cramér-Rao 곱의 정량적 값은 얼마입니까?

주요 결과

• 비유계 영역에서 Cramér-Rao 곱 $ F\langle\mathbf{x}^2\rangle $의 최솟값은 D차원 조화 진동자의 기본 상태에서 달성되며, 이 값은 기본 상태 에너지 $ E $에 대해 $ E^2 $와 같다.
• 유계 영역에서는 무한 우물 퍼텐셜로 정의된 양자 무한 우물의 기본 상태에서 피셔 정보가 최소가 된다.
• 직사각형 2차원 영역 $ \Delta = \{(x,y) \in \mathbb{R}^2 : 0<x<2, -1<y<2\} $에 대해 최소 Cramér-Rao 곱은 약 23.875이며, 이는 양자 수 $ n_1 = n_2 = 1 $인 기본 상태에서 달성된다.
• 무한 우물의 기본 상태는 영이 없는 유일한 고유 상태이므로, 이는 유계 영역에서 피셔 정보를 최소화하는 유일한 해임을 고유하게 식별한다.
• 2차원 직사각형 상자 내 기본 상태의 피셔 정보는 $ F[\rho_{1,1}] = \frac{13\pi^2}{9} $이며, 분산 $ \langle x^2 + y^2 \rangle_{1,1} = \frac{7}{3} - \frac{13}{2\pi^2} $이다.
• 최소 Cramér-Rao 곱은 척도 불변이며 강도 파rameter $ \beta $에 영향을 받지 않으며, 이는 보편적인 하한 값 존재를 확인한다.