An Invitation to Higher Gauge Theory

In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge '2-group'. We focus on 6 examples. First, every abelian Lie group gives a Lie 2-group; the case of U(1) yields the theory of U(1) gerbes, which play an important role in string theory and multisymplectic geometry. Second, every group representation gives a Lie 2-group; the representation of the Lorentz group on 4d Minkowski spacetime gives the Poincar\'e 2-group, which leads to a spin foam model for Minkowski spacetime. Third, taking the adjoint representation of any Lie group on its own Lie algebra gives a 'tangent 2-group', which serves as a gauge 2-group in 4d BF theory, which has topological gravity as a special case. Fourth, every Lie group has an 'inner automorphism 2-group', which serves as the gauge group in 4d BF theory with cosmological constant term. Fifth, every Lie group has an 'automorphism 2-group', which plays an important role in the theory of nonabelian gerbes. And sixth, every compact simple Lie group gives a 'string 2-group'. We also touch upon higher structures such as the 'gravity 3-group' and the Lie 3-superalgebra that governs 11-dimensional supergravity.Comment: 60 pages, based on lectures at the 2nd School and Workshop on Quantum Gravity and Quantum Geometry at the 2009 Corfu Summer Institut

Numerical treatment of spin systems with unrestricted spin length S: A functional renormalization group study

We develop a generalized pseudofermion functional renormalization group (PFFRG) approach that can be applied to arbitrary Heisenberg models with spins ranging from the quantum case S=1/2 to the classical limit S→∞. Within this framework, spins of magnitude S are realized by implementing M=2S copies of spin-1/2 degrees of freedom on each lattice site. We confirm that even without explicitly projecting onto the highest spin sector of the Hilbert space, ground states tend to select the largest possible local spin magnitude. This justifies the average treatment of the pseudofermion constraint in previous spin-1/2 PFFRG studies. We apply this method to the antiferromagnetic J1−J2 honeycomb Heisenberg model with nearest-neighbor J1>0 and second-neighbor J2>0 interactions. Mapping out the phase diagram in the J2/J1−S plane, we find that upon increasing S, quantum fluctuations are rapidly decreasing. In particular, already at S=1 we find no indication for a magnetically disordered phase. In the limit S→∞, the known phase diagram of the classical system is exactly reproduced. More generally, we prove that for S→∞ the PFFRG approach is identical to the Luttinger-Tisza method

Self-referential Monte Carlo method for calculating the free energy of crystalline solids

A self-referential Monte Carlo method is described for calculating the free energy of crystalline solids. All Monte Carlo methods for the free energy of classical crystalline solids calculate the free-energy difference between a state whose free energy can be calculated relatively easily and the state of interest. Previously published methods employ either a simple model crystal, such as the Einstein crystal, or a fluid as the reference state. The self-referential method employs a radically different reference state; it is the crystalline solid of interest but with a different number of unit cells. So it calculates the free-energy difference between two crystals, differing only in their size. The aim of this work is to demonstrate this approach by application to some simple systems, namely, the face centered cubic hard sphere and Lennard-Jones crystals. However, it can potentially be applied to arbitrary crystals in both bulk and confined environments, and ultimately it could also be very efficient

Positivity of Spin Foam Amplitudes

The amplitude for a spin foam in the Barrett-Crane model of Riemannian quantum gravity is given as a product over its vertices, edges and faces, with one factor of the Riemannian 10j symbols appearing for each vertex, and simpler factors for the edges and faces. We prove that these amplitudes are always nonnegative for closed spin foams. As a corollary, all open spin foams going between a fixed pair of spin networks have real amplitudes of the same sign. This means one can use the Metropolis algorithm to compute expectation values of observables in the Riemannian Barrett-Crane model, as in statistical mechanics, even though this theory is based on a real-time (e^{iS}) rather than imaginary-time (e^{-S}) path integral. Our proof uses the fact that when the Riemannian 10j symbols are nonzero, their sign is positive or negative depending on whether the sum of the ten spins is an integer or half-integer. For the product of 10j symbols appearing in the amplitude for a closed spin foam, these signs cancel. We conclude with some numerical evidence suggesting that the Lorentzian 10j symbols are always nonnegative, which would imply similar results for the Lorentzian Barrett-Crane model.Comment: 15 pages LaTeX. v3: Final version, with updated conclusions and other minor changes. To appear in Classical and Quantum Gravity. v4: corrects # of samples in Lorentzian tabl

Dual variables and a connection picture for the Euclidean Barrett-Crane model

The partition function of the SO(4)- or Spin(4)-symmetric Euclidean Barrett-Crane model can be understood as a sum over all quantized geometries of a given triangulation of a four-manifold. In the original formulation, the variables of the model are balanced representations of SO(4) which describe the quantized areas of the triangles. We present an exact duality transformation for the full quantum theory and reformulate the model in terms of new variables which can be understood as variables conjugate to the quantized areas. The new variables are pairs of S^3-values associated to the tetrahedra. These S^3-variables parameterize the hyperplanes spanned by the tetrahedra (locally embedded in R^4), and the fact that there is a pair of variables for each tetrahedron can be viewed as a consequence of an SO(4)-valued parallel transport along the edges dual to the tetrahedra. We reconstruct the parallel transport of which only the action of SO(4) on S^3 is physically relevant and rewrite the Barrett-Crane model as an SO(4) lattice BF-theory living on the 2-complex dual to the triangulation subject to suitable constraints whose form we derive at the quantum level. Our reformulation of the Barrett-Crane model in terms of continuous variables is suitable for the application of various analytical and numerical techniques familiar from Statistical Mechanics.Comment: 33 pages, LaTeX, combined PiCTeX/postscript figures, v2: note added, TeX error correcte

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 model from canonical quantization

We suggest a modification of the Barrett-Crane spin foam model of 4-dimensional Lorentzian general relativity motivated by the canonical quantization. The starting point is Lorentz covariant loop quantum gravity. Its kinematical Hilbert space is found as a space of the so-called projected spin networks. These spin networks are identified with the boundary states of a spin foam model and provide a generalization of the unique Barrette-Crane intertwiner. We propose a way to modify the Barrett-Crane quantization procedure to arrive at this generalization: the B field (bi-vectors) should be promoted not to generators of the gauge algebra, but to their certain projection. The modification is also justified by the canonical analysis of Plebanski formulation. Finally, we compare our construction with other proposals to modify the Barret-Crane model.Comment: 26 pages; presentation improved, important changes concerning the closure constraint and the vertex amplitude; minor correctio

Cosmological Deformation of Lorentzian Spin Foam Models

We study the quantum deformation of the Barrett-Crane Lorentzian spin foam model which is conjectured to be the discretization of Lorentzian Plebanski model with positive cosmological constant and includes therefore as a particular sector quantum gravity in de-Sitter space. This spin foam model is constructed using harmonic analysis on the quantum Lorentz group. The evaluation of simple spin networks are shown to be non commutative integrals over the quantum hyperboloid defined as a pile of fuzzy spheres. We show that the introduction of the cosmological constant removes all the infrared divergences: for any fixed triangulation, the integration over the area variables is finite for a large class of normalization of the amplitude of the edges and of the faces.Comment: 37 pages, 7 figures include