Pith. sign in
module module high

IndisputableMonolith.Physics.SpinFoamFromRS

show as:
view Lean formalization →

Module Physics.SpinFoamFromRS builds spin foam models inside Recognition Science by setting the 6j-symbol dimension equal to 6 and equating it to 2D cube faces. Quantum gravity researchers would cite it when mapping discrete geometry onto RS time quanta. The module supplies definitions for SpinFoamModel and related counts, importing only the base time unit from Constants with no internal proofs.

claimThe 6j-symbol dimension equals 6, which equals the number of 2D faces of a cube.

background

Recognition Science starts from the time quantum τ₀ = 1 tick supplied by the Constants module. The present module places spin foam constructions inside that setting, using the 6j-symbol as a discrete building block whose dimension is fixed at 6 to match the faces of a cube in three spatial dimensions. Sibling declarations introduce SpinFoamModel, spinFoamModelCount, sixJDimension, and SpinFoamCert as the concrete objects realizing this link.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the geometric objects needed to embed spin foams inside the Recognition framework, directly encoding the 6j-dimension relation stated in its documentation. It thereby supports downstream constructions that connect the eight-tick octave and D = 3 to discrete spacetime models.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)