Skip to main content
Top
Published in: Foundations of Computational Mathematics 3/2013

01-06-2013

Isosingular Sets and Deflation

Authors: Jonathan D. Hauenstein, Charles W. Wampler

Published in: Foundations of Computational Mathematics | Issue 3/2013

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This article introduces the concept of isosingular sets, which are irreducible algebraic subsets of the set of solutions to a system of polynomial equations constructed by taking the closure of points with a common singularity structure. The definition of these sets depends on deflation, a procedure that uses differentiation to regularize solutions. A weak form of deflation has proven useful in regularizing algebraic sets, making them amenable to treatment by the algorithms of numerical algebraic geometry. We introduce a strong form of deflation and define deflation sequences, which, in a different context, are the sequences arising in Thom–Boardman singularity theory. We then define isosingular sets in terms of deflation sequences. We also define the isosingular local dimension and examine the properties of isosingular sets. While isosingular sets are of theoretical interest as constructs for describing singularity structures of algebraic sets, they also expand the kinds of algebraic set that can be investigated with methods from numerical algebraic geometry.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Appendix
Available only for authorised users
Footnotes
1
Constructible algebraic sets are sets formed from algebraic sets with a finite number of Boolean operations (union, intersection, and complementation). The closure of such sets are the same in both the Zariski topology and the usual complex topology, so we draw no distinction in this article.
 
