Registry · Definition IV.D79 tau-effective formalized

IV.D79 — Frequency as Base Circulation

Frequency ω_k of a mode ψ_k is the H_∞ eigenvalue evaluated via base evolution. Frequency = how fast the temporal address cycles on the lemniscate boundary.

Book IV Part 3 Ch. 22

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.FrequencyAsBaseCirculation