A Topos for Algebraic Quantum Theory

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*-algebra of observables A induces a topos ${\mathcal{T}(A)}$ in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra ${\underline{A}}$ . According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum ${\underline{\Sigma}(\underline{A})}$ in ${\mathcal{T}(A)}$ , which in our approach plays the role of the quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on ${\underline{\Sigma}}$ , and self-adjoint elements of A define continuous functions (more precisely, locale maps) from ${\underline{\Sigma}}$ to Scott’s interval domain. Noting that open subsets of ${\underline{\Sigma}(\underline{A})}$ correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos ${\mathcal{T}(A)}$ .These results were inspired by the topos-theoretic approach to quantum physics proposed by Butterfield and Isham, as recently generalized by Döring and Isham.The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*-algebra of observables A induces a topos $${\mathcal{T}(A)}$$ in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra $${\underline{A}}$$ . According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum $${\underline{\Sigma}(\underline{A})}$$ in $${\mathcal{T}(A)}$$ , which in our approach plays the role of the quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on $${\underline{\Sigma}}$$ , and self-adjoint elements of A define continuous functions (more precisely, locale maps) from $${\underline{\Sigma}}$$ to Scott’s interval domain. Noting that open subsets of $${\underline{\Sigma}(\underline{A})}$$ correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos $${\mathcal{T}(A)}$$ .These results were inspired by the topos-theoretic approach to quantum physics proposed by Butterfield and Isham, as recently generalized by Döring and Isham.

arXiv:0709.4364Communications in Mathematical PhysicsJul 20, 200982 citations

Intuitionistic Quantum Logic of an n-level System

Martijn Caspers, Chris Heunen, Nicolaas P. Landsman +1 more

A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364 ). The goal of the present paper is to illustrate our abstract setup through the concrete example of the C*-algebra M n (ℂ) of complex n×n matrices. This leads to an explicit expression for the pointfree quantum phase space Σ n and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen–Specker Theorem. In our approach, the nondistributive lattice ℘(M n (ℂ)) of projections in M n (ℂ) (which forms the basis of the traditional quantum logic of Birkhoff and von Neumann) is replaced by a specific distributive lattice $\mathcal{O}(\Sigma_{n})$ of functions from the poset $\mathcal{C}(M_{n}(\mathbb{C}))$ of all unital commutative C*-subalgebras C of M n (ℂ) to ℘(M n (ℂ)). The lattice $\mathcal{O}(\Sigma_{n})$ is essentially the (pointfree) topology of the quantum phase space Σ n , and as such defines a Heyting algebra. Each element of $\mathcal{O}(\Sigma_{n})$ corresponds to a “Bohrified” proposition, in the sense that to each classical context $C\in\mathcal{C}(M_{n}(\mathbb{C}))$ it associates a yes-no question (i.e. an element of the Boolean lattice ℘(C) of projections in C), rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann.A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical foundation for all of physics. Last year, three of the present authors redeveloped and refined these ideas by combining the C*-algebraic approach to quantum theory with the so-called internal language of topos theory (Heunen et al. in arXiv:0709.4364 ). The goal of the present paper is to illustrate our abstract setup through the concrete example of the C*-algebra M n (ℂ) of complex n×n matrices. This leads to an explicit expression for the pointfree quantum phase space Σ n and the associated logical structure and Gelfand transform of an n-level system. We also determine the pertinent non-probabilisitic state-proposition pairing (or valuation) and give a very natural topos-theoretic reformulation of the Kochen–Specker Theorem. In our approach, the nondistributive lattice ℘(M n (ℂ)) of projections in M n (ℂ) (which forms the basis of the traditional quantum logic of Birkhoff and von Neumann) is replaced by a specific distributive lattice $\mathcal{O}(\Sigma_{n})$ of functions from the poset $\mathcal{C}(M_{n}(\mathbb{C}))$ of all unital commutative C*-subalgebras C of M n (ℂ) to ℘(M n (ℂ)). The lattice $\mathcal{O}(\Sigma_{n})$ is essentially the (pointfree) topology of the quantum phase space Σ n , and as such defines a Heyting algebra. Each element of $\mathcal{O}(\Sigma_{n})$ corresponds to a “Bohrified” proposition, in the sense that to each classical context $C\in\mathcal{C}(M_{n}(\mathbb{C}))$ it associates a yes-no question (i.e. an element of the Boolean lattice ℘(C) of projections in C), rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann.

arXiv:0902.3201Foundations of PhysicsApr 20, 200945 citations

