Uniform attachment with freezing: equivalence in law of the forward and reversed constructions
Lean proof that the forward uniform-attachment/freezing construction and the reversed growth-coalescent construction give the same distribution of labelled rooted trees, after the prescribed erasure of active reverse labels. The equality includes the extinction endpoint. It is stated on a canonical encoding that retains the complete graph and relevant labels. The dictionary to literal isomorphism-class language is mathematically reviewed but is not an additional Lean quotient-law equivalence theorem. This entry covers T05 and shares its proof repository with the companion asymptotic and SIR…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-11-01-000030
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-01-000030/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-000030/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'