We consider some generalization of the theory of quantum states and demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some well-known phenomena. The key ingredients of the proposed construction are the families of sections of sheaves with values in the proper category of the functional realizations of infinite-dimensional Hilbert spaces with special (multiscale) filtrations decomposed into the (entangled) orbits generated by actions/representations of internal hidden symmetries. In such a way, we open a possibility for the exact description and reinterpretation of a lot of quantum phenomena.
We consider some generalization of the theory of quantum states and demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some well-known phenomena. The key ingredients of the proposed construction are the families of sections of sheaves with values in the proper category of the functional realizations of infinite-dimensional Hilbert spaces with special (multiscale) filtrations decomposed into the (entangled) orbits generated by actions/representations of internal hidden symmetries. In such a way, we open a possibility for the exact description and reinterpretation of a lot of quantum phenomena.
We consider some generalization of the theory of quantum states, which is based on the analysis of long standing problems and unsatisfactory situation with the possible interpretations of quantum mechanics. We demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some phenomena. The key ingredients of the proposed construction are the families of sections of sheaves with values in the category of the functional realizations of infinite-dimensional Hilbert spaces with special (multiscale) filtration. Three different symmetries, kinematical (on space-time), hidden/dynamical (on sections of sheaves), unified (on filtration of the full scale of spaces) are generic objects generating the full zoo of quantum phenomena.
It is obvious that we still have not any unified framework covering a zoo of interpretations of Quantum Mechanics, as well as satisfactory understanding of main ingredients of a phenomena like entanglement. The starting point is an idea to describe properly the key ingredient of the area, namely point/particle-like objects (physical quantum points/particles or, at least, structureless but quantum objects) and to change point (wave) functions by sheaves to the sheaf wave functions (Quantum Sheaves). In such an approach Quantum States are sections of the coherent sheaves or contravariant functors from the kinematical category describing space-time to other one, Quantum Dynamical Category, properly describing the complex dynamics of Quantum Patterns. The objects of this category are some filtrations on the functional realization of Hilbert space of Quantum States. In this Part 2, the sequel of Part 1, we present a family of methods which can describe important details of complex behaviour in quantum ensembles: the creation of nontrivial patterns, localized, chaotic, entangled or decoherent, from the fundamental basic localized (nonlinear) eigenmodes (in contrast with orthodox gaussian-like) in various collective models arising from the quantum hierarchies described by Wigner-like equations.
We study model-theoretical structures for prototypical physical systems. First, a summary of the model theory of sheaves, adapted to the metric case, is presented. In particular, we provide conditions for a generalization of the generic model theorem to metric sheaves. The essentials of the model theory of metric sheaves appeared in the form of Conference Proceedings. We provide a version of those results, for the sake of completeness, and then build metric sheaves for physical systems in the second part of the paper. Specifically, metric sheaves for quantum mechanical systems with pure point and continuous spectra are constructed. In the former case, every fiber is a finite projective Hilbert space determined by the family of invariant subspaces of a given operator with pure point spectrum, and we also consider unitary transformations in a finite-dimensional space. For an operator with continuous spectrum, every fiber is a two sorted structure of subsets of the Schwartz space of rapidly decreasing functions that includes imperfect representations of position and momentum states. The imperfection character is parametrically determined by the elements on the base space and refined in the generic model. Position and momentum operators find a simple representation in every fiber as well as their corresponding unitary operators. These results follow after recasting the algebraic properties of the integral transformations frequently invoked in the description of quantum mechanical systems with continuous spectra. Finally, we illustrate how this construction permits the calculation of the quantum mechanical propagator for a free particle.
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.
In this paper, we construct a sheaf-based topos quantum theory. It is well known that a topos quantum theory can be constructed on the topos of presheaves on the category of commutative von Neumann algebras of bounded operators on a Hilbert space. Also, it is already known that quantization naturally induces a Lawvere-Tierney topology on the presheaf topos. We show that a topos quantum theory akin to the presheaf-based one can be constructed on sheaves defined by the quantization-induced Lawvere-Tierney topology. That is, starting from the spectral sheaf as a state space of a given quantum system, we construct sheaf-based expressions of physical propositions and truth objects, and thereby give a method of truth-value assignment to the propositions. Furthermore, we clarify the relationship to the presheaf-based quantum theory. We give translation rules between the sheaf-based ingredients and the corresponding presheaf-based ones. The translation rules have “coarse-graining” effects on the spaces of the presheaf-based ingredients; a lot of different proposition presheaves, truth presheaves, and presheaf-based truth-values are translated to a proposition sheaf, a truth sheaf, and a sheaf-based truth-value, respectively. We examine the extent of the coarse-graining made by translation.
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.