Bounds on the number of solutions of polynomial systems and the Betti numbers of real piecewise algebraic hypersurfaces

Abstract This paper, based on Bihan and Sottile’s method which reduces a polynomial system to its Gale dual system and then bounds the number of solutions of this Gale system, proves that a real coefficient polynomial system with n equations and with n variables involving n + k + 1 monomials has fewer than 27 e 5 3 + 88 90 ∏ i = 0 k − 1 ( 2 i ( n − 1 ) + 1 ) positive solutions and 27 e 10 3 + 88 90 ∏ i = 0 k − 1 ( 2 i ( n − 1 ) + 1 ) non-degenerate non-zero real solutions. This dramatically improves F. Bihan and F. Sottile’s bounds of e 2 + 3 4 2 k 2 n k and e 4 + 3 4 2 k 2 n k respectively. Using the new upper bound for positive solutions, we establish restrictions to the sum of the Betti numbers of real piecewise algebraic hypersurfaces and real piecewise algebraic curves. A new bound on the number of compact components of algebraic hypersurfaces in R > n is also given.

[1]  Yisheng Lai,et al.  An improved algorithm for constructing moving quadrics from moving planes , 2017, J. Syst. Sci. Complex..

[2]  Yisheng Lai,et al.  Implicitizing rational surfaces using moving quadrics constructed from moving planes , 2016, J. Symb. Comput..

[3]  Josef Hoschek,et al.  Fundamentals of computer aided geometric design , 1996 .

[4]  Jinming Wu,et al.  Real zeros of the zero-dimensional parametric piecewise algebraic variety , 2009 .

[5]  Yisheng Lai,et al.  The Viro method for construction of Bernstein-Bézier algebraic hypersurface piece , 2012 .

[6]  RenHong Wang,et al.  Nöther-type theorem of piecewise algebraic curves on quasi-cross-cut partition , 2009 .

[7]  Ligang Liu,et al.  Parametric curve with an implicit domain , 2014, Science China Mathematics.

[8]  Frank Sottile,et al.  Polynomial systems with few real zeroes , 2005, math/0502051.

[9]  J. Maurice Rojas,et al.  Counting Real Connected Components of Trinomial Curve Intersections and m-nomial Hypersurfaces , 2003, Discret. Comput. Geom..

[10]  Frédéric Bihan,et al.  Polynomial systems supported on circuits and dessins d'enfants , 2005, math/0509219.

[11]  Yisheng Lai,et al.  The Viro Method for Construction of ${C}^{r}$ Piecewise Algebraic Hypersurfaces , 2013 .

[12]  Falai Chen,et al.  A survey on the local refinable splines , 2016 .

[13]  D. N. Bernshtein The number of roots of a system of equations , 1975 .

[14]  Betti number bounds for fewnomial hypersurfaces via stratified Morse theory , 2008, 0801.2554.

[15]  Yisheng Lai,et al.  Solving parametric piecewise polynomial systems , 2011, J. Comput. Appl. Math..

[16]  Frank Sottile,et al.  Bounds on the Number of Real Solutions to Polynomial Equations , 2007 .

[17]  Yisheng Lai,et al.  The Nöther and Riemann-Roch type theorems for piecewise algebraic curve , 2007 .

[18]  Frederic Bihan amd Frank Sottile NEW FEWNOMIAL UPPER BOUNDS FROM GALE DUAL POLYNOMIAL SYSTEMS , 2006 .