proposition 106.74 Naive discretization doubles the species sixteen times
open in the book ·
parts/11-qft-standard-model/08-path-integral-quantization.tex:3480
· p. 2193
Rests on
- depends_on definition 106.66 Link variables and the plaquette ¶
- depends_on equation 100.5 eq:qed-free-dirac ¶
- proves proof ch:08-path-integral-quantization@proof-51 ¶
Supports
- depends_on theorem 106.75 Nielsen–Ninomiya ¶
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 |
→ | Link variables and the plaquette | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:3492 |
depends_on |
→ | eq:qed-free-dirac | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:3492 |
depends_on |
← | Nielsen–Ninomiya | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:3515 |
proves |
← | ch:08-path-integral-quantization@proof-51 | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:3495 |