A point process $\Phi$ is said to be negatively associated if for any finitely many bounded Borel subsets $B\_1,B\_2,...,B\_n,$ we have that 


$$\operatorname{Cov} \left( f\left(\Phi\left(B\_1\right),\ldots,\Phi\left(B\_l\right)\right)g\left(\Phi\left(B\_{l+1}\right),\ldots,\Phi\left(B\_{n}\right)\right)\right) \leq 0$$ 


whenever $f,g$ are non-decreasing, non-negative functions and $(B\_1 \cup ... B\_l) \cap (B\_{l+1} \cup ... B\_n) = \emptyset.$ Here $\Phi(B\_i)$ denotes the random number of points within the set $B\_i$.


This is an extension of the notion of [positive association for random measures](http://www.springerlink.com/content/j35n111725n73h44/). There are [many examples of positively associated point processes](http://projecteuclid.org/euclid.aop/1176992810). A [detailed study of Negative association](http://arxiv.org/abs/math/0404095) by R. Pemantle in 2000 led to further interest in the concept of negative dependence. There are many examples of such measures in the discrete setting but i am not aware of any such example of spatial point processes i.e, point processes in $R^d$. 


In a [paper of R. Lyons](http://arxiv.org/abs/math/0204325), it is proved that discrete determinantal probability measures are negatively associated. Though i expect it to work for spatial determinantal processes as well, currently it stands unproved. 


Is someone aware of any negatively associated point process ? Or do you have suggestion for any other point process that you suspect will be negatively associated ? 



Negatively associated point processes
I just came across this old question, while searching for whether it has been proved yet that spatial determinantal point processes are negatively associated. It turns out it has been proved, in [this paper by Subhro Ghosh](https://arxiv.org/abs/1211.2435).


