Registry · Definition IV.D77 tau-effective formalized

IV.D77 — Graph Energy Density

At a node n of the Cayley graph, the graph energy density ρ_E(n) is the ratio of edges to vertices in expanding balls. Discrete analogue of the CR-tension integrand.

Book IV Part 3 Ch. 22

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.GraphEnergyDensity