[논문 리뷰] Gibbs States and the Consistency of Local Density Matrices

Yi-Kai Liu|ArXiv.org|2006. 03. 02.

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

한 줄 요약

이 논문은 n-qubit 양자 시스템의 일관된 국소 밀도 행렬 집합이 항상 고전적 열역학적 평형 상태인 긴스 상태(Gibbs state)로 시뮬레이션될 수 있음을 증명한다. 즉, σ′ = (1/Z)exp(∑Mi) 형태의 상태로 표현되며, 각 Mi는 해당 부분계에 작용한다. 핵심 결과는 국소 밀도 행렬이 어떤 정의된 양의 전역 상태와 일관될 경우, 비록 관측량들이 비가환적이더라도 긴스 상태와도 일관됨을 보여준다.

ABSTRACT

Suppose we have an n-qubit system, and we are given a collection of local density matrices rho_1,...,rho_m, where each rho_i describes some subset of the qubits. We say that rho_1,...,rho_m are "consistent" if there exists a global state sigma (on all n qubits) whose reduced density matrices match rho_1,...,rho_m. We prove the following result: if rho_1,...,rho_m are consistent with some state sigma > 0, then they are also consistent with a state sigma' of the form sigma' = (1/Z) exp(M_1+...+M_m), where each M_i is a Hermitian matrix acting on the same qubits as rho_i, and Z is a normalizing factor. (This is known as a Gibbs state.) Actually, we show a more general result, on the consistency of a set of expectation values ,...,, where the observables T_1,...,T_r need not commute. This result was previously proved by Jaynes (1957) in the context of the maximum-entropy principle; here we provide a somewhat different proof, using properties of the partition function.

연구 동기 및 목표

• 양자 시스템의 국소 밀도 행렬이 전역 긴스 상태로 시뮬레이션 가능한지 여부를 규명하는 것.
• 국소 양자 데이터가 전역 양자 상태와 일관될 수 있는 조건을 설정하는 것.
• 유한한 양자 시스템에서 비가환 관측량에 대해 제인스의 최대 엔트로피 원리를 일반화하는 것.
• 양의 정의된 전역 상태가 존재할 경우, 그 상태가 모든 국소 제약 조건을 만족하는 긴스 상태의 존재를 보장하는지 확인하는 것.

제안 방법

• 겹치는 부분계에서의 축소 밀도 행렬이 일치하는 조건으로 국소 밀도 행렬의 일관성을 수식화하는 것.
• 파울리 연산자의 기대값에 대한 제약 조건 문제로 일관성 문제를 재구성하는 것.
• 분할 함수와 볼록성 논증을 사용하여 최소화 긴스 상태의 존재를 증명하는 것.
• 변분법을 적용하여 분할 함수가 무한대에서 무한히 증가함을 보여주며 최소값이 존재함을 보장하는 것.
• 분할 함수의 최소값이 모든 국소 제약 조건을 만족하는 긴스 상태에 해당함을 증명하는 것.
• 국소 밀도 행렬 일관성 문제를 파울리 기대값 제약 조건의 집합으로 환원한 후, 정리 2를 적용하는 것.

실험 결과

연구 질문

• RQ1 모든 일관된 국소 밀도 행렬 집합이 긴스 상태로 표현될 수 있는가?
• RQ2 양의 정의된 전역 상태가 존재할 경우, 그 상태가 모든 국소 제약 조건을 만족하는 긴스 상태의 존재를 보장하는가?
• RQ3 최대 엔트로피 원리는 유한한 양자 시스템에서 비가환 관측량으로까지 확장 가능한가?
• RQ4 관측량들이 서로 비가환적이라도 국소 양자 데이터의 일관성이 긴스 상태를 통해 보장될 수 있는가?
• RQ5 분할 함수는 국소 제약 조건을 만족하는 긴스 상태의 실현 가능성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 국소 밀도 행렬 ρ₁,…,ρₘ이 어떤 양의 정의된 전역 상태 σ와 일관될 경우, 각 Mi가 해당 부분계에 작용하는 긴스 상태 σ′ = (1/Z)exp(∑Mi)와도 일관된다.
• 관측량(예: 파울리 행렬)이 비가환적이더라도 결과가 성립하며, 이는 제인스의 최대 엔트로피 원리를 비가환 제약 조건으로까지 확장함을 의미한다.
• 국소 제약 조건을 만족하는 전역 상태가 존재할 경우, 동일한 국소 성질을 갖는 긴스 상태의 존재가 보장된다.
• 분할 함수 ψ(θ) → ∞ 이며 ‖θ‖ → ∞ 일 때, 최소값의 존재를 보장한다. 이 최소값은 실현 가능한 긴스 상태에 해당한다.
• 분할 함수의 최소값은 유한한 점에서 도달하며, 그 곳에서 기울기가 0이 되므로 해의 존재가 확인된다.
• 이 증명은 문제를 파울리 기대값으로 환원하여, 국소 밀도 행렬 일관성이 각 부분계에서의 모든 파울리 연산자 기대값이 일치하는 것과 동치임을 보여준다.