[논문 리뷰] On the informational completeness of local observables

Isaac H. Kim|arXiv (Cornell University)|2014. 05. 01.

Quantum Information and Cryptography참고 문헌 1인용 수 15

한 줄 요약

이 논문은 2차원에서 갭이 있는 양자 다체계에 대해, 조건부 상호정보량이 작을 경우, 모든 관측량—비국소적 관측량을 포함하여—의 기댓값이 국소적 감소 밀도 행렬에 의해 완전히 결정됨을 증명한다. 핵심 결과는 전역 상태의 정밀도를 국소 측정만으로 확인할 수 있는 트레이스 거리 상한(식 1)으로, 이는 영역 법칙 가정 하에 효율적인 상태 검증 및 토모그래피를 가능하게 한다.

ABSTRACT

For a general multipartite quantum state, we formulate a locally checkable condition, under which the expectation values of certain nonlocal observables are completely determined by the expectation values of some local observables. The condition is satisfied by ground states of gapped quantum many-body systems in two spatial dimensions, assuming a widely conjectured form of area law is correct. Its implications on the studies of gapped quantum many-body systems, quantum state tomography, and quantum state verification are discussed. These results are based on a partial characterization of states with small yet nonzero conditional mutual information, which may be of independent interest.

연구 동기 및 목표

• 국소 관측량이 양자 다체계에 대해 정보적으로 완전해지는 조건을 확립하는 것.
• 양자 다체계에서 힐버트 공간의 지수적 증가 문제를 해결하기 위해, 복잡도를 감소시키는 물리적으로 타당한 구조인 영역 법칙을 규명하는 것.
• 변분 웨이브패킷에 의존하지 않고도 전역 상태 재구성 및 검증을 위한 엄밀한 국소적 증거를 제공하는 것.
• 장거리 얽힘 상태가 여전히 영역 법칙 하에서 국소 데이터로부터 충실하게 재구성될 수 있음을 보여주는 것.
• 정보이론적 프레임워크 하나로 양자 상태 토모그래피, 검증, 다체물리의 통찰을 통합하는 것.

제안 방법

• 전역 상태 간의 차이를 국소 감소 밀도 행렬과 연결하는 트레이스 거리 상한(식 1)을 도입: $||\rho - \sigma||_1 \leq \epsilon(\{\rho_{S_i}\})$.
• 조건부 상호정보량을 사용하여 트레이스 거리의 국소적이고 계산 가능한 상한을 유도하며, 이는 작은 외란에 대해 안정적이다.
• 조건부 독립 상태에 근접한 삼분할 시스템에 이 상한을 적용하며, 여기서 $I(A:C|B) \approx 0$이다.
• 반데르문드 엔트로피의 강한 하향성과 페츠의 재구성 공식을 사용하여 조건부 상호정보량이 작은 상태를 특성화한다.
• 2D에서의 영역 법칙을 활용하여 조건부 상호정보량이 시스템 크기와 함께 감소함을 보이며, 이는 국소적으로 검증 가능한 조건을 가능하게 한다.
• 국소 감소 밀도 행렬이 일관되고 상한 $\epsilon$이 작을 경우, 전역 상태가 유일하고 정확하게 재구성됨을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 양자 다체계의 전역 상태가 국소 감소 밀도 행렬로부터 완전히 재구성될 수 있는가?
• RQ2 국소 측정 데이터만을 사용하여 전역 상태 재구성의 정확도를 어떻게 검증할 수 있는가?
• RQ3 영역 법칙이 갭이 있는 2D 시스템에서 국소 관측량의 정보적 완전성에 어떤 영향을 미치는가?
• RQ4 장거리 얽힘 상태는 비록 비국소적 상관관계가 있더라도 여전히 국소 데이터로부터 충실하게 재구성될 수 있는가?
• RQ5 조건부 상호정보량은 국소 정보로부터 전역 상태를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 조건부 상호정보량이 작을 경우, 전역 상태가 국소 감소 밀도 행렬로부터 높은 정밀도로 재구성될 수 있도록 하는 트레이스 거리 상한(식 1)을 도출하였다.
• 상한 $\epsilon(\{\rho_{S_i}\})$는 오직 국소 데이터에 의존하며 전역 상태에 대한 지식 없이도 계산 가능하므로 실용적인 검증이 가능하다.
• 영역 법칙을 만족하는 2D 갭이 있는 시스템에서는 조건부 상호정보량이 시스템 크기와 함께 감소하여 상한 $\epsilon$이 작아지고, 이에 따라 국소 데이터가 정보적으로 완전해진다.
• 이 결과는 장거리 얽힘 상태(여기서 $\gamma > 0$)에도 적용되며, 비국소적 상관관계가 국소 데이터로부터의 전역 상태 재구성을 방해하지 않음을 보여준다.
• 감소 밀도 행렬의 국소적 동치는 유도된 조건 하에서 전역적 동치를 의미하며, 갭이 있는 기저 상태에 대한 새로운 동치 관계를 수립한다.
• 이 방법은 효율적인 양자 상태 검증을 가능하게 하며, 국소 데이터가 목표 상태와 일관되고 $\epsilon$이 작을 경우, 준비된 상태는 목표 상태에 가까워진다.