sixJ_eq_cube_faces
plain-language theorem explainer
The theorem states that the 6j-symbol dimension equals 6, aligning with the number of faces on a cube for three spatial dimensions in the Recognition Science spin foam model. Researchers in quantum gravity path integrals would reference this result to confirm the dimensional structure of the Freudenthal triangulation. The proof is a direct reflexivity step relying on the constant definition of the dimension.
Claim. The dimension of the 6j-symbol is equal to 6.
background
Spin foam models in Recognition Science arise from the Freudenthal triangulation of the recognition lattice, with five canonical models corresponding to configDim D=5. The 6j-symbol enters the fundamental amplitude, and its dimension is set to 6, which equals 2D at D=3 and counts the faces of a cube. The upstream definition fixes the 6j-symbol dimension as the natural number 6, providing the value for this equality.
proof idea
The proof applies reflexivity directly to the definition of the 6j-symbol dimension, which is already set to 6.
why it matters
This supplies the sixJ_faces field required by the spinFoamCert definition that certifies the overall spin foam model. It realizes the framework landmark fixing D=3 spatial dimensions with the relation 6 = 2D = cube faces. The declaration closes a basic consistency requirement in the quantum gravity formulation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.