BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

John C. Baez

John C. Baez appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
hep-thgr-qcmath.CTmath.QAmath-phmath.MPmath.DGmath.RAmath.RTquant-phastro-phhep-phInformation TheoryLogic in Computer Sciencemath.AGmath.GRmath.HOmath.ITmath.NTphysics.hist-ph

Catalog footprint

What is connected

28works
20topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

28 published item(s)

preprint2026arXiv

Coxeter and Dynkin Diagrams

Coxeter and Dynkin diagrams classify a wide variety of structures, most notably finite reflection groups, lattices having such groups as symmetries, compact simple Lie groups and complex simple Lie algebras. The simply laced or "ADE" Dynkin diagrams also classify finite subgroups of SU(2) and quivers with finitely many indecomposable representations. This introductory tour of Coxeter and Dynkin diagrams, based on the column This Week's Finds in Mathematical Physics, is made to accompany a series of lecture videos.

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

Dirichlet Species and Arithmetic Zeta Functions

Though Joyal's species are known to categorify generating functions in enumerative combinatorics, they also categorify zeta functions in algebraic geometry. The reason is that any scheme $X$ of finite type over the integers gives a "zeta species" $Z_X$, and any species $F$ gives a Dirichlet series $\widehat{F}$, in such a way that $\widehat{Z}_X$ is the arithmetic zeta function of $X$, a well-known Dirichlet series that encodes the number of points of $X$ over each finite field. Specifically, a $Z_X$-structure on a finite set is a way of making that set into a semisimple commutative ring, say $k$, and then choosing a $k$-point of the scheme $X$. This is an elaboration of joint work with James Dolan.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Renyi Entropy and Free Energy

The Renyi entropy is a generalization of the usual concept of entropy which depends on a parameter q. In fact, Renyi entropy is closely related to free energy. Suppose we start with a system in thermal equilibrium and then suddenly divide the temperature by q. Then the maximum amount of work the system can do as it moves to equilibrium at the new temperature, divided by the change in temperature, equals the system's Renyi entropy in its original state. This result applies to both classical and quantum systems. Mathematically, we can express this result as follows: the Renyi entropy of a system in thermal equilibrium is minus the "1/q-derivative" of its free energy with respect to temperature. This shows that Renyi entropy is a q-deformation of the usual concept of entropy.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Enriched Lawvere Theories for Operational Semantics

Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity, where the vertices are operations and the edges are rewrites between operations. Enriched theories can be used to equip systems with operational semantics, and maps between enriching categories can serve to translate between different forms of operational and denotational semantics. The Grothendieck construction lets us study all models of all enriched theories in all contexts in a single category. We illustrate these ideas with the SKI-combinator calculus, a variable-free version of the lambda calculus.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Network Models

Networks can be combined in various ways, such as overlaying one on top of another or setting two side by side. We introduce "network models" to encode these ways of combining networks. Different network models describe different kinds of networks. We show that each network model gives rise to an operad, whose operations are ways of assembling a network of the given kind from smaller parts. Such operads, and their algebras, can serve as tools for designing networks. Technically, a network model is a lax symmetric monoidal functor from the free symmetric monoidal category on some set to $\mathbf{Cat}$, and the construction of the corresponding operad proceeds via a symmetric monoidal version of the Grothendieck construction.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Struggles with the Continuum

Our assumption that spacetime is a continuum leads to many challenges in mathematical physics. Singularities, divergent integrals and the like threaten many of our favorite theories, from Newtonian gravity to classical electrodynamics, quantum electrodynamics and the Standard Model. In general relativity, singularities are intimately connected to some of the theory's most dramatic successful predictions. We survey these problems and the large amount of work that has gone into dealing with them.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Division Algebras and Supersymmetry I

Supersymmetry is deeply related to division algebras. Nonabelian Yang-Mills fields minimally coupled to massless spinors are supersymmetric if and only if the dimension of spacetime is 3, 4, 6 or 10. The same is true for the Green-Schwarz superstring. In both cases, supersymmetry relies on the vanishing of a certain trilinear expression involving a spinor field. The reason for this, in turn, is the existence of normed division algebras in dimensions 1, 2, 4 and 8: the real numbers, complex numbers, quaternions and octonions. Here we provide a self-contained account of how this works.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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é 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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Division Algebras and Supersymmetry II

