{"id":"palomar/PALOMAR-2026-11-01-000010","url":"https://github.com/igor-kortchemski/rare-subtree-patterns/tree/fc5ef722392b1af41e8b9d5fc45d5a521b7823dd","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-11-01-000010-v2.json","repo":"https://github.com/igor-kortchemski/rare-subtree-patterns","tags":["math.PR","msc:60J80","msc:60G50","msc:05C05","msc:05C80"],"score":0,"title":"Rare subtree patterns in size-conditioned Bienaymé trees: Poisson approximation and declumping","trust":"high","domain":"math.PR","source":"palomar","authors":["Igor Kortchemski"],"reviews":0,"subject":"math.PR","summary":"Lean proofs of the four Introduction theorems of Rare subtree patterns in size-conditioned Bienaymé trees: Poisson approximation and declumping, including periodic offspring laws. Secondary results, proof departures, manuscript corrections and remaining background obligations are recorded in FORMALIZATION_REPORT.md.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-11-01","reactions":{},"formalized":true,"formalizes":[{"title":"Rare subtree patterns in size-conditioned Bienaymé trees: Poisson approximation and declumping","identifier":"arXiv:2607.22291v1","relationship":"formalizes"}]}