Spin network

Last updated
Spin network diagram, after Penrose Spin-network-after-penrose.svg
Spin network diagram, after Penrose

In physics, a spin network is a type of diagram which can be used to represent states and interactions between particles and fields in quantum mechanics. From a mathematical perspective, the diagrams are a concise way to represent multilinear functions and functions between representations of matrix groups. The diagrammatic notation can thus greatly simplify calculations.

Contents

Roger Penrose described spin networks in 1971. [1] Spin networks have since been applied to the theory of quantum gravity by Carlo Rovelli, Lee Smolin, Jorge Pullin, Rodolfo Gambini and others.

Spin networks can also be used to construct a particular functional on the space of connections which is invariant under local gauge transformations.

Definition

Penrose's definition

A spin network, as described in Penrose (1971), [1] is a kind of diagram in which each line segment represents the world line of a "unit" (either an elementary particle or a compound system of particles). Three line segments join at each vertex. A vertex may be interpreted as an event in which either a single unit splits into two or two units collide and join into a single unit. Diagrams whose line segments are all joined at vertices are called closed spin networks. Time may be viewed as going in one direction, such as from the bottom to the top of the diagram, but for closed spin networks the direction of time is irrelevant to calculations.

Each line segment is labelled with an integer called a spin number. A unit with spin number n is called an n-unit and has angular momentum nħ/2, where ħ is the reduced Planck constant. For bosons, such as photons and gluons, n is an even number. For fermions, such as electrons and quarks, n is odd.

Given any closed spin network, a non-negative integer can be calculated which is called the norm of the spin network. Norms can be used to calculate the probabilities of various spin values. A network whose norm is zero has zero probability of occurrence. The rules for calculating norms and probabilities are beyond the scope of this article. However, they imply that for a spin network to have nonzero norm, two requirements must be met at each vertex. Suppose a vertex joins three units with spin numbers a, b, and c. Then, these requirements are stated as:

For example, a = 3, b = 4, c = 6 is impossible since 3 + 4 + 6 = 13 is odd, and a = 3, b = 4, c = 9 is impossible since 9 > 3 + 4. However, a = 3, b = 4, c = 5 is possible since 3 + 4 + 5 = 12 is even, and the triangle inequality is satisfied. Some conventions use labellings by half-integers, with the condition that the sum a + b + c must be a whole number.

Formal approach to definition

Formally, a spin network may be defined as a (directed) graph whose edges are associated with irreducible representations of a compact Lie group and whose vertices are associated with intertwiners of the edge representations adjacent to it.

Properties

A spin network, immersed into a manifold, can be used to define a functional on the space of connections on this manifold. One computes holonomies of the connection along every link (closed path) of the graph, determines representation matrices corresponding to every link, multiplies all matrices and intertwiners together, and contracts indices in a prescribed way. A remarkable feature of the resulting functional is that it is invariant under local gauge transformations.

Usage in physics

In the context of loop quantum gravity

In loop quantum gravity (LQG), a spin network represents a "quantum state" of the gravitational field on a 3-dimensional hypersurface. The set of all possible spin networks (or, more accurately, "s-knots" that is, equivalence classes of spin networks under diffeomorphisms) is countable; it constitutes a basis of LQG Hilbert space.

One of the key results of loop quantum gravity is quantization of areas: the operator of the area A of a two-dimensional surface Σ should have a discrete spectrum. Every spin network is an eigenstate of each such operator, and the area eigenvalue equals

where the sum goes over all intersections i of Σ with the spin network. In this formula,

According to this formula, the lowest possible non-zero eigenvalue of the area operator corresponds to a link that carries spin 1/2 representation. Assuming an Immirzi parameter on the order of 1, this gives the smallest possible measurable area of ~10−66 cm2.

The formula for area eigenvalues becomes somewhat more complicated if the surface is allowed to pass through the vertices, as with anomalous diffusion models. Also, the eigenvalues of the area operator A are constrained by ladder symmetry.

Similar quantization applies to the volume operator. The volume of a 3D submanifold that contains part of a spin network is given by a sum of contributions from each node inside it. One can think that every node in a spin network is an elementary "quantum of volume" and every link is a "quantum of area" surrounding this volume.

More general gauge theories

Similar constructions can be made for general gauge theories with a compact Lie group G and a connection form. This is actually an exact duality over a lattice. Over a manifold however, assumptions like diffeomorphism invariance are needed to make the duality exact (smearing Wilson loops is tricky). Later, it was generalized by Robert Oeckl to representations of quantum groups in 2 and 3 dimensions using the Tannaka–Krein duality.

