proposition 106.55 Ghosts are required by unitarity

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

Rests on

depends_on corollary 106.39 The minus sign of a closed fermion loop ¶
- depends_on equation 106.37 eq:pathint-W ¶
- depends_on equation 106.7 eq:pathint-gaussian-n ¶
- depends_on proposition 106.38 Integrating out the fermions ¶
  - depends_on equation 106.51 eq:pathint-grassmann-gaussian ¶
  - depends_on equation 100.5 eq:qed-free-dirac ¶
  - proves proof ch:08-path-integral-quantization@proof-27 ¶
- proves proof ch:08-path-integral-quantization@proof-28 ¶
depends_on theorem 106.54 The gauge-fixed action ¶
- depends_on equation 106.68 eq:pathint-fp ¶
- depends_on equation 106.51 eq:pathint-grassmann-gaussian ¶ ↺
- depends_on lemma 106.2 Gaussian integrals ¶
  - depends_on equation 17.42 eq:ft-gaussian ¶
  - depends_on lemma 8.9 ML estimate ¶
    - depends_on equation 8.6 eq:cpx-contour-integral ¶
    - proves proof ch:06-complex-analysis@proof-4 ¶
  - proves proof ch:08-path-integral-quantization@proof-2 ¶
- proves proof ch:08-path-integral-quantization@proof-38 ¶
proves proof ch:08-path-integral-quantization@proof-39 ¶

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`	→	The minus sign of a closed fermion loop	declared	parts/11-qft-standard-model/08-path-integral-quantization.tex:2697
`depends_on`	→	The gauge-fixed action	declared	parts/11-qft-standard-model/08-path-integral-quantization.tex:2697
`proves`	←	ch:08-path-integral-quantization@proof-39	declared	parts/11-qft-standard-model/08-path-integral-quantization.tex:2700