Gaps in the complex Farey sequence of an imaginary quadratic number field

Given an imaginary quadratic number field K with ring of integers [Formula: see text], we are interested in the asymptotic distance to nearest neighbor (or gap) statistic of complex fractions [Formula: see text], with [Formula: see text] and [Formula: see text], as [Formula: see text]. Reformulating this problem in a homogeneous dynamical setting, we follow the approach of J. Marklof for real Farey fractions with several variables and adapt an equidistribution result in the real 3-dimensional hyperbolic space of J. Parkkonen and F. Paulin to derive the existence of a probability measure describing this asymptotic gap statistic. We obtain an integral formula for the associated cumulative distribution function, and use geometric arguments to find an explicit estimate for its tail distribution in the cases of Gaussian and Eisenstein fractions.