• 1 The ambient tree
  • 2 Offspring laws and extinction
  • 3 The sample and its law
  • 4 The Harris decomposition ▶
    • 4.1 Conditioning at the root
    • 4.2 The two halves
    • 4.3 The joint form
  • 5 Finite trees and the total progeny
  • 6 Coarse geometry of trees
  • Dependency graph

Galton–Watson branching processes in Lean

Sascha Troscheit

  • 1 The ambient tree
  • 2 Offspring laws and extinction
  • 3 The sample and its law
  • 4 The Harris decomposition
    • 4.1 Conditioning at the root
    • 4.2 The two halves
    • 4.3 The joint form
  • 5 Finite trees and the total progeny
  • 6 Coarse geometry of trees