Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:math-ph/0601011

Observables III: Classical Observables

Hans F. de Groote

Published Jan 6, 2006• 2 citations
arXivHTMLPDF

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 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.

DOI
10.48550/arxiv.math-ph/0601011

Related papers

Observables II : Quantum Observables

Hans F. de Groote

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.

arXiv:math-ph/0509075•Sep 30, 2005•11 citations

Discrete classical vs. continuous quantum data in abstract quantum mechanics

Samson Abramsky, Bob Coecke

``Quantum'' stands for for the concepts (both operational and formal) which had to be added to classical physics in order to understand otherwise unexplainable observed phenomena such as the structure of the spectral lines in atomic spectra. While the basic part of classical mechanics deals with the (essentially) reversible dynamics, quantum required adding the notions of ``measurement'' and (possibly non-local) ``correlations'' to the discussion. Crucially, all this comes with a ``probabilistic calculus''. The corresponding mathematical formalism was considered to have reached maturity in [von Neumann 1932], but there are some manifest problems with that formalism: (i) While measurements are applied to physical systems, application of their formal counterpart (i.e. a self-adjoint linear operator) to the vector representing that state of the system in no way reflects how the state changes during the act of measurement. Analogously, the composite of two self-adjoint operators has no physical significance while in practice measurements can be effectuated sequentially. More generally, the formal types in von Neumann's formalism do not reflect the nature of the corresponding underlying concept at all! (ii) Part of the problem regarding the measurements discussed above is that in the von Neumann formalism there is no place for storage, manipulation and exchange of the classical data obtained from measurements. Protocols such as quantum teleportation involving these cannot be given a full formal description. (iii) The behavioral properties of quantum entanglement which for example enable continuous data exchange using only finitary communication are hidden in the formalism. In [Abramsky and Coecke 2004] we addressed all these problems, and in addition provided a purely categorical axiomatization of quantum mechanics. The concepts of the abstract quantum mechanics are formulated relative to a strongly compact closed category with biproducts (of which the category FdHilb of finite dimensional Hilbert spaces and linear maps is an example). Preparations, measurements, either destructive or not, classical data exchange are all morphisms in that category, and their types fully reflect their kinds. Correctness properties of standard quantum protocols can be abstractly proven. Surprisingly, in this seemingly purely qualitative setting even the quantitative Born rule arises, that is the rule which tells you how to calculate the probabilities. Indeed, each such category has as endomorphism Hom of the tensor unit an abelian semiring of `scalars', and a special subset of these scalars will play the role of weights: each scalar induces a natural transformation which propagates through physical processes, and when a `state' undergoes a `measurement', the composition of the corresponding morphisms gives rise to the weight. Hence the probabilistic weights live within the category of processes. J. von Neumann. Mathematische Grundlagen der Quantenmechanik. Springer-Verlag (1932). English translation in Mathematical Foundations of Quantum Mechanics. Princeton University Press (1955). S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. In the proceedings of LiCS'04 (2004). An extended version is available at arXiv:quant-ph/0402130 A more reader friendly version entitled `Quantum information flow, concretely, abstractly' is at http://www.vub.ac.be/CLEA/Bob/Papers/QPL.pdf

Dagstuhl Seminar Proceedings•Jan 1, 2005•0 citations

Observables as functions: Antonymous functions

Andreas Doering

Antonymous functions are real-valued functions on the Stone spectrum of a von Neumann algebra R. They correspond to the self-adjoint operators in R, which are interpreted as observables in quantum physics. Antonymous functions turn out to be generalized Gelfand transforms, related to de Groote's observable functions.

arXiv:quant-ph/0510102•Oct 13, 2005•6 citations

Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order

Andreas Doering, Barry Dewitt

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.

arXiv:1208.4724•Aug 23, 2012•4 citations

Self-adjoint Operators as Functions II: Quantum Probability

Andreas Doering, Barry Dewitt

In "Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order" [arXiv:1208.4724], it was shown that self-adjoint operators affiliated with a von Neumann algebra N can equivalently be described as certain real-valued functions on the projection lattice P(N) of the algebra, which we call q-observable functions. Here, we show that q-observable functions can be interpreted as generalised quantile functions for quantum observables interpreted as random variables. More generally, when L is a complete meet-semilattice, we show that L-valued cumulative distribution functions and the corresponding L-quantile functions form a Galois connection. An ordinary CDF can be written as an L-CDF composed with a state. For classical probability, one picks L=B(Ω), the complete Boolean algebra of measurable subsets modulo null sets of a measurable space Ω. For quantum probability, one uses L=P(N), the projection lattice of a nonabelian von Neumann algebra N. Moreover, using some constructions from the topos approach to quantum theory, we show that there is a joint sample space for all quantum observables, despite no-go results such as the Kochen-Specker theorem. Specifically, the spectral presheaf Σ of a von Neumann algebra N, which is not a mere set, but a presheaf (i.e., a 'varying set'), plays the role of the sample space. The relevant meet-semilattice L in this case is the complete bi-Heyting algebra of clopen subobjects of Σ. We show that using the spectral presheaf Σ and associated structures, quantum probability can be formulated in a way that is structurally very similar to classical probability.

arXiv:1210.5747•Oct 21, 2012•7 citations

THE PROBLEM OF ENTANGLEMENT OF QUANTUM STATES

On Matem, Atica Argentina

G.A. RAGGIO Abstract. We give a brief and incomplete survey of the problem of entan- glement of of composite quantum systems. 1960's - 1980's there were serious attempts (all of them anticipated by J. von Neu- mann) to do away with the underlying Hilbert space and work directly with the abstract algebraic structure modeled by C � -algebras or W � -algebras (abstract von Neumann algebras)(1, 2, 3). This was particularly fruitful when dealing with sys- tems of infinitely many degrees of freedom (quantum fields, thermodynamic limits, etc.). The problem of entanglement which we want to address here can be formu- lated quite straightforwardly in this algebraic framework of quantum theory. But we will stick to the quantum mechanics of the 1930's and keep the Hilbert space. Mainly because the results which are available concern the finite dimensional case. The states of the quantum system specified by H are associated with the lin- ear functionals f : B(H) → C which are positive (i.e., f(a) ≥ 0 for all positive a ∈ B(H)), normalized (i.e., f(1) = 1) and normal (i.e., f(supn{an}) = supnf(an) for any increasing family of selfadjoint operators {an : n = 1,2, � � � } which is uni- formly bounded). It is this normality condition which guarantees that the are in one-to-one correspondence with positive trace class operators d of unit trace (density operators) via the formula B(H) ∋ a 7→ tr(da). This gives an extremely convenient representation of and one often confuses the state f as a linear functional with the associated density operator d for which f(a) = tr(da). States are automatically continuous, and satisfy f(a � ) = f(a). The complex number f(a) is interpreted probabilistically as the expected value of the observable associated with the operator a when the system is in the state f. The normalization condi- tion is thus necessary for the consistency of this interpretation and the normality condition is seen as a non-commutative version of the �-additivity of probability measures. Clearly states, which we will denote by �(H), form a convex set which is closed

•Jan 1, 2008•0 citations
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 RRR of L(H)L(H)L(H), can be represented as bounded continuous functions on the Stone spectrum Q(R)Q(R)Q(R) of RRR. Moreover, we have shown that this representation is linear if and only if RRR is abelian, and that in this case it coincides with the Gelfand transformation of RRR. 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.
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 R\mathcal{R}R is a von Neumann algebra, a selfadjoint element A∈RA \in \mathcal{R}A∈R induces a continuous function fA:Q(P(R))→Rf_{A} : \mathcal{Q}(\mathcal{P(R)}) \to \mathbb{R}fA​:Q(P(R))→R defined on the \emph{Stone spectrum} Q(P(R))\mathcal{Q}(\mathcal{P(R)})Q(P(R)) (\cite{deg3}) of the lattice P(R)\mathcal{P(R)}P(R) of projections in R\mathcal{R}R. fAf_{A}fA​ is called the observable function corresponding to AAA. The aim of this part is to study observable functions and its various characterizations.
``Quantum'' stands for for the concepts (both operational and formal) which had to be added to classical physics in order to understand otherwise unexplainable observed phenomena such as the structure of the spectral lines in atomic spectra. While the basic part of classical mechanics deals with the (essentially) reversible dynamics, quantum required adding the notions of ``measurement'' and (possibly non-local) ``correlations'' to the discussion. Crucially, all this comes with a ``probabilistic calculus''. The corresponding mathematical formalism was considered to have reached maturity in [von Neumann 1932], but there are some manifest problems with that formalism: (i) While measurements are applied to physical systems, application of their formal counterpart (i.e. a self-adjoint linear operator) to the vector representing that state of the system in no way reflects how the state changes during the act of measurement. Analogously, the composite of two self-adjoint operators has no physical significance while in practice measurements can be effectuated sequentially. More generally, the formal types in von Neumann's formalism do not reflect the nature of the corresponding underlying concept at all! (ii) Part of the problem regarding the measurements discussed above is that in the von Neumann formalism there is no place for storage, manipulation and exchange of the classical data obtained from measurements. Protocols such as quantum teleportation involving these cannot be given a full formal description. (iii) The behavioral properties of quantum entanglement which for example enable continuous data exchange using only finitary communication are hidden in the formalism. In [Abramsky and Coecke 2004] we addressed all these problems, and in addition provided a purely categorical axiomatization of quantum mechanics. The concepts of the abstract quantum mechanics are formulated relative to a strongly compact closed category with biproducts (of which the category FdHilb of finite dimensional Hilbert spaces and linear maps is an example). Preparations, measurements, either destructive or not, classical data exchange are all morphisms in that category, and their types fully reflect their kinds. Correctness properties of standard quantum protocols can be abstractly proven. Surprisingly, in this seemingly purely qualitative setting even the quantitative Born rule arises, that is the rule which tells you how to calculate the probabilities. Indeed, each such category has as endomorphism Hom of the tensor unit an abelian semiring of `scalars', and a special subset of these scalars will play the role of weights: each scalar induces a natural transformation which propagates through physical processes, and when a `state' undergoes a `measurement', the composition of the corresponding morphisms gives rise to the weight. Hence the probabilistic weights live within the category of processes. J. von Neumann. Mathematische Grundlagen der Quantenmechanik. Springer-Verlag (1932). English translation in Mathematical Foundations of Quantum Mechanics. Princeton University Press (1955). S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. In the proceedings of LiCS'04 (2004). An extended version is available at arXiv:quant-ph/0402130 A more reader friendly version entitled `Quantum information flow, concretely, abstractly' is at http://www.vub.ac.be/CLEA/Bob/Papers/QPL.pdf
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.
In "Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order" [arXiv:1208.4724], it was shown that self-adjoint operators affiliated with a von Neumann algebra N can equivalently be described as certain real-valued functions on the projection lattice P(N) of the algebra, which we call q-observable functions. Here, we show that q-observable functions can be interpreted as generalised quantile functions for quantum observables interpreted as random variables. More generally, when L is a complete meet-semilattice, we show that L-valued cumulative distribution functions and the corresponding L-quantile functions form a Galois connection. An ordinary CDF can be written as an L-CDF composed with a state. For classical probability, one picks L=B(Ω), the complete Boolean algebra of measurable subsets modulo null sets of a measurable space Ω. For quantum probability, one uses L=P(N), the projection lattice of a nonabelian von Neumann algebra N. Moreover, using some constructions from the topos approach to quantum theory, we show that there is a joint sample space for all quantum observables, despite no-go results such as the Kochen-Specker theorem. Specifically, the spectral presheaf Σ of a von Neumann algebra N, which is not a mere set, but a presheaf (i.e., a 'varying set'), plays the role of the sample space. The relevant meet-semilattice L in this case is the complete bi-Heyting algebra of clopen subobjects of Σ. We show that using the spectral presheaf Σ and associated structures, quantum probability can be formulated in a way that is structurally very similar to classical probability.
G.A. RAGGIO Abstract. We give a brief and incomplete survey of the problem of entan- glement of of composite quantum systems. 1960's - 1980's there were serious attempts (all of them anticipated by J. von Neu- mann) to do away with the underlying Hilbert space and work directly with the abstract algebraic structure modeled by C � -algebras or W � -algebras (abstract von Neumann algebras)(1, 2, 3). This was particularly fruitful when dealing with sys- tems of infinitely many degrees of freedom (quantum fields, thermodynamic limits, etc.). The problem of entanglement which we want to address here can be formu- lated quite straightforwardly in this algebraic framework of quantum theory. But we will stick to the quantum mechanics of the 1930's and keep the Hilbert space. Mainly because the results which are available concern the finite dimensional case. The states of the quantum system specified by H are associated with the lin- ear functionals f : B(H) → C which are positive (i.e., f(a) ≥ 0 for all positive a ∈ B(H)), normalized (i.e., f(1) = 1) and normal (i.e., f(supn{an}) = supnf(an) for any increasing family of selfadjoint operators {an : n = 1,2, � � � } which is uni- formly bounded). It is this normality condition which guarantees that the are in one-to-one correspondence with positive trace class operators d of unit trace (density operators) via the formula B(H) ∋ a 7→ tr(da). This gives an extremely convenient representation of and one often confuses the state f as a linear functional with the associated density operator d for which f(a) = tr(da). States are automatically continuous, and satisfy f(a � ) = f(a). The complex number f(a) is interpreted probabilistically as the expected value of the observable associated with the operator a when the system is in the state f. The normalization condi- tion is thus necessary for the consistency of this interpretation and the normality condition is seen as a non-commutative version of the �-additivity of probability measures. Clearly states, which we will denote by �(H), form a convex set which is closed