Sections / Section 13: Hierarchical Architecture / cubic_is_irrelevant

Cubic Is Irrelevant

theoremprovedHierarchy

Documentation

Lean 4 Proof

theorem cubic_is_irrelevant :
    classifyMode 3 = PerturbationType.irrelevant := by
  simp [classifyMode]

Dependency Graph

Location

thesis/CESProofs/Hierarchy/RenormalizationGroup.lean:203

Module Section

Renormalization Group for CES:

In the same file

scalingDimension PerturbationType classifyMode rgBetaFunction anomalousDimension criticalExponent_orderParam criticalExponentOrderParam criticalExponentSusceptibility criticalExponent_susceptibility scaling_dimension_zero_iff_ces scalingDimension_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 beta_function_vanishes anomalous_dimension_vanishes