Uniform attachment with freezing: height and distance asymptotics
Lean proofs of the height and distance asymptotics for uniform attachment trees with freezing in Uniform attachment with freezing. The selected results are the three parts of the universal height theorem and the four conclusions of the linear-growth theorem: the deterministic height scale, uniform-vertex height, independent-pair distance and maximum-height limits. Sampling includes frozen vertices where required and coincident pairs. This entry covers T03–T04; the companion local-limit, construction-equivalence and SIR results use separate entries from the same repository.
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-11-02-000004
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-02-000004/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-02-000004/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'