Starting from the four normed division algebras - the real numbers, complex numbers, quaternions and octonions - a systematic procedure gives a 3-cocycle on the Poincare Lie superalgebra in dimensions 3, 4, 6 and 10. A related procedure gives a 4-cocycle on the Poincare Lie superalgebra in dimensions 4, 5, 7 and 11. In general, an (n+1)-cocycle on a Lie superalgebra yields a "Lie n-superalgebra": that is, roughly speaking, an n-term chain complex equipped with a bracket satisfying the axioms of a Lie superalgebra up to chain homotopy. We thus obtain Lie 2-superalgebras extending the Poincare superalgebra in dimensions 3, 4, 6, and 10, and Lie 3-superalgebras extending the Poincare superalgebra in dimensions 4, 5, 7 and 11. As shown in Sati, Schreiber and Stasheff's work on higher gauge theory, Lie 2-superalgebra connections describe the parallel transport of strings, while Lie 3-superalgebra connections describe the parallel transport of 2-branes. Moreover, in the octonionic case, these connections concisely summarize the fields appearing in 10- and 11-dimensional supergravity.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Meaning of Einstein's Equation

This is a brief introduction to general relativity, designed for both students and teachers of the subject. While there are many excellent expositions of general relativity, few adequately explain the geometrical meaning of the basic equation of the theory: Einstein's equation. Here we give a simple formulation of this equation in terms of the motion of freely falling test particles. We also sketch some of its consequences, and explain how the formulation given here is equivalent to the usual one in terms of tensors. Finally, we include an annotated bibliography of books, articles and websites suitable for the student of relativity.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Algorithmic Thermodynamics

Algorithmic entropy can be seen as a special case of entropy as studied in statistical mechanics. This viewpoint allows us to apply many techniques developed for use in thermodynamics to the subject of algorithmic information theory. In particular, suppose we fix a universal prefix-free Turing machine and let X be the set of programs that halt for this machine. Then we can regard X as a set of 'microstates', and treat any function on X as an 'observable'. For any collection of observables, we can study the Gibbs ensemble that maximizes entropy subject to constraints on expected values of these observables. We illustrate this by taking the log runtime, length, and output of a program as observables analogous to the energy E, volume V and number of molecules N in a container of gas. The conjugate variables of these observables allow us to define quantities which we call the 'algorithmic temperature' T, 'algorithmic pressure' P and algorithmic potential' mu, since they are analogous to the temperature, pressure and chemical potential. We derive an analogue of the fundamental thermodynamic relation dE = T dS - P d V + mu dN, and use it to study thermodynamic cycles analogous to those for heat engines. We also investigate the values of T, P and mu for which the partition function converges. At some points on the boundary of this domain of convergence, the partition function becomes uncomputable. Indeed, at these points the partition function itself has nontrivial algorithmic entropy.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Division Algebras and Quantum Theory

Quantum theory may be formulated using Hilbert spaces over any of the three associative normed division algebras: the real numbers, the complex numbers and the quaternions. Indeed, these three choices appear naturally in a number of axiomatic approaches. However, there are internal problems with real or quaternionic quantum theory. Here we argue that these problems can be resolved if we treat real, complex and quaternionic quantum theory as part of a unified structure. Dyson called this structure the "three-fold way". It is perhaps easiest to see it in the study of irreducible unitary representations of groups on complex Hilbert spaces. These representations come in three kinds: those that are not isomorphic to their own dual (the truly "complex" representations), those that are self-dual thanks to a symmetric bilinear pairing (which are "real", in that they are the complexifications of representations on real Hilbert spaces), and those that are self-dual thanks to an antisymmetric bilinear pairing (which are "quaternionic", in that they are the underlying complex representations of representations on quaternionic Hilbert spaces). This three-fold classification sheds light on the physics of time reversal symmetry, and it already plays an important role in particle physics. More generally, Hilbert spaces of any one of the three kinds - real, complex and quaternionic - can be seen as Hilbert spaces of the other kinds, equipped with extra structure.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Infinite-Dimensional Representations of 2-Groups

