[논문 리뷰] Tsirelson's Problem

Volkher B. Scholz, Reinhard F. Werner|ArXiv.org|2008. 12. 22.

Quantum Mechanics and Applications참고 문헌 16인용 수 41

한 줄 요약

이 논문은 코히어런트 관측가가 공동 힐버트 공간 위에서 유도된 양자 상관관계가 유한 차원 텐서 곱 시스템으로부터 유도된 상관관계로 근사 가능한지 여부를 조사한다. 이는 코히어런트 관측가 모델과 텐서 곱 모델이 동치일 조건이 모든 양자 상관관계가 유한 차원 시스템으로 근사 가능할 때에만 성립함을 증명하며, C*-대수 이론과 연산자 체계 이론과의 연결 고리를 제공한다.

ABSTRACT

The situation of two independent observers conducting measurements on a joint quantum system is usually modelled using a Hilbert space of tensor product form, each factor associated to one observer. Correspondingly, the operators describing the observables are then acting non-trivially only on one of the tensor factors. However, the same situation can also be modelled by just using one joint Hilbert space, and requiring that all operators associated to different observers commute, i.e. are jointly measurable without causing disturbance. The problem of Tsirelson is now to decide the question whether all quantum correlation functions between two independent observers derived from commuting observables can also be expressed using observables defined on a Hilbert space of tensor product form. Tsirelson showed already that the distinction is irrelevant in the case that the ambient Hilbert space is of finite dimension. We show here that the problem is equivalent to the question whether all quantum correlation functions can be approximated by correlation function derived from finite-dimensional systems. We also discuss some physical examples which fulfill this requirement.

연구 동기 및 목표

• 공동 힐버트 공간 위에서 코히어런트 관측가로부터 유도된 양자 상관관계가 텐서 곱 힐버트 공간으로 표현될 수 있는지 여부를 해결하는 것.
• 모든 양자 상관관계가 유한 차원 양자 시스템으로 근사 가능한지 여부를 결정하는 것.
• 티르셀슨의 문제와 핵심 C*-대수와 초유한 바나흐-바나흐 대수와 같은 연산자 대수 이론의 잘 알려진 개념 간의 연결 고리를 설정하는 것.
• 연산자 체계와 완전히 양성적인 사상들을 이용한 양자 상관관계 분석 프레임워크를 제공하는 것.
• 핵심성 또는 초유한성과 같은 구조적 성질로 인해 코히어런트 관측가 모델과 텐서 곱 모델 간의 등가성이 성립하는 물리적 시스템을 식별하는 것.

제안 방법

• 공동 힐버트 공간 위의 코히어런트 관측가에 기반한 양자 상관관계 모델과 텐서 곱 구조에 기반한 모델을 수학적으로 정의하는 것.
• 관측가 대수의 대수적 텐서 곱 위에서 연산자 공간 노름으로서 ‖·‖_pmax 및 ‖·‖_pmin 노름을 정의하는 것.
• 약한 연산자 위상 수렴과 완전히 양성적인 단위 사상들을 통한 유한 차원 근사 방법을 사용하는 것.
• 유한 차원에서는 약한 수렴과 노름 수렴이 일치하므로, 상관관계 함수의 유한 차원 근사를 구성하는 것.
• 연산자 공간 이론의 정리들을 활용하여, pmax 노름 조건을 만족하는 모든 상관관계 함수가 텐서 곱 시스템으로 근사 가능함을 보이는 것.
• 핵심 C*-대수와 초유한 바나흐-바나흐 대수의 구조를 활용하여 등가성이 성립하는 물리적 시스템을 식별하는 것.

실험 결과

연구 질문

• RQ1 공동 힐버트 공간 위에서 코히어런트 관측가로부터 유도된 모든 양자 상관관계 함수가 유한 차원 텐서 곱 시스템으로부터 유도된 상관관계로 근사 가능한가?
• RQ2 관측가 대수에 어떤 조건이 성립할 경우 코히어런트 관측가와 텐서 곱 관측가가 동일한 상관관계 함수를 유도하는가?
• RQ3 유한 차원 근사를 통해 코히어런트 관측가 모델과 텐서 곱 모델 간의 등가성을 확립할 수 있는가?
• RQ4 핵심 C*-대수와 초유한 바나흐-바나흐 대수는 티르셀슨의 문제 해결에 어떤 역할을 하는가?
• RQ5 티르셀슨의 문제는 양자 상관관계의 유한 차원 근사 가능성 문제와 동치인가?

주요 결과

• 티르셀슨의 문제는 모든 양자 상관관계가 유한 차원 양자 시스템으로 근사 가능한지 여부와 동치이다.
• 논문은 상관관계 함수가 pmax 노름 조건을 만족할 경우, 그것이 텐서 곱 시스템으로 근사 가능할 조건이 유한 차원 시스템으로의 근사 가능성과 정확히 일치함을 증명한다.
• 기초 연산자 대수가 핵심성 또는 초유한성을 띠면, 상관관계 함수의 유한 차원 근사가 존재한다.
• 핵심 C*-대수와 초유한 바나흐-바나흐 대수에서는 코히어런트 관측가와 텐서 곱 관측가가 동일한 상관관계 함수를 유도한다.
• 페르미온계, 두 큐비트 얽힌 사슬, 균일 초유한 스핀계와 같은 물리적 시스템에서 등가성이 성립한다.
• 결과적으로 양자 정보 이론과 연산자 대수 이론 간의 깊은 연결 고리를 확립하며, 티르셀슨의 문제에 대한 미해결 질문들은 C*-대수 기법으로 접근 가능함을 시사한다.