[논문 리뷰] Observables II : Quantum Observables

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

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

한 줄 요약

이 논문은 양자 및 고전적 관측 가능성을 통합하는 프레임워크를 제안한다. 양자 관측 가능성을 von Neumann 대수의 사영 레이트리의 Stone 스펙트럼 위의 연속 함수로 표현함으로써 이루어지며, von Neumann 대수 내의 자기수반 연산자들이 이 스펙트럼 위에서 연속적인 관측 가능 함수를 유도함을 증명한다. 아벨 대수에서는 Gelfand 변환이 특수한 경우로 복원되며, 이는 연산자 기반과 함수 기반의 관측 가능성 관점이 통합됨을 의미한다.

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 the present part II and the forthcoming part III 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)})$ (\cite{deg3}) of the lattice $\mathcal{P(R)}$ of projections in $\mathcal{R}$. $f_{A}$ is called the observable function corresponding to $A$. The aim of this part is to study observable functions and its various characterizations.

연구 동기 및 목표

• 고전적 관측 가능성을 위상공간 위의 함수로 보는 개념과 양자적 관측 가능성을 자기수반 연산자로 보는 개념을 통합하기 위해.
• 고전적 및 양자적 관측 가능성을 뒷받아들이는 공통의 수학적 구조—관측 가능 함수—를 확립하기 위해.
• von Neumann 대수에서 스펙트럼 가닥과 셰이프 이론적 구성 방법을 통해 관측 가능 함수를 특성화하기 위해.
• 아벨 von Neumann 대수에서 관측 가능 함수의 구성 방식이 Gelfand 변환을 복원함을 보여주기 위해.
• Stone 스펙트럼을 일반화된 위상공간 후보로 삼아 그 위상적 및 대수적 성질을 탐색하기 위해.

제안 방법

• von Neumann 대수 R의 사영 레이트리 P(R)의 최대 이중 아이디얼 집합으로서 Stone 스펙트럼 Q(P(R))를 정의한다.
• 자기수반 연산자 A ∈ R의 스펙트럼 가닥 E^A를 통해 Q(P(R)) → ℝ로의 관측 가능 함수 f_A를 구성한다.
• a ∈ P(R)에 대해 Q_a(R) = {𝔹 ∈ Q(R) | a ∈ 𝔹} 형태의 집합으로 생성되는 위상을 Stone 스펙트럼에 부여한다.
• 관측 가능 함수를 Q(R) 위의 연속 실수 함수로 특성화하며, 그 범위는 A의 스펙트럼과 일치함을 보인다.
• 특히 사영 레이트리 위의 프레샤프를 통해 스펙트럼 가닥에서 관측 가능 함수를 유도하는 셰이프 이론적 방법을 사용한다.
• 아벨 대수 R에 대해 A ↦ f_A는 Gelfand 변환이며, 컴팩트 연산자에 대해서는 관측 가능 함수가 연속 쿼지포인트에서 0이 되고, 원자 쿼지포인트에서 무한대에 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 양자 관측 가능성을 고전적 및 양자적 프레임워크를 통합하는 위상공간 위의 함수로 표현할 수 있는가?
• RQ2 von Neumann 대수 R에 대해 Stone 스펙트럼 Q(P(R))의 위상적 및 대수적 구조는 어떠한가?
• RQ3 자기수반 연산자 A ∈ R에 대응하는 관측 가능 함수 f_A가 Gelfand 변환과 일치하는 조건은 무엇인가?
• RQ4 관측 가능 함수 f_A의 성질은 A의 스펙트럼과 같은 스펙트럼 성질과 어떻게 관련이 있는가?
• RQ5 원자 및 연속 쿼지포인트가 Stone 스펙트럼에서 컴팩트 및 일반 자기수반 연산자를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 자기수반 연산자 A ∈ R에 대응하는 관측 가능 함수 f_A: Q(R) → ℝ는 연속적이며, 그 범위는 A의 스펙트럼과 일치한다.
• 아벨 von Neumann 대수 R의 경우, A ↦ f_A는 등거리이며 Gelfand 변환과 일치한다.
• 원자 쿼지포인트의 집합 Q(R)_at는 Q(R)에서 열려 있고 이산적이며 조밀하다. 반면 연속 쿼지포인트의 집합 Q(R)_c는 그 닫힘 보충이다.
• H에서의 최대 아벨 von Neumann 부분대수 M에 대해, Gelfand 변환은 컴팩트 연산자 집합 K(M)과 Q(M)에서 연속 함수로 나타나며 Q(M)_c에서 0이 되는 함수의 집합 사이의 등거리 동형사상으로 제한된다.
• f가 Q(M)_c에서 0이 되면, Q(M)_at에서 무한대에 수렴함을 의미하며, 반대로 Q(M)_at가 Q(M)에서 조밀하면 그 반대도 성립한다.
• Q(M)_c에서 0이 되는 모든 연속 함수 f: Q(M) → ℂ는 유한 지지 집합을 가진 함수들의 균일한 극한이며, 이는 유한 랭크 연산자에 대응한다. 따라서 f는 컴팩트 연산자의 관측 가능 함수이다.