[논문 리뷰] Extending the Fisher metric to density matrices

D. Petz, Cs. Sudar|ArXiv.org|2001. 02. 27.

Mathematical Inequalities and Applications참고 문헌 11인용 수 19

한 줄 요약

이 논문은 유한 차원 밀도 연산자 공간에서의 단조성 조건을 만족하는 리만계량을 특성화하는 데 있어, 고전적 페셔 정보 계량을 양자 밀도 행렬으로 확장한다. 이는 양자 스토케스틱 맵(즉, 완전히 양성적이고 추적을 보존하는 사상)에 대해 단조적인 리만계량을 특성화하기 위해, 양자역학에 적응된 첸초프의 프레임워크를 사용한다. 특히, 이러한 계량이 존재하는 것이 풍부하다는 것을 증명하며, 고전 통계에서의 유일한 페셔 계량과는 대조적으로, 유한 차원 힐베르트 공간에서의 밀도 연산자 공간에 대해 이러한 계량이 존재함을 보여준다. 또한, 순수 상태로의 반경 방향 확장을 통해 Fubini-Study 계량이 유도되는 조건을 규명한다. 그 조건은 관련된 연산자 단조 함수가 0에서 0이 아닐 때에만 성립한다.

ABSTRACT

Chentsov studied Riemannian metrics on the set of probability measures from the point of view of decision theory. He proved that up to a constant factor the Fisher information is the only metric which is monotone under stochastic transformations. The present paper deals with monotone metrics on the space of finite density matrices on the basis motivated by quantum mechanics. A characterization of those metrics is given in terms of operator monotone functions. Several concrete metrics are constructed and analyzed, in particular, instead of the uniqueness in the probabilistic case, there is a large class of monotone metrics. Some of those appeared already in the physics literature a long time ago. A limiting procedure to pure states is discussed as well.

연구 동기 및 목표

• 유한 차원 힐베르트 공간에서의 밀도 행렬을 다루는 양자적 맥락으로 고전적 페셔 정보 계량을 일반화하는 것.
• 밀도 연산자 공간에 정의된, 양자 스토케스틱 맵(즉, 완전히 양성적이고 추적을 보존하는 사상)에 대해 단조적인 리만계량을 식별하고 특성화하는 것.
• 밀도 연산자 공간에 정의된 단조적인 리만계량과 양의 실수선 위의 연산자 단조 함수 사이의 일대일 대응을 수립하는 것.
• 밀도 행렬이 순수 상태로 수렴하는 반경 투영을 통한 이러한 계량의 극한 행동을 조사하는 것.
• 밀도 연산자 공간에 정의된 계량이 순수 상태의 다양체로 매끄럽게 연장되는 조건을 규명하는 것.

제안 방법

• 고전 통계에서의 단조 계량에 대한 첸초프의 프레임워크를, 완전히 양성적 사상에 의해 양자역학에 적응시킨다.
• 밀도 연산자 공간에 정의된 단조적인 리만계량을 연산자 단조 함수 f: R⁺ → R⁺를 사용하여 특성화한다. 여기서 밀도 행렬 D에서의 계량은 힐베르트-슈미트 내적을 통해 f(D)에 의해 정의된다.
• 비퇴화된 행렬들로 이루어진 밀도 행렬 공간의 내부에서 경계(순수 상태)로의 반경 투영을 적용한다. 반경 방향은 최대 고유값을 통해 정의된다.
• 반경 투영의 미분의 핵의 여집합 위로의 수직 투영을 통해 순수 상태에서의 접선 벡터의 수평 릿지(수평 이행)를 정의한다.
• 특히 2×2 경우에서 고유값과 연산자 단조 함수 f에 따라 수평 릿지된 접선 벡터의 계량을 계산한다.
• 밀도 행렬에 정의된 계량 g가 순수 상태 공간으로 반경 방향으로 확장될 때, 순수 상태에 대한 계량 k를 얻기 위해 순수 상태로 수렴하는 반경 경로를 따라 g의 극한을 취한다.

실험 결과

연구 질문

• RQ1 밀도 연산자 공간에 정의된 어떤 리만계량이 양자 스토케스틱 맵에 대해 단조적인가? 그리고 이러한 계량은 어떻게 체계적으로 특성화할 수 있는가?
• RQ2 연산자 단조 함수는 양자 상태 공간의 단조 계량을 매개변수화하는 데 어떤 역할을 하는가?
• RQ3 밀도 연산자에 정의된 단조 계량은 순수 상태의 경계로 연속적으로 확장될 수 있는가? 그리고 이러한 확장이 존재하는 조건은 무엇인가?
• RQ4 밀도 연산자에 정의된 단조 계량이 반경 방향으로 확장되었을 때, 순수 상태 다양체에 대해 유도되는 계량은 무엇인가?
• RQ5 단조 계량의 반경 확장은 순수 상태 공간에 대한 표준 Fubini-Study 계량과 어떻게 관련이 있는가?

주요 결과

• 밀도 연산자 공간에 정의된 단조적인 리만계량은 일대일로 연산자 단조 함수 f: R⁺ → R⁺와 대응된다.
• 고전적 경우에서 페셔 계량이 스칼라 배율을 제외하고 유일한 것과는 대조적으로, 양자적 경우에서는 이러한 계량이 매우 풍부하게 존재하며, 연산자 단조 함수에 의해 매개변수화된다.
• 밀도 연산자 공간에 정의된 단조 계량 g가 순수 상태 공간으로 반경 방향으로 확장될 수 있는 것은, g와 관련된 연산자 단조 함수 f가 f(0) ≠ 0일 때에만 성립한다.
• f(0) ≠ 0이면, 반경 방향 확장은 순수 상태 다양체에서 Fubini-Study 계량을 1/f(0) 배수로 스케일링한 결과를 유도한다.
• 2×2 경우에서, 순수 상태에서의 접선 벡터의 수평 릿지가 명시적으로 계산 가능하며, 계량의 선택과 무관하게, 오직 고유값 갭에만 의존한다.
• 반경 경로를 따라 계량의 극한은 f(0) ≠ 0일 때에만 유한하고 잘 정의되며, 이는 순수 상태로의 매끄러운 확장을 보장한다.