6-j symbol

Last updated November 27, 2023

Wigner's 6-j symbols were introduced by Eugene Paul Wigner in 1940 and published in 1965. They are defined as a sum over products of four Wigner 3-j symbols,

{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\end{Bmatrix}}=\sum _{m_{1},\dots ,m_{6}}(-1)^{\sum _{k=1}^{6}(j_{k}-m_{k})}{\begin{pmatrix}j_{1}&j_{2}&j_{3}\\-m_{1}&-m_{2}&-m_{3}\end{pmatrix}}{\begin{pmatrix}j_{1}&j_{5}&j_{6}\\m_{1}&-m_{5}&m_{6}\end{pmatrix}}{\begin{pmatrix}j_{4}&j_{2}&j_{6}\\m_{4}&m_{2}&-m_{6}\end{pmatrix}}{\begin{pmatrix}j_{4}&j_{5}&j_{3}\\-m_{4}&m_{5}&m_{3}\end{pmatrix}}.

The summation is over all six $m i$ allowed by the selection rules of the 3-j symbols.

They are closely related to the Racah W-coefficients, which are used for recoupling 3 angular momenta, although Wigner 6-j symbols have higher symmetry and therefore provide a more efficient means of storing the recoupling coefficients.^[1] Their relationship is given by:

{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\end{Bmatrix}}=(-1)^{j_{1}+j_{2}+j_{4}+j_{5}}W(j_{1}j_{2}j_{5}j_{4};j_{3}j_{6}).

Symmetry relations

The 6-j symbol is invariant under any permutation of the columns:

{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\end{Bmatrix}}={\begin{Bmatrix}j_{2}&j_{1}&j_{3}\\j_{5}&j_{4}&j_{6}\end{Bmatrix}}={\begin{Bmatrix}j_{1}&j_{3}&j_{2}\\j_{4}&j_{6}&j_{5}\end{Bmatrix}}={\begin{Bmatrix}j_{3}&j_{2}&j_{1}\\j_{6}&j_{5}&j_{4}\end{Bmatrix}}=\cdots

The 6-j symbol is also invariant if upper and lower arguments are interchanged in any two columns:

{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\end{Bmatrix}}={\begin{Bmatrix}j_{4}&j_{5}&j_{3}\\j_{1}&j_{2}&j_{6}\end{Bmatrix}}={\begin{Bmatrix}j_{1}&j_{5}&j_{6}\\j_{4}&j_{2}&j_{3}\end{Bmatrix}}={\begin{Bmatrix}j_{4}&j_{2}&j_{6}\\j_{1}&j_{5}&j_{3}\end{Bmatrix}}.

These equations reflect the 24 symmetry operations of the automorphism group that leave the associated tetrahedral Yutsis graph with 6 edges invariant: mirror operations that exchange two vertices and a swap an adjacent pair of edges.

The 6-j symbol

{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\end{Bmatrix}}

is zero unless j₁, j₂, and j₃ satisfy triangle conditions, i.e.,

j_{1}=|j_{2}-j_{3}|,\ldots ,j_{2}+j_{3}

In combination with the symmetry relation for interchanging upper and lower arguments this shows that triangle conditions must also be satisfied for the triads (j₁, j₅, j₆), (j₄, j₂, j₆), and (j₄, j₅, j₃). Furthermore, the sum of the elements of each triad must be an integer. Therefore, the members of each triad are either all integers or contain one integer and two half-integers.

Special case

When j₆ = 0 the expression for the 6-j symbol is:

{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&0\end{Bmatrix}}={\frac {\delta _{j_{2},j_{4}}\delta _{j_{1},j_{5}}}{\sqrt {(2j_{1}+1)(2j_{2}+1)}}}(-1)^{j_{1}+j_{2}+j_{3}}{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\end{Bmatrix}}.

