[논문 리뷰] Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order

Andreas Doering, Barry Dewitt|arXiv (Cornell University)|2012. 08. 23.

Advanced Operator Algebra Research참고 문헌 14인용 수 6

한 줄 요약

이 논문은 von Neumann 대수의 사영 레이티스 위의 실수 값 함수인 q-관측 가능 함수를 도입한다. 이는 스펙트럼 가족과의 갈로아 연결을 통해 자기수반 연산자를 이원적으로 특성화한다. 주요 기여는 스펙트럼 순서 하에서 자기수반 연산자 레이티스와 q-관측 가능 함수 레이티스 사이의 순서 동형을 확립함으로써, 양자 관측 가능성을 위한 새로운 순서 이론적 프레임워크를 제공하고, 토포스 접근법에서의 daseinisation과 연결된다.

ABSTRACT

Observables of a quantum system, described by self-adjoint operators in a von Neumann algebra or affiliated with it in the unbounded case, form a conditionally complete lattice when equipped with the spectral order. Using this order-theoretic structure, we develop a new perspective on quantum observables. In this first paper (of two), we show that self-adjoint operators affiliated with a von Neumann algebra can equivalently be described as certain real-valued functions on the projection lattice of the algebra, which we call q-observable functions. Bounded self-adjoint operators correspond to q-observable functions with compact image on non-zero projections. These functions, originally defined in a similar form by de Groote, are most naturally seen as adjoints (in the categorical sense) of spectral families. We show how they relate to the daseinisation mapping from the topos approach to quantum theory. Moreover, the q-observable functions form a conditionally complete lattice which is shown to be order-isomorphic to the lattice of self-adjoint operators with respect to the spectral order. In a subsequent paper, we will give an interpretation of q-observable functions in terms of quantum probability theory, and using results from the topos approach to quantum theory, we will provide a joint sample space for all quantum observables.

연구 동기 및 목표

• von Neumann 대수에 연관된 자기수반 연산자를 그 사영 레이티스 위의 실수 값 함수로 재구성함으로써, 이를 q-관측 가능 함수라 명명한다.
• 이 함수들이 스펙트럼 순서 하에서 자기수반 연산자 레이티스와 순서 동형인 조건 완비 레이티스를 이룬다는 것을 증명한다.
• q-관측 가능 함수의 구성 방식을 토포스 접근법에서의 daseinisation 사상, 특히 외부 및 내부 daseinisation과 연결한다.
• 선형 구조보다는 순서 이론적 구조를 강조하여, 양자 관측 가능성을 위한 범주론적이고 순서 이론적인 기초를 마련한다.
• 후속 논문에서 계속되는 바와 같이, q-관측 가능 함수를 양자 확률론적으로 해석하기 위한 기초를 다진다.

제안 방법

• 스펙트럼 가족 사상 $E^{ ilde{A}}:\overline{\mathbb{R}} \to \mathcal{P}(\mathcal{N})$와의 갈로아 연결을 이용하여, 만나기 준레디스 위에서의 왼쪽 수반(범주론적 의미에서)으로서 q-관측 가능 함수를 정의한다.
• 비영인 사영에 대해 q-관측 가능 함수 $o^{\tilde{A}}$의 이미지가 $\tilde{A}$의 스펙트럼과 정확히 일치함을 보여, 스펙트럼 이론과의 직접적 연결을 확립한다.
• 순서 이론적 조건과 단조성 조건을 만족하는 $\mathcal{P}(\mathcal{N})$ 위의 함수로서 q-관측 가능 함수를 추상적으로 특성화한다.
• q-관측 가능 함수의 레이티스가 스펙트럼 순서 하에서 자기수반 연산자 레이티스와 순서 동형임을 증명한다.
• 정의역의 제한 및 확장을 이용하여, 외부 및 내부 daseinisation 사상이 하위대수 위로의 q-관측 가능 함수 제한으로서 특성화됨을 보인다.
• 제한된 함수 계산법을 확립한다: 단조 증가하는 $f:\overline{\mathbb{R}} \to \overline{\mathbb{R}}$에 대해 $o^{f(\tilde{A})} = f \circ o^{\tilde{A}}$.

실험 결과

연구 질문

• RQ1 von Neumann 대수에 연관된 자기수반 연산자는 어떻게 그 사영 레이티스 위의 함수로 동치로 기술할 수 있는가?
• RQ2 이러한 함수들의 집합의 순서 이론적 구조는 무엇이며, 이는 연산자들 사이의 스펙트럼 순서와 어떻게 관련되는가?
• RQ3 q-관측 가능 함수는 토포스 접근법에서 사용되는 daseinisation 사상과 어떻게 관련되는가?
• RQ4 q-관측 가능 함수에 대해 함수 계산법을 정의할 수 있으며, 어떤 조건에서 이는 연산자 함수의 관계를 유지하는가?
• RQ5 q-반대칭 함수의 역할은 무엇이며, 이는 관측 가능의 음수와 어떻게 관련되는가?

주요 결과

• q-관측 가능 함수 $o^{\tilde{A}}$는 스펙트럼 가족 $E^{\tilde{A}}$에 의해 유일하게 결정되며, 그 반대도 마찬가지로 성립하여 일대일 대응이 성립한다.
• $o^{\tilde{A}}$가 비영인 사영에 대해 취하는 이미지는 $\tilde{A}$의 스펙트럼과 정확히 일치하며, 이는 물리적 의미의 확인을 제공한다.
• q-관측 가능 함수의 레이티스는 스펙트럼 순서 하에서 자기수반 연산자 레이티스와 순서 동형이므로, 양자 관측 가능성을 위한 새로운 표현 방식을 제공한다.
• 외부 및 내부 daseinisation 사상은 하위대수 $\mathcal{M} \subset \mathcal{N}$ 위로의 $o^{\tilde{A}}$ 제한으로서 나타나며, $o^{\tilde{A}}|_{\mathcal{P}(\mathcal{M})} = o^{\delta^o(\tilde{A})_{\mathcal{M}}}$ 를 만족한다.
• 제한된 함수 계산법이 성립한다: 단조 증가하는 $f$에 대해 $o^{f(\tilde{A})} = f \circ o^{\tilde{A}}$이며, 이는 함수 표현에서의 기능적 관계를 유지한다.
• 이 구성은 von Neumann 대수에 연관된 비유계 연산자로 일반화되며, 스펙트럼 순서는 daseinisation에 의한 근사에서 스펙트럼 부분집합을 유지함을 보장한다: $\operatorname{sp}(\delta^o(\tilde{A})_{\mathcal{M}}) \subseteq \operatorname{sp}(\tilde{A})$.