Sections / Section 13: Hierarchical Architecture / classifyMode

Classify Mode

defprovedHierarchy

Documentation

Lean 4 Proof

def classifyMode (m : ℕ) : PerturbationType :=
  if m ≤ 2 then .marginal
  else .irrelevant

Dependency Graph

Used by

cubic_is_irrelevant rho_exactly_marginal

Location

thesis/CESProofs/Hierarchy/RenormalizationGroup.lean:61

Module Section

Renormalization Group for CES:

In the same file

scalingDimension PerturbationType rgBetaFunction anomalousDimension criticalExponent_orderParam criticalExponentOrderParam criticalExponentSusceptibility criticalExponent_susceptibility scaling_dimension_zero_iff_ces scalingDimension_zero_iff_ces scalingDimension_cubic scaling_dimension_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