The triangular delta ${j 1 j 2 j 3}$ is equal to 1 when the triad (j₁, j₂, j₃) satisfies the triangle conditions, and zero otherwise. The symmetry relations can be used to find the expression when another j is equal to zero.

Orthogonality relation

The 6-j symbols satisfy this orthogonality relation:

\sum _{j_{3}}(2j_{3}+1){\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\end{Bmatrix}}{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}'\end{Bmatrix}}={\frac {\delta _{j_{6}^{}j_{6}'}}{2j_{6}+1}}{\begin{Bmatrix}j_{1}&j_{5}&j_{6}\end{Bmatrix}}{\begin{Bmatrix}j_{4}&j_{2}&j_{6}\end{Bmatrix}}.

Asymptotics

A remarkable formula for the asymptotic behavior of the 6-j symbol was first conjectured by Ponzano and Regge^[2] and later proven by Roberts.^[3] The asymptotic formula applies when all six quantum numbers j₁, ..., j₆ are taken to be large and associates to the 6-j symbol the geometry of a tetrahedron. If the 6-j symbol is determined by the quantum numbers j₁, ..., j₆ the associated tetrahedron has edge lengths J_i = j_i+1/2 (i=1,...,6) and the asymptotic formula is given by,

{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\end{Bmatrix}}\sim {\frac {1}{\sqrt {12\pi |V|}}}\cos {\left(\sum _{i=1}^{6}J_{i}\theta _{i}+{\frac {\pi }{4}}\right)}.

The notation is as follows: Each θ_i is the external dihedral angle about the edge J_i of the associated tetrahedron and the amplitude factor is expressed in terms of the volume, V, of this tetrahedron.

Mathematical interpretation

In representation theory, 6-j symbols are matrix coefficients of the associator isomorphism in a tensor category.^[4] For example, if we are given three representations V_i, V_j, V_k of a group (or quantum group), one has a natural isomorphism

(V_{i}\otimes V_{j})\otimes V_{k}\to V_{i}\otimes (V_{j}\otimes V_{k})

of tensor product representations, induced by coassociativity of the corresponding bialgebra. One of the axioms defining a monoidal category is that associators satisfy a pentagon identity, which is equivalent to the Biedenharn-Elliot identity for 6-j symbols.

When a monoidal category is semisimple, we can restrict our attention to irreducible objects, and define multiplicity spaces

H_{i,j}^{\ell }=\operatorname {Hom} (V_{\ell },V_{i}\otimes V_{j})

so that tensor products are decomposed as:

V_{i}\otimes V_{j}=\bigoplus _{\ell }H_{i,j}^{\ell }\otimes V_{\ell }

where the sum is over all isomorphism classes of irreducible objects. Then:

(V_{i}\otimes V_{j})\otimes V_{k}\cong \bigoplus _{\ell ,m}H_{i,j}^{\ell }\otimes H_{\ell ,k}^{m}\otimes V_{m}\qquad {\text{while}}\qquad V_{i}\otimes (V_{j}\otimes V_{k})\cong \bigoplus _{m,n}H_{i,n}^{m}\otimes H_{j,k}^{n}\otimes V_{m}

The associativity isomorphism induces a vector space isomorphism

\Phi _{i,j}^{k,m}:\bigoplus _{\ell }H_{i,j}^{\ell }\otimes H_{\ell ,k}^{m}\to \bigoplus _{n}H_{i,n}^{m}\otimes H_{j,k}^{n}

and the 6j symbols are defined as the component maps:

{\begin{Bmatrix}i&j&\ell \\k&m&n\end{Bmatrix}}=(\Phi _{i,j}^{k,m})_{\ell ,n}

When the multiplicity spaces have canonical basis elements and dimension at most one (as in the case of SU(2) in the traditional setting), these component maps can be interpreted as numbers, and the 6-j symbols become ordinary matrix coefficients.

