Registry · Definition IV.D176 tau-effective formalized

IV.D176 — YM sector coupling

The YM sector coupling mu_YM(k) is the ratio of the B-product to the C-product of the split-complex zeta function at primorial depth k (III.D46), measuring the degree of asymmetry between the two bipolar factorizations that controls the spectral gap scale.

Book IV Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.YmSectorCoupling