arXiv subjects

C. J. Isham

Publications and source records attributed to C. J. Isham.

At least 19 recordsLinked to original sources

arXiv2007

A Topos Foundation for Theories of Physics: I. Formal Languages for Physics

This paper is the first 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 discuss two different types of language that can be attached to a system, S. The first is a propositional language, PL(S); the second is a higher-order, typed language L(S). Both languages provide deductive systems with an intuitionistic logic. The reason for introducing PL(S) is that, as shown in paper II of the series, it is the easiest way of understanding, and expanding on, the earlier work on topos theory and quantum physics. However, the main thrust of our programme utilises the more powerful language L(S) and its representation in an appropriate topos.

quant-ph↗

arXiv2007

A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory

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 sub-object of the spectral presheaf--the topos quantum analogue 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 microstates in the sense of classical physics. Truth objects therefore play a crucial role in our formalism.

quant-ph↗

arXiv2007

A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows

This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. 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. In paper II, we studied the topos representations of the propositional language PL(S) for the case of quantum theory, and in the present paper we do the same thing for the, more extensive, local language L(S). One of the main achievements is to find a topos representation for self-adjoint operators. This involves showing that, for any physical quantity A, there is an arrow $\breveδ^o(A):\Sig\map\SR$, where $\SR$ is the quantity-value object for this theory. The construction of $\breveδ^o(A)$ is an extension of the daseinisation of projection operators that was discussed in paper II. The object $\SR$ is a monoid-object only in the topos, $τ_ϕ$, of the theory, and to enhance the applicability of the formalism, we apply to $\SR$ a topos analogue of the Grothendieck extension of a monoid to a group. The resulting object, $\kSR$, is an abelian group-object in $τ_ϕ$. We also discuss another candidate, $\PR{\mathR}$, for the quantity-value object. In this presheaf, both inner and outer daseinisation are used in a symmetric way. Finally, there is a brief discussion of the role of unitary operators in the quantum topos scheme.

quant-ph↗

arXiv2007

A Topos Foundation for Theories of Physics: IV. Categories of Systems

This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise in the quantum theory of gravity. 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. The previous papers in this series are concerned with implementing this programme for a single system. In the present paper, we turn to considering a collection of systems: in particular, we are interested in the relation between the topos representation for a composite system, and the representations for its constituents. We also study this problem for the disjoint sum of two systems. Our approach to these matters is to construct a category of systems and to find a topos representation of the entire category.

quant-ph↗

arXiv2005

A Topos Perspective on State-Vector Reduction

A preliminary investigation is made of possible applications in quantum theory of the topos formed by the collection of all $M$-sets, where $M$ is a monoid. Earlier results on topos aspects of quantum theory can be rederived in this way. However, the formalism also suggests a new way of constructing a `neo-realist' interpretation of quantum theory in which the truth values of propositions are determined by the actions of the monoid of strings of finite projection operators. By these means, a novel topos perspective is gained on the concept of state-vector reduction.

quant-ph↗

arXiv2004

A New Approach to Quantising Space-Time: II. Quantising on a Category of Sets

In a recent paper by the author, a new approach was suggested for quantising space-time, or space. This involved developing a procedure for quantising a system whose configuration space--or history-theory analogue--is the set of objects in a (small) category $\Q$. In the present paper, we show how this theory can be applied to the special case when $\Q$ is a category of sets. This includes the physically important examples where $\Q$ is a category of causal sets, or topological spaces.

gr-qc↗

arXiv2003

A New Approach to Quantising Space-Time: I. Quantising on a General Category

A new approach is suggested to the problem of quantising causal sets, or topologies, or other such models for space-time (or space). The starting point is the observation that entities of this type can be regarded as objects in a category whose arrows are structure-preserving maps. This motivates investigating the general problem of quantising a system whose `configuration space' (or history-theory analogue) can be regarded as the set of objects in a category. In this first of a series of papers, we study this question in general and develop a scheme based on constructing an analogue of the group that is used in the canonical quantisation of a system whose configuration space is a manifold $Q\simeq G/H$ where G and H are Lie groups. In particular, we choose as the analogue of G the monoid of `arrow fields' on the category. Physically, this means that an arrow between two objects in the category is viewed as some sort of analogue of momentum. After finding the `category quantisation monoid', we show how suitable representations can be constructed using a bundle of Hilbert spaces over the set of objects.

gr-qc↗

arXiv2003

A New Approach to Quantising Space-Time: III. State Vectors as Functions on Arrows

In two recent papers by the author, a new approach was suggested for quantising space-time, or space. This involved developing a procedure for quantising a system whose configuration space--or history-theory analogue--is the set of objects, $\Ob\Q$, in a (small) category $\Q$. The quantum states in this approach are cross-sections of a bundle $A\leadsto\K[A]$ of Hilbert spaces over $\Ob\Q$. The Hilbert spaces $\K[A]$, $A\in\Ob\Q$, depend strongly on the object $A$, and have to be chosen so as to get an irreducible, faithful, representation of the basic `category quantisation monoid'. In the present paper, we develop a different approach in which the state vectors are complex-valued functions on the set of {\em arrows} in $\Q$. This throws a new light on the Hilbert bundle scheme: in particular, we recover the results of that approach in the, physically important, example when $\Q$ is a small category of finite sets.

