Registry · Proposition IV.P142 tau-effective formalized

IV.P142 — Defect tuple as universal order parameter

The defect tuple D = (mu, nu, kappa, theta) is simultaneously the state variable and the universal order parameter for all phase transitions: components are discontinuous in first-order transitions, and their derivatives diverge in second-order transitions.

Book IV Part 7 Ch. 53

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.ManyBody.FluidRegimes

Symbol: Tau.BookIV.ManyBody.DefectTupleAsUniversalOrderParameter