[논문 리뷰] About the Connes Embedding Conjecture---Algebraic approaches---

Narutaka Ozawa|arXiv (Cornell University)|2012. 12. 07.

Advanced Operator Algebra Research참고 문헌 29인용 수 18

한 줄 요약

이 논문은 비가환 실대수기하학과 반준C*-대수를 이용하여 콘네스 임bedding 추측에 대한 대수적 접근을 제공하며, 이 추측이 키르히버그의 추측, 츠레르손 문제, 그리고 추적형 Positivstellensätze와 등가임을 규명한다. 또한 키르히버그의 정리에 대한 새로운 증명을 제시하고, 콘네스 임bedding 추측이 연산자 체계의 텐서곱에서 특정한 양성 분해의 존재성과 등가임을 보여준다.

ABSTRACT

This is an expanded lecture note for "Masterclass on sofic groups and applications to operator algebras" (University of Copenhagen, 5-9 November 2012). It is about algebraic aspects of the Connes Embedding Conjecture. It contains new proofs of equivalence of the Connes Embedding Conjecture, Positivstellensatze for trace positive polynomials, Kirchberg's Conjecture, and Tsirelson's Problem.

연구 동기 및 목표

• 콘네스 임bedding 추측을 반준C*-대수와 비가환 실대수기하학과 같은 대수적 구조를 통해 연구한다.
• 콘네스 임bedding 추측, 키르히버그의 추측, 양자정보이론에서의 츠레르손 문제 사이의 대수적 등가성을 확립한다.
• 연산자 체계 텐서곱 $\mathrm{C}^{*}(\mathbb{F}_d)\otimes\mathbb{B}(\ell_2)$과의 연결고리에서 키르히버그의 정리에 대한 새로운 대수적 증명을 제공한다.
• 연산자 체계 텐서곱과 양성 분해를 통한 양자 상관집합 $\mathcal{Q}_c$와 $\mathcal{Q}_s$ 사이의 관계를 명확히 한다.
• $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$에서의 충실한 상태가 유한차원 사영원을 통해 실현될 수 있음을 보여주며, 추상적 양성과 양자 측정 모델을 연결한다.

제안 방법

• 논문은 비가환 실대수기하학의 프레임워크로 반준C*-대수를 도입하며, $*$-양성 콘과 아르키메데스 성질을 갖춘다.
• 푸티나르, 헬튼–맥컬로프, 숨드겐–바코니–티모틴의 Positivstellensätze를 사용하여 비가환 다항식에서의 양성을 특성화한다.
• 클레프–슈바이거의 추적형 Positivstellensatz를 적용하며, 이는 콘네스 임bedding 추측과 등가임을 보여준다.
• 양자 상관관계를 $\mathcal{S}_{m,d}$로 모델링하며, 이는 $\ell_\infty^m$-합에서의 사영원의 스트레스로 정의되며, 그 최소 텐서곱의 구조를 연구한다.
• 쌍대성과 양성 기준을 사용한다: $\mathcal{S}_{m,d}$ 위의 사상이 완전히 양성임은 각 $\ell_\infty^m$-합성분에 대한 제한이 양성임과 동치이다.
• 연산자 체계 $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$의 쌍대에서 엄격히 양성인 원소들이 사영원을 통해 분해 가능함을 보이며, 양자 상관관계의 유한차원 실현 가능성을 이끌어낸다.

실험 결과

연구 질문

• RQ1 콘네스 임bedding 추측은 연산자 체계 $\mathcal{S}_{m,d}$의 최소 텐서곱에서의 양성 분해의 존재성과 등가인가?
• RQ2 키르히버그의 정리 $\mathrm{C}^{*}(\mathbb{F}_d)\otimes\mathbb{B}(\ell_2)$는 대수적 양성 구조를 통해 재증명될 수 있는가?
• RQ3 츠레르손 문제와 콘네스 임bedding 추측은 양자 상관집합 $\mathcal{Q}_c$와 $\mathcal{Q}_s$의 구조를 통해 등가인가?
• RQ4 모든 원소가 $\mathcal{Q}_s$에 속하는 것은 유한차원 양자 시스템의 사영원을 통해 유도될 수 있는가?
• RQ5 클레프–슈바이거의 추적형 Positivstellensatz는 콘네스 임bedding 추측을 대수적으로 특성화하는 데 사용될 수 있는가?

주요 결과

• 콘네스 임bedding 추측은 클레프–슈바이거의 추적형 Positivstellensatz와 등가이며, 순수하게 대수적 특성화를 제공한다.
• 키르히버그의 정리 $\mathrm{C}^{*}(\mathbb{F}_d)\otimes\mathbb{B}(\ell_2)$는 대수적 양성 구조와 반준C*-대수의 구조를 사용하여 재증명된다.
• $\mathcal{Q}_s$는 $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$에서의 상태들의 클로처이며, 충실한 원소들은 유한차원 사영원으로부터 기인한다.
• $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$에서의 상태가 $\mathcal{Q}_s$에 속하는 것은 유일하게 추적 1인 양성 연산자들을 통한 분해가 가능할 때이다.
• $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$의 쌍대는 $\mathcal{S}_{m,d}^{\mathrm{d}} \otimes^{\max} \mathcal{S}_{m,d}^{\mathrm{d}}$와 등거리적으로 이sov모르픽이며, 이는 양성의 쌍대 기반 분석을 가능하게 한다.
• $\mathcal{S}_{m,d} \otimes^{\min} \mathcal{S}_{m,d}$에서 충실한 모든 원소는 유한차원 사영원을 통해 실현될 수 있으나, $\mathcal{Q}_s$의 모든 원소가 그러한 실현을 갖는 것은 아님을 보여준다.