IRS Modified Activation

theorem trivial Hierarchy

Documentation

Lean 4 Proof

theorem irs_modified_activation
    (N : ℕ) (e : WeightedHierarchicalCESEconomy N) (n : Fin N) (γ : ℝ) (hγ : 1 < γ) :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/Activation.lean:213

Module Section

## Activation with Weights and IRS

In the same file

ngm_char_poly_two_level activation_two_level ngm_char_poly_general activation_threshold_iff_product reduced_dynamics cross_level_amplification weakest_link_bottleneck sensitivity_ratio_bottleneck activation_threshold_with_weights concentration_bottleneck cross_level_amplification_with_weights weakest_link_with_weights