Quantising on a category

We review the problem of finding a general framework within which one can construct quantum theories of non-standard models for space, or space-time. The starting point is the observation that entities of this type can typically 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) is the set of objects \Ob\Q in a category \Q. We 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 \Q. Physically, this means that an arrow between two objects in the category is viewed as an analogue of momentum. After finding the `category quantisation monoid', we show how suitable representations can be constructed using a bundle (or, more precisely, presheaf) of Hilbert spaces over \Ob\Q. For the example of a category of finite sets, we construct an explicit representation structure of this type.Comment: To appear in a volume dedicated to the memory of James Cushin

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.Comment: Typeset in RevTe

General relativity histories theory I: The spacetime character of the canonical description

The problem of time in canonical quantum gravity is related to the fact that the canonical description is based on the prior choice of a spacelike foliation, hence making a reference to a spacetime metric. However, the metric is expected to be a dynamical, fluctuating quantity in quantum gravity. We show how this problem can be solved in the histories formulation of general relativity. We implement the 3+1 decomposition using metric-dependent foliations which remain spacelike with respect to all possible Lorentzian metrics. This allows us to find an explicit relation of covariant and canonical quantities which preserves the spacetime character of the canonical description. In this new construction, we also have a coexistence of the spacetime diffeomorphisms group, and the Dirac algebra of constraints.Comment: 23 pages, submitted to Class. Quant. Gra

Information-entropy and the space of decoherence functions in generalised quantum theory

In standard quantum theory, the ideas of information-entropy and of pure states are closely linked. States are represented by density matrices $\rho$ on a Hilbert space and the information-entropy $-tr(\rho\log\rho)$ 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

Continuous Histories and the History Group in Generalised Quantum Theory

We treat continuous histories within the histories approach to generalised quantum mechanics. The essential tool is the `history group': the analogue, within the generalised history scheme, of the canonical group of single-time quantum mechanics.Comment: 25 page

(Quantum) Space-Time as a Statistical Geometry of Fuzzy Lumps and the Connection with Random Metric Spaces

We develop a kind of pregeometry consisting of a web of overlapping fuzzy lumps which interact with each other. The individual lumps are understood as certain closely entangled subgraphs (cliques) in a dynamically evolving network which, in a certain approximation, can be visualized as a time-dependent random graph. This strand of ideas is merged with another one, deriving from ideas, developed some time ago by Menger et al, that is, the concept of probabilistic- or random metric spaces, representing a natural extension of the metrical continuum into a more microscopic regime. It is our general goal to find a better adapted geometric environment for the description of microphysics. In this sense one may it also view as a dynamical randomisation of the causal-set framework developed by e.g. Sorkin et al. In doing this we incorporate, as a perhaps new aspect, various concepts from fuzzy set theory.Comment: 25 pages, Latex, no figures, some references added, some minor changes added relating to previous wor

String and M-theory Deformations of Manifolds with Special Holonomy

The R^4-type corrections to ten and eleven dimensional supergravity required by string and M-theory imply corrections to supersymmetric supergravity compactifications on manifolds of special holonomy, which deform the metric away from the original holonomy. Nevertheless, in many such cases, including Calabi-Yau compactifications of string theory and G_2-compactifications of M-theory, it has been shown that the deformation preserves supersymmetry because of associated corrections to the supersymmetry transformation rules, Here, we consider Spin(7) compactifications in string theory and M-theory, and a class of non-compact SU(5) backgrounds in M-theory. Supersymmetry survives in all these cases too, despite the fact that the original special holonomy is perturbed into general holonomy in each case.Comment: Improved discussion of SU(5) holonomy backgrounds. Other minor typos corrected. Latex with JHEP3.cls, 42 page

Massive spinor fields in flat spacetimes with non-trivial topology

The vacuum expectation value of the stress-energy tensor is calculated for spin $1\over 2$ massive fields in several multiply connected flat spacetimes. We examine the physical effects of topology on manifolds such as $R^3 \times S^1$, $R^2\times T^2$, $R^1 \times T^3$, the Mobius strip and the Klein bottle. We find that the spinor vacuum stress tensor has the opposite sign to, and twice the magnitude of, the scalar tensor in orientable manifolds. Extending the above considerations to the case of Misner spacetime, we calculate the vacuum expectation value of spinor stress-energy tensor in this space and discuss its implications for the chronology protection conjecture.Comment: 18 pages, Some of the equations in section VI as well as typographical errors corrected, 5 figures, Revtex

Loop Variable Inequalities in Gravity and Gauge Theory

We point out an incompleteness of formulations of gravitational and gauge theories that use traces of holonomies around closed curves as their basic variables. It is shown that in general such loop variables have to satisfy certain inequalities if they are to give a description equivalent to the usual one in terms of local gauge potentials.Comment: 10pp., TeX, Syracuse SU-GP-93/3-