A "2-group" is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representations on "2-vector spaces", which are categories analogous to vector spaces. Unfortunately, Lie 2-groups typically have few representations on the finite-dimensional 2-vector spaces introduced by Kapranov and Voevodsky. For this reason, Crane, Sheppeard and Yetter introduced certain infinite-dimensional 2-vector spaces called "measurable categories" (since they are closely related to measurable fields of Hilbert spaces), and used these to study infinite-dimensional representations of certain Lie 2-groups. Here we continue this work. We begin with a detailed study of measurable categories. Then we give a geometrical description of the measurable representations, intertwiners and 2-intertwiners for any skeletal measurable 2-group. We study tensor products and direct sums for representations, and various concepts of subrepresentation. We describe direct sums of intertwiners, and sub-intertwiners - features not seen in ordinary group representation theory. We study irreducible and indecomposable representations and intertwiners. We also study "irretractable" representations - another feature not seen in ordinary group representation theory. Finally, we argue that measurable categories equipped with some extra structure deserve to be considered "separable 2-Hilbert spaces", and compare this idea to a tentative definition of 2-Hilbert spaces as representation categories of commutative von Neumann algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Higher-Dimensional Algebra VI: Lie 2-Algebras

The theory of Lie algebras can be categorified starting from a new notion of "2-vector space", which we define as an internal category in Vect. There is a 2-category 2Vect having these 2-vector spaces as objects, "linear functors" as morphisms and "linear natural transformations" as 2-morphisms. We define a "semistrict Lie 2-algebra" to be a 2-vector space L equipped with a skew-symmetric bilinear functor satisfying the Jacobi identity up to a completely antisymmetric trilinear natural transformation called the "Jacobiator", which in turn must satisfy a certain law of its own. This law is closely related to the Zamolodchikov tetrahedron equation, and indeed we prove that any semistrict Lie 2-algebra gives a solution of this equation, just as any Lie algebra gives a solution of the Yang-Baxter equation. We construct a 2-category of semistrict Lie 2-algebras and prove that it is 2-equivalent to the 2-category of 2-term L-infinity algebras in the sense of Stasheff. We also study strict and skeletal Lie 2-algebras, obtaining the former from strict Lie 2-groups and using the latter to classify Lie 2-algebras in terms of 3rd cohomology classes in Lie algebra cohomology. This classification allows us to construct for any finite-dimensional Lie algebra g a canonical 1-parameter family of Lie 2-algebras g_hbar which reduces to g at hbar = 0. These are closely related to the 2-groups G_hbar constructed in a companion paper.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Higher-Dimensional Algebra VII: Groupoidification

Groupoidification is a form of categorification in which vector spaces are replaced by groupoids, and linear operators are replaced by spans of groupoids. We introduce this idea with a detailed exposition of "degroupoidification": a systematic process that turns groupoids and spans into vector spaces and linear operators. Then we present three applications of groupoidification. The first is to Feynman diagrams. The Hilbert space for the quantum harmonic oscillator arises naturally from degroupoidifying the groupoid of finite sets and bijections. This allows for a purely combinatorial interpretation of creation and annihilation operators, their commutation relations, field operators, their normal-ordered powers, and finally Feynman diagrams. The second application is to Hecke algebras. We explain how to groupoidify the Hecke algebra associated to a Dynkin diagram whenever the deformation parameter q is a prime power. We illustrate this with the simplest nontrivial example, coming from the A2 Dynkin diagram. In this example we show that the solution of the Yang-Baxter equation built into the A2 Hecke algebra arises naturally from the axioms of projective geometry applied to the projective plane over the finite field with q elements. The third application is to Hall algebras. We explain how the standard construction of the Hall algebra from the category of representations of a simply-laced quiver can be seen as an example of degroupoidification. This in turn provides a new way to categorify - or more precisely, groupoidify - the positive part of the quantum group associated to the quiver.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Spin Networks in Nonperturbative Quantum Gravity

