Extended matter coupled to BF theory

Recently, a topological field theory of membrane-matter coupled to BF theory in arbitrary spacetime dimensions was proposed [1]. In this paper, we discuss various aspects of the four-dimensional theory. Firstly, we study classical solutions leading to an interpretation of the theory in terms of strings propagating on a flat spacetime. We also show that the general classical solutions of the theory are in one-to-one correspondence with solutions of Einstein's equations in the presence of distributional matter (cosmic strings). Secondly, we quantize the theory and present, in particular, a prescription to regularize the physical inner product of the canonical theory. We show how the resulting transition amplitudes are dual to evaluations of Feynman diagrams coupled to three-dimensional quantum gravity. Finally, we remove the regulator by proving the topological invariance of the transition amplitudes.Comment: 27 pages, 7 figure

Canonical formalism for simplicial gravity

We summarise a recently introduced general canonical formulation of discrete systems which is fully equivalent to the covariant formalism. This framework can handle varying phase space dimensions and is applied to simplicial gravity in particular.Comment: 4 pages, 5 figures, based on a talk given at Loops '11 in Madrid, to appear in Journal of Physics: Conference Series (JPCS

Approximating Turaev-Viro 3-manifold invariants is universal for quantum computation

The Turaev-Viro invariants are scalar topological invariants of compact, orientable 3-manifolds. We give a quantum algorithm for additively approximating Turaev-Viro invariants of a manifold presented by a Heegaard splitting. The algorithm is motivated by the relationship between topological quantum computers and (2+1)-D topological quantum field theories. Its accuracy is shown to be nontrivial, as the same algorithm, after efficient classical preprocessing, can solve any problem efficiently decidable by a quantum computer. Thus approximating certain Turaev-Viro invariants of manifolds presented by Heegaard splittings is a universal problem for quantum computation. This establishes a novel relation between the task of distinguishing non-homeomorphic 3-manifolds and the power of a general quantum computer.Comment: 4 pages, 3 figure

A matrix solution to pentagon equation with anticommuting variables

We construct a solution to pentagon equation with anticommuting variables living on two-dimensional faces of tetrahedra. In this solution, matrix coordinates are ascribed to tetrahedron vertices. As matrix multiplication is noncommutative, this provides a "more quantum" topological field theory than in our previous works

State Sum Models and Simplicial Cohomology

We study a class of subdivision invariant lattice models based on the gauge group $Z_{p}$, with particular emphasis on the four dimensional example. This model is based upon the assignment of field variables to both the $1$- and $2$-dimensional simplices of the simplicial complex. The property of subdivision invariance is achieved when the coupling parameter is quantized and the field configurations are restricted to satisfy a type of mod-$p$ flatness condition. By explicit computation of the partition function for the manifold $RP^{3} \times S^{1}$, we establish that the theory has a quantum Hilbert space which differs from the classical one.Comment: 28 pages, Latex, ITFA-94-13, (Expanded version with two new sections

Observables in 3-dimensional quantum gravity and topological invariants

In this paper we report some results on the expectation values of a set of observables introduced for 3-dimensional Riemannian quantum gravity with positive cosmological constant, that is, observables in the Turaev-Viro model. Instead of giving a formal description of the observables, we just formulate the paper by examples. This means that we just show how an idea works with particular cases and give a way to compute 'expectation values' in general by a topological procedure.Comment: 24 pages, 47 figure

Spin Foam Diagrammatics and Topological Invariance

We provide a simple proof of the topological invariance of the Turaev-Viro model (corresponding to simplicial 3d pure Euclidean gravity with cosmological constant) by means of a novel diagrammatic formulation of the state sum models for quantum BF-theories. Moreover, we prove the invariance under more general conditions allowing the state sum to be defined on arbitrary cellular decompositions of the underlying manifold. Invariance is governed by a set of identities corresponding to local gluing and rearrangement of cells in the complex. Due to the fully algebraic nature of these identities our results extend to a vast class of quantum groups. The techniques introduced here could be relevant for investigating the scaling properties of non-topological state sums, being proposed as models of quantum gravity in 4d, under refinement of the cellular decomposition.Comment: 20 pages, latex with AMS macros and eps figure

Polyhedra in loop quantum gravity

Interwiners are the building blocks of spin-network states. The space of intertwiners is the quantization of a classical symplectic manifold introduced by Kapovich and Millson. Here we show that a theorem by Minkowski allows us to interpret generic configurations in this space as bounded convex polyhedra in Euclidean space: a polyhedron is uniquely described by the areas and normals to its faces. We provide a reconstruction of the geometry of the polyhedron: we give formulas for the edge lengths, the volume and the adjacency of its faces. At the quantum level, this correspondence allows us to identify an intertwiner with the state of a quantum polyhedron, thus generalizing the notion of quantum tetrahedron familiar in the loop quantum gravity literature. Moreover, coherent intertwiners result to be peaked on the classical geometry of polyhedra. We discuss the relevance of this result for loop quantum gravity. In particular, coherent spin-network states with nodes of arbitrary valence represent a collection of semiclassical polyhedra. Furthermore, we introduce an operator that measures the volume of a quantum polyhedron and examine its relation with the standard volume operator of loop quantum gravity. We also comment on the semiclassical limit of spinfoams with non-simplicial graphs.Comment: 32 pages, many figures. v2 minor correction

A Closed Contour of Integration in Regge Calculus

The analytic structure of the Regge action on a cone in $d$ dimensions over a boundary of arbitrary topology is determined in simplicial minisuperspace. The minisuperspace is defined by the assignment of a single internal edge length to all 1-simplices emanating from the cone vertex, and a single boundary edge length to all 1-simplices lying on the boundary. The Regge action is analyzed in the space of complex edge lengths, and it is shown that there are three finite branch points in this complex plane. A closed contour of integration encircling the branch points is shown to yield a convergent real wave function. This closed contour can be deformed to a steepest descent contour for all sizes of the bounding universe. In general, the contour yields an oscillating wave function for universes of size greater than a critical value which depends on the topology of the bounding universe. For values less than the critical value the wave function exhibits exponential behaviour. It is shown that the critical value is positive for spherical topology in arbitrary dimensions. In three dimensions we compute the critical value for a boundary universe of arbitrary genus, while in four and five dimensions we study examples of product manifolds and connected sums.Comment: 16 pages, Latex, To appear in Gen. Rel. Gra