arXiv subjects

John W. Barrett

Publications and source records attributed to John W. Barrett.

85 records · Page 5Linked to original sources

arXiv1999

The Quantum Tetrahedron in 3 and 4 Dimensions

Recent work on state sum models of quantum gravity in 3 and 4 dimensions has led to interest in the `quantum tetrahedron'. Starting with a classical phase space whose points correspond to geometries of the tetrahedron in R^3, we use geometric quantization to obtain a Hilbert space of states. This Hilbert space has a basis of states labeled by the areas of the faces of the tetrahedron together with one more quantum number, e.g. the area of one of the parallelograms formed by midpoints of the tetrahedron's edges. Repeating the procedure for the tetrahedron in R^4, we obtain a Hilbert space with a basis labelled solely by the areas of the tetrahedron's faces. An analysis of this result yields a geometrical explanation of the otherwise puzzling fact that the quantum tetrahedron has more degrees of freedom in 3 dimensions than in 4 dimensions.

gr-qc↗

arXiv1999

The asymptotics of an amplitude for the 4-simplex

An expression for the oscillatory part of an asymptotic formula for the relativistic spin network amplitude for a 4-simplex is given. The amplitude depends on specified areas for each two-dimensional face in the 4-simplex. The asymptotic formula has a contribution from each flat Euclidean metric on the 4-simplex which agrees with the given areas. The oscillatory part of each contribution is determined by the Regge calculus Einstein action for that geometry.

gr-qc↗

arXiv1999

A note on area variables in Regge calculus

We consider the possibility of setting up a new version of Regge calculus in four dimensions with areas of triangles as the basic variables rather than the edge-lengths. The difficulties and restrictions of this approach are discussed.

gr-qc↗

arXiv1998

Spherical Categories

This paper is a study of monoidal categories with duals where the tensor product need not be commutative. The motivating examples are categories of representations of Hopf algebras and the motivating application is the definition of 6j-symbols as used in topological field theories. We introduce the new notion of a spherical category. In the first section we prove a coherence theorem for a monoidal category with duals following MacLane (1963). In the second section we give the definition of a spherical category, and construct a natural quotient which is also spherical. In the third section we define spherical Hopf algebras so that the category of representations is spherical. Examples of spherical Hopf algebras are involutory Hopf algebras and ribbon Hopf algebras. Finally we study the natural quotient in these cases and show it is semisimple.

hep-th↗

arXiv1998

Relativistic spin networks and quantum gravity

Relativistic spin networks are defined by considering the spin covering of the group SO(4), SU(2) times SU(2). Relativistic quantum spins are related to the geometry of the 2-dimensional faces of a 4-simplex. This extends the idea of Ponzano and Regge that SU(2) spins are related to the geometry of the edges of a 3-simplex. This leads us to suggest that there may be a 4-dimensional state sum model for quantum gravity based on relativistic spin networks which parallels the construction of 3-dimensional quantum gravity from ordinary spin networks.

gr-qc↗

arXiv1997

An algebraic interpretation of the Wheeler-DeWitt equation

We make a direct connection between the construction of three dimensional topological state sums from tensor categories and three dimensional quantum gravity by noting that the discrete version of the Wheeler-DeWitt equation is exactly the pentagon for the associator of the tensor category, the Biedenharn-Elliott identity. A crucial role is played by an asymptotic formula relating 6j-symbols to rotation matrices given by Edmonds.

gr-qc↗

arXiv1997

Skein spaces and spin structures

This paper relates skein spaces based on the Kauffman bracket and spin structures. A spin structure on an oriented 3-manifold provides an isomorphism between the skein space for parameter A and the skein space for parameter -A. There is an application to Penrose's binor calculus, which is related to the tensor calculus of representations of SU(2). The perspective developed here is that this tensor calculus is actually a calculus of spinors on the plane, and the matrices a re determined by a type of spinor transport which generalises to links in any 3-manifold. A second application shows that there is a skein space which is the algebra of functions on the set of spin structures for the 3-manifold.

gr-qc↗

arXiv1997

Sources of symmetric potentials

Laboratory experiments on gravitation are usually performed with objects of constant density, so that the analysis of the forces concerns only the geometry of their shape. In an ideal experiment, the shapes of the constituent parts will be optimised to meet certain mathematical criteria, which ensure that the experiment has maximal sensitivity. Using this idea, the author suggested an experiment to determine the departure of the gravitational force from Newton's force law [1]. The geometrical problem which has to be solved is to find two shapes which differ significantly, but have the same Newtonian potential. Essentially, the experiment determines whether the two objects are distinguishable by their gravitational force. Here, we consider the case when one of them is a round ball. The result, Theorem 1, establishes a fact which appeared in numerical simulations, that the second object has to have a hole in it.

gr-qc↗

arXiv1995

Invariants of Piecewise-Linear 3-Manifolds

In this paper we develop a theory for constructing an invariant of closed oriented 3-manifolds, given a certain type of Hopf algebra. Examples are given by a quantised enveloping algebra of a semisimple Lie algebra, or by a semisimple involutory Hopf algebra. The invariant is defined by a state sum model on a triangulation. In some cases, the invariant is the partition function of a topological quantum field theory.

hep-th↗

arXiv1995

Quantum Gravity as Topological Quantum Field Theory

The physics of quantum gravity is discussed within the framework of topological quantum field theory. Some of the principles are illustrated with examples taken from theories in which space-time is three dimensional.

gr-qc↗

arXiv1995

The equality of 3-manifold invariants

The invariants of 3-manifolds defined by Kuperberg for involutory Hopf algebras and those defined by the authors for spherical Hopf algebras are the same for Hopf algebras on which they are both defined.

hep-th↗

arXiv1994

A Parallelizable Implicit Evolution Scheme for Regge Calculus

The role of Regge calculus as a tool for numerical relativity is discussed, and a parallelizable implicit evolution scheme described. Because of the structure of the Regge equations, it is possible to advance the vertices of a triangulated spacelike hypersurface in isolation, solving at each vertex a purely local system of implicit equations for the new edge-lengths involved. (In particular, equations of global ``elliptic-type'' do not arise.) Consequently, there exists a parallel evolution scheme which divides the vertices into families of non-adjacent elements and advances all the vertices of a family simultaneously. The relation between the structure of the equations of motion and the Bianchi identities is also considered. The method is illustrated by a preliminary application to a 600--cell Friedmann cosmology. The parallelizable evolution algorithm described in this paper should enable Regge calculus to be a viable discretization technique in numerical relativity.

gr-qc↗

arXiv1994

First order Regge calculus

A first order form of Regge calculus is defined in the spirit of Palatini's action for general relativity. The extra independent variables are the interior dihedral angles of a simplex, with conjugate variables the areas of the triangles. There is a discussion of the extent to which these areas can be used to parameterise the space of edge lengths of a simplex.

hep-th↗