[논문 리뷰] Dagger and Dilation in the Category of Von Neumann algebras

Bas Westerbaan|arXiv (Cornell University)|2018. 03. 05.

Computability, Logic, AI Algorithms참고 문헌 92인용 수 10

한 줄 요약

이 논문은 von Neumann 대수 사이의 모든 정규 완전 양의 부분항등(정규완비양의부분항등, ncpsu) 사상이 스틴스프링 유형의 확장을 갖는다고 확립하며, 고전적 정리의 무한차원 양자 구조로의 일반화를 제공한다. 이 논문은 von Neumann 대수 위의 자기쌍대 힐버트 C*-모듈에 대한 새로운 프레임워크를 제안하고, 그들의 완비성, 텐서곱, 순수 사상에 관한 핵심 결과를 증명한다. 또한 효과스 이론의 범주론적 이론을 개발하여 예측, 상태, 쌍대성과 관련된 공리들에 의해 von Neumann 대수의 범주를 특성화한다.

ABSTRACT

This doctoral thesis is a mathematical study of quantum computing, concentrating on two related, but independent topics. First up are dilations, covered in chapter 2. In chapter 3 "diamond, andthen, dagger" we turn to the second topic: effectus theory. Both chapters, or rather parts, can be read separately and feature a comprehensive introduction of their own.

연구 동기 및 목표

• 모든 von Neumann 대수 사이의 정규 완전 양의 부분항등 사상에 대해 스틴스프링 확장 정리를 무한차원 양자 구조로 확장함을 증명하여, 이러한 사상이 *-호모모르피즘과 코이소메트리로의 보편 확장을 갖는다는 것을 보임.
• von Neumann 대수 위의 자기쌍대 힐버트 C*-모듈 이론을 체계적으로 발전시킴. 이는 그들의 완비성, 텐서곱, 초정규균일성 포함.
• 순수 사상의 구조와 확장과의 관계를 연구함. 특히 파스케의 구성과 최소 스틴스프링 확장의 맥락에서 고려함.
• 효과스 이론의 공리들에 기반하여 von Neumann 대수의 범주를 특성화함. †-효과스, ⋄-효과스, &-효과스의 개념을 도입하고 분석함.
• 특히 효과스 이론과 디거 구조의 시각에서, 양자 연산과 그 표현 간의 범주론적 쌍대성을 탐구함.

제안 방법

• von Neumann 대수 사이의 ncpsu-사상에 대해 힐버트 C*-모듈과 힐버트 공간 위의 유계 연산자 대수로의 *-호모모르피즘을 구성함으로써, 스틴스프링 확장의 존재를 증명함.
• 힐버트 C*-모듈에 초정규균일성의 개념을 도입하고, 모든 von Neumann 대수 위의 힐버트 C*-모듈이 이 위상에서 자기쌍대 완비를 갖는다는 것을 증명함.
• 힐버트 C*-모듈에 카플라스키 조밀성 정리를 적용하여, *-호모모르피즘의 상이 초약한 위상에서 조밀하다는 것을 보임.
• 힐버트 C*-모듈의 외부 텐서곱 이론을 개발하고, 자기쌍대 완비성과 파스케 확장 구성과의 호환성을 증명함.
• 효과스 이론의 프레임워크를 활용하여 von Neumann 대수의 범주를 공리화함. 효과 대수, 효과 모듈, 몫, 이해, 이미지 등을 갖춘 효과스의 개념을 도입함.
• †-효과스와 ⋄-효과스를 정의하고 분석함. 이들이 양자 구조의 핵심 특성, 즉 쌍대성, 양성, 수직성을 잘 반영하고 있음을 보임.

실험 결과

연구 질문

• RQ1 모든 von Neumann 대수 사이의 정규 완전 양의 부분항등 사상은 스틴스프링 확장을 갖는가?
• RQ2 von Neumann 대수 위의 힐버트 C*-모듈 이론은 자기쌍대 완비성과 초정규균일성을 포함하여 확장될 수 있는가?
• RQ3 효과스 이론의 공리들에 기반하여 von Neumann 대수의 범주를 어떻게 특성화할 수 있는가?
• RQ4 효과스 이론의 맥락에서 디거 구조와 쌍대성은 양자 연산과 그 표현의 구조와 어떻게 관련되는가?
• RQ5 실수 &-효과스와 †-효과스의 맥락에서 스펙트럴 볼록집합과 JBW-대수의 무한차원 일반화는 무엇인가?

주요 결과

• 모든 von Neumann 대수 사이의 ncpsu-사상은 스틴스프링 확장을 갖는다. 이는 고전적 정리를 무한차원 설정으로 일반화한다.
• 모든 von Neumann 대수 위의 힐버트 C*-모듈은 초정규균일성에 대해 자기쌍대 완비를 갖는다. 이는 완비성과 쌍대성을 보장한다.
• 두 확장의 텐서곱은 원래 사상의 텐서곱에 대한 확장을 그대로 유지하며, 보편 성질을 보존한다.
• von Neumann 대수 사이의 순수 사상은 정확히 일차원 힐버트 모듈을 통해 인수분해되는 사상들에 해당하며, 순수 상태의 개념을 일반화한다.
• †-효과스 프레임워크 하에서 von Neumann 대수의 범주는 양성 사상의 반대 방향을 갖는 유클리드 조르단 대수의 범주에 대한 완전한 부분범주와 동치이다.
• 모든 운영적 †-효과스는 양성 사상의 반대 방향을 갖는 유클리드 조르단 대수의 범주에 대한 부분범주와 동치이며, 모든 운영적 &-효과스는 스펙트럴 볼록집합인 상태 공간을 갖는다.