[논문 리뷰] Observables I: Stone Spectra

Hans F. de Groote|ArXiv.org|2005. 09. 11.

Advanced Operator Algebra Research참고 문헌 16인용 수 11

한 줄 요약

이 논문은 고전적 및 양자 관측량을 통합하는 프레임워크로 격자(lattice)의 스톤 스펙트럼을 도입하며, 바나흐 대수의 자기수반 연산자가 이 스펙트럼 위의 연속 실수 함수와 대응됨을 보여준다. 주요 기여는 프로젝션 격자의 스톤 스펙트럼과 아벨 바나흐 대수의 겔판트 스펙트럼 사이의 구조적 호환성(isomorphism)을 규명하여 고전 물리학과 양자 물리학에서 관측량의 공통된 기초를 드러내는 것이다.

ABSTRACT

In this work we discuss the notion of observable - both quantum and classical - from a new point of view. In classical mechanics, an observable is represented as a function (measurable, continuous or smooth), whereas in (von Neumann's approach to) quantum physics, an observable is represented as a bonded selfadjoint operator on Hilbert space. We will show in part II of this work that there is a common structure behind these two different concepts. If $\mathcal{R}$ is a von Neumann algebra, a selfadjoint element $A \in \mathcal{R}$ induces a continuous function $f_{A} : \mathcal{Q}(\mathcal{P(R)}) o \mathbb{R}$ defined on the \emph{Stone spectrum} $\mathcal{Q}(\mathcal{P(R)})$ of the lattice $\mathcal{P(R)}$ of projections in $\mathcal{R}$. The Stone spectrum $\mathcal{Q}(\mathbb{L})$ of a general lattice $\mathbb{L}$ is the set of maximal dual ideals in $\mathbb{L}$, equipped with a canonical topology. $\mathcal{Q}(\mathbb{L})$ coincides with Stone's construction if $\mathbb{L}$ is a Boolean algebra (thereby ``Stone'') and is homeomorphic to the Gelfand spectrum of an abelian von Neumann algebra $\mathcal{R}$ in case of $\mathbb{L} = \mathcal{P(R)}$ (thereby ``spectrum'').

연구 동기 및 목표

• 고전적 및 양자 관측량의 공통된 수학적 구조를 확립하기 위해.
• 스톤의 부울 대수에 대한 표현의 일반화로서 격자의 스톤 스펙트럼을 정의하고 연구하기 위해.
• 바나흐 대수 R의 프로젝션 격자 P(R)의 스톤 스펙트럼이 R의 아벨 부분대수의 겔판트 스펙트럼과 위상동형임을 보여주기 위해.
• 양자 이론에서 관측량에 대한 셰이프-이론적 접근의 기초를 마련하기 위해.
• 스펙트럼 가중치와 관측량 함수를 이해하기 위한 위상적 및 순서 이론적 프레임워크를 제공하기 위해.

제안 방법

• 격자 L의 스톤 스펙트럼 Q(L)를 최대 쌍대 이상의 집합으로 정의하고, 자연스러운 위상을 부여한다.
• Q(L)가 0차원 하우스도르프 공간이며, L 위의 프레셰이브의 셰이프화를 위한 기초가 됨을 증명한다.
• 부울 대수의 경우 Q(L)가 스톤의 표현인 집합의 부울 공간과 일치함을 보인다.
• 바나흐 대수 R의 프로젝션 격자 P(R)에 대해 Q(P(R))가 R의 아벨 부분대수의 겔판트 스펙트럼과 위상동형임을 보인다.
• 자기수반 연산자 A ∈ R에서 Q(P(R)) 위의 연속 실수 함수 f_A로 가는 사상 A ↦ f_A를 구성한다.
• 이 사상이 단사임을 보이고, R가 아벨일 때에만 전사가 되며, 이 경우 f_A는 A의 겔판트 변환이 됨을 보인다.

실험 결과

연구 질문

• RQ1 고전적 및 양자 관측량을 하나의 통합된 수학적 프레임워크로 기술할 수 있는가?
• RQ2 특히 바나흐 대수의 프로젝션 격자에 대해 스톤 스펙트럼의 위상적 및 대수적 구조는 어떠한가?
• RQ3 아벨 경우에서 스톤 스펙트럼은 겔판트 스펙트럼과 어떻게 관련이 있는가?
• RQ4 연속적 및 가측 함수가 열린 집합의 격자 내 스펙트럼 가중치로부터 얼마나 정확히 재구성될 수 있는가?
• RQ5 셰이프-이론적 관점에서 관측량은 스톤 스펙트럼 구성에서 어떻게 도출되는가?

주요 결과

• 바나흐 대수 R의 프로젝션 격자 P(R)의 스톤 스펙트럼 Q(P(R))는 0차원 하우스도르프 공간이며, R의 아벨 부분대수의 겔판트 스펙트럼과 위상동형이다.
• 각 자기수반 연산자 A ∈ R은 Q(P(R)) 위의 연속 실수 함수 f_A를 유도하며, 사상 A ↦ f_A는 단사이다.
• 사상 A ↦ f_A는 R이 아벨일 때에만 전사가 되며, 이 경우 f_A는 A의 겔판트 변환이다.
• 분리 가능 힐버트 공간 위에 작용하는 아벨 바나흐 대수 A에 대해, 분리 가능 힐버트 공간 H_D와 최대 원자 부울 섹터 B가 존재하여 A는 L^∞(]0,1[,λ) ⊕ M(B)와 동형임을 보였다.
• L(H)의 프로젝션 격자 내 부울 섹터의 유니타리 동치류는 쌍 (p,n) ∈ {0,1} × {n | 0 ≤ n ≤ dim H}로 분류되며, 여기서 n은 스톤 스펙트럼의 고립점 수이고, p는 스펙트럼이 고립점들의 폐쇄임을 나타낸다.
• 스톤 스펙트럼 구성은 격자 위의 프레셰이브의 셰이프화를 위한 자연스러운 기초를 제공하며, 양자 기초 이론에서 토포스 이론적 접근과 연결된다.