The bounds of rigid sphere design

We have identified some necessary conditions for the existence of rigid sphere designs. In particular, we have successfully resolved the conjecture proposed by [Ban87]; Given fixed positive integers t and d, we show that there exist only finitely many rigid t-designs on Sd, up to orthogonal transformations.