`alpha_is_bandwidth_exponent`

proved

show as: view math explainer →

module: IndisputableMonolith.Unification.BandwidthSaturation
domain: Unification
line: 190 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Unification.BandwidthSaturation on GitHub at line 190.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 187    When T_dyn ≫ τ₀, the demanded rate scales as 1/T_dyn while the
 188    bandwidth is fixed, so the kernel scales as T_dyn^α where
 189    α = (1−1/φ)/2 is the φ-determined exponent. -/
 190theorem alpha_is_bandwidth_exponent :
 191    alpha_locked = (1 - 1 / phi) / 2 := rfl
 192
 193end BandwidthSaturation
 194end Unification
 195end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.