Bohrification

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

New foundations for quantum logic and quantum spaces are constructed by merging algebraic quantum theory and topos theory. Interpreting Bohr's "doctrine of classical concepts" mathematically, given a quantum theory described by a noncommutative C*-algebra A, we construct a topos T(A), which contains the "Bohrification" B of A as an internal commutative C*-algebra. Then B has a spectrum, a locale internal to T(A), the external description S(A) of which we interpret as the "Bohrified" phase space of the physical system. As in classical physics, the open subsets of S(A) correspond to (atomic) propositions, so that the "Bohrified" quantum logic of A is given by the Heyting algebra structure of S(A). The key difference between this logic and its classical counterpart is that the former does not satisfy the law of the excluded middle, and hence is intuitionistic. When A contains sufficiently many projections (e.g. when A is a von Neumann algebra, or, more generally, a Rickart C*-algebra), the intuitionistic quantum logic S(A) of A may also be compared with the traditional quantum logic, i.e. the orthomodular lattice of projections in A. This time, the main difference is that the former is distributive (even when A is noncommutative), while the latter is not. This chapter is a streamlined synthesis of 0709.4364, 0902.3201, 0905.2275.New foundations for quantum logic and quantum spaces are constructed by merging algebraic quantum theory and topos theory. Interpreting Bohr's "doctrine of classical concepts" mathematically, given a quantum theory described by a noncommutative C*-algebra A, we construct a topos T(A), which contains the "Bohrification" B of A as an internal commutative C*-algebra. Then B has a spectrum, a locale internal to T(A), the external description S(A) of which we interpret as the "Bohrified" phase space of the physical system. As in classical physics, the open subsets of S(A) correspond to (atomic) propositions, so that the "Bohrified" quantum logic of A is given by the Heyting algebra structure of S(A). The key difference between this logic and its classical counterpart is that the former does not satisfy the law of the excluded middle, and hence is intuitionistic. When A contains sufficiently many projections (e.g. when A is a von Neumann algebra, or, more generally, a Rickart C*-algebra), the intuitionistic quantum logic S(A) of A may also be compared with the traditional quantum logic, i.e. the orthomodular lattice of projections in A. This time, the main difference is that the former is distributive (even when A is noncommutative), while the latter is not. This chapter is a streamlined synthesis of 0709.4364, 0902.3201, 0905.2275.

arXiv:0909.3468Sep 18, 20090 citations

Bohrification of operator algebras and quantum logic

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families of projections indexed by a partially ordered set ${\mathcal{C}(A)}$ of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that ${\mathcal{C}(A)}$ consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Heyting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n × n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski–Mulvey) of the “Bohrification” ${\underline A}$ of A, which is a commutative Rickart C*-algebra in the topos of functors from ${\mathcal{C}A}$ to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns–Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hilbert space H and probability valuations on the internal Gelfand spectrum of ${\underline A}$ for A = B(H).Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families of projections indexed by a partially ordered set $${\mathcal{C}(A)}$$ of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that $${\mathcal{C}(A)}$$ consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Heyting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n × n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski–Mulvey) of the “Bohrification” $${\underline A}$$ of A, which is a commutative Rickart C*-algebra in the topos of functors from $${\mathcal{C}A}$$ to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns–Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hilbert space H and probability valuations on the internal Gelfand spectrum of $${\underline A}$$ for A = B(H).

arXiv:0905.2275SyntheseMar 28, 201130 citations

Bohrification of operator algebras and quantum logic

Heunen, C, Nicolaas P. Landsman, Spitters, BAW Bas