In abstract terms, the 6-j symbols are precisely the information that is lost when passing from a semisimple monoidal category to its Grothendieck ring, since one can reconstruct a monoidal structure using the associator. For the case of representations of a finite group, it is well known that the character table alone (which determines the underlying abelian category and the Grothendieck ring structure) does not determine a group up to isomorphism, while the symmetric monoidal category structure does, by Tannaka-Krein duality. In particular, the two nonabelian groups of order 8 have equivalent abelian categories of representations and isomorphic Grothdendieck rings, but the 6-j symbols of their representation categories are distinct, meaning their representation categories are inequivalent as monoidal categories. Thus, the 6-j symbols give an intermediate level of information, that in fact uniquely determines the groups in many cases, such as when the group is odd order or simple.^[5]

Notes

↑ Rasch, J.; Yu, A. C. H. (2003). "Efficient Storage Scheme for Pre-calculated Wigner 3j, 6j and Gaunt Coefficients". SIAM J. Sci. Comput. 25 (4): 1416–1428. doi:10.1137/s1064827503422932.
↑ Ponzano, G.; Regge, T. (1968). "Semiclassical Limit of Racah Coefficients". Spectroscopy and Group Theoretical Methods in Physics. Elsevier. pp. 1–58. ISBN 978-0-444-10147-1.
↑ Roberts J (1999). "Classical 6j-symbols and the tetrahedron". Geometry and Topology. 3: 21–66. arXiv: math-ph/9812013 . doi:10.2140/gt.1999.3.21. S2CID 9678271.
↑ Etingof, P.; Gelaki, S.; Nikshych, D.; Ostrik, V. (2009). Tensor Categories. Lecture notes for MIT 18.769 (PDF).
↑ Etingof, P.; Gelaki, S. (2001). "Isocategorical Groups". International Mathematics Research Notices. 2001 (2): 59–76. arXiv: math/0007196 . CiteSeerX 10.1.1.239.6293 . doi: 10.1155/S1073792801000046 .

Related Research Articles

In mathematical physics and mathematics, the Pauli matrices are a set of three $2 \times 2$ complex matrices which are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

In mathematics, the tensor product $of two vector spaces V and W is a vector space to which is associated a bilinear map that maps a pair to an element of denoted$

In coding theory, the Bose–Chaudhuri–Hocquenghem codes form a class of cyclic error-correcting codes that are constructed using polynomials over a finite field. BCH codes were invented in 1959 by French mathematician Alexis Hocquenghem, and independently in 1960 by Raj Chandra Bose and D.K. Ray-Chaudhuri. The name Bose–Chaudhuri–Hocquenghem arises from the initials of the inventors' surnames.

Reed–Solomon codes are a group of error-correcting codes that were introduced by Irving S. Reed and Gustave Solomon in 1960. They have many applications, the most prominent of which include consumer technologies such as MiniDiscs, CDs, DVDs, Blu-ray discs, QR codes, data transmission technologies such as DSL and WiMAX, broadcast systems such as satellite communications, DVB and ATSC, and storage systems such as RAID 6.

In linear algebra, the outer product of two coordinate vectors is the matrix whose entries are all products of an element in the first vector with an element in the second vector. If the two coordinate vectors have dimensions n and m, then their outer product is an n × m matrix. More generally, given two tensors, their outer product is a tensor. The outer product of tensors is also referred to as their tensor product, and can be used to define the tensor algebra.

In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields.

In mathematics, the Heisenberg group $, named after Werner Heisenberg, is the group of 3\times3 upper triangular matrices of the form$

In mathematics, a Casimir element is a distinguished element of the center of the universal enveloping algebra of a Lie algebra. A prototypical example is the squared angular momentum operator, which is a Casimir element of the three-dimensional rotation group.

In mathematics, the Kronecker product, sometimes denoted by ⊗, is an operation on two matrices of arbitrary size resulting in a block matrix. It is a specialization of the tensor product from vectors to matrices and gives the matrix of the tensor product linear map with respect to a standard choice of basis. The Kronecker product is to be distinguished from the usual matrix multiplication, which is an entirely different operation. The Kronecker product is also sometimes called matrix direct product.

