Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian

Jérémy Berthomieu (1) , Luis Pardo (2)

1 Équipe Max
2 Grupo de Álgebra

We study the average complexity of certain numerical algorithms when adapted to solving systems of multivariate polynomial equations whose coefficients belong to some fixed proper real subspace of the space of systems with complex coefficients. A particular motivation is the study of the case of systems of polynomial equations with real coefficients. Along these pages, we accept methods that compute either real or complex solutions of these input systems. This study leads to interesting problems in Integral Geometry: the question of giving estimates on the average of the normalized condition number along great circles that belong to a Schubert sub-variety of the Grassmannian of great circles on a sphere. We prove that this average equals a closed formula in terms of the spherical Radon transform of the condition number along a totally geodesic sub-manifold of the sphere.

Mots clés: Approximate zero theory; Smale's 17th problem; computational complexity; probabilistic polynomial time

Domaines: Calcul formel [cs.SC]

Jérémy Berthomieu, Luis Pardo. Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian. 2011. ⟨hal-00612612v1⟩