[논문 리뷰] On some automorphisms of the set of effects on Hilbert space

Lajos Molnár|ArXiv.org|2000. 05. 17.

Matrix Theory and Algorithms참고 문헌 5인용 수 5

한 줄 요약

이 논문은 하일버트 공간 위의 효과 대수의 자명변환을 애फ인 및 조르단 삼중곱 구조에 대해 특성화한다. 애फ인 자명변환은 기본 von Neumann 대수의 *-자기동형사상 또는 *-반자기동형사상에 의해 유도되며, 조르단 삼중곱 자명변환은 유니터리 또는 앤티유니터리 연산자에 의해 실현된다. 이는 양자 효과 공간에서 선형 구조와 곱셈 구조 사이의 깊은 연관성을 확립한다.

ABSTRACT

The set of all efects on a Hilbert space has an affine structure (it is a convex set) as well as a multiplicative structure (it can be equipped with the so-called Jordan triple product). In this paper we describe the corresponding automorphisms of that set.

연구 동기 및 목표

• 요소 $\mathscr{A}$ 위의 효과 대수 $\mathscr{E}(\mathscr{A})$의 애फ인 자명변환을 분류함으로써, 이전 결과에서 0에서의 정규화를 요구했던 것을 확장한다.
• 자기수반 연산자 집합 $B_s(H)$의 조르단 삼중곱 $ABA \mapsto \phi(A)\phi(B)\phi(A)$에 대한 자명변환의 구조를 규명한다.
• 이러한 자명변환은 반드시 선형이면서 유니터리 또는 앤티유니터리 연산자에 의해 실현됨을 증명함으로써, 곱셈 구조와 선형 대칭성 간의 연결을 확립한다.

제안 방법

• 자기수반 연산자의 노름 스케일링과 스펙트럼 분해를 이용하여, $\mathscr{E}(\mathscr{A})$ 위의 애फ인 사상 $\phi$의 유일한 선형 확장을 구성한다.
• 애फ인 사상이 효과 대수의 구조를 유지하면, 기본 $C^*$-대수 위로 유일하게 선형 사상으로 확장된다는 사실을 이용한다.
• 스펙트럼 이론을 적용하여 자명변환이 사영원과 그 순서를 유지함을 보이고, 이로 인해 유니터리 또는 앤티유니터리 연산자에 의해 실현됨을 도출한다.
• 순위 1 사영원에서 $\phi$의 행동을 분석하고, 곱셈과 덧셈을 보존하는 $\mathbb{R}$ 위의 실함수 $f$를 유도한다.
• 함수 $f$가 $\mathbb{R}$의 링 엔도모르피즘임을 증명하고, 이러한 사상이 유일하므로 항등사상임을 도출한다.
• 역사상성과 전사성, 단사성을 이용하여, $\phi(A) = UAU^*$ 또는 $\phi(A) = -UAU^*$ 를 만족하는 유니터리 또는 앤티유니터리 연산자 $U$ 가 존재함을 보인다.

실험 결과

연구 질문

• RQ1 0에서의 정규화를 가정하지 않고, 애फ인 변환 하에서 볼록집합으로서의 효과 대수 $\mathscr{E}(\mathscr{A})$의 자명변환은 무엇인가?
• RQ2 효과 대수의 자명변환은 조르단 삼중곱 $ABA$ 에 대해 어떻게 행동하는가?
• RQ3 조르단 삼중곱을 통한 $B_s(H)$의 곱셈 구조는 그 선형 구조를 완전히 결정할 수 있는가?
• RQ4 조르단 삼중곱에 대한 $B_s(H)$의 모든 자명변환은 반드시 선형인가?
• RQ5 이러한 자명변환의 정확한 형태는 유니터리 또는 앤티유니터리 연산자로 어떻게 기술될 수 있는가?

주요 결과

• 요소 $\mathscr{A}$ 위의 효과 대수 $\mathscr{E}(\mathscr{A})$의 애फ인 자명변환은 $\mathscr{A}$의 *-자기동형사상 또는 *-반자기동형사상에 의해 유도되며, 또는 사영원의 수반 $A \mapsto I - A$ 와의 조합으로도 가능하다.
• 효과 대수 $\mathscr{E}(\mathscr{A})$ 위의 임의의 애फ인 자명변환 $\phi$의 선형 확장은 $\mathscr{A}$ 위의 선형 사상이며, 조르단 *-환형사상의 구조를 유지한다.
• 조르단 삼중곱 $ABA \mapsto \phi(A)\phi(B)\phi(A)$ 에 대해 $B_s(H)$의 모든 자명변환은 유니터리 또는 앤티유니터리 연산자 $U$ 에 의해 실현되며, $\phi(A) = UAU^*$ 또는 $\phi(A) = -UAU^*$ 를 만족한다.
• 순위 1 사영원 $P$ 에 대해 $\phi(\lambda P) = f(\lambda)\phi(P)$ 로 정의되는 함수 $f: \mathbb{R} \to \mathbb{R}$ 는 덧셈과 곱셈을 모두 보존하므로 항등사상이다.
• 자명변환 $\phi$ 는 사영원에서 부분순서 $\leq$ 와 수반을 유지하며, 이는 유니터리 또는 앤티유니터리 동치를 의미한다.
• 조르단 삼중곱의 구조는 $B_s(H)$ 의 선형 구조를 완전히 결정한다. 모든 이러한 자명변환은 반드시 선형이기 때문이다.