theorem 106.30 The loop expansion is the expansion in $\hbar$

open in the book · parts/11-qft-standard-model/08-path-integral-quantization.tex:1616 · p. 2173

Rests on

depends_on equation 106.40 eq:pathint-green ¶
depends_on proposition 106.29 Feynman rules from the functional integral ¶
- depends_on corollary 106.28 Wick's theorem ¶
  - depends_on equation 106.36 eq:pathint-correlators ¶
  - depends_on equation 106.39 eq:pathint-free-Z ¶
  - proves proof ch:08-path-integral-quantization@proof-19 ¶
- depends_on equation 106.35 eq:pathint-Z ¶
- depends_on theorem 106.25 Correlators as functional derivatives ¶
  - depends_on equation 106.35 eq:pathint-Z ¶ ↺
  - depends_on equation 106.9 eq:pathint-sliced ¶
  - proves proof ch:08-path-integral-quantization@proof-16 ¶
- proves proof ch:08-path-integral-quantization@proof-20 ¶
proves proof ch:08-path-integral-quantization@proof-21 ¶

Supports

Nothing declares a dependency on this node yet.

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	eq:pathint-green	declared	parts/11-qft-standard-model/08-path-integral-quantization.tex:1630
`depends_on`	→	Feynman rules from the functional integral	declared	parts/11-qft-standard-model/08-path-integral-quantization.tex:1630
`proves`	←	ch:08-path-integral-quantization@proof-21	declared	parts/11-qft-standard-model/08-path-integral-quantization.tex:1633