[논문 리뷰] On Bures distance over standard form vN-algebras

Peter M. Alberti, Gregor Peltri|ArXiv.org|2000. 08. 22.

Advanced Operator Algebra Research참고 문헌 22인용 수 4

한 줄 요약

이 논문은 표준형 von Neumann 대수에서의 Bures 거리에 대해 연구하며, 정규 양의 선형 형식 간의 거리가 고정된 섬유 내의 구현 벡터에 의해 실현되는 조건에 초점을 맞춘다. 무한대 von Neumann 대수의 경우, 고정된 한 섬유 내에서 구현 벡터로 Bures 거리를 항상 실현할 수 없음을 증명하며, 거리 공식이 실패하는 조건과 반례를 제시한다. 주요 결과로는 Bures 거리 공식에서 등호가 성립함과 동시에 대수가 유한하거나 상태가 민감하거나 유한한 지지 집합을 가질 때에만 성립함을 보여준다.

ABSTRACT

In case of a standard form vN-algebra, the Bures distance is the natural distance between the fibres of implementing vectors at normal positive linear forms. Thereby, it is well-known that to each two normal positive linear forms implementing vectors exist such that the Bures distance is attained by the metric distance of the implementing vectors in question. We discuss to which extend this can remain true if a vector in one of the fibres is considered as fixed. For each nonfinite algebra, classes of counterexamples are given and situations are analyzed where the latter type of result must fail. In the course of the paper, an account of those facts and notions is given, which can be taken as a useful minimum of basic C^*-algebraic tools needed in order to efficiently develop the fundamentals of Bures geometry over standard form vN-algebras.

연구 동기 및 목표

• 두 정규 양의 선형 형식 간의 Bures 거리가 한 섬유 내의 고정된 구현 벡터에 의해 실현되는 조건을 규명하는 것.
• 특히 비유한 von Neumann 대수에서 한 구현 벡터가 고정될 경우 Bures 거리 공식이 실패하는 이유를 분석하는 것.
• 표준형 vN-대수에서 섬유의 구조와 그 교차의 성질을 분석하며, 특히 가환성과 지지 프로젝션과의 관계를 고려하는 것.
• 민감성과 유한성의 역할을 규명하여, Bures 거리가 섬유 내 고정된 벡터를 통해 최소화될 수 있는지 여부를 판단하는 것.
• 특히 유형 I∞ 및 III 인자에서 Bures 거리가 구현 벡터 간 노름 거리와 같아지는 경우를 완전히 특성화하는 것.

제안 방법

• Bures 거리는 두 양의 선형 형식의 구현 벡터 간 힐베르트 공간 노름을 최소화하는 모든 순환 표현에 대한 하한값으로 정의된다.
• 전이 확률 $ P_M(\nu,\varrho) $ 는 구현 벡터가 다양한 표현 간에 겹치는 정도를 표현함으로써 Bures 거리를 표현하는 데 사용된다.
• 양의 선형 형식과 힐베르트 공간 내 순환 벡터 사이의 관계를 분석하기 위해 Gelfand-Naimark-Segal (GNS) 구성법을 활용한다.
• von Neumann 대수의 표준형을 이용하여 상태의 가환성과 그 지지 프로젝션을 분석한다.
• 주요 도구로는 콜레기터 $ M^\varrho $, 지지 프로젝션 $ s(\nu) $, 그리고 유형 I∞ 및 III 인자의 구조를 사용한다.
• 특히 추적 클래스 연산자 $ c $ 에 대해 $ zc = cz $ 를 만족하는 정규 프로젝션 $ z \in M $ 의 성질을 활용하며, 특히 $ \tau(z) = \infty $ 인 경우에 중점을 둔다.

실험 결과

연구 질문

• RQ1 두 정규 양의 선형 형식 간의 Bures 거리가 한 섬유 내의 고정된 구현 벡터에 의해 실현되는 조건은 무엇인가?
• RQ2 무한대 von Neumann 대수의 경우, 한 벡터가 고정될 때 Bures 거리 공식이 실현되지 않는 이유는 무엇인가?
• RQ3 고정된 $ \varrho $ 에 대해 $ \mathcal{S}_M(\nu|\varrho) = \mathcal{S}_M(\nu) $ 가 성립하는 경우와 실패하는 경우는 언제인가?
• RQ4 Bures 거리가 그들의 구현 벡터 간 힐베르트 공간 노름 거리와 같아지는 상태 $ \nu $ 의 집합은 무엇으로 특성화되는가?
• RQ5 von Neumann 대수의 유한성 또는 유형(예: 유형 I∞ 또는 III)이 고정된 벡터를 사용한 Bures 거리 공식의 타당성에 어떻게 영향을 미치는가?

주요 결과

• 유한한 von Neumann 대수의 경우, 임의의 두 정규 양의 선형 형식 간의 Bures 거리는 항상 한 형식의 섬유 내 고정된 구현 벡터에 의해 실현된다.
• 무한대 von Neumann 대수의 경우, $ \mathcal{S}_M(\nu|\varrho) \neq \mathcal{S}_M(\nu) $ 를 만족하는 상태 $ \nu $ 와 민감한 $ \varrho $ 가 존재하므로, $ \mathcal{S}_M(\nu) $ 내에서 고정된 벡터로 거리를 실현할 수 없다.
• 등식 $ d_B(\nu,\varrho) = \|\xi_\nu - \xi_\varrho\| $ 가 성립함과 동시에 $ \nu $ 가 $ \varrho $ 와 가환함, 즉 $ \nu \in M^\varrho $ 를 만족함을 Lemma 2.13 에서 보여준다.
• 인자 경우, $ \mathcal{S}_M(\nu|\varrho) = \{ u\xi_\nu : u^*u = \mathbf{1}, u \in M' \} $ 를 만족하며, 이는 콜레기터에 의해 원래 섬유와 유니타리적으로 동치임을 보여준다.
• 유형 I∞ 인자에서는 $ \tau(z) = \infty $, $ z \neq \mathbf{1} $, $ zc = cz $ 를 만족하는 정규 프로젝션 $ z $ 를 통해 반례를 제시할 수 있으며, 이 경우 $ \mathcal{S}_M(\nu|\varrho) \neq \mathcal{S}_M(\nu) $ 가 성립한다.
• 유형 III 인자에서는 $ d_B(\nu,\varrho) = \|\xi_\nu - \xi_\varrho\| $ 가 기하학적으로 가장 잘 기술되며, 명시적인 스펙트럼 조건이 존재하지 않는다.