feynlag.vacuum.ewsb

Electroweak symmetry breaking: the Vacuum object.

Aggregates the VEV registrations of all scalar fields (Scalar.expand_vev) into the substitution maps the pipeline needs:

• shift_map: weak components → vacuum + fluctuations (φ⁰ → (v + h + i a)/√2),

• fluctuations: all real fluctuation symbols,

• at_vacuum(expr): evaluate an expression on the vacuum (shift, then set all fluctuations to zero); zero_fluctuations(expr) does only the second step, for already-shifted expressions.

Classes

Vacuum(scalars)

The scalar vacuum configuration of a model.