Michael A. Levin and Xiao-Gang Wen have also defined string-nets using tensor categories that are objects very similar to spin networks. However the exact connection with spin networks is not clear yet. String-net condensation produces topologically ordered states in condensed matter.

Usage in mathematics

In mathematics, spin networks have been used to study skein modules and character varieties, which correspond to spaces of connections.

See also

Related Research Articles

<span class="mw-page-title-main">Quantum chromodynamics</span> Theory of the strong nuclear interactions

In theoretical physics, quantum chromodynamics (QCD) is the study of the strong interaction between quarks mediated by gluons. Quarks are fundamental particles that make up composite hadrons such as the proton, neutron and pion. QCD is a type of quantum field theory called a non-abelian gauge theory, with symmetry group SU(3). The QCD analog of electric charge is a property called color. Gluons are the force carriers of the theory, just as photons are for the electromagnetic force in quantum electrodynamics. The theory is an important part of the Standard Model of particle physics. A large body of experimental evidence for QCD has been gathered over the years.

<span class="mw-page-title-main">Fermi liquid theory</span> Theoretical model in physics

Fermi liquid theory is a theoretical model of interacting fermions that describes the normal state of the conduction electrons in most metals at sufficiently low temperatures. The theory describes the behavior of many-body systems of particles in which the interactions between particles may be strong. The phenomenological theory of Fermi liquids was introduced by the Soviet physicist Lev Davidovich Landau in 1956, and later developed by Alexei Abrikosov and Isaak Khalatnikov using diagrammatic perturbation theory. The theory explains why some of the properties of an interacting fermion system are very similar to those of the ideal Fermi gas, and why other properties differ.

<span class="mw-page-title-main">Anomaly (physics)</span> Asymmetry of classical and quantum action

In quantum physics an anomaly or quantum anomaly is the failure of a symmetry of a theory's classical action to be a symmetry of any regularization of the full quantum theory. In classical physics, a classical anomaly is the failure of a symmetry to be restored in the limit in which the symmetry-breaking parameter goes to zero. Perhaps the first known anomaly was the dissipative anomaly in turbulence: time-reversibility remains broken at the limit of vanishing viscosity.

The Chern–Simons theory is a 3-dimensional topological quantum field theory of Schwarz type developed by Edward Witten. It was discovered first by mathematical physicist Albert Schwarz. It is named after mathematicians Shiing-Shen Chern and James Harris Simons, who introduced the Chern–Simons 3-form. In the Chern–Simons theory, the action is proportional to the integral of the Chern–Simons 3-form.

<span class="mw-page-title-main">Lattice gauge theory</span> Theory of quantum gauge fields on a lattice

In physics, lattice gauge theory is the study of gauge theories on a spacetime that has been discretized into a lattice.

<span class="mw-page-title-main">Lattice QCD</span> Quantum chromodynamics on a lattice

Lattice QCD is a well-established non-perturbative approach to solving the quantum chromodynamics (QCD) theory of quarks and gluons. It is a lattice gauge theory formulated on a grid or lattice of points in space and time. When the size of the lattice is taken infinitely large and its sites infinitesimally close to each other, the continuum QCD is recovered.

In lattice field theory, fermion doubling occurs when naively putting fermionic fields on a lattice, resulting in more fermionic states than expected. For the naively discretized Dirac fermions in Euclidean dimensions, each fermionic field results in identical fermion species, referred to as different tastes of the fermion. The fermion doubling problem is intractably linked to chiral invariance by the Nielsen–Ninomiya theorem. Most strategies used to solve the problem require using modified fermions which reduce to the Dirac fermion only in the continuum limit.

In lattice field theory, staggered fermions are a fermion discretization that reduces the number of fermion doublers from sixteen to four. They are one of the fastest lattice fermions when it comes to simulations and they also possess some nice features such as a remnant chiral symmetry, making them very popular in lattice QCD calculations. Staggered fermions were first formulated by John Kogut and Leonard Susskind in 1975 and were later found to be equivalent to the discretized version of the Dirac–Kähler fermion.

<span class="mw-page-title-main">Topological order</span> Type of order at absolute zero

In physics, topological order is a kind of order in the zero-temperature phase of matter. Macroscopically, topological order is defined and described by robust ground state degeneracy and quantized non-Abelian geometric phases of degenerate ground states. Microscopically, topological orders correspond to patterns of long-range quantum entanglement. States with different topological orders cannot change into each other without a phase transition.

