Detection of spatial pattern through independence of thinned processes
Let N, N' and N'' be point processes such that N' is obtained from N by homogeneous independent thinning and N''= N- N'. We give a new elementary proof that N' and N'' are independent if and only if N is a Poisson point process. We present some applications of this result to test if a homogeneous point process is a Poisson point process.