[논문 리뷰] The analytic quantum information manifold

R. F. Streater|ArXiv.org|1999. 10. 22.

Quantum Information and Cryptography참고 문헌 7인용 수 11

한 줄 요약

이 논문은 자기수반 연산자 H와 카토-유계 대칭 교란 V에 대해, x = 0 근처에서 로그 파artition 함수 log Tr[exp(−H + xV)] 가 x 에 대해 실해석적임을 입증한다. 또한 H + xV에 의해 생성되는 긴스 상태의 집합이 실해석적 바나흐 다양체를 이룬다는 것을 증명하며, 소규모 교란 하에서 양자 통계계의 엄밀한 미분기하학적 구조를 제공한다.

ABSTRACT

Let H be a self-adjoint operator such that exp(-aH) is of trace class for some a<1. Let V be a symmetric operator, Kato bounded relative to H. We show that log Tr[exp(-H+xV)] is a real analytic function of x in a hood of x=0. We show that the Gibbs states of H+xV form a real analytic Banach manifold. This work has been extended in math-ph/9910031.

연구 동기 및 목표

• 통계역학에서 양자 파artition 함수의 교란 매개변수에 대한 해석적 의존성을 확립하기 위해.
• 소규모 교란 하에서 양자 긴스 상태의 미분기하학적 구조를 조사하기 위해.
• 파artition 함수의 해석성 결과를 긴스 상태의 다양체로 확장하기 위해.
• 교란 해밀토니안의 맥락에서 양자 정보 기하학의 엄밀한 함수해석학적 기초를 제공하기 위해.
• 자유 에너지의 해석적 정의역과 수렴 반경을 연산자 이론적 조건으로 명확히 하기 위해.

제안 방법

• 일부 a < 1 에 대해 exp(−aH) 가 트레이스 클래스임을 조건으로 하여 파artition 함수의 트레이스 수렴을 보장한다.
• 카토의 상대유계 이론을 적용하여 교란 V 를 H 에 대해 제어한다.
• 자기수반 연산자의 함수해석학적 계산과 해석적 교란 이론을 활용한다.
• 파워 급수의 수렴을 통해 x = 0 근처에서 트레이스 지수의 로그가 실해석적임을 입증한다.
• 밀도 행렬이 매개변수 x 에 대해 해석적임에 기반하여, 긴스 상태의 다양체를 실해석적 바나흐 다양체로 구성한다.
• 암시함수정리와 바나흐 공간의 구조에 의존하여 다양체 성질을 확립한다.

실험 결과

연구 질문

• RQ1 H가 자기수반이고 V가 H에 대해 카토-유계일 때, x = 0 근처에서 log Tr[exp(−H + xV)] 가 x 에 대해 실해석적일 조건은 무엇인가?
• RQ2 해밀토니안의 소규모 교란 하에서 긴스 상태의 다양체는 어떻게 행동하는가?
• RQ3 V 가 H 에 대해 카토-유계일 때 해석성 확보에 어떤 역할을 하는가?
• RQ4 이 조건 하에서 자유 에너지를 x = 0 근처에서 수렴하는 급수로 표현할 수 있는가?
• RQ5 H + xV 의 긴스 상태 집합 {ρ_x = exp(−H − xV)/Tr[exp(−H − xV)]} 는 매개변수 x 에 대해 실해석적 바나흐 다양체인가?

주요 결과

• 주어진 조건 하에 함수 log Tr[exp(−H + xV)] 는 x = 0 근처에서 실해석적이다.
• 파artition 함수는 양의 수렴 반경을 가진 x 에 대한 수렴하는 급수 전개를 갖는다.
• 자유 에너지, 즉 파artition 함수의 로그는 실수축 근처에서 실해석적이다.
• 긴스 상태 집합 {ρ_x = exp(−H − xV)/Tr[exp(−H − xV)]} 는 매개변수 x 에 의해 매개변수화된 실해석적 바나흐 다양체를 이룬다.
• 밀도 행렬이 교란 매개변수 x 에 대해 해석적임에 기반하여 다양체 구조가 확립된다.
• 원래 결과에 비해 확장되었으며, 파artition 함수에 대한 급수 수렴에 대한 명확화가 이루어졌다.