In linear algebra and functional analysis, the partial trace is a generalization of the trace. Whereas the trace is a scalar valued function on operators, the partial trace is an operator-valued function. The partial trace has applications in quantum information and decoherence which is relevant for quantum measurement and thereby to the decoherent approaches to interpretations of quantum mechanics, including consistent histories and the relative state interpretation.

The Wigner–Eckart theorem is a theorem of representation theory and quantum mechanics. It states that matrix elements of spherical tensor operators in the basis of angular momentum eigenstates can be expressed as the product of two factors, one of which is independent of angular momentum orientation, and the other a Clebsch–Gordan coefficient. The name derives from physicists Eugene Wigner and Carl Eckart, who developed the formalism as a link between the symmetry transformation groups of space and the laws of conservation of energy, momentum, and angular momentum.

In physics, the Clebsch–Gordan (CG) coefficients are numbers that arise in angular momentum coupling in quantum mechanics. They appear as the expansion coefficients of total angular momentum eigenstates in an uncoupled tensor product basis. In more mathematical terms, the CG coefficients are used in representation theory, particularly of compact Lie groups, to perform the explicit direct sum decomposition of the tensor product of two irreducible representations. The name derives from the German mathematicians Alfred Clebsch and Paul Gordan, who encountered an equivalent problem in invariant theory.

In mathematics a positive map is a map between C*-algebras that sends positive elements to positive elements. A completely positive map is one which satisfies a stronger, more robust condition.

In numerical analysis and linear algebra, lower–upper (LU) decomposition or factorization factors a matrix as the product of a lower triangular matrix and an upper triangular matrix. The product sometimes includes a permutation matrix as well. LU decomposition can be viewed as the matrix form of Gaussian elimination. Computers usually solve square systems of linear equations using LU decomposition, and it is also a key step when inverting a matrix or computing the determinant of a matrix. The LU decomposition was introduced by the Polish astronomer Tadeusz Banachiewicz in 1938. To quote: "It appears that Gauss and Doolittle applied the method [of elimination] only to symmetric equations. More recent authors, for example, Aitken, Banachiewicz, Dwyer, and Crout … have emphasized the use of the method, or variations of it, in connection with non-symmetric problems … Banachiewicz … saw the point … that the basic problem is really one of matrix factorization, or “decomposition” as he called it." It's also referred to as LR decomposition.

In quantum mechanics, the Wigner 3-j symbols, also called 3-jm symbols, are an alternative to Clebsch–Gordan coefficients for the purpose of adding angular momenta. While the two approaches address exactly the same physical problem, the 3-j symbols do so more symmetrically.

In physics, Wigner's 9-j symbols were introduced by Eugene Paul Wigner in 1937. They are related to recoupling coefficients in quantum mechanics involving four angular momenta

In pure and applied mathematics, quantum mechanics and computer graphics, a tensor operator generalizes the notion of operators which are scalars and vectors. A special class of these are spherical tensor operators which apply the notion of the spherical basis and spherical harmonics. The spherical basis closely relates to the description of angular momentum in quantum mechanics and spherical harmonic functions. The coordinate-free generalization of a tensor operator is known as a representation operator.

In mathematics, the tensor product of representations is a tensor product of vector spaces underlying representations together with the factor-wise group action on the product. This construction, together with the Clebsch–Gordan procedure, can be used to generate additional irreducible representations if one already knows a few.

In mathematical physics, Clebsch–Gordan coefficients are the expansion coefficients of total angular momentum eigenstates in an uncoupled tensor product basis. Mathematically, they specify the decomposition of the tensor product of two irreducible representations into a direct sum of irreducible representations, where the type and the multiplicities of these irreducible representations are known abstractly. The name derives from the German mathematicians Alfred Clebsch (1833–1872) and Paul Gordan (1837–1912), who encountered an equivalent problem in invariant theory.

