BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
C. J. Isham appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Section 1, we introduce these problems. In Section 2, we introduce topos theory, especially the idea of a topos of presheaves. In Section 3, we discuss several possible applications of topos theory to the problems in Section 1. In Section 4, we draw some conclusions.
In standard quantum theory, the ideas of information-entropy and of pure states are closely linked. States are represented by density matrices $ρ$ on a Hilbert space and the information-entropy $-tr(ρ\logρ)$ is minimised on pure states (pure states are the vertices of the boundary of the convex set of states). The space of decoherence functions in the consistent histories approach to generalised quantum theory is also a convex set. However, by showing that every decoherence function can be written as a convex combination of two other decoherence functions we demonstrate that there are no `pure' decoherence functions. The main content of the paper is a new notion of information-entropy in generalised quantum mechanics which is applicable in contexts in which there is no a priori notion of time. Information-entropy is defined first on consistent sets and then we show that it decreases upon refinement of the consistent set. This information-entropy suggests an intrinsic way of giving a consistent set selection criterion.
Holonomy algebras arise naturally in the classical description of Yang-Mills fields and gravity, and it has been suggested, at a heuristic level, that they may also play an important role in a non-perturbative treatment of the quantum theory. The aim of this paper is to provide a mathematical basis for this proposal. The quantum holonomy algebra is constructed, and, in the case of real connections, given the structure of a certain C-star algebra. A proper representation theory is then provided using the Gel'fand spectral theory. A corollory of these general results is a precise formulation of the ``loop transform'' proposed by Rovelli and Smolin. Several explicit representations of the holonomy algebra are constructed. The general theory developed here implies that the domain space of quantum states can always be taken to be the space of maximal ideals of the C-star algebra. The structure of this space is investigated and it is shown how observables labelled by ``strips'' arise naturally.