227 research outputs found
4-Dimensional BF Theory as a Topological Quantum Field Theory
Starting from a Lie group G whose Lie algebra is equipped with an invariant
nondegenerate symmetric bilinear form, we show that 4-dimensional BF theory
with cosmological term gives rise to a TQFT satisfying a generalization of
Atiyah's axioms to manifolds equipped with principal G-bundle. The case G =
GL(4,R) is especially interesting because every 4-manifold is then naturally
equipped with a principal G-bundle, namely its frame bundle. In this case, the
partition function of a compact oriented 4-manifold is the exponential of its
signature, and the resulting TQFT is isomorphic to that constructed by Crane
and Yetter using a state sum model, or by Broda using a surgery presentation of
4-manifolds.Comment: 15 pages in LaTe
Higher Algebraic Structures and Quantization
We derive (quasi-)quantum groups in 2+1 dimensional topological field theory
directly from the classical action and the path integral. Detailed computations
are carried out for the Chern-Simons theory with finite gauge group. The
principles behind our computations are presumably more general. We extend the
classical action in a d+1 dimensional topological theory to manifolds of
dimension less than d+1. We then ``construct'' a generalized path integral
which in d+1 dimensions reduces to the standard one and in d dimensions
reproduces the quantum Hilbert space. In a 2+1 dimensional topological theory
the path integral over the circle is the category of representations of a
quasi-quantum group. In this paper we only consider finite theories, in which
the generalized path integral reduces to a finite sum. New ideas are needed to
extend beyond the finite theories treated here.Comment: 62 pages + 16 figures (revised version). In this revision we make
some small corrections and clarification
Three-Dimensional Integrable Models and Associated Tangle Invariants
In this paper we show that the Boltzmann weights of the three-dimensional
Baxter-Bazhanov model give representations of the braid group, if some suitable
spectral limits are taken. In the trigonometric case we classify all possible
spectral limits which produce braid group representations. Furthermore we prove
that for some of them we get cyclotomic invariants of links and for others we
obtain tangle invariants generalizing the cyclotomic ones.Comment: Number of pages: 21, Latex fil
Degenerate Plebanski Sector and Spin Foam Quantization
We show that the degenerate sector of Spin(4) Plebanski formulation of
four-dimensional gravity is exactly solvable and describes covariantly embedded
SU(2) BF theory. This fact ensures that its spin foam quantization is given by
the SU(2) Crane-Yetter model and allows to test various approaches of imposing
the simplicity constraints. Our analysis strongly suggests that restricting
representations and intertwiners in the state sum for Spin(4) BF theory is not
sufficient to get the correct vertex amplitude. Instead, for a general theory
of Plebanski type, we propose a quantization procedure which is by construction
equivalent to the canonical path integral quantization and, being applied to
our model, reproduces the SU(2) Crane-Yetter state sum. A characteristic
feature of this procedure is the use of secondary second class constraints on
an equal footing with the primary simplicity constraints, which leads to a new
formula for the vertex amplitude.Comment: 34 pages; changes in the abstract and introduction, a few references
adde
Picturing classical and quantum Bayesian inference
We introduce a graphical framework for Bayesian inference that is
sufficiently general to accommodate not just the standard case but also recent
proposals for a theory of quantum Bayesian inference wherein one considers
density operators rather than probability distributions as representative of
degrees of belief. The diagrammatic framework is stated in the graphical
language of symmetric monoidal categories and of compact structures and
Frobenius structures therein, in which Bayesian inversion boils down to
transposition with respect to an appropriate compact structure. We characterize
classical Bayesian inference in terms of a graphical property and demonstrate
that our approach eliminates some purely conventional elements that appear in
common representations thereof, such as whether degrees of belief are
represented by probabilities or entropic quantities. We also introduce a
quantum-like calculus wherein the Frobenius structure is noncommutative and
show that it can accommodate Leifer's calculus of `conditional density
operators'. The notion of conditional independence is also generalized to our
graphical setting and we make some preliminary connections to the theory of
Bayesian networks. Finally, we demonstrate how to construct a graphical
Bayesian calculus within any dagger compact category.Comment: 38 pages, lots of picture
A Lorentzian Signature Model for Quantum General Relativity
We give a relativistic spin network model for quantum gravity based on the
Lorentz group and its q-deformation, the Quantum Lorentz Algebra.
We propose a combinatorial model for the path integral given by an integral
over suitable representations of this algebra. This generalises the state sum
models for the case of the four-dimensional rotation group previously studied
in gr-qc/9709028.
As a technical tool, formulae for the evaluation of relativistic spin
networks for the Lorentz group are developed, with some simple examples which
show that the evaluation is finite in interesting cases. We conjecture that the
`10J' symbol needed in our model has a finite value.Comment: 22 pages, latex, amsfonts, Xypic. Version 3: improved presentation.
Version 2 is a major revision with explicit formulae included for the
evaluation of relativistic spin networks and the computation of examples
which have finite value
Spin Foam Models of Riemannian Quantum Gravity
Using numerical calculations, we compare three versions of the Barrett-Crane
model of 4-dimensional Riemannian quantum gravity. In the version with face and
edge amplitudes as described by De Pietri, Freidel, Krasnov, and Rovelli, we
show the partition function diverges very rapidly for many triangulated
4-manifolds. In the version with modified face and edge amplitudes due to Perez
and Rovelli, we show the partition function converges so rapidly that the sum
is dominated by spin foams where all the spins labelling faces are zero except
for small, widely separated islands of higher spin. We also describe a new
version which appears to have a convergent partition function without drastic
spin-zero dominance. Finally, after a general discussion of how to extract
physics from spin foam models, we discuss the implications of convergence or
divergence of the partition function for other aspects of a spin foam model.Comment: 23 pages LaTeX; this version to appear in Classical and Quantum
Gravit
The century of the incomplete revolution: searching for general relativistic quantum field theory
In fundamental physics, this has been the century of quantum mechanics and
general relativity. It has also been the century of the long search for a
conceptual framework capable of embracing the astonishing features of the world
that have been revealed by these two ``first pieces of a conceptual
revolution''. I discuss the general requirements on the mathematics and some
specific developments towards the construction of such a framework. Examples of
covariant constructions of (simple) generally relativistic quantum field
theories have been obtained as topological quantum field theories, in
nonperturbative zero-dimensional string theory and its higher dimensional
generalizations, and as spin foam models. A canonical construction of a general
relativistic quantum field theory is provided by loop quantum gravity.
Remarkably, all these diverse approaches have turn out to be related,
suggesting an intriguing general picture of general relativistic quantum
physics.Comment: To appear in the Journal of Mathematical Physics 2000 Special Issu
Quantum Gravity and the Algebra of Tangles
In Rovelli and Smolin's loop representation of nonperturbative quantum
gravity in 4 dimensions, there is a space of solutions to the Hamiltonian
constraint having as a basis isotopy classes of links in R^3. The physically
correct inner product on this space of states is not yet known, or in other
words, the *-algebra structure of the algebra of observables has not been
determined. In order to approach this problem, we consider a larger space H of
solutions of the Hamiltonian constraint, which has as a basis isotopy classes
of tangles. A certain algebra T, the ``tangle algebra,'' acts as operators on
H. The ``empty state'', corresponding to the class of the empty tangle, is
conjectured to be a cyclic vector for T. We construct simpler representations
of T as quotients of H by the skein relations for the HOMFLY polynomial, and
calculate a *-algebra structure for T using these representations. We use this
to determine the inner product of certain states of quantum gravity associated
to the Jones polynomial (or more precisely, Kauffman bracket).Comment: 16 pages (with major corrections
- …