Registry · Definition IV.D213 tau-effective formalized

IV.D213 — Macroscopic compression

Macroscopic compression kappa^macro(C) = (1/N) sum_i kappa(d_i) + kappa_int(C), measuring collective density variation; in a crystal kappa^macro approx 0 because the lattice enforces fixed density, while in a gas kappa^macro fluctuates freely.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.MacroscopicCompression