-
Observables IV: The presheaf perspective
Authors:
Hans F. de Groote
Abstract:
In this fourth of our series of papers on observables we show that one can associate to each von Neumann algebra R a pair of isomorphic presheaves, the upper presheaf O^{+}_{R} and the lower presheaf O^{-}_{R}, on the category of abelian von Neumann subalgebras of R. Each $A \in R_{sa}$ induces a global section of O^{+}_{R} and of O^{-}_{R} respectively. We call them \emph {contextual observable…
▽ More
In this fourth of our series of papers on observables we show that one can associate to each von Neumann algebra R a pair of isomorphic presheaves, the upper presheaf O^{+}_{R} and the lower presheaf O^{-}_{R}, on the category of abelian von Neumann subalgebras of R. Each $A \in R_{sa}$ induces a global section of O^{+}_{R} and of O^{-}_{R} respectively. We call them \emph {contextual observables}. But we show that, in general, not every global section of these presheaves arises in this way. Moreover, we discuss states of a von Neumann algebra in the presheaf context.
△ Less
Submitted 5 August, 2007;
originally announced August 2007.
-
Stone spectra of finite von Neumann algebras of type $\rm{I}_{n}$
Authors:
Hans F. de Groote
Abstract:
\noindent{In} this paper, we clarify the structure of the Stone spectrum of an arbitrary finite von Neumann algebra $\rr$ of type $\rm{I}_{n}$. The main tool for this investigation is a generalized notion of rank for projections in von Neumann algebras of this type.
\noindent{In} this paper, we clarify the structure of the Stone spectrum of an arbitrary finite von Neumann algebra $\rr$ of type $\rm{I}_{n}$. The main tool for this investigation is a generalized notion of rank for projections in von Neumann algebras of this type.
△ Less
Submitted 5 May, 2006;
originally announced May 2006.
-
Observables III: Classical Observables
Authors:
Hans F. de Groote
Abstract:
In the second part of our work on observables we have shown that quantum observables in the sense of von Neumann, i.e.bounded selfadjoint operators in some von Neumann subalgebra $R$ of $L(H)$, can be represented as bounded continuous functions on the Stone spectrum $Q(R)$ of $R$. Moreover, we have shown that this representation is linear if and only if $R$ is abelian, and that in this case it c…
▽ More
In the second part of our work on observables we have shown that quantum observables in the sense of von Neumann, i.e.bounded selfadjoint operators in some von Neumann subalgebra $R$ of $L(H)$, can be represented as bounded continuous functions on the Stone spectrum $Q(R)$ of $R$. Moreover, we have shown that this representation is linear if and only if $R$ is abelian, and that in this case it coincides with the Gelfand transformation of $R$. In this part we discuss classical observables, i.e. measurable and continuous functions, under the same point of view. We obtain results that are quite similar to the quantum case, thus showing up the common structural features of quantum and classical observables.
△ Less
Submitted 6 January, 2006;
originally announced January 2006.
-
Observables II : Quantum Observables
Authors:
Hans F. de Groote
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 forthcomi…
▽ More
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)}) \to \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.
△ Less
Submitted 30 September, 2005;
originally announced September 2005.
-
Observables I: Stone Spectra
Authors:
Hans F. de Groote
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…
▽ More
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)}) \to \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'').
△ Less
Submitted 11 September, 2005;
originally announced September 2005.
-
Observables
Authors:
Hans F. de Groote
Abstract:
This is the extended version of a talk presented at the J.W.Goethe Universitaet Frankfurt a. M. and at the same time a preview at a forthcoming extensive publication on the same subject. It is shown that there is a common background structure for quantum and classical observables. Moreover, a contextual generalization of the notion of quantum observable is proposed.
This is the extended version of a talk presented at the J.W.Goethe Universitaet Frankfurt a. M. and at the same time a preview at a forthcoming extensive publication on the same subject. It is shown that there is a common background structure for quantum and classical observables. Moreover, a contextual generalization of the notion of quantum observable is proposed.
△ Less
Submitted 7 July, 2005;
originally announced July 2005.
-
On a canonical lattice structure on the effect algebra of a von Neumann algebra
Authors:
Hans F. de Groote
Abstract:
Let R be a von Neumann algebra acting on a Hilbert space H and let R_sa be the set of selfadjoint elements of R. It is well known that R_sa is a lattice with respect to the usual partial order ≤ if and only if R is abelian. We define and study a new partial order on R_sa, the spectral order ≤_s, which extends ≤ on projections, is coarser than the usual one, but agrees with it o…
▽ More
Let R be a von Neumann algebra acting on a Hilbert space H and let R_sa be the set of selfadjoint elements of R. It is well known that R_sa is a lattice with respect to the usual partial order ≤ if and only if R is abelian. We define and study a new partial order on R_sa, the spectral order ≤_s, which extends ≤ on projections, is coarser than the usual one, but agrees with it on abelian subalgebras, and turns R_sa into a boundedly complete lattice. The effect algebra E(R) := {A | 0 ≤ A ≤ I} is then a complete lattice and we show that the mapping A --> R(A), where R(A) denotes the range projection of A, is a homomorphism from the lattice E(R) onto the projection lattice P(R) of A if and only if R is a finite von Neumann algebra.
△ Less
Submitted 27 December, 2005; v1 submitted 6 October, 2004;
originally announced October 2004.
-
The kinematical frame of Loop Quantum Gravity I
Authors:
Andreas Doering,
Hans F. de Groote
Abstract:
In loop quantum gravity in the connection representation, the quantum configuration space $\bar{\mathcal{A}/\mathcal{G}}$, which is a compact space, is much larger than the classical configuration space $\mathcal{A}/% \mathcal{G}$ of connections modulo gauge transformations. One finds that $% \bar{\mathcal{A}/\mathcal{G}}$ is homeomorphic to the space $Hom(% \mathcal{L}_{\ast},G))/Ad$. We give a…
▽ More
In loop quantum gravity in the connection representation, the quantum configuration space $\bar{\mathcal{A}/\mathcal{G}}$, which is a compact space, is much larger than the classical configuration space $\mathcal{A}/% \mathcal{G}$ of connections modulo gauge transformations. One finds that $% \bar{\mathcal{A}/\mathcal{G}}$ is homeomorphic to the space $Hom(% \mathcal{L}_{\ast},G))/Ad$. We give a new, natural proof of this result, suggesting the extension of the hoop group $\mathcal{L}_{\ast}$ to a larger, compact group $\mathcal{M}(\mathcal{L}_{\ast})$ that contains $% \mathcal{L}_{\ast}$ as a dense subset. This construction is based on almost periodic functions. We introduce the Hilbert algebra $L_{2}(\mathcal{M}(% \mathcal{L}_{\ast}))$ of $\mathcal{M}(\mathcal{L}_{\ast})$ with respect to the Haar measure $ξ$ on $\mathcal{M}(\mathcal{L}_{\ast})$. The measure $% ξ$ is shown to be invariant under 3-diffeomorphisms. This is the first step in a proof that $L_{2}(\mathcal{M}(\mathcal{L}_{\ast}))$ is the appropriate Hilbert space for loop quantum gravity in the loop representation. In a subsequent paper, we will reinforce this claim by defining an extended loop transform and its inverse.
△ Less
Submitted 26 December, 2001;
originally announced December 2001.
-
Quantum Sheaves - An Outline of Results
Authors:
Hans F. de Groote
Abstract:
In this paper we start with the development of a theory of presheaves on a lattice, in particular on the quantum lattice $\LL(\kH)$ of closed subspaces of a complex Hilbert space $\kH$, and their associated etale spaces. Even in this early state the theory has interesting applications to the theory of operator algebras and the foundations of quantum mechanics. Among other things we can show that…
▽ More
In this paper we start with the development of a theory of presheaves on a lattice, in particular on the quantum lattice $\LL(\kH)$ of closed subspaces of a complex Hilbert space $\kH$, and their associated etale spaces. Even in this early state the theory has interesting applications to the theory of operator algebras and the foundations of quantum mechanics. Among other things we can show that classical observables (continuous functions on a topological space) and quantum observables (selfadjoint linear operators on a Hilbert space) are on the same structural footing.
△ Less
Submitted 30 October, 2001;
originally announced October 2001.