arXiv:quant-ph/0206090

Some Reflections on the Status of Conventional Quantum Theory when Applied to Quantum Gravity

Christopher John Isham

Published Jun 13, 2002• 34 citations

Abstract

All current approaches to quantum gravity employ essentially standard quantum theory including, in particular, continuum quantities such as the real or complex numbers. However, I wish to argue that this may be fundamentally wrong in so far as the use of these continuum quantities in standard quantum theory can be traced back to certain {\em a priori} assumptions about the nature of space and time: assumptions that may be incompatible with the view of space and time adopted by a quantum gravity theory. My conjecture is that in, some yet to be determined sense, to each type of space-time there is associated a corresponding type of quantum theory in which continuum quantities do not necessarily appear, being replaced with structures that are appropriate to the specific space-time. Topos theory then arises as a possible tool for `gluing' together these different theories associated with the different space-times. As a concrete example of the use of topos ideas, I summarise recent work applying presheaf theory to the Kochen-Specher theorem and the assignment of values to physical quantities in a quantum theory.

DOI: 10.48550/arxiv.quant-ph/0206090

Related papers

On the Nature of Quantum Geometry

Roger Penrose

@As a way of honoring Professor Wheeler on his sixtieth birthday, I propose to take this opportunity to elaborate upon certain somewhat speculative ideas which I have tried to hint at on occasion, concerning the possible nature of a quantized space-time. The reader will not need to be too discerning to recognize some substantial dierences between the ideas I am proposing here and those which Professor Wheeler has on many occasions so eloquently and forcefully put forward. Nonetheless, there is little doubt in my own mind as to the very great inspirational inuence that Professor Wheeler’s own views have had in the development of several of the thoughts which I am expressing here. To begin with, let me make clear that I do not necessarily mean by \quantized space-time something which could be obtained by applying standard (or even non-standard) techniques of quantization to Einstein’s general theory of relativity. What I wish to say has its roots in something which is really more primitive than either quantum theory or relativity as such. This is the question of the fundamental role played by the mathematical concept of continuum in virtually the whole of accepted present-day physical theory. Not only does the continuum occupy a basic position in our mathematical models of space and time (with the concomitant implication of a continuous nature for many related physical concepts such as velocity, energy, momentum, temperature, etc.), but so also does present-day quantum theory rest crucially on a continuum concept, namely on the two-dimensional complex continuum of probability amplitudes, this being the continuum which also occurs in the superposition law. Let me say at the outset that I am not happy with this state of aairs in physical theory. The mathematical continuum has always seemed to me to contain many features which are really very foreign to physics. This point = @ @

Jan 1, 197243 citations

The Ontology and Semantics of Quantum Theory for Quantum Gravity

Alejandro Ascarate

Based on a clear ontology of material individuals, we analyze in detail the factual semantics of quantum theory, and argue that the basic mathematical formalism of quantum theory is just okay with (a certain form of ) realism and that it is perfectly applicable to quantum gravity. This is basically a process about 'cleansing' the formalism from semantic assumptions and physical referents that it doesn't really need (we use the term 'semantics' in the sense of the factual semantics of a physical theory, and not in the sense of model theory of abstract mathematics or logic). We base our study on the usual non-Boolean lattice of projectors in a Hilbert space and probability measures on it, to which we give a careful physical interpretation using the mentioned tools in order to avoid the usual problems posed by this task. At the end, we study a possible connection with the theory of quantum duration and time proposed in [arXiv:2012.03994, arXiv:2107.06693], for which this paper serves as a philosophical basis, and argue for our view that quantum gravity may show that what we perceive as change in the classical world was just (an ontologically fundamental) quantum collapse all along.

arXiv:2109.10214Sep 18, 20210 citations

Some Remarks on the Logic of Quantum Gravity

Andreas Doering

We discuss some conceptual issues that any approach to quantum gravity has to confront. In particular, it is argued that one has to find a theory that can be interpreted in a realist manner, because theories with an instrumentalist interpretation are problematic for several well-known reasons. Since the Hilbert space formalism almost inevitably forces an instrumentalist interpretation on us, we suggest that a theory of quantum gravity should not be based on the Hilbert space formalism. We briefly sketch the topos approach, which makes use of the internal logic of a topos associated with a quantum system and comes with a natural (neo-)realist interpretation. Finally, we make some remarks on the relation between system logic and metalogic.

arXiv:1306.3076Jun 13, 20134 citations

Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity

Isham, C J, Butterfield, J

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.

Oct 5, 199998 citations

A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory

Andreas Döring, Christopher John Isham

This paper is the second in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics arises when the topos is the category of sets. Other types of theory employ a different topos. In this paper, we study in depth the topos representation of the propositional language, PL(S), for the case of quantum theory. In doing so, we make a direct link with, and clarify, the earlier work on applying topos theory to quantum physics. The key step is a process we term “daseinisation” by which a projection operator is mapped to a subobject of the spectral presheaf—the topos quantum analog of a classical state space. In the second part of the paper, we change gear with the introduction of the more sophisticated local language L(S). From this point forward, throughout the rest of the series of papers, our attention will be devoted almost entirely to this language. In the present paper, we use L(S) to study “truth objects” in the topos. These are objects in the topos that play the role of states: a necessary development as the spectral presheaf has no global elements, and hence, there are no micro-states in the sense of classical physics. Truth objects therefore play a crucial role in our formalism.

arXiv:quant-ph/0703062Journal of Mathematical PhysicsMay 1, 2008110 citations

Unsharp Values, Domains and Topoi

Andreas Doering, Rui Soares Barbosa

The so-called topos approach provides a radical reformulation of quantum theory. Structurally, quantum theory in the topos formulation is very similar to classical physics. There is a state object, analogous to the state space of a classical system, and a quantity-value object, generalising the real numbers. Physical quantities are maps from the state object to the quantity-value object -- hence the `values' of physical quantities are not just real numbers in this formalism. Rather, they are families of real intervals, interpreted as `unsharp values'. We will motivate and explain these aspects of the topos approach and show that the structure of the quantity-value object can be analysed using tools from domain theory, a branch of order theory that originated in theoretical computer science. Moreover, the base category of the topos associated with a quantum system turns out to be a domain if the underlying von Neumann algebra is a matrix algebra. For general algebras, the base category still is a highly structured poset. This gives a connection between the topos approach, noncommutative operator algebras and domain theory. In an outlook, we present some early ideas on how domains may become useful in the search for new models of (quantum) space and space-time.

arXiv:1107.1083Jul 6, 20110 citations