Advertisement

How to Flatten a Soccer Ball

  • Kaie Kubjas
  • Pablo A. Parrilo
  • Bernd Sturmfels
Chapter
Part of the Springer INdAM Series book series (SINDAMS, volume 20)

Abstract

This is an experimental case study in real algebraic geometry, aimed at computing the image of a semialgebraic subset of 3-space under a polynomial map into the plane. For general instances, the boundary of the image is given by two highly singular curves. We determine these curves and show how they demarcate the “flattened soccer ball”. We explore cylindrical algebraic decompositions, by working through concrete examples. Maps onto convex polygons and connections to convex optimization are also discussed.

Keywords

Cylindrical algebraic decomposition Polynomial map Semialgebraic set 

Notes

Acknowledgements

Pablo Parrilo was supported by AFOSR FA9550-11-1-0305. Bernd Sturmfels was supported by NSF grant DMS-1419018 and the Einstein Foundation Berlin. Part of this work was done while the authors visited the Simons Institute for the Theory of Computing at UC Berkeley.

References

  1. 1.
    S. Basu, C. Riener, Bounding the equivariant Betti numbers of symmetric semi-algebraic sets. Adv. Math. 305, 803–855 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    S. Basu, A. Rizzie, Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications (2015). arXiv:1507.03958 Google Scholar
  3. 3.
    G. Blekherman, P.A. Parrilo, R. Thomas, Semidefinite Optimization and Convex Algebraic Geometry. MOS-SIAM Series on Optimization, vol. 13 (SIAM, Philadelphia, 2013)Google Scholar
  4. 4.
    M. Bogle, J. Hearst, V. Jones, L. Stoilov, Lissajous knots. J. Knot Theory Ramif. 3, 121–140 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    R. Bradford, J. Davenport, M. England, S. McCallum, D. Wilson, Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76, 1–35 (2016)CrossRefzbMATHGoogle Scholar
  6. 6.
    L. Brickman, On the field of values of a matrix. Proc. Am. Math. Soc. 12, 61–66 (1961)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    C.W. Brown, QEPCAD B: a program for computing with semi-algebraic sets using CADs. SIGSAM Bull. 37, 97–108 (2003)CrossRefzbMATHGoogle Scholar
  8. 8.
    G.E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Springer Lect. Notes Comput. Sci. 33, 134–183 (1975)CrossRefGoogle Scholar
  9. 9.
    M. England, D. Wilson, R. Bradford, J.H. Davenport, Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting, in Mathematical Software – ICMS 2014 (Springer, Berlin, 2014)Google Scholar
  10. 10.
    D. Grayson, M. Stillman, Macaulay2, a software system for research in algebraic geometry. Available at www.math.uiuc.edu/Macaulay2/
  11. 11.
    H. Hong, M. Safey El Din, Variant quantifier elimination. J. Symb. Comput. 47, 883–901 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    T. Johnsen, Plane projections of a smooth space curve, in Parameter Spaces. Banach Center Publications, vol. 36 (Polish Academy of Sciences, Warszawa, 1996), pp. 89–110Google Scholar
  13. 13.
    T. Kahle, K. Kubjas, M. Kummer, Z. Rosen, The geometry of rank-one tensor completion. SIAM J. Appl. Algebra Geom. 1, 200–221 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    F. Lemaire, M. Moreno Maza, Y. Xie, The RegularChains library in MAPLE. SIGSAM Bull. 39, 96–97 (2005)CrossRefzbMATHGoogle Scholar
  15. 15.
    D. Maclagan, B. Sturmfels, Introduction to Tropical Geometry. Graduate Studies in Mathematics, vol. 161 (American Mathematical Society, Providence, RI, 2015)Google Scholar
  16. 16.
    V. Magron, D. Henrion, J.-B. Lasserre, Semidefinite approximations of projections and polynomial images of semialgebraic sets. SIAM J. Optim. 25, 2143–2164 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    L. Manivel, Symmetric Functions, Schubert Polynomials, and Degeneracy Loci. SMF/AMS Texts and Monographs, vol. 6. Cours Spécialisés, vol. 3 (American Mathematical Society, Société Mathématique de France, Providence, RI, 2001)Google Scholar
  18. 18.
    J. Renegar, On the computational complexity and geometry of the first-order theory of the reals. J. Symb. Comput. 13, 255–352 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    R. Sinn, Algebraic boundaries of SO(2)-orbitopes. Discrete Comput. Geom. 50, 219–235 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    R. Sinn, B. Sturmfels, Generic spectrahedral shadows. SIAM J. Optim. 25, 1209–1220 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    C. Ueno, On convex polygons and their complements as images of regular and polynomial maps of \(\mathbb{R}^{2}\). J. Pure Appl. Algebra 216, 2436–2448 (2012)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Kaie Kubjas
    • 1
  • Pablo A. Parrilo
    • 2
  • Bernd Sturmfels
    • 3
  1. 1.Department of Mathematics and Systems AnalysisAalto UniversityEspooFinland
  2. 2.Laboratory for Information and Decision SystemsMassachusetts Institute of TechnologyCambridgeUSA
  3. 3.Department of MathematicsUniversity of CaliforniaBerkeleyUSA

Personalised recommendations