Skip to main content
Erschienen in: Foundations of Computational Mathematics 1/2016

01.02.2016

The Euclidean Distance Degree of an Algebraic Variety

verfasst von: Jan Draisma, Emil Horobeţ, Giorgio Ottaviani, Bernd Sturmfels, Rekha R. Thomas

Erschienen in: Foundations of Computational Mathematics | Ausgabe 1/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The nearest point map of a real algebraic variety with respect to Euclidean distance is an algebraic function. For instance, for varieties of low-rank matrices, the Eckart–Young Theorem states that this map is given by the singular value decomposition. This article develops a theory of such nearest point maps from the perspective of computational algebraic geometry. The Euclidean distance degree of a variety is the number of critical points of the squared distance to a general point outside the variety. Focusing on varieties seen in applications, we present numerous tools for exact computations.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
1.
Zurück zum Zitat C. Aholt, B. Sturmfels and R. Thomas: A Hilbert scheme in computer vision, Canadian J. Mathematics 65 (2013), no. 5, 961–988. C. Aholt, B. Sturmfels and R. Thomas: A Hilbert scheme in computer vision, Canadian J. Mathematics 65 (2013), no. 5, 961–988.
3.
Zurück zum Zitat D. Bates, J. Hauenstein, A. Sommese, and C. Wampler: Numerically Solving Polynomial Systems with Bertini, SIAM, 2013. D. Bates, J. Hauenstein, A. Sommese, and C. Wampler: Numerically Solving Polynomial Systems with Bertini, SIAM, 2013.
4.
Zurück zum Zitat H.-C.G. von Bothmer and K. Ranestad: A general formula for the algebraic degree in semidefinite programming, Bull. London Math. Soc. 41 (2009) 193–197.CrossRefMATH H.-C.G. von Bothmer and K. Ranestad: A general formula for the algebraic degree in semidefinite programming, Bull. London Math. Soc. 41 (2009) 193–197.CrossRefMATH
5.
Zurück zum Zitat D. Cartwright and B. Sturmfels: The number of eigenvectors of a tensor, Linear Algebra and its Applications 438 (2013) 942–952.CrossRefMathSciNetMATH D. Cartwright and B. Sturmfels: The number of eigenvectors of a tensor, Linear Algebra and its Applications 438 (2013) 942–952.CrossRefMathSciNetMATH
6.
Zurück zum Zitat F. Catanese: Caustics of plane curves, their birationality and matrix projections, in Algebraic and Complex Geometry (eds. A. Frühbis-Krüger et al), Springer Proceedings in Mathematics and Statistics 71 (2014) 109–121. F. Catanese: Caustics of plane curves, their birationality and matrix projections, in Algebraic and Complex Geometry (eds. A. Frühbis-Krüger et al), Springer Proceedings in Mathematics and Statistics 71 (2014) 109–121.
8.
9.
Zurück zum Zitat D. Cox, J. Little, and D. O’Shea: Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1992. D. Cox, J. Little, and D. O’Shea: Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1992.
10.
11.
Zurück zum Zitat J. Draisma and J. Rodriguez: Maximum likelihood duality for determinantal varieties, Int. Math. Res. Not. 20 (2014) 5648–5666.MathSciNet J. Draisma and J. Rodriguez: Maximum likelihood duality for determinantal varieties, Int. Math. Res. Not. 20 (2014) 5648–5666.MathSciNet
12.
Zurück zum Zitat M. Drton, B. Sturmfels and S. Sullivant: Lectures on Algebraic Statistics, Oberwolfach Seminars, Vol 39, Birkhäuser, Basel, 2009.CrossRef M. Drton, B. Sturmfels and S. Sullivant: Lectures on Algebraic Statistics, Oberwolfach Seminars, Vol 39, Birkhäuser, Basel, 2009.CrossRef
14.
Zurück zum Zitat S. Friedland: Best rank one approximation of real symmetric tensors can be chosen symmetric, Front. Math. China 8(1) (2013) 19–40.CrossRefMathSciNetMATH S. Friedland: Best rank one approximation of real symmetric tensors can be chosen symmetric, Front. Math. China 8(1) (2013) 19–40.CrossRefMathSciNetMATH
15.
Zurück zum Zitat S. Friedland and G. Ottaviani: The number of singular vector tuples and uniqueness of best rank one approximation of tensors, Found. Comput. Math., doi:10.1007/s10208-014-9194-z. S. Friedland and G. Ottaviani: The number of singular vector tuples and uniqueness of best rank one approximation of tensors, Found. Comput. Math., doi:10.​1007/​s10208-014-9194-z.
16.
Zurück zum Zitat J.-C. Faugère, M. Safey El Din and P.-J. Spaenlehauer: Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): algorithms and complexity, J. Symbolic Comput. 46 (2011) 406–437.CrossRefMathSciNetMATH J.-C. Faugère, M. Safey El Din and P.-J. Spaenlehauer: Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): algorithms and complexity, J. Symbolic Comput. 46 (2011) 406–437.CrossRefMathSciNetMATH
17.
Zurück zum Zitat W. Fulton: Introduction to Toric Varieties, Princeton University Press, 1993. W. Fulton: Introduction to Toric Varieties, Princeton University Press, 1993.
19.
Zurück zum Zitat I.M. Gelfand, M.M. Kapranov, and A.V. Zelevinsky: Discriminants, Resultants and Multidimensional Determinants, Birkhäuser, Boston, 1994.CrossRefMATH I.M. Gelfand, M.M. Kapranov, and A.V. Zelevinsky: Discriminants, Resultants and Multidimensional Determinants, Birkhäuser, Boston, 1994.CrossRefMATH
22.
Zurück zum Zitat R. Hartley and P. Sturm: Triangulation, Computer Vision and Image Understanding: CIUV (1997) 68(2): 146–157.CrossRef R. Hartley and P. Sturm: Triangulation, Computer Vision and Image Understanding: CIUV (1997) 68(2): 146–157.CrossRef
23.
Zurück zum Zitat R. Hartshorne: Algebraic Geometry, Graduate Texts in Mathematics 52, Springer-Verlag, New York, 1977. R. Hartshorne: Algebraic Geometry, Graduate Texts in Mathematics 52, Springer-Verlag, New York, 1977.
24.
Zurück zum Zitat D. Hilbert and S. Cohn-Vossen: Anschauliche Geometrie, Springer-Verlag, Berlin, 1932.CrossRefMATH D. Hilbert and S. Cohn-Vossen: Anschauliche Geometrie, Springer-Verlag, Berlin, 1932.CrossRefMATH
25.
Zurück zum Zitat A. Holme: The geometric and numerical properties of duality in projective algebraic geometry, Manuscripta Math. 61 (1988) 145–162.CrossRefMathSciNetMATH A. Holme: The geometric and numerical properties of duality in projective algebraic geometry, Manuscripta Math. 61 (1988) 145–162.CrossRefMathSciNetMATH
26.
Zurück zum Zitat S. Hoşten, A. Khetan, and B. Sturmfels: Solving the likelihood equations, Foundations of Computational Mathematics 5 (2005) 389–407.CrossRefMathSciNetMATH S. Hoşten, A. Khetan, and B. Sturmfels: Solving the likelihood equations, Foundations of Computational Mathematics 5 (2005) 389–407.CrossRefMathSciNetMATH
27.
Zurück zum Zitat J. Huh and B. Sturmfels: Likelihood geometry, in Combinatorial Algebraic Geometry (eds. Aldo Conca et al.), Lecture Notes in Mathematics 2108, Springer, (2014) 63–117. J. Huh and B. Sturmfels: Likelihood geometry, in Combinatorial Algebraic Geometry (eds. Aldo Conca et al.), Lecture Notes in Mathematics 2108, Springer, (2014) 63–117.
28.
Zurück zum Zitat N.V. Ilyushechkin: The discriminant of the characteristic polynomial of a normal matrix, Mat. Zametki 51 (1992) 16–23; translation in Math. Notes 51(3-4) (1992) 230–235. N.V. Ilyushechkin: The discriminant of the characteristic polynomial of a normal matrix, Mat. Zametki 51 (1992) 16–23; translation in Math. Notes 51(3-4) (1992) 230–235.
29.
Zurück zum Zitat A. Josse and F. Pène: On the degree of caustics by reflection, Commun. Algebra 42 (2014), 2442–2475.CrossRefMATH A. Josse and F. Pène: On the degree of caustics by reflection, Commun. Algebra 42 (2014), 2442–2475.CrossRefMATH
31.
Zurück zum Zitat M. Laurent: Cuts, matrix completions and graph rigidity, Mathematical Programming 79 (1997) 255–283. M. Laurent: Cuts, matrix completions and graph rigidity, Mathematical Programming 79 (1997) 255–283.
32.
Zurück zum Zitat L.-H. Lim: Singular values and eigenvalues of tensors: a variational approach, Proc. IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP 05), 1 (2005), 129–132. L.-H. Lim: Singular values and eigenvalues of tensors: a variational approach, Proc. IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP 05), 1 (2005), 129–132.
33.
Zurück zum Zitat E. Miller and B. Sturmfels: Combinatorial Commutative Algebra, Graduate Texts in Mathematics 227, Springer, New York, 2004. E. Miller and B. Sturmfels: Combinatorial Commutative Algebra, Graduate Texts in Mathematics 227, Springer, New York, 2004.
35.
Zurück zum Zitat G. Ottaviani, P.J. Spaenlehauer, B. Sturmfels: Exact solutions in structured low-rank approximation, SIAM Journal on Matrix Analysis and Applications 35 (2014) 1521–1542. G. Ottaviani, P.J. Spaenlehauer, B. Sturmfels: Exact solutions in structured low-rank approximation, SIAM Journal on Matrix Analysis and Applications 35 (2014) 1521–1542.
36.
Zurück zum Zitat P.A. Parrilo: Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization, PhD Thesis, Caltech, Pasadena, CA, May 2000. P.A. Parrilo: Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization, PhD Thesis, Caltech, Pasadena, CA, May 2000.
37.
Zurück zum Zitat R. Piene: Polar classes of singular varieties, Ann. Sci. École Norm. Sup. (4) 11 (1978), no. 2, 247–276.MathSciNetMATH R. Piene: Polar classes of singular varieties, Ann. Sci. École Norm. Sup. (4) 11 (1978), no. 2, 247–276.MathSciNetMATH
38.
Zurück zum Zitat P. Rostalski and B. Sturmfels: Dualities, Chapter 5 in G. Blekherman, P. Parrilo and R. Thomas: Semidefinite Optimization and Convex Algebraic Geometry, pp. 203–250, MPS-SIAM Series on Optimization, SIAM, Philadelphia, 2013. P. Rostalski and B. Sturmfels: Dualities, Chapter 5 in G. Blekherman, P. Parrilo and R. Thomas: Semidefinite Optimization and Convex Algebraic Geometry, pp. 203–250, MPS-SIAM Series on Optimization, SIAM, Philadelphia, 2013.
40.
Zurück zum Zitat A. Stegeman and P. Comon: Subtracting a best rank-1 approximation does not necessarily decrease tensor rank, Linear Algebra Appl. 433 (2010) 1276–1300.CrossRefMathSciNetMATH A. Stegeman and P. Comon: Subtracting a best rank-1 approximation does not necessarily decrease tensor rank, Linear Algebra Appl. 433 (2010) 1276–1300.CrossRefMathSciNetMATH
41.
Zurück zum Zitat H. Stewénius, F. Schaffalitzky, and D. Nistér: How hard is 3-view triangulation really?, Proc. International Conference on Computer Vision, Beijing, China (2005) 686–693. H. Stewénius, F. Schaffalitzky, and D. Nistér: How hard is 3-view triangulation really?, Proc. International Conference on Computer Vision, Beijing, China (2005) 686–693.
42.
Zurück zum Zitat B. Sturmfels: Solving systems of polynomial equations, CBMS Regional Conference Series in Mathematics 97, Amer. Math. Soc., Providence, 2002. B. Sturmfels: Solving systems of polynomial equations, CBMS Regional Conference Series in Mathematics 97, Amer. Math. Soc., Providence, 2002.
43.
44.
Zurück zum Zitat J. Thomassen, P. Johansen, and T. Dokken: Closest points, moving surfaces, and algebraic geometry, Mathematical methods for curves and surfaces: Tromsø, 2004, 351–362, Mod. Methods Math., Nashboro Press, Brentwood, TN, 2005 J. Thomassen, P. Johansen, and T. Dokken: Closest points, moving surfaces, and algebraic geometry, Mathematical methods for curves and surfaces: Tromsø, 2004, 351–362, Mod. Methods Math., Nashboro Press, Brentwood, TN, 2005
46.
Zurück zum Zitat J. Weyman: Cohomology of Vector Bundles and Syzygies, Cambridge Tracts in Mathematics, 14, Cambridge University Press, Cambridge, 2003.CrossRef J. Weyman: Cohomology of Vector Bundles and Syzygies, Cambridge Tracts in Mathematics, 14, Cambridge University Press, Cambridge, 2003.CrossRef
Metadaten
Titel
The Euclidean Distance Degree of an Algebraic Variety
verfasst von
Jan Draisma
Emil Horobeţ
Giorgio Ottaviani
Bernd Sturmfels
Rekha R. Thomas
Publikationsdatum
01.02.2016
Verlag
Springer US
Erschienen in
Foundations of Computational Mathematics / Ausgabe 1/2016
Print ISSN: 1615-3375
Elektronische ISSN: 1615-3383
DOI
https://doi.org/10.1007/s10208-014-9240-x

Weitere Artikel der Ausgabe 1/2016

Foundations of Computational Mathematics 1/2016 Zur Ausgabe