1
Introduction
▶
1.1
The target
1.2
Conventions
2
Layer L0: combinatorics
3
Layer L1a: Hepp trees
4
Layer L1b: permutation sums
5
Layer L2: continuum estimates
6
Layer L3: deterministic parametrix
7
Layer L4: probability primitives
8
Layer L5: random parametrix
9
Layer L6: assembly
Dependency graph
The Four-Dimensional Anderson Model: Formalization Blueprint
1
Introduction
1.1
The target
1.2
Conventions
2
Layer L0: combinatorics
3
Layer L1a: Hepp trees
4
Layer L1b: permutation sums
5
Layer L2: continuum estimates
6
Layer L3: deterministic parametrix
7
Layer L4: probability primitives
8
Layer L5: random parametrix
9
Layer L6: assembly