Sections / Section 13: Hierarchical Architecture / nearDecomposabilityParam

Near Decomposability Param

defprovedHierarchy

Documentation

Lean 4 Proof

def nearDecomposabilityParam (crossBlock withinBlock : ℝ) : ℝ :=
  crossBlock / withinBlock

Dependency Graph

Used by

williamson_hierarchy_creation

Location

thesis/CESProofs/Hierarchy/SpectralHierarchy.lean:188

Module Section

Endogenous Hierarchy: Why N Levels?

In the same file

adjustmentRate timescaleFromRate spectralGapRatio timescale_ratio_eq_rate_ratio large_gap_implies_separation OrderedSpectrum OrderedSpectrum.gap OrderedSpectrum.gap_ge_one total_spread_eq_endpoint_ratio HierarchySpec HierarchySpec.isJustified single_level_always_justified no_large_gap_single_level simon_near_decomposable_gap decomposability_monotone crossBlockCoupling transaction_cost_reduces_coupling williamson_hierarchy_creation north_institutional_layering overlapWeight