Literature
1.
2.
go back to reference D.J. Bates, J.D. Hauenstein, A.J. Sommese, C.W. Wampler, Adaptive multiprecision path tracking, SIAM J. Numer. Anal. 46(2), 722–746 (2008). MathSciNetMATHCrossRef D.J. Bates, J.D. Hauenstein, A.J. Sommese, C.W. Wampler, Adaptive multiprecision path tracking, SIAM J. Numer. Anal. 46(2), 722–746 (2008). MathSciNetMATHCrossRef
3.
go back to reference D.J. Bates, J.D. Hauenstein, C. Peterson, A.J. Sommese, Numerical decomposition of the rank-deficiency set of a matrix of multivariate polynomials, in Approximate Commutative Algebra. Texts Monogr. Symbol. Comput. (Springer, Vienna, 2009), pp. 55–77. CrossRef D.J. Bates, J.D. Hauenstein, C. Peterson, A.J. Sommese, Numerical decomposition of the rank-deficiency set of a matrix of multivariate polynomials, in Approximate Commutative Algebra. Texts Monogr. Symbol. Comput. (Springer, Vienna, 2009), pp. 55–77. CrossRef
4.
go back to reference D.J. Bates, J.D. Hauenstein, A.J. Sommese, C.W. Wampler, Stepsize control for adaptive multiprecision path tracking, Contemp. Math. 496, 21–31 (2009). MathSciNetCrossRef D.J. Bates, J.D. Hauenstein, A.J. Sommese, C.W. Wampler, Stepsize control for adaptive multiprecision path tracking, Contemp. Math. 496, 21–31 (2009). MathSciNetCrossRef
8.
go back to reference D.A. Cox, J. Little, D. O’Shea, Using Algebraic Geometry (Springer, Berlin, 2005). MATH D.A. Cox, J. Little, D. O’Shea, Using Algebraic Geometry (Springer, Berlin, 2005). MATH
9.
go back to reference B.H. Dayton, Z. Zeng, Computing the multiplicity structure in solving polynomial systems, in ISSAC’05 (ACM, New York, 2005), pp. 116–123. B.H. Dayton, Z. Zeng, Computing the multiplicity structure in solving polynomial systems, in ISSAC’05 (ACM, New York, 2005), pp. 116–123.
10.
go back to reference D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150 (Springer, New York, 1995). MATH D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150 (Springer, New York, 1995). MATH
11.
go back to reference M. Giusti, G. Lecerf, B. Salvy, J.-C. Yakoubsohn, On location and approximation of clusters of zeros: case of embedding dimension one, Found. Comput. Math. 7(1), 1–49 (2007). MathSciNetMATHCrossRef M. Giusti, G. Lecerf, B. Salvy, J.-C. Yakoubsohn, On location and approximation of clusters of zeros: case of embedding dimension one, Found. Comput. Math. 7(1), 1–49 (2007). MathSciNetMATHCrossRef
12.
go back to reference A. Griewank, M.R. Osborne, Analysis of Newton’s method at irregular singularities, SIAM J. Numer. Anal. 20(4), 747–773 (1983). MathSciNetMATHCrossRef A. Griewank, M.R. Osborne, Analysis of Newton’s method at irregular singularities, SIAM J. Numer. Anal. 20(4), 747–773 (1983). MathSciNetMATHCrossRef
13.
go back to reference M. Griffis, J. Duffy, Method and apparatus for controlling geometrically simple parallel mechanisms with distinctive connections. US Patent 5,179,525 (1993). M. Griffis, J. Duffy, Method and apparatus for controlling geometrically simple parallel mechanisms with distinctive connections. US Patent 5,179,525 (1993).
14.
go back to reference J. Guckenheimer, Y. Xiang, Defining equations for bifurcations and singularities, Mosc. Math. J. 3(3), 935–946 (2003). MathSciNetMATH J. Guckenheimer, Y. Xiang, Defining equations for bifurcations and singularities, Mosc. Math. J. 3(3), 935–946 (2003). MathSciNetMATH
16.
go back to reference J.D. Hauenstein, C.W. Wampler, Numerically intersecting algebraic varieties via witness sets, Appl. Math. Comput. 219(10), 5730–5742 (2013). MathSciNetCrossRef J.D. Hauenstein, C.W. Wampler, Numerically intersecting algebraic varieties via witness sets, Appl. Math. Comput. 219(10), 5730–5742 (2013). MathSciNetCrossRef
17.
go back to reference J.D. Hauenstein, A.J. Sommese, C.W. Wampler, Regeneration homotopies for solving systems of polynomials, Math. Comput. 80, 345–377 (2011). MathSciNetMATH J.D. Hauenstein, A.J. Sommese, C.W. Wampler, Regeneration homotopies for solving systems of polynomials, Math. Comput. 80, 345–377 (2011). MathSciNetMATH
18.
go back to reference J.D. Hauenstein, A.J. Sommese, C.W. Wampler, Regenerative cascade homotopies for solving polynomial systems, Appl. Math. Comput. 218(4), 1240–1246 (2011). MathSciNetMATHCrossRef J.D. Hauenstein, A.J. Sommese, C.W. Wampler, Regenerative cascade homotopies for solving polynomial systems, Appl. Math. Comput. 218(4), 1240–1246 (2011). MathSciNetMATHCrossRef
20.
go back to reference M.L. Husty, A. Karger, Self-motions of Griffis–Duffy type parallel manipulators, in Proc. 2000 IEEE Int. Conf. Robotics and Automation, San Francisco, CA, April 24–28, 2000. CDROM. M.L. Husty, A. Karger, Self-motions of Griffis–Duffy type parallel manipulators, in Proc. 2000 IEEE Int. Conf. Robotics and Automation, San Francisco, CA, April 24–28, 2000. CDROM.
22.
go back to reference A. Leykin, Numerical primary decomposition, in ISSAC 2008 (ACM, New York, 2008), pp. 165–172. A. Leykin, Numerical primary decomposition, in ISSAC 2008 (ACM, New York, 2008), pp. 165–172.
23.
go back to reference A. Leykin, J. Verschelde, A. Zhao, Newton’s method with deflation for isolated singularities of polynomial systems, Theor. Comput. Sci. 359, 111–122 (2006). MathSciNetMATHCrossRef A. Leykin, J. Verschelde, A. Zhao, Newton’s method with deflation for isolated singularities of polynomial systems, Theor. Comput. Sci. 359, 111–122 (2006). MathSciNetMATHCrossRef
24.
go back to reference A. Leykin, J. Verschelde, A. Zhao, Higher-order deflation for polynomial systems with isolated singular solutions, in Algorithms in Algebraic Geometry. IMA Vol. Math. Appl., vol. 146 (Springer, New York, 2008), pp. 79–97. CrossRef A. Leykin, J. Verschelde, A. Zhao, Higher-order deflation for polynomial systems with isolated singular solutions, in Algorithms in Algebraic Geometry. IMA Vol. Math. Appl., vol. 146 (Springer, New York, 2008), pp. 79–97. CrossRef
25.
go back to reference Y. Lu, D.J. Bates, A.J. Sommese, C.W. Wampler, Finding all real points of a complex curve, Contemp. Math. 448, 183–205 (2007). MathSciNetCrossRef Y. Lu, D.J. Bates, A.J. Sommese, C.W. Wampler, Finding all real points of a complex curve, Contemp. Math. 448, 183–205 (2007). MathSciNetCrossRef
26.
go back to reference A.P. Morgan, A.J. Sommese, C.W. Wampler, Computing singular solutions to nonlinear analytic systems, Numer. Math. 58, 669–684 (1991). MathSciNetMATHCrossRef A.P. Morgan, A.J. Sommese, C.W. Wampler, Computing singular solutions to nonlinear analytic systems, Numer. Math. 58, 669–684 (1991). MathSciNetMATHCrossRef
27.
go back to reference A.P. Morgan, A.J. Sommese, C.W. Wampler, A power series method for computing singular solutions to nonlinear analytic systems, Numer. Math. 63, 391–409 (1992). MathSciNetMATHCrossRef A.P. Morgan, A.J. Sommese, C.W. Wampler, A power series method for computing singular solutions to nonlinear analytic systems, Numer. Math. 63, 391–409 (1992). MathSciNetMATHCrossRef
28.
go back to reference A.P. Morgan, A.J. Sommese, C.W. Wampler, Computing singular solutions to polynomial systems, Adv. Appl. Math. 13, 305–327 (1992). MathSciNetMATHCrossRef A.P. Morgan, A.J. Sommese, C.W. Wampler, Computing singular solutions to polynomial systems, Adv. Appl. Math. 13, 305–327 (1992). MathSciNetMATHCrossRef
29.
go back to reference T. Ojika, Modified deflation algorithm for the solution of singular problems. I. A system of nonlinear algebraic equations, J. Math. Anal. Appl. 123, 199–221 (1987). MathSciNetMATHCrossRef T. Ojika, Modified deflation algorithm for the solution of singular problems. I. A system of nonlinear algebraic equations, J. Math. Anal. Appl. 123, 199–221 (1987). MathSciNetMATHCrossRef
30.
go back to reference T. Ojika, S. Watanabe, T. Mitsui, Deflation algorithm for the multiple roots of a system of nonlinear equations, J. Math. Anal. Appl. 96, 463–479 (1983). MathSciNetMATHCrossRef T. Ojika, S. Watanabe, T. Mitsui, Deflation algorithm for the multiple roots of a system of nonlinear equations, J. Math. Anal. Appl. 96, 463–479 (1983). MathSciNetMATHCrossRef
31.
go back to reference A.J. Sommese, C.W. Wampler, The Numerical Solution of Systems of Polynomials Arising in Engineering and Science (World Scientific, Singapore, 2005). MATHCrossRef A.J. Sommese, C.W. Wampler, The Numerical Solution of Systems of Polynomials Arising in Engineering and Science (World Scientific, Singapore, 2005). MATHCrossRef
32.
go back to reference A.J. Sommese, J. Verschelde, C.W. Wampler, Numerical decomposition of the solution sets of polynomial systems into irreducible components, SIAM J. Numer. Anal. 38(6), 2022–2046 (2001). MathSciNetMATHCrossRef A.J. Sommese, J. Verschelde, C.W. Wampler, Numerical decomposition of the solution sets of polynomial systems into irreducible components, SIAM J. Numer. Anal. 38(6), 2022–2046 (2001). MathSciNetMATHCrossRef
33.
go back to reference A.J. Sommese, J. Verschelde, C.W. Wampler, Symmetric functions applied to decomposing solution sets of polynomial systems, SIAM J. Numer. Anal. 40(6), 2026–2046 (2002). MathSciNetMATHCrossRef A.J. Sommese, J. Verschelde, C.W. Wampler, Symmetric functions applied to decomposing solution sets of polynomial systems, SIAM J. Numer. Anal. 40(6), 2026–2046 (2002). MathSciNetMATHCrossRef
34.
go back to reference C.W. Wampler, J.D. Hauenstein, A.J. Sommese, Mechanism mobility and a local dimension test, Mech. Mach. Theory 46(9), 1193–1206 (2011). MATHCrossRef C.W. Wampler, J.D. Hauenstein, A.J. Sommese, Mechanism mobility and a local dimension test, Mech. Mach. Theory 46(9), 1193–1206 (2011). MATHCrossRef
Metadata
Title
Isosingular Sets and Deflation
Authors
Jonathan D. Hauenstein
Charles W. Wampler
Publication date
01-06-2013
Publisher
Springer-Verlag
Published in
Foundations of Computational Mathematics / Issue 3/2013
Print ISSN: 1615-3375
Electronic ISSN: 1615-3383
DOI
https://doi.org/10.1007/s10208-013-9147-y

Premium Partner