In physics, the Bethe ansatz is an ansatz for finding the exact wavefunctions of certain quantum many-body models, most commonly for one-dimensional lattice models. It was first used by Hans Bethe in 1931 to find the exact eigenvalues and eigenvectors of the one-dimensional antiferromagnetic isotropic (XXX) Heisenberg model.

<span class="mw-page-title-main">String-net liquid</span> Condensed matter physics model involving only closed loops

In condensed matter physics, a string-net is an extended object whose collective behavior has been proposed as a physical mechanism for topological order by Michael A. Levin and Xiao-Gang Wen. A particular string-net model may involve only closed loops; or networks of oriented, labeled strings obeying branching rules given by some gauge group; or still more general networks.

In applied mathematics, the numerical sign problem is the problem of numerically evaluating the integral of a highly oscillatory function of a large number of variables. Numerical methods fail because of the near-cancellation of the positive and negative contributions to the integral. Each has to be integrated to very high precision in order for their difference to be obtained with useful accuracy.

<span class="mw-page-title-main">Light front holography</span> Technique used to determine mass of hadrons

In strong interaction physics, light front holography or light front holographic QCD is an approximate version of the theory of quantum chromodynamics (QCD) which results from mapping the gauge theory of QCD to a higher-dimensional anti-de Sitter space (AdS) inspired by the AdS/CFT correspondence proposed for string theory. This procedure makes it possible to find analytic solutions in situations where strong coupling occurs, improving predictions of the masses of hadrons and their internal structure revealed by high-energy accelerator experiments. The most widely used approach to finding approximate solutions to the QCD equations, lattice QCD, has had many successful applications; however, it is a numerical approach formulated in Euclidean space rather than physical Minkowski space-time.

<span class="mw-page-title-main">Nikodem Popławski</span> Polish physicist

Nikodem Janusz Popławski is a Polish theoretical physicist, most widely noted for the hypothesis that every black hole could be a doorway to another universe and that the universe was formed within a black hole which itself exists in a larger universe. This hypothesis was listed by National Geographic and Science magazines among their top ten discoveries of 2010.

The toric code is a topological quantum error correcting code, and an example of a stabilizer code, defined on a two-dimensional spin lattice. It is the simplest and most well studied of the quantum double models. It is also the simplest example of topological order—Z2 topological order (first studied in the context of Z2 spin liquid in 1991). The toric code can also be considered to be a Z2 lattice gauge theory in a particular limit. It was introduced by Alexei Kitaev.

In condensed matter physics, a quantum spin liquid is a phase of matter that can be formed by interacting quantum spins in certain magnetic materials. Quantum spin liquids (QSL) are generally characterized by their long-range quantum entanglement, fractionalized excitations, and absence of ordinary magnetic order.

A fracton is an emergent topological quasiparticle excitation which is immobile when in isolation. Many theoretical systems have been proposed in which fractons exist as elementary excitations. Such systems are known as fracton models. Fractons have been identified in various CSS codes as well as in symmetric tensor gauge theories.

<span class="mw-page-title-main">Furry's theorem</span> Theorem in quantum physics

In quantum electrodynamics, Furry's theorem states that if a Feynman diagram consists of a closed loop of fermion lines with an odd number of vertices, its contribution to the amplitude vanishes. As a corollary, a single photon cannot arise from the vacuum or be absorbed by it. The theorem was first derived by Wendell H. Furry in 1937, as a direct consequence of the conservation of energy and charge conjugation symmetry.

Alan Harold Luther is an American physicist, specializing in condensed matter physics.

<span class="mw-page-title-main">Germán Sierra</span> Spanish theoretical physicist, author, and academic

Germán Sierra is a Spanish theoretical physicist, author, and academic. He is Professor of Research at the Institute of Theoretical Physics Autonomous University of Madrid-Spanish National Research Council.

References

  1. 1 2 R. Penrose (1971a), "Angular momentum: an approach to combinatorial spacetime," in T. Bastin (ed.), Quantum Theory and Beyond, Cambridge University Press (this paper can be found online on John C. Baez's website); and R. Penrose (1971b), "Applications of negative dimensional tensors," in D. J. A. Welsh (ed.), Combinatorial Mathematics and its Applications (Proc. Conf., Oxford, 1969), Academic Press, pp. 221–244, esp. p. 241 (the latter paper was presented in 1969 but published in 1971 according to Roger Penrose, "On the Origins of Twistor Theory" (Archived June 23, 2021) in: Gravitation and Geometry, a Volume in Honour of I. Robinson , Biblipolis, Naples 1987).

Further reading

Early papers

Modern papers

Books