Registry · Definition IV.D140 tau-effective formalized

IV.D140 — Vacuum Hessian at Crossing Point

Second variation of coherence functional about physical vacuum: H_ω = δ²V/δω² evaluated at Ω*[ω], acting on transverse fluctuations.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (2)

IV.D136 IV.D134

Depended on by (3)

IV.L07 IV.P74 IV.R41

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.VacuumHessianAtCrossingPoint