John C. Baez,John W. Barrett
Abstract:The evaluation of relativistic spin networks plays a fundamental role in the Barrett-Crane state sum model of Lorentzian quantum gravity in 4 dimensions. A relativistic spin network is a graph labelled by unitary irreducible representations of the Lorentz group appearing in the direct integral decomposition of the space of L^2 functions on three-dimensional hyperbolic space. To `evaluate' such a spin network we must do an integral; if this integral converges we say the spin network is `integrable'. Here we show that a large class of relativistic spin networks are integrable, including any whose underlying graph is the 4-simplex (the complete graph on 5 vertices). This proves a conjecture of Barrett and Crane, whose validity is required for the convergence of their state sum model.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the integrability of a large class of relativistic spin networks, especially those relativistic spin networks whose underlying graph is a 4 - simplex (i.e., the complete graph with 5 vertices). This proof is crucial for the convergence of the Barrett - Cranes model, which aims to provide a state - sum model for 4 - dimensional Lorentzian quantum gravity.
### Specific description of the problem
1. **Background and motivation**:
- Barrett and Crane proposed a state - sum model for 4 - dimensional Lorentzian quantum gravity, which involves the evaluation of relativistic spin networks.
- A relativistic spin network is a graph labeled by irreducible unitary representations of the Lorentz group.
- To evaluate such a spin network, an integral needs to be calculated. If this integral converges, the spin network is said to be "integrable".
2. **Specific problem**:
- The authors need to prove that a large class of relativistic spin networks are integrable, especially those spin networks whose underlying graph is a 4 - simplex.
- This result verifies a conjecture of Barrett and Crane, and the correctness of this conjecture is necessary for the convergence of their model.
### Main contributions
- The authors proved that any relativistic spin network whose underlying graph is a 4 - simplex is integrable.
- More broadly, they proved that a graph obtained by adding new vertices connected by at least three edges from an integrable graph is also integrable.
- These results provide theoretical support for the convergence of the Barrett - Cranes model.
### Mathematical expression
In the paper, the evaluation of a relativistic spin network is defined as the following integral:
\[ I_w(x_w)=\frac{1}{(2\pi^2)^{n - 1}}\int_{H^{n - 1}}\prod_{e\in E}K_{p(e)}(x_{s(e)},x_{t(e)})\prod_{v\in V'}dx_v \]
where:
- \( H \) is three - dimensional hyperbolic space,
- \( V \) is the set of vertices of the graph,
- \( E \) is the set of edges of the graph,
- \( p(e) \) is the label of edge \( e \),
- \( K_p(x,y)=\frac{\sin(pr)}{p\sinh(r)} \), where \( r \) is the distance between \( x \) and \( y \).
### Conclusion
This paper successfully proved the integrability of a large class of relativistic spin networks, especially those whose underlying graph is a 4 - simplex. This result not only verifies the conjecture of Barrett and Crane, but also provides an important mathematical basis for further research on 4 - dimensional Lorentzian quantum gravity.