Following Birkhoff and von Neumann, quantum logic has traditionally been based\non the lattice of closed linear subspaces of some Hilbert space, or, more generally,\non the lattice of projections in a von Neumann algebra A. Unfortunately, the logical\ninterpretation of these lattices is impaired by their nondistributivity and by various\nother problems. We show that a possible resolution of these difficulties, suggested by\nthe ideas of Bohr, emerges if instead of single projections one considers elementary\npropositions to be families of projections indexed by a partially ordered set C(A) of\nappropriate commutative subalgebras of A. In fact, to achieve both maximal generality\nand ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra\nand that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such\nfamilies of projections form a Heyting algebra in a natural way, so that the associated\npropositional logic is intuitionistic: distributivity is recovered at the expense of the\nlaw of the excluded middle.\nSubsequently, generalizing an earlier computation for n×n matrices, we prove that\nthe Heyting algebra thus associated to A arises as a basis for the internal Gelfand\nspectrum (in the sense of Banaschewski–Mulvey) of the "Bohrification" A of A, which\nis a commutative Rickart C*-algebra in the topos of functors from C(A) to the category\nof sets. We explain the relationship of this construction to partial Boolean algebras\nand Bruns–Lakser completions. Finally, we establish a connection between probability\nmeasure on the lattice of projections on a Hilbert space H and probability valuations\non the internal Gelfand spectrum of A for A = B(H).Following Birkhoff and von Neumann, quantum logic has traditionally been based\non the lattice of closed linear subspaces of some Hilbert space, or, more generally,\non the lattice of projections in a von Neumann algebra A. Unfortunately, the logical\ninterpretation of these lattices is impaired by their nondistributivity and by various\nother problems. We show that a possible resolution of these difficulties, suggested by\nthe ideas of Bohr, emerges if instead of single projections one considers elementary\npropositions to be families of projections indexed by a partially ordered set C(A) of\nappropriate commutative subalgebras of A. In fact, to achieve both maximal generality\nand ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra\nand that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such\nfamilies of projections form a Heyting algebra in a natural way, so that the associated\npropositional logic is intuitionistic: distributivity is recovered at the expense of the\nlaw of the excluded middle.\nSubsequently, generalizing an earlier computation for n×n matrices, we prove that\nthe Heyting algebra thus associated to A arises as a basis for the internal Gelfand\nspectrum (in the sense of Banaschewski–Mulvey) of the "Bohrification" A of A, which\nis a commutative Rickart C*-algebra in the topos of functors from C(A) to the category\nof sets. We explain the relationship of this construction to partial Boolean algebras\nand Bruns–Lakser completions. Finally, we establish a connection between probability\nmeasure on the lattice of projections on a Hilbert space H and probability valuations\non the internal Gelfand spectrum of A for A = B(H).

Jan 1, 200928 citations

Quantum categories for quantum logic

В.Л. Васюков

The paper is the contribution to quantum toposophy focusing on the abstract orthomodular structures (following Dunn-Moss-Wang terminology). Early quantum toposophical approach to "abstract quantum logic" was proposed based on the topos of functors $\mathsf{[E,Sets]}$ where $\mathsf{E}$ is a so-called orthomodular preorder category – a modification of categorically rewritten orthomodular lattice (taking into account that like any lattice it will be a finite co-complete preorder category). In the paper another kind of categorical semantics of quantum logic is discussed which is based on the modification of the topos construction itself – so called $quantos$ – which would be evaluated as a non-classical modification of topos with some extra structure allowing to take into consideration the peculiarity of negation in orthomodular quantum logic. The algebra of subobjects of quantos is not the Heyting algebra but an orthomodular lattice. Quantoses might be apprehended as an abstract reflection of Landsman's proposal of "Bohrification", i.e., the mathematical interpretation of Bohr's classical concepts by commutative $C^*$ -algebras, which in turn are studied in their quantum habitat of noncommutative $C^*$ -algebras – more fundamental structures than commutative $C^*$ -algebras. The Bohrification suggests that topos-theoretic approach also should be modified. Since topos by its nature is an intuitionistic construction then Bohrification in abstract case should be transformed in an application of categorical structure based on an orthomodular lattice which is more general construction than Heyting algebra – orthomodular lattices are non-distributive while Heyting algebras are distributive ones. Toposes thus should be studied in their quantum habitat of "orthomodular" categories i.e. of quntoses. Also an interpretation of some well-known systems of orthomodular quantum logic in quantos of functors $\mathsf{[E,QSets]}$ is constructed where $\mathsf{QSets}$ is a quantos (not a topos) of quantum sets. The completeness of those systems in respect to the semantics proposed is proved.The paper is the contribution to quantum toposophy focusing on the abstract orthomodular structures (following Dunn-Moss-Wang terminology). Early quantum toposophical approach to "abstract quantum logic" was proposed based on the topos of functors $\mathsf{[E,Sets]}$ where $\mathsf{E}$ is a so-called orthomodular preorder category – a modification of categorically rewritten orthomodular lattice (taking into account that like any lattice it will be a finite co-complete preorder category). In the paper another kind of categorical semantics of quantum logic is discussed which is based on the modification of the topos construction itself – so called $quantos$ – which would be evaluated as a non-classical modification of topos with some extra structure allowing to take into consideration the peculiarity of negation in orthomodular quantum logic. The algebra of subobjects of quantos is not the Heyting algebra but an orthomodular lattice. Quantoses might be apprehended as an abstract reflection of Landsman's proposal of "Bohrification", i.e., the mathematical interpretation of Bohr's classical concepts by commutative $C^*$-algebras, which in turn are studied in their quantum habitat of noncommutative $C^*$-algebras – more fundamental structures than commutative $C^*$-algebras. The Bohrification suggests that topos-theoretic approach also should be modified. Since topos by its nature is an intuitionistic construction then Bohrification in abstract case should be transformed in an application of categorical structure based on an orthomodular lattice which is more general construction than Heyting algebra – orthomodular lattices are non-distributive while Heyting algebras are distributive ones. Toposes thus should be studied in their quantum habitat of "orthomodular" categories i.e. of quntoses. Also an interpretation of some well-known systems of orthomodular quantum logic in quantos of functors $\mathsf{[E,QSets]}$ is constructed where $\mathsf{QSets}$ is a quantos (not a topos) of quantum sets. The completeness of those systems in respect to the semantics proposed is proved.

