Equidistribution conjecture for non-BPS attractors

Let $\rho$ be the explicit density defined in the paper, and let $\Gamma_D$ be the set of non-BPS attractors in the standard fundamental domain $F$ having discriminant $D$. For a function $f$ on $F$, the conjecture concerns the averages of $f$ over $\Gamma_D$ as $D$ tends to infinity.

Non-BPS attractor equidistribution conjecture. The non-BPS attractors equidistribute according to $\rho$; more precisely,

$$\lim_{D\to\infty}\frac{\sum_{x\in\Gamma_D}f(x)}{|\Gamma_D|}=\int_F f\rho.$$

Here $\rho$ is motivated by heuristics for the distribution of non-BPS attractors, and the conjecture gives an explicit limiting distribution in the $t^3$ model. The cited theorem gives a concrete description of the attractors, but the equidistribution assertion remains conjectural.