Certifying reality of projections

DOI10.1007/978-3-319-96418-8_24zbMATH Open1396.14053arXiv1804.02707OpenAlexW2796231287MaRDI QIDQ1662235FDOQ1662235

Emre Can Sertöz, Samantha N. Sherman, Avinash Kulkarni, Jonathan D. Hauenstein

Publication date: 17 August 2018

Abstract: Computational tools in numerical algebraic geometry can be used to numerically approximate solutions to a system of polynomial equations. If the system is well-constrained (i.e., square), Newton's method is locally quadratically convergent near each nonsingular solution. In such cases, Smale's alpha theory can be used to certify that a given point is in the quadratic convergence basin of some solution. This was extended to certifiably determine the reality of the corresponding solution when the polynomial system is real. Using the theory of Newton-invariant sets, we certifiably decide the reality of projections of solutions. We apply this method to certifiably count the number of real and totally real tritangent planes for instances of curves of genus 4.

Full work available at URL: https://arxiv.org/abs/1804.02707

zbMATH Keywords

Newton's methodnumerical algebraic geometrycertificationalpha-theoryreal solutions

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Computational aspects in algebraic geometry (14Qxx)

Cited In (1)

• Totally real theta characteristics

Uses Software

• Bertini
• alphaCertified

   Recommendations

• Real World Verification 👍 👎
• Protocol Verification via Projections 👍 👎
• Validity and actuality 👍 👎
• Title not available (Why is that?) 👍 👎
• Projection pursuit 👍 👎

This page was built for publication: Certifying reality of projections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1662235)