Joint red and green Poisson count formula
ID: joint-red-and-green-poisson-count-formula
For a finite-intensity set of mean , independent red marking with probability gives counts withDisjoint source sets give independent pairs of these counts. Refining overlapping test sets into disjoint cells then proves independence of the two whole Poisson point processes, not only their counts on one set.
New to topics? Read the docs here!