Based on the Sheaf Logic approach to set theoretic forcing, a hierarchy of Quantum Variable Sets is constructed which generalizes and simplifies the analogous construction developed by Takeuti on boolean valued models of set theory. Over this model two alternative proofs of Takeuti's correspondence, between self adjoint operators and the real numbers of the model, are given. This approach results to be more constructive showing a direct relation with the Gelfand representation theorem, revealing also the importance of these results with respect to the interpretation of Quantum Mechanics in close connection with the Deutsch-Everett multiversal interpretation. Finally, it is shown how in this context the notion of genericity and the corresponding generic model theorem can help to explain the emergence of classicality also in connection with the Deutsch- Everett perspective.
Based on the Sheaf Logic approach to set theoretic forcing, a hierarchy of Quantum Variable Sets is constructed which generalizes and simplifies the analogous construction developed by Takeuti on boolean valued models of set theory. Over this model two alternative proofs of Takeuti's correspondence, between self adjoint operators and the real numbers of the model, are given. This approach results to be more constructive showing a direct relation with the Gelfand representation theorem, revealing also the importance of these results with respect to the interpretation of Quantum Mechanics in close connection with the Deutsch-Everett multiversal interpretation. Finally, it is shown how in this context the notion of genericity and the corresponding generic model theorem can help to explain the emergence of classicality also in connection with the Deutsch- Everett perspective.
In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani, and topos quantum theory, as developed by Isham, Butterfield and Doring, amongst others. Towards this end, we will study algebraic valued set-theoretic structures whose truth values correspond to the clopen subobjects of the spectral presheaf of an orthomodular lattice of projections onto a given Hilbert space. In particular, we will attempt to recreate, in these new structures, Takeuti's original isomorphism between the set of all Dedekind real numbers in a suitably constructed model of set theory and the set of all self adjoint operators on a chosen Hilbert space.
The forcing process from mathematical logic offers a promising framework for studying the feasibility of quantum computation on a practical scale, since decoherence is a serious concern and, so far, questions of control, communication, and the implementation of operations that are important for a working computational system have received less attention than mathematical research on algorithms and basic physical investigations of creating simple gates and storing mixed states. Using forcing in this way is a new application of areas of model theory in which propositions and predicates take values in a lattice. Takeuti develops set theory for any universe built on a Boolean algebra generated by commutable projection operators on a Hilbert space, each such universe being a elementary topos of set- valued sheaves on the algebra, which thus is the lattice of truth values for the topos. Since it has a natural numbers object, it thus supports the general forcing method of Scedrov, but the idea of forcing is demonstrated by an example in the simpler context of partially ordered sets. Stout's lamination construction assembles toposes into objects with truth-value lattices that are orthomodular, like the lattice of all projection operators on Hilbert space, and clarifies some difficulties identified by Takeuti in the case where truth values are noncommutable operators. A substantial body of existing sheaf and topos theory thus is potentially relevant to quantum computation, and further work may provide guidance for system development.
In this thesis we use the language of sheaf theory in order to develop a deeper understanding of some of the fundamental differences - such as entanglement, contextuality and non-locality - between quantum and classical physics. We first present, based on the work of Abramsky and Brandenburger, how sheaves, defined over certain posets of physically meaningful contexts, give a natural setting for capturing and analysing important quantum mechanical phenomena, such as quantum non-locality and contextuality. We also describe how this setting naturally leads to a three level hierarchy of quantum contextuality: weak contextuality, logical non-locality and strong contextuality. We use these insights in order to classify certain multipartite entangled states. Almost all of these turn out to be at least logically non-local, and a number of them even turn out to be strongly contextual. We further extend this result by showing that all n-qubit entangled states, with the exception of tensor products of single-qubit and bipartite maximally-entangled states, are logically non-local. Our proof is constructive: given any n-qubit state, we present an algorithm which produces n+2 local observables witnessing its logical non-locality. In the second half of the thesis we use the same basic principle of sheaves defined over physically meaningful contexts, in order to present an elegant mathematical language, known under the name of the Topos Approach, in which many quantum mechanical concepts, such as states, observables, and propositions about these, can be expressed. We then show that the language of the Topos Approach is as least as expressive, in logical terms, as traditional quantum logic. Finally, starting from a topos-theoretic perspective, we develop the construction of contextual entropy in order to give a unified treatment of classical and quantum notions of information theoretic entropy.
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 T(A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra A . According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum Σ(A) in 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 Σ , and self-adjoint elements of A define continuous functions (more precisely, locale maps) from Σ to Scott’s interval domain. Noting that open subsets of Σ(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 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 purpose of this dissertation is to construct a radically new type of mathematics whose underlying logic differs from the ordinary classical logic used in standard mathematics, and which we feel may be more natural for applications in quantum mechanics. Specifically, we begin by constructing a first order quantum logic, the development of which closely parallels that of ordinary (classical) first order logic --- the essential differences are in the nature of the logical axioms, which, in our construction, are motivated by quantum theory. After showing that the axiomatic first order logic we develop is sound and complete (with respect to a particular class of models), this logic is then used as a foundation on which to build (axiomatic) mathematical systems --- and we refer to the resulting new mathematics as "quantum mathematics." As noted above, the hope is that this form of mathematics is more natural than classical mathematics for the description of quantum systems, and will enable us to address some foundational aspects of quantum theory which are still troublesome --- e.g. the measurement problem --- as well as possibly even inform our thinking about quantum gravity.\n\nAfter constructing the underlying logic, we investigate properties of several mathematical systems --- e.g. axiom systems for abstract algebras, group theory, linear algebra, etc. --- in the presence of this quantum logic. In the process, we demonstrate that the resulting quantum mathematical systems have some strange, but very interesting features, which indicates a richness in the structure of mathematics that is classically inaccessible. Moreover, some of these features do indeed suggest possible applications to foundational questions in quantum theory. \n\nWe continue our investigation of quantum mathematics by constructing an axiomatic quantum set theory, which we show satisfies certain desirable criteria. Ultimately, we hope that such a set theory will lead to a foundation for quantum mathematics in a sense which parallels the foundational role of classical set theory in classical mathematics. One immediate application of the quantum set theory we develop is to provide a foundation on which to construct quantum natural numbers, which are the quantum analog of the classical counting numbers. It turns out that in a special class of models, there exists a 1-1 correspondence between the quantum natural numbers and bounded observables in quantum theory whose eigenvalues are (ordinary) natural numbers. This 1-1 correspondence is remarkably satisfying, and not only gives us great confidence in our quantum set theory, but indicates the naturalness of such models for quantum theory itself. We go on to develop a Peano-like arithmetic for these new "numbers," as well as consider some of its consequences. Finally, we conclude by summarizing our results, and discussing directions for future work.
Abstract A new approach to quantum theory is proposed in this paper. The basis is taken to be theoretical variables, variables that may be accessible or inaccessible, i.e., it may be possible or impossible for an observer to assign arbitrarily sharp numerical values to them. In an epistemic process, the accessible variables are just ideal observations connected to an observer or to some communicating observers. Group actions are defined on these variables, and group representation theory is the basis for developing the Hilbert space formalism here. Operators corresponding to accessible theoretical variables are derived, and in the discrete case, it is proved that the possible physical values are the eigenvalues of these operators. The focus of the paper is some mathematical theorems paving the ground for the proposed foundation of quantum theory. It is shown here that the groups and transformations needed in this approach can be constructed explicitly in the case where the accessible variables are finite-dimensional. This simplifies the theory considerably: To reproduce the Hilbert space formulation, it is enough to assume the existence of two complementary variables. The interpretation inferred from the proposed foundation here may be called a general epistemic interpretation of quantum theory. A special case of this interpretation is QBism; it also has a relationship to several other interpretations.