gr-qc↗

arXiv2002

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

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.

quant-ph↗

arXiv2001

Quantising the Foliation in History Quantum Field Theory

As a preliminary to discussing the quantisation of the foliation in a history form of general relativity, we show how the discussion in \cite{SavQFT1} of a history version of free, scalar quantum field theory can be augmented in such a way as to include the quantisation of the unit-length, time-like vector that determines a Lorentzian foliation of Minkowski spacetime. We employ a Hilbert bundle construction that is motivated by: (i) discussing the role of the external Lorentz group in the existing history quantum field theory \cite{SavQFT1}; and (ii) considering a specific representation of the extended history algebra obtained from the multi-symplectic representation of scalar field theory.

quant-ph↗

arXiv2001

A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory. In those papers, the main idea was to assign a sieve as a partial and contextual truth value to a proposition that the value of a quantity lies in a certain set $Δ\subseteq \mathR$. Here we relate such sieve-valued valuations to valuations that assign to quantities subsets, rather than single elements, of their spectra (we call these `interval' valuations). There are two main results. First, there is a natural correspondence between these two kinds of valuation, which uses the notion of a state's support for a quantity (Section 3). Second, if one starts with a more general notion of interval valuation, one sees that our interval valuations based on the notion of support (and correspondingly, our sieve-valued valuations) are a simple way to secure certain natural properties of valuations, such as monotonicity (Section 4).

quant-ph↗

arXiv1999

A Topos Perspective on the Kochen-Specker Theorem: III. Von Neumann Algebras as the Base Category

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).

quant-ph↗

arXiv1999

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

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.

gr-qc↗

arXiv1999

Spacetime and the Philosophical Challenge of Quantum Gravity

We survey some philosophical aspects of the search for a quantum theory of gravity, emphasising how quantum gravity throws into doubt the treatment of spacetime common to the two `ingredient theories' (quantum theory and general relativity), as a 4-dimensional manifold equipped with a Lorentzian metric. After an introduction, we briefly review the conceptual problems of the ingredient theories and introduce the enterprise of quantum gravity We then describe how three main research programmes in quantum gravity treat four topics of particular importance: the scope of standard quantum theory; the nature of spacetime; spacetime diffeomorphisms, and the so-called problem of time. By and large, these programmes accept most of the ingredient theories' treatment of spacetime, albeit with a metric with some type of quantum nature; but they also suggest that the treatment has fundamental limitations. This prompts the idea of going further: either by quantizing structures other than the metric, such as the topology; or by regarding such structures as phenomenological. We discuss this in Section \ref{Sec:TowardsQuST}.

gr-qc↗

arXiv1999

On the Emergence of Time in Quantum Gravity

We discuss from a philosophical perspective the way in which the normal concept of time might be said to `emerge' in a quantum theory of gravity. After an introduction, we briefly discuss the notion of emergence, without regard to time (Section 2). We then introduce the search for a quantum theory of gravity (Section 3); and review some general interpretative issues about space, time and matter Section 4). We then discuss the emergence of time in simple quantum geometrodynamics, and in the Euclidean approach (Section 5). Section 6 concludes.

gr-qc↗

arXiv1998

A topos perspective on the Kochen-Specker theorem: II. Conceptual Aspects, and Classical Analogues:

In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition.

quant-ph↗

arXiv1998

A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations

The Kochen-Specker theorem asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic for each context come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalized valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalized valuation.

quant-ph↗

arXiv1997

Continuous Time and Consistent Histories

We discuss the use of histories labelled by a continuous time in the approach to consistent-histories quantum theory in which propositions about the history of the system are represented by projection operators on a Hilbert space. This extends earlier work by two of us \cite{IL95} where we showed how a continuous time parameter leads to a history algebra that is isomorphic to the canonical algebra of a quantum field theory. We describe how the appropriate representation of the history algebra may be chosen by requiring the existence of projection operators that represent propositions about time average of the energy. We also show that the history description of quantum mechanics contains an operator corresponding to velocity that is quite distinct from the momentum operator. Finally, the discussion is extended to give a preliminary account of quantum field theory in this approach to the consistent histories formalism.

quant-ph↗