We define a cluster to be characterized by regions of high density separated by regions that are sparse. Given a collection of observations X = {xi}, xi ∈ Rd, |X| = N , we would like to find clusters in data sets in which d and possibly N are large, in which there is no known parametric distribution and in which clusters may take on arbitrary shapes. By observing the downward closure property o...