Sections / Section 13: Hierarchical Architecture / scaling_dimension_cubic

Scaling Dimension Cubic

theoremproved

Documentation

Lean 4 Proof

theorem scaling_dimension_cubic :
    scalingDimension 3 = 1 / 2 := by
  simp [scalingDimension]

Dependency Graph

Location

thesis/CESProofs/Hierarchy/RenormalizationGroup.lean:126

Module Section

Renormalization Group for CES:

In the same file

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