Skip to main content
SpringerLink
Log in

Real zeros of the zero-dimensional parametric piecewise algebraic variety

  • Published:
Science in China Series A: Mathematics Aims and scope Submit manuscript

Abstract

The piecewise algebraic variety is the set of all common zeros of multivariate splines. We show that solving a parametric piecewise algebraic variety amounts to solve a finite number of parametric polynomial systems containing strict inequalities. With the regular decomposition of semi-algebraic systems and the partial cylindrical algebraic decomposition method, we give a method to compute the supremum of the number of torsion-free real zeros of a given zero-dimensional parametric piecewise algebraic variety, and to get distributions of the number of real zeros in every n-dimensional cell when the number reaches the supremum. This method also produces corresponding necessary and sufficient conditions for reaching the supremum and its distributions. We also present an algorithm to produce a necessary and sufficient condition for a given zero-dimensional parametric piecewise algebraic variety to have a given number of distinct torsion-free real zeros in every n-cell in the n-complex.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Jacek B, Michel C, Marie-Francoise R. Real Algebraic Geometry. New York: Spinger, 1998

    MATH  Google Scholar 

  2. Wang R H, Lai Y S. Real piecewise algebraic variety. J Comput Math, 21(4): 473–480 (2003)

    MATH  MathSciNet  Google Scholar 

  3. Cox D, Little J, O’shea D. Using Algebraic Geometry. New York: Springer-Verlag, 1998

    MATH  Google Scholar 

  4. Billera L J, Rose L L. A dimension series for multivariate splines. Discrete Comput Geom, 6: 107–128 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  5. Wang R H, Shi X Q, Luo Z X, et al. Multivariate Spline Functions and Their Applications. Beijing-New York: Science Press/Kluwer Pub, 2001

    MATH  Google Scholar 

  6. Wang R H. The structural characterization and interpolation for Multivariate spline. Acta Math Sinica, 18: 91–106 (1975)

    MATH  MathSciNet  Google Scholar 

  7. Lai Y S, Wang R H. The Nöther and Riemann-Roch type theorems for piecewise algebraic curve. Sci China Ser A, 2: 165–182 (2007)

    Article  MathSciNet  Google Scholar 

  8. Nürnberger G, Rayevskaya G, Schumaker L L, et al. Lagrange interpolation with bivariate splines of arbitrary smoothness. Constr Approx, 23(1): 133–159 (2005)

    Article  Google Scholar 

  9. Nürnberger G, Zeilfelder F. Lagrange interpolation by bivariate C 1 splines with optimal approximation order. Adv in Comp Math, 21(3–4): 381–419 (2004)

    Article  MATH  Google Scholar 

  10. Yang L, Hou X R, Xia B C. A complete algorithm for automated discovering of a class of inequality-type theorems. Sci China Ser F, 44(1): 33–49 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  11. Xia B C, Yang L. An algorithm for isolating the real solutions of semi-algebraic systems. J Symb Comput, 34: 461–477 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  12. Collins G E. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture Notes in Computer Science Vol 33. New York: Springer, 1975

    Google Scholar 

  13. Collins G E, Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. J Symb Comput, 12: 299–328 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  14. Brown C W. Simple CAD construction and its applications. J Symb Comput, 31: 521–547 (2001)

    Article  MATH  Google Scholar 

  15. Buchberger B. Gröbner bases: An algorithmic method in polynomial ideal theory. In: Bose N K ed. Multidimensional Systems Theory. Dordrecht: D Reidel, 1985, 184–232

    Google Scholar 

  16. Lazard D, Rouillier F. Solving parametric polynomial systems. J Symb Comput, 42(6): 636–667 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  17. Yang L, Zhang J Z, Hou X R. Nonlinear Algebraic Equation System and Automated Theorem Proving. Shanghai: Shanghai Scientific and Technological Education Publishing House, 1996

    Google Scholar 

  18. Yang L, Zhang J Z, Hou X R. An efficient decomposition algorithm for geometry theorem proving without factorization. In: Shi H, Kobayashi H. eds. Proceedings of Asian Symposium on Computer Mathematics 1995. Japan: Scientists Incorporated, 1995, 33–41

    Google Scholar 

  19. Wu W T. On zeros of algebraic equation-an application of Ritt principle. Kexue Tongbao, 31: 1–5 (1986)

    MATH  Google Scholar 

  20. Wu W T. Mechanical Theorem Proving in Geometries: Basic Principle. Berlin: Springer-Verlag, 1994

    Google Scholar 

  21. Wang D M. Computing triangular systems and regular systems. J Symb Comput, 30: 221–236 (2000)

    Article  MATH  Google Scholar 

  22. Wang D M. Decomposing polynomial systems into simple systems. J Symb Comput, 25: 295–314 (1998)

    Article  MATH  Google Scholar 

  23. Winkler F. Polynomial Algorithms in Computer Algebra. Wein: Springer-Verlag, 1996

    MATH  Google Scholar 

  24. Basu S, Pollack R, Roy M F. Algorithms in Real Algebraic Geometry. New York: Springer-Verlag, 2003

    MATH  Google Scholar 

  25. Guernic L, Rouillier F, Safey EI Din M. Computing sampling points in a semi-algebraic set defined by non-strict inequalities. Application to Pattern-Matching Problems, in “EACA, Santander”. New York: ACM Press, 2004

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computer Science, Zhejiang Gongshang University, Hangzhou, 310018, China

    YiSheng Lai & JinMing Wu

  2. Institute of Mathematical Sciences, Dalian University of Technology, Dalian, 116024, China

    RenHong Wang

Authors
  1. YiSheng Lai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. RenHong Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. JinMing Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to YiSheng Lai.

Additional information

This work was supported by National Natural Science Foundation of China (Grant Nos. 10271022, 60373093, 60533060), the Natural Science Foundation of Zhejiang Province (Grant No. Y7080068) and the Foundation of Department of Education of Zhejiang Province (Grant Nos. 20070628 and Y200802999)

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lai, Y., Wang, R. & Wu, J. Real zeros of the zero-dimensional parametric piecewise algebraic variety. Sci. China Ser. A-Math. 52, 817–832 (2009). https://doi.org/10.1007/s11425-008-0141-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11425-008-0141-9

Keywords

MSC(2000)

Search

Navigation