[논문 리뷰] Dilations of CP-maps commuting according to a graph

Alexander Vernik|arXiv (Cornell University)|2014. 11. 05.

Advanced Operator Algebra Research참고 문헌 12인용 수 8

한 줄 요약

이 논문은 유한 그래프 G에 의해 표현된 상환관계를 유지하는 동시에, 복소수 von Neumann 대수에서 정의된 유한 쌍둥이 정규, 완전 양성, 완전 수축성 사상(이하 CP-사상)의 쌍둥이가 동시에 *-형태의 내적 확장을 갖는 조건을 규명한다. 서브프로덕트 시스템의 확장 이론을 활용하여, 이러한 확장이 존재하는 것은 유한 그래프 G가 비순환적일 때에만 가능하다는 것을 증명하며, 이는 Opela의 CP-사상에 대한 확장 정리의 완전한 동치판을 제공한다.

ABSTRACT

We study dilations of finite tuples of normal, completely positive and completely contractive maps (which we call CP-maps) acting on a von Neumann algebra, and commuting according to a graph G. We show that if G is acyclic, then a tuple commuting according to it has a simultaneous *-endomorphic dilation, which also commutes according to G. Conversely, if G has a cycle, we exhibit an example of a tuple of CP-maps commuting according to G, which does not have an *-endomorphic dilation commuting according to G. To achieve these results we use dilation theory of representations of subproduct systems, as introduced and studied by Shalit and Solel. In the course of our investigations we also prove some results about those kinds of subproduct systems which arise from CP-maps commuting according to to a graph.

연구 동기 및 목표

• 유한 쌍둥이의 수축성 사상에 대한 Opela의 확장 정리를 von Neumann 대수에서 정의된 CP-사상의 설정으로 확장한다.
• 어떤 그래프 이론적 조건을 만족할 때, 상호작용하는 CP-사상의 쌍둥이가 동일한 상호작용 관계를 유지하는 동시에 동시에 *-형태의 내적 확장을 갖는지를 규명한다.
• 그래프에 따라 상호작용하는 CP-사상과 이러한 그래프로부터 유도된 서브프로덕트 시스템 사이의 대응 관계를 설정한다.
• 비순환성은 이러한 확장의 존재에 대해 필수적이고 충분한 조건임을 증명한다.

제안 방법

• CP-사상 쌍둥이의 상호작용 관계를 유한 그래프 G로 모델링하며, 간선이 사상 간의 가환성을 표현한다.
• G의 정점들에 대한 자유 반군 S(G)를 E(G)에 의해 표현된 상호작용 관계로 모듈로하여 구성함으로써, 이 쌍둥이를 S(G)에 따라 인덱싱된 CP-반군으로 간주할 수 있도록 한다.
• Shalit와 Solel이 개발한 서브프로덕트 시스템 및 그 표현 이론을 적용하여, 이러한 그래프로부터 유도된 CP-반군의 구조를 분석한다.
• 관련 경로 그래프 H(s)에서 단어 길이와 사이클 길이에 대한 귀납법을 사용하여, H(s) 내의 임의의 사이클이 관련 힐버트 모듈 위에서 항등사상을 유도함을 증명함으로써, 확장 구성의 일관성을 확보한다.
• 비순환 그래프의 경우, 서브프로덕트 시스템의 표현이 *-형태의 내적 확장을 갖는다는 것을 보여주며, 이 확장은 그래프 G에 따라 상호작용한다.
• 순환 그래프에 대해 반례를 제시하여, 일반적으로 이러한 *-형태의 내적 확장이 존재하지 않음을 보여주며, 비순환성의 필수성을 입증한다.

실험 결과

연구 질문

• RQ1 유한 그래프 G에 대해, G에 의해 표현된 상호작용을 갖는 모든 CP-사상 쌍둥이가 G에 따라 상호작용하는 동시에 동시에 *-형태의 내적 확장을 갖는 조건은 무엇인가?
• RQ2 CP-사상 설정에서 G의 비순환성은 이러한 확장의 존재에 대해 필수적이고 충분한 조건인가? 이는 Opela의 수축성 사상에 대한 결과와 동치인가?
• RQ3 그래프 G의 대수적 및 조합적 성질은 관련 서브프로덕트 시스템과 그 표현의 구조와 어떻게 관련되는가?
• RQ4 그래프 관계로 정의된 반군에 따라 인덱싱된 CP-반군의 확장 이론은 서브프로덕트 시스템을 통해 완전히 특성화될 수 있는가?
• RQ5 G에 사이클이 포함되어 있을 경우, 확장 이론에서 어떤 구조적 장애물이 발생하며, 이러한 장애물은 *-형태의 내적 확장의 존재를 어떻게 방해하는가?

주요 결과

• von Neumann 대수에서 정의된 정규, 완전 양성, 완전 수축성 사상의 쌍둥이가 유한 그래프 G에 의해 표현된 상호작용 관계를 갖는다면, 이들이 동시에 G에 따라 상호작용하는 *-형태의 내적 확장을 갖는 것은 G가 비순환적일 때에만 가능하다.
• 비순환 그래프의 경우, 반군 S(G)에 따라 인덱싱된 관련 CP-반군은 서브프로덕트 시스템의 표현 이론을 통해 구성된 *-형태의 내적 확장을 갖는다.
• G에 사이클이 포함되어 있을 경우, 본 논문은 G에 따라 상호작용하는 CP-사상의 쌍둥이 중에서 상호작용 관계를 유지하는 *-형태의 내적 확장을 갖지 못하는 구체적 반례를 제시한다.
• 증명은 S(G)에 속한 단어 s와 관련된 경로 그래프 H(s)를 분석함으로써 이루어지며, H(s) 내의 임의의 사이클이 관련 힐버트 모듈 위에서 항등사상을 유도함을 보여, 확장 구성의 일관성에 필수적임을 입증한다.
• 저자들은 그래프에 따라 상호작용하는 CP-사상과 서브프로덕트 시스템 사이에 정확한 대응 관계를 설정하며, 이러한 시스템이 자연스럽게 그래프의 구조로부터 유도됨을 보여준다.
• 비순환성의 필수성은 G에 포함된 임의의 사이클이 H(s) 내에서 비자명한 사이클을 유도하며, 이 사이클이 확장 과정에서 일관되게 제거될 수 없음을 보여줌으로써 입증된다. 이는 *-형태의 내적 확장 조건을 위반한다.