IndisputableMonolith.Constants.AlphaGenesis.U1Normalization
U(1) gauge normalization on the 3-cube: independent plaquette strengths equal the cycle rank b₁ = E − V + 1 = 5. The module counts gauge DOF, redundancy, and seed channels, then shows the naive gauge-invariant seed 20π is excluded. Cited by anyone assembling the cubic-ledger α seed or the κ_γ-irreducibility argument. Mostly equalities and combinatorial identities on Q₃.
claimOn the 1-skeleton of the 3-cube $Q_3$ ($V=8$, $E=12$), the first Betti number is $b_1 = E-V+1 = 5$. Independent U(1) plaquette field strengths equal this cycle rank. Gauge redundancy is $7$; physical link DOF match $b_1$. Seed channel count differs from gauge DOF, and the candidate gauge-invariant seed $20\pi$ is excluded as a normalization reading.
background
Recognition Science builds the fine-structure seed from cubic-ledger combinatorics (see AlphaDerivation): the geometry of $Q_3$ supplies an $O(4\pi)$ recognition-scale content that is later $\varphi$-dressed. Exact infrared $\alpha^{-1}(0)$ remains an open boundary condition; what is forced is the seed assembly and dressing, not a first-principles match to CODATA.
This module isolates the U(1) gauge side of that story. A U(1) connection on the cube graph has link variables; physical field strengths live on independent plaquettes. Those independent strengths are the cycle space dimension of the 1-skeleton, i.e. $b_1 = E - V + 1$. For $Q_3$: $12 - 8 + 1 = 5$. Gauge redundancy (vertex gauge orbits) and face-based DOF counts are recorded as named equalities so later modules can compare seed channels to true gauge-invariant content.
Upstream Alpha and AlphaBounds supply the ambient $\alpha$ constants and interval machinery; this file only does the discrete U(1) bookkeeping on the cube.
proof idea
Definition-and-equality module, not a deep proof development. Cycle rank is introduced as $b_1 = E-V+1$ and evaluated at $Q_3$ to get $5$. Gauge DOF via faces, gauge redundancy ($=7$), and the identity that physical link DOF equal cycle rank are recorded as closed equalities. Seed channel count is compared to gauge DOF (inequality). The gauge-invariant seed candidate is set to $20\pi$ and then excluded as a valid normalization reading. Structure is: define ranks → evaluate on $Q_3$ → separate seed channels from gauge DOF → rule out the $20\pi$ reading.
why it matters in Recognition Science
Alpha genesis needs a clean split between geometric seed channels and true U(1) gauge-invariant content on the cube. Without that split, the cubic-ledger seed $4\pi\cdot 11$ can be misread as a gauge-normalized coupling. This module supplies the combinatorial normalizations (cycle rank $5$, redundancy $7$, exclusion of $20\pi$) that make the misreading impossible inside the formal development.
It is imported by KappaGammaIrreducibility, which upgrades "$\alpha^{-1}$ is a boundary datum" from a measured status to a structural theorem via the $\kappa_\gamma$-scaling test and finite $\sigma=0$ closure. That downstream module needs the U(1) normalization facts here so the irreducibility argument does not smuggle an ad hoc gauge fixing. In the broader RS chain this sits in Constants/AlphaGenesis: supporting seed assembly and the honest status that exact $\alpha^{-1}(0)$ is open, while $O(4\pi)$ recognition-scale content and $\varphi$-dressing are forced.
scope and limits
- Does not derive the measured CODATA value of $\alpha^{-1}(0)$.
- Does not prove continuum U(1) Yang–Mills or lattice continuum limits.
- Does not identify the cubic seed with the inverse EM coupling (that identification fails audit).
- Does not treat non-abelian gauge groups or higher-dimensional hypercubes.
- Does not close the open infrared boundary condition on $\alpha^{-1}$.
used by (1)
depends on (3)
declarations in this module (15)
-
def
cube_cycle_rank -
theorem
cube_cycle_rank_eq_5 -
theorem
gauge_dof_via_faces -
def
gauge_redundancy -
theorem
gauge_redundancy_eq_7 -
theorem
physical_link_dof_eq_cycle_rank -
theorem
seed_channel_count -
theorem
seed_channel_count_ne_gauge_dof -
def
gauge_invariant_seed -
theorem
gauge_invariant_seed_eq_20pi -
theorem
gauge_invariant_seed_excluded -
structure
SeedNormalizationReading -
def
seedNormalizationReading -
structure
U1NormalizationVerdict -
def
u1NormalizationVerdict