Numerical verification methods for sphericalt-designs

Abstract

The construction of sphericalt-designs with (t+1)2 points on the unit sphereS 2 in ℝ3 can be reformulated as an underdetermined system of nonlinear equations. This system is highly nonlinear and involves the evaluation of a degreet polynomial in (t+1)4 arguments. This paper reviews numerical verification methods using the Brouwer fixed point theorem and Krawczyk interval operator for solutions of the underdetermined system of nonlinear equations. Moreover, numerical verification methods for proving that a solution of the system is a sphericalt-design are discussed.