Numerical Local Irreducible Decomposition

  • Conference paper
  • First Online:
Mathematical Aspects of Computer and Information Sciences (MACIS 2015)

Abstract

Globally, the solution set of a system of polynomial equations with complex coefficients can be decomposed into irreducible components. Using numerical algebraic geometry, each irreducible component is represented using a witness set thereby yielding a numerical irreducible decomposition of the solution set. Locally, the irreducible decomposition can be refined to produce a local irreducible decomposition. We define local witness sets and describe a numerical algebraic geometric approach for computing a numerical local irreducible decomposition for polynomial systems. Several examples are presented.

D.A. Brake—Supported in part by supported in part by NSF ACI-1460032.

J.D. Hauenstein—Supported in part by Army Young Investigator Program (YIP), a Sloan Research Fellowship, and NSF ACI-1460032.

A.J. Sommese—Supported in part by the Vincent J. and Annamarie Micus Duncan Chair of Mathematics and NSF ACI-1440607.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (Canada)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Bertini: Software for numerical algebraic geometry. http://bertini.nd.edu

  2. Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Numerically Solving Polynomial Systems with Bertini. Software, Environments, and Tools, vol. 25. Society for Industrial and Applied Mathematics, Philadelphia (2013)

    MATH  Google Scholar 

  3. Dayton, B., Zeng, Z.: Computing the multiplicity structure in solving polynomial systems. In: Proceedings of ISSAC, pp. 166–123. ACM, New York (2005)

    Google Scholar 

  4. Fischer, G.: Complex Analytic Geometry. Lecture Notes in Mathematics, vol. 538. Springer, Berlin-New York (1976)

    MATH  Google Scholar 

  5. Gunning, R.C.: Introduction to Holomorphic Functions of Several Variables. Vol. II: Local Theory. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA (1990)

    Google Scholar 

  6. Gunning, R.C.: Lectures on Complex Analytic Varieties: The Local Parametrization Theorem. Mathematical Notes Princeton University Press, Princeton; University of Tokyo Press, Tokyo (1970)

    Google Scholar 

  7. Hauenstein, J.D.: Numerically computing real points on algebraic sets. Acta Appl. Math. 125(1), 105–119 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  8. Lu, Y., Bates, D.J., Sommese, A.J., Wampler, C.W.: Finding all real points of a complex curve. Contemp. Math. 448, 183–205 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  9. Macaulay, F.S.: The Algebraic Theory of Modular Systems. Cambridge University Press, Cambridge (1916)

    MATH  Google Scholar 

  10. Wampler, C.W., Hauenstein, J.D., Sommese, A.J.: Mechanism mobility and a local dimension test. Mech. Mach. Theory 46(9), 1193–1206 (2011)

    Article  MATH  Google Scholar 

  11. Wampler, C., Larson, B., Edrman, A.: A new mobility formula for spatial mechanisms. In: Proceedings of DETC/Mechanisms and Robotics Conference, Las Vegas, NV (CDROM), 4–7 September 2007

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Daniel A. Brake .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Brake, D.A., Hauenstein, J.D., Sommese, A.J. (2016). Numerical Local Irreducible Decomposition. In: Kotsireas, I., Rump, S., Yap, C. (eds) Mathematical Aspects of Computer and Information Sciences. MACIS 2015. Lecture Notes in Computer Science(), vol 9582. Springer, Cham. https://doi.org/10.1007/978-3-319-32859-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-32859-1_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-32858-4

  • Online ISBN: 978-3-319-32859-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Navigation