TFPT scientific source excerpt
Original repository path: documents/archive--tfpt-45--source_extracts--04_qft_source/sections/007-subsection-renormalized-physical-and-scheme-readout-laye.tex
Original file SHA-256: 9c1c587cbd61fc4034649d778d16f1ee0e8c1e1189885babb3d8148a6fe72d7c
Inclusive original lines: 3-16
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000003 | \begin{definition}[Admissible effective average action]
000004 | \label{def:admissible-effective-average-action}
000005 | Let $R_k$ be an admissible infrared regulator commuting with the structural sector selection.
000006 | Define
000007 | \[
000008 | e^{W_k[J]}
000009 | :=
000010 | \int_{\mathcal H_{\mathrm{adm}}}\mathcal D\varphi\,
000011 | \exp\!\Bigl(
000012 | -S_{\mathrm{adm}}[\varphi]
000013 | -\frac12\langle \varphi,R_k\varphi\rangle
000014 | +\langle J,\varphi\rangle
000015 | \Bigr),
000016 | \]