Registry · Definition IV.D269 tau-effective formalized

IV.D269 — Virtual particle

A virtual particle is a transient defect configuration appearing at refinement level n but not persisting to level n+k for any fixed k. Virtual particles mediate interactions between ontic particles (internal lines in Feynman diagrams) but have no independent existence in H_partial[omega].

Book IV Part 1 Ch. 7

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics

Symbol: Tau.BookIV.Arena.VirtualParticle