A spin network is a generalization of a knot or link: a graph embedded in space, with edges labelled by representations of a Lie group, and vertices labelled by intertwining operators. Such objects play an important role in 3-dimensional topological quantum field theory, functional integration on the space A/G of connections modulo gauge transformations, and the loop representation of quantum gravity. Here, after an introduction to the basic ideas of nonperturbative canonical quantum gravity, we review a rigorous approach to functional integration on A/G in which L^2(A/G) is spanned by states labelled by spin networks. Then we explain the `new variables' for general relativity in 4-dimensional spacetime and describe how canonical quantization of gravity in this formalism leads to interesting applications of these spin network states.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Algebra of Grand Unified Theories

The Standard Model of particle physics may seem complicated and arbitrary, but it has hidden patterns that are revealed by the relationship between three "grand unified theories": theories that unify forces and particles by extending the Standard Model symmetry group U(1) x SU(2) x SU(3) to a larger group. These three theories are Georgi and Glashow's SU(5) theory, Georgi's theory based on the group Spin(10), and the Pati-Salam model based on the group SU(2) x SU(2) x SU(4). In this expository account for mathematicians, we explain only the portion of these theories that involves finite-dimensional group representations. This allows us to reduce the prerequisites to a bare minimum while still giving a taste of the profound puzzles that physicists are struggling to solve.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

A Prehistory of n-Categorical Physics

This paper traces the growing role of categories and n-categories in physics, starting with groups and their role in relativity, and leading up to more sophisticated concepts which manifest themselves in Feynman diagrams, spin networks, string theory, loop quantum gravity, and topological quantum field theory. Our chronology ends around 2000, with just a taste of later developments such as open-closed topological string theory, the categorification of quantum groups, Khovanov homology, and Lurie's work on the classification of topological quantum field theories.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Categorified Symplectic Geometry and the String Lie 2-Algebra

Multisymplectic geometry is a generalization of symplectic geometry suitable for n-dimensional field theories, in which the nondegenerate 2-form of symplectic geometry is replaced by a nondegenerate (n+1)-form. The case n = 2 is relevant to string theory: we call this 2-plectic geometry. Just as the Poisson bracket makes the smooth functions on a symplectic manifold into a Lie algebra, the observables associated to a 2-plectic manifold form a "Lie 2-algebra", which is a categorified version of a Lie algebra. Any compact simple Lie group G has a canonical 2-plectic structure, so it is natural to wonder what Lie 2-algebra this example yields. This Lie 2-algebra is infinite-dimensional, but we show here that the sub-Lie-2-algebra of left-invariant observables is finite-dimensional, and isomorphic to the already known "string Lie 2-algebra" associated to G. So, categorified symplectic geometry gives a geometric construction of the string Lie 2-algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Asymptotics of 10j symbols

The Riemannian 10j symbols are spin networks that assign an amplitude to each 4-simplex in the Barrett-Crane model of Riemannian quantum gravity. This amplitude is a function of the areas of the 10 faces of the 4-simplex, and Barrett and Williams have shown that one contribution to its asymptotics comes from the Regge action for all non-degenerate 4-simplices with the specified face areas. However, we show numerically that the dominant contribution comes from degenerate 4-simplices. As a consequence, one can compute the asymptotics of the Riemannian 10j symbols by evaluating a `degenerate spin network', where the rotation group SO(4) is replaced by the Euclidean group of isometries of R^3. We conjecture formulas for the asymptotics of a large class of Riemannian and Lorentzian spin networks in terms of these degenerate spin networks, and check these formulas in some special cases. Among other things, this conjecture implies that the Lorentzian 10j symbols are asymptotic to 1/16 times the Riemannian ones.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

The Octonions

The octonions are the largest of the four normed division algebras. While somewhat neglected due to their nonassociativity, they stand at the crossroads of many interesting fields of mathematics. Here we describe them and their relation to Clifford algebras and spinors, Bott periodicity, projective and Lorentzian geometry, Jordan algebras, and the exceptional Lie groups. We also touch upon their applications in quantum logic, special relativity and supersymmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Uncertainty in Measurements of Distance

Ng and van Dam have argued that quantum theory and general relativity give a lower bound of L^{1/3} L_P^{2/3} on the uncertainty of any distance, where L is the distance to be measured and L_P is the Planck length. Their idea is roughly that to minimize the position uncertainty of a freely falling measuring device one must increase its mass, but if its mass becomes too large it will collapse to form a black hole. Here we show that one can go below the Ng-van Dam bound by attaching the measuring device to a massive elastic rod. Relativistic limitations on the rod's rigidity, together with the constraint that its length exceeds its Schwarzschild radius, imply that zero-point fluctuations of the rod give an uncertainty greater than or equal to L_P.

0 citations0 reviewsNo code linkedOpen access
preprint1999arXiv

An Introduction to Spin Foam Models of Quantum Gravity and BF Theory

