Open Research Index

The height of the infection tree

Igor Kortchemski

Palomar Registrypalomar/PALOMAR-2026-11-01-000012Nov 1, 2026math.PRscore 0

A Lean formalization of all 31 numbered results of The height of the infection tree under the embedded SIR epidemic model, with six explicit statement corrections or endpoint conventions. The height theorem retains arbitrary asymptotic infection-rate sequences and the full Bernoulli mixture across early extinction and macroscopic survival. The strong profile theorem retains exact lattice heights, the Gaussian logarithmic correction and compact-parameter uniformity. These results concern probabilists studying random trees, branching processes and epidemic geometry. The proposed Palomar entry…

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-11-01-000012
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-01-000012/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-01-000012/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'