Registry · Theorem V.T122 tau-effective formalized

V.T122 — Renormalization as tower truncation

The renormalized QFT calculation at l loops with scheme S equals the readout of the boundary algebra H_l at refinement depth l under the chart projection determined by S: [QFT at l loops]_S = pr_S(H_l). Different renormalization schemes are different chart projections of the same ontic object H_l.

Book V Part 7 Ch. 60

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Orthodox.CorrespondenceMap

Symbol: Tau.BookV.Orthodox.RenormalizationAsTowerTruncation