Sections / Section 13: Hierarchical Architecture / beta_function_vanishes

Beta Function Vanishes

theoremprovedHierarchy

Documentation

Lean 4 Proof

theorem beta_function_vanishes (ρ : ℝ) :
    rgBetaFunction ρ = 0 := rfl

Dependency Graph

Location

thesis/CESProofs/Hierarchy/RenormalizationGroup.lean:183

Module Section

Renormalization Group for CES:

In the same file

scalingDimension PerturbationType classifyMode rgBetaFunction anomalousDimension criticalExponentOrderParam criticalExponent_orderParam criticalExponent_susceptibility criticalExponentSusceptibility scalingDimension_zero_iff_ces scaling_dimension_zero_iff_ces scalingDimension_cubic scaling_dimension_cubic scaling_dimension_monotone scalingDimension_monotone no_relevant_perturbations modeRate_eq_rpow_neg_scaling modeAfterL_eq_rpow_scaling anomalous_dimension_vanishes rho_exactly_marginal