In loop quantum gravity we now have a clear picture of the quantum geometry of space, thanks in part to the theory of spin networks. The concept of `spin foam' is intended to serve as a similar picture for the quantum geometry of spacetime. In general, a spin network is a graph with edges labelled by representations and vertices labelled by intertwining operators. Similarly, a spin foam is a 2-dimensional complex with faces labelled by representations and edges labelled by intertwining operators. In a `spin foam model' we describe states as linear combinations of spin networks and compute transition amplitudes as sums over spin foams. This paper aims to provide a self-contained introduction to spin foam models of quantum gravity and a simpler field theory called BF theory.

0 citations0 reviewsNo code linkedOpen access
preprint1999arXiv

Higher-Dimensional Algebra and Planck-Scale Physics

This is a nontechnical introduction to recent work on quantum gravity using ideas from higher-dimensional algebra. We argue that reconciling general relativity with the Standard Model requires a `background-free quantum theory with local degrees of freedom propagating causally'. We describe the insights provided by work on topological quantum field theories such as quantum gravity in 3-dimensional spacetime. These are background-free quantum theories lacking local degrees of freedom, so they only display some of the features we seek. However, they suggest a deep link between the concepts of `space' and `state', and similarly those of `spacetime' and `process', which we argue is to be expected in any background-free quantum theory. We sketch how higher-dimensional algebra provides the mathematical tools to make this link precise. Finally, we comment on attempts to formulate a theory of quantum gravity in 4-dimensional spacetime using `spin networks' and `spin foams'.

0 citations0 reviewsNo code linkedOpen access
preprint1998arXiv

Categorification

Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in turn should satisfy certain equations of their own, called `coherence laws'. Iterating this process requires a theory of `n-categories', algebraic structures having objects, morphisms between objects, 2-morphisms between morphisms and so on up to n-morphisms. After a brief introduction to n-categories and their relation to homotopy theory, we discuss algebraic structures that can be seen as iterated categorifications of the natural numbers and integers. These include tangle n-categories, cobordism n-categories, and the homotopy n-types of the loop spaces Omega^k S^k. We conclude by describing a definition of weak n-categories based on the theory of operads.

0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv

Quantization of Diffeomorphism-Invariant Theories with Fermions

We extend ideas developed for the loop representation of quantum gravity to diffeomorphism-invariant gauge theories coupled to fermions. Let P -> Sigma be a principal G-bundle over space and let F be a vector bundle associated to P whose fiber is a sum of continuous unitary irreducible representations of the compact connected gauge group G, each representation appearing together with its dual. We consider theories whose classical configuration space is A x F, where A is the space of connections on P and F is the space of sections of F, regarded as a collection of Grassmann-valued fermionic fields. We construct the `quantum configuration space a x f as a completion of A x F. Using this we construct a Hilbert space L^2(a x f) for the quantum theory on which all automorphisms of P act as unitary operators, and determine an explicit `spin network basis' of the subspace L^2((a x f)/G) consisting of gauge-invariant states. We represent observables constructed from holonomies of the connection along paths together with fermionic fields and their conjugate momenta as operators on L^2((a x f)/G). We also construct a Hilbert space H_diff of diffeomorphism-invariant states using the group averaging procedure of Ashtekar, Lewandowski, Marolf, Mourao and Thiemann.

0 citations0 reviewsNo code linkedOpen access
preprint1994arXiv

Spin Network States in Gauge Theory

Given a real-analytic manifold M, a compact connected Lie group G and a principal G-bundle P -> M, there is a canonical `generalized measure' on the space A/G of smooth connections on P modulo gauge transformations. This allows one to define a Hilbert space L^2(A/G). Here we construct a set of vectors spanning L^2(A/G). These vectors are described in terms of `spin networks': graphs phi embedded in M, with oriented edges labelled by irreducible unitary representations of G, and with vertices labelled by intertwining operators from the tensor product of representations labelling the incoming edges to the tensor product of representations labelling the outgoing edges. We also describe an orthonormal basis of spin networks associated to any fixed graph phi. We conclude with a discussion of spin networks in the loop representation of quantum gravity, and give a category-theoretic interpretation of the spin network states.

0 citations0 reviewsNo code linkedOpen access
preprint1992arXiv

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).

0 citations0 reviewsNo code linkedOpen access