IndisputableMonolith.QFT.UVCutoff

declarations in this module (26)

• def standardUVDescription L46
• theorem log_divergence L50
• def l0 L60
• def E0 L63
• def p_max L66
• def lhcEnergyGeV L69
• def rsCutoffGeV L72
• theorem cutoff_above_lhc L75
• structure VoxelLattice L89
• def fundamentalLattice L93
• def brillouinCutoff L98
• theorem brillouin_equals_pmax L102
• def regulatedIntegral L118
• theorem rs_integral_finite L122
• def runningCoupling L137
• def phiLadderEnergy L142
• theorem phi_ladder_ratio L146
• def renormalizationImplications L163
• def hierarchyProblemDescription L176
• def higgsMassGeV L180
• def planckMassGeV L183
• def hierarchyRatio L186
• theorem hierarchy_very_small L189
• def predictions L203
• def comparisonTable L223
• structure UVCutoffFalsifier L237