In mathematics, the moduli stack of elliptic curves, denoted as $or, is an algebraic stack over classifying elliptic curves. Note that it is a special case of the moduli stack of algebraic curves . In particular its points with values in some field correspond to elliptic curves over the field, and more generally morphisms from a scheme to it correspond to elliptic curves over . The construction of this space spans over a century because of the various generalizations of elliptic curves as the field has developed. All of these generalizations are contained in .$

References

Biedenharn, L. C.; van Dam, H. (1965). Quantum Theory of Angular Momentum: A collection of Reprints and Original Papers. Academic Press. ISBN 0-12-096056-7.

Edmonds, A. R. (1957). Angular Momentum in Quantum Mechanics . Princeton University Press. ISBN 0-691-07912-9.
Condon, Edward U.; Shortley, G. H. (1970). "3. Angular Momentum". The Theory of Atomic Spectra. Cambridge University Press. ISBN 0-521-09209-4.
Maximon, Leonard C. (2010), "3j,6j,9j Symbols", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions , Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .
Messiah, Albert (1981). Quantum Mechanics. Vol. II (12th ed.). North Holland Publishing. ISBN 0-7204-0045-7.

Brink, D. M.; Satchler, G. R. (1993). "2. Representations of the Rotation Group" . Angular Momentum (3rd ed.). Clarendon Press. ISBN 0-19-851759-9.
Zare, Richard N. (1988). "2. Coupling of two Angular Momentum Vectors". Angular Momentum. Wiley. ISBN 0-471-85892-7.

Biedenharn, L. C.; Louck, J. D. (1981). Angular Momentum in Quantum Physics. Addison-Wesley. ISBN 0-201-13507-8.

External links

Regge, T. (1959). "Simmetry Properties of Racah's Coefficients". Nuovo Cimento. 11 (1): 116–7. Bibcode:1959NCim...11..116R. doi:10.1007/BF02724914. S2CID 121333785.
Stone, Anthony. "Wigner coefficient calculator". (Gives exact answer)
Simons, Frederik J. "Matlab software archive, the code SIXJ.M".
Volya, A. "Clebsch-Gordan, 3-j and 6-j Coefficient Web Calculator". Archived from the original on 2012-12-20.
Plasma Laboratory of Weizmann Institute of Science. "369j-symbol calculator".
GNU scientific library. "Coupling coefficients".
Johansson, H.T.; Forssén, C. "(WIGXJPF)". (accurate; C, fortran, python)
Johansson, H.T. "(FASTWIGXJ)". (fast lookup, accurate; C, fortran)

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Rasch, J.; Yu, A. C. H. (2003). "Efficient Storage Scheme for Pre-calculated Wigner 3j, 6j and Gaunt Coefficients". SIAM J. Sci. Comput. 25 (4): 1416–1428. doi:10.1137/s1064827503422932.

[2] Ponzano, G.; Regge, T. (1968). "Semiclassical Limit of Racah Coefficients". Spectroscopy and Group Theoretical Methods in Physics. Elsevier. pp. 1–58. ISBN 978-0-444-10147-1.

[3] Roberts J (1999). "Classical 6j-symbols and the tetrahedron". Geometry and Topology. 3: 21–66. arXiv: math-ph/9812013 . doi:10.2140/gt.1999.3.21. S2CID 9678271.

[4] Etingof, P.; Gelaki, S.; Nikshych, D.; Ostrik, V. (2009). Tensor Categories. Lecture notes for MIT 18.769 (PDF).

[5] Etingof, P.; Gelaki, S. (2001). "Isocategorical Groups". International Mathematics Research Notices. 2001 (2): 59–76. arXiv: math/0007196 . CiteSeerX 10.1.1.239.6293 . doi: 10.1155/S1073792801000046 .

[1]

[2]

[3]

[4]

[5]