publication . Article . Other literature type . 2009

Numerical verification methods for spherical t-designs

xiaojun chen;
  • Published: 01 Oct 2009
Abstract
The construction of spherical $t$-designs with $(t+1)^2$ points on the unit sphere $S^2$ in $\mathbb{R}^3$ can be reformulated as an underdetermined system of nonlinear equations. This system is highly nonlinear and involves the evaluation of a degree $t$ 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 spherical $t$-design are discussed.
Subjects
free text keywords: verification, spherical designs, system of nonlinear equations
Download fromView all 2 versions
Project Euclid
Other literature type . 2009
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Article . Other literature type . 2009

Numerical verification methods for spherical t-designs

xiaojun chen;