[논문 리뷰] Quantum covariance, quantum Fisher information and the uncertainty principle

Paolo Gibilisco, Fumio Hiai외 1명|ArXiv.org|2007. 12. 07.

Quantum Mechanics and Applications참고 문헌 18인용 수 7

한 줄 요약

이 논문은 연산자 단조 함수를 통해 양자 공분산과 양자 피셔 정보를 연결하는 일반적 프레임워크를 수립하며, 이전 결과를 일반화하고 단순화한 새로운 불확정성 원리들을 도출한다. 또한 행렬식 부등식을 증명하여, 양자 공분산이 스케일링된 양자 피셔 정보를 지배함을 보이며, 등호가 성립하는 조건은 특정 선형 종속 조건일 때에만 성립함을 밝힌다.

ABSTRACT

In this paper the relation between quantum covariances and quantum Fisher informations are studied. This study is applied to generalize a recently proved uncertainty relation based on quantum Fisher information. The proof given hereconsiderably simplifies the previously proposed proofs and leads to more general inequalities.

연구 동기 및 목표

• 양자 피셔 정보를 기반으로 한 최근에 증명된 불확정성 원리를 양자 공분산을 통해 일반화하기.
• 통일된 프레임워크를 도입하여 이전의 양자 불확정성 원리 증명을 단순화하고 확장하기.
• 연산자 단조 함수를 통해 양자 피셔 정보와 양자 공분산 간의 계층 관계 수립하기.
• 양자 공분산이 스케일링된 피셔 정보를 지배하는 것을 정량화하는 행렬식 부등식 유도하기.
• 이러한 부등식에서 등호 조건을 특성화하여 관측 가능량의 선형 종속성과 연결하기.

제안 방법

• 연산자 단조 함수 f와 g를 사용하여 J_D 연산자와 그 역행렬을 통해 일반화된 양자 피셔 정보와 양자 공분산을 정의한다.
• 표준 표현 γ_D(A,B) = Tr[A* J_D^{-1}(B)]를 적용하여 피셔 정보와 공분산을 모두 이차형식으로 표현한다.
• 粗화(coarse-graining) 하에서의 단조성 조건을 도출하여 αJ_D α* ≤ J_α(D)의 부등식을 얻으며, 이는 타당한 피셔 정보 측정법을 특성화한다.
• 표준 함수 g를 사용해 일반화된 공분산 γ_D^g를 도입하고, 스케일링된 피셔 정보 cγ_D^f와의 부등식 γ_D^g ≥ cγ_D^f를 비교한다.
• 관측 가능량 A_i로 구성된 행렬 블록에 대해 행렬식 부등식을 적용하여 일반화된 공분산과 피셔 정보 형태를 비교한다.
• 표준 함수에 대해 f(x) ≥ f(0)|x−1|라는 보조정리와 함께, f(x)g(x) ≥ f(0)g(0)(x−1)^2의 하한을 확립하여 주요 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 연산자 단조 함수를 통해 양자 공분산과 양자 피셔 정보를 체계적으로 어떻게 연결할 수 있는가?
• RQ2 양자 피셔 정보를 기반으로 한 이전 결과를 통합하고 확장하는 불확정성 원리의 일반적 형태는 무엇인가?
• RQ3 행렬식 부등식에서 양자 공분산이 스케일링된 피셔 정보를 지배하는 조건은 무엇인가?
• RQ4 유도된 행렬식 부등식에서 등호가 성립하는 조건은 언제인가?
• RQ5 표준 연산자 단조 함수의 성질(f(t) = tf(t^{-1}), f(1)=1)는 피셔 정보와 공분산 간의 관계를 어떻게 제약하는가?

주요 결과

• 논문은 임의의 표준 함수 f와 g 및 적절한 c > 0에 대해, 일반화된 공분산 행렬의 행렬식이 스케일링된 피셔 정보 행렬의 행렬식을 지배함을 증명한다: Det[qCov_D^g(A_i,A_j)] ≥ Det[c γ_D^f([D,A_i],[D,A_j])].
• 행렬식 부등식에서 등호가 성립하는 것은 오직 연산자 A_i − (Tr D A_i)I가 선형 종속일 때에만 성립하며, 이 경우 양변이 모두 0이 된다.
• 상수 c = f(0)g(0)는 부등식 f(x)g(x) ≥ f(0)g(0)(x−1)^2를 보장하며, 이는 주요 결과의 기초가 된다.
• 모든 자기수반 A에 대해 부등식 γ_D^g ≥ c γ_D^f가 성립하며, 등호는 A가 항등원의 배수일 때에만 성립한다.
• 표준 함수 f(t) = h_β(t) = β(1−β)(t−1)^2 / ((t^β−1)(t^{1−β}−1))에 대해, c = f(0)/2로 선택하면 부등식이 성립한다.
• g(t) = (t+1)/2인 경우(표준 공분산)를 일반화하여, 이 경우 c = f(0)/2로 선택하면 cγ_D^f를 지배함을 보여주며, 이는 결과를 일반화한다.