Logical InvestigationsMay 21, 20190 citations

{\mathcal{T}(A)}

in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra

{\underline{A}}

. According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum

{\underline{\Sigma}(\underline{A})}

{\mathcal{T}(A)}

, which in our approach plays the role of the quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on

{\underline{\Sigma}}

, and self-adjoint elements of A define continuous functions (more precisely, locale maps) from

{\underline{\Sigma}}

to Scott’s interval domain. Noting that open subsets of

{\underline{\Sigma}(\underline{A})}

correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos

{\mathcal{T}(A)}

.These results were inspired by the topos-theoretic approach to quantum physics proposed by Butterfield and Isham, as recently generalized by Döring and Isham.

\mathcal{O}(\Sigma_{n})

of functions from the poset

\mathcal{C}(M_{n}(\mathbb{C}))

of all unital commutative C*-subalgebras C of M n (ℂ) to ℘(M n (ℂ)). The lattice

\mathcal{O}(\Sigma_{n})

is essentially the (pointfree) topology of the quantum phase space Σ n , and as such defines a Heyting algebra. Each element of

\mathcal{O}(\Sigma_{n})

corresponds to a “Bohrified” proposition, in the sense that to each classical context

C\in\mathcal{C}(M_{n}(\mathbb{C}))

it associates a yes-no question (i.e. an element of the Boolean lattice ℘(C) of projections in C), rather than being a single projection as in standard quantum logic. Distributivity is recovered at the expense of the law of the excluded middle (Tertium Non Datur), whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann.

{\mathcal{C}(A)}

of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that

{\mathcal{C}(A)}

consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Heyting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n × n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski–Mulvey) of the “Bohrification”

{\underline A}

of A, which is a commutative Rickart C*-algebra in the topos of functors from

{\mathcal{C}A}

to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns–Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hilbert space H and probability valuations on the internal Gelfand spectrum of

{\underline A}

for A = B(H).

\mathsf{[E,Sets]}

where

\mathsf{E}

is a so-called orthomodular preorder category – a modification of categorically rewritten orthomodular lattice (taking into account that like any lattice it will be a finite co-complete preorder category). In the paper another kind of categorical semantics of quantum logic is discussed which is based on the modification of the topos construction itself – so called

quantos

– which would be evaluated as a non-classical modification of topos with some extra structure allowing to take into consideration the peculiarity of negation in orthomodular quantum logic. The algebra of subobjects of quantos is not the Heyting algebra but an orthomodular lattice. Quantoses might be apprehended as an abstract reflection of Landsman's proposal of "Bohrification", i.e., the mathematical interpretation of Bohr's classical concepts by commutative

C^*

-algebras, which in turn are studied in their quantum habitat of noncommutative

C^*

-algebras – more fundamental structures than commutative

C^*

-algebras. The Bohrification suggests that topos-theoretic approach also should be modified. Since topos by its nature is an intuitionistic construction then Bohrification in abstract case should be transformed in an application of categorical structure based on an orthomodular lattice which is more general construction than Heyting algebra – orthomodular lattices are non-distributive while Heyting algebras are distributive ones. Toposes thus should be studied in their quantum habitat of "orthomodular" categories i.e. of quntoses. Also an interpretation of some well-known systems of orthomodular quantum logic in quantos of functors

\mathsf{[E,QSets]}

is constructed where

\mathsf{QSets}

is a quantos (not a topos) of quantum sets. The completeness of those systems in respect to the semantics proposed is proved.