Properties of the vacancy statistic in the discrete circle covering problem

Holst (1985) introduced a discrete spacings model that is related to the Bose-Einstein distribution and obtained the distribution of the number of vacant slots in an associated circle covering problem. We correct his expression for its probability mass function, obtain the first two moments, and describe their limiting properties. We also discuss an application of our results to a study of contagion in banking networks.