Advertisement

On Characteristic Decomposition and Quasi-characteristic Decomposition

  • Rina Dong
  • Chenqi MouEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11661)

Abstract

In this paper, the concepts of quasi-characteristic pair and quasi-characteristic decomposition are introduced. The former is a pair \((\mathcal {G}, \mathcal {C})\) of a reduced lexicographic Gröbner basis \(\mathcal {G}\) and the W-characteristic set \(\mathcal {C}\) which is regular and extracted from \(\mathcal {G}\); the latter is the decomposition of a polynomial set into finitely many quasi-characteristic pairs with associated zero relations. We show that the quasi-characteristic decomposition of any polynomial set can be obtained algorithmically regardless of the variable ordering condition. A new algorithm is presented for computing characteristic decomposition when the variable ordering condition is always satisfied, otherwise it degenerates to compute the quasi one. Some properties of quasi-characteristic pairs and decomposition are proved, and examples are given to illustrate the algorithm.

Keywords

Quasi-characteristic decomposition Quasi-characteristic pair W-characteristic set Regular set Gröbner basis 

Notes

Acknowledgments

The authors would like to thank the anonymous reviewers for their detailed and helpful comments on an earlier version of this paper.

References

  1. 1.
    Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. J. Symbolic Comput. 28(1–2), 105–124 (1999)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Aubry, P.: Ensembles Triangulaires de Polynômes et Résolution de Systemes Algébriques. Implantation en Axiom. Ph.D. thesis, Université Pierre et Marie Curie, France (1999)Google Scholar
  3. 3.
    Becker, T., Weispfenning, V., Kredel, H.: Gröbner Bases: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics. Springer, New York (1993)CrossRefGoogle Scholar
  4. 4.
    Bender, M.R., Faugère, J.C., Tsigaridas, E.: Towards mixed Gröbner basis algorithms: The multihomogeneous and sparse case. In: Proceedings of ISSAC 2018, pp. 71–78. ACM Press (2018).  https://doi.org/10.1145/3208976.3209018, https://hal.inria.fr/hal-01787423
  5. 5.
    Boulier, F., Han, M., Lemaire, F., Romanovski, V.G.: Qualitative investigation of a gene model using computer algebra algorithms. Prog. Comput. Softw. 41(2), 105–111 (2015)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Ph.D. thesis, Universität Innsbruck, Austria (1965)Google Scholar
  7. 7.
    Buchberger, B.: Gröbner bases: an algorithmic method in polynomial ideal theory. In: Bose, N. (ed.) Multidimensional Systems Theory, pp. 184–232. Springer, Dordrecht (1985)CrossRefGoogle Scholar
  8. 8.
    Chen, C., Golubitsky, O., Lemaire, F., Maza, M.M., Pan, W.: Comprehensive triangular decomposition. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol. 4770, pp. 73–101. Springer, Heidelberg (2007).  https://doi.org/10.1007/978-3-540-75187-8_7CrossRefGoogle Scholar
  9. 9.
    Chen, C., Moreno Maza, M.: Algorithms for computing triangular decompositions of polynomial systems. J. Symbolic Comput. 47(6), 610–642 (2012)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Cheng, J.S., Jin, K., Lazard, D.: Certified rational parametric approximationof real algebraic space curves with local generic position method. J. Symbolic Comput. 58, 18–40 (2013).  https://doi.org/10.1016/j.jsc.2013.06.004. http://www.sciencedirect.com/science/article/pii/S0747717113000953MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer, New York (1997).  https://doi.org/10.1007/978-3-662-41154-4CrossRefzbMATHGoogle Scholar
  12. 12.
    Cox, D., Little, J., O’Shea, D.: Using Algebraic Geometry. Graduate Texts in Mathematics. Springer, New York (1998).  https://doi.org/10.1007/978-1-4757-6911-1CrossRefzbMATHGoogle Scholar
  13. 13.
    Dahan, X.: On lexicographic Gröbner bases of radical ideals in dimension zero: Interpolation and structure, preprint at arXiv:1207.3887 (2012)
  14. 14.
    Dong, R., Mou, C.: Decomposing polynomial sets simultaneously into Gröbner bases and normal triangular sets. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2017. LNCS, vol. 10490, pp. 77–92. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-66320-3_7CrossRefGoogle Scholar
  15. 15.
    Faugère, J.C., Gianni, P., Lazard, D., Mora, T.: Efficient computation of zero-dimensional Gröbner bases by change of ordering. J. Symbolic Comput. 16(4), 329–344 (1993)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Faugère, J.-C., Joux, A.: Algebraic cryptanalysis of hidden field equation (HFE) cryptosystems using Gröbner bases. In: Boneh, D. (ed.) CRYPTO 2003. LNCS, vol. 2729, pp. 44–60. Springer, Heidelberg (2003).  https://doi.org/10.1007/978-3-540-45146-4_3CrossRefGoogle Scholar
  17. 17.
    Gao, S., Volny, F., Wang, M.: A new framework for computing Gröbner bases. Math. Comput. 85(297), 449–465 (2016)CrossRefGoogle Scholar
  18. 18.
    Kalkbrener, M.: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. J. Symbolic Comput. 15(2), 143–167 (1993)MathSciNetCrossRefGoogle Scholar
  19. 19.
    Kapur, D., Lu, D., Monagan, M.B., Sun, Y., Wang, D.: An efficient algorithm for computing parametric multivariate polynomial GCD. In: Proceedings of ISSAC 2018, pp. 239–246. ACM Press (2018).  https://doi.org/10.1145/3208976.3208980
  20. 20.
    Lazard, D.: Ideal bases and primary decomposition: case of two variables. J. Symbolic Comput. 1(3), 261–270 (1985)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Li, B., Wang, D.: An algorithm for transforming regular chain into normal chain. In: Kapur, D. (ed.) ASCM 2007. LNCS (LNAI), vol. 5081, pp. 236–245. Springer, Heidelberg (2008).  https://doi.org/10.1007/978-3-540-87827-8_20CrossRefGoogle Scholar
  22. 22.
    Marinari, M.G., Mora, T.: A remark on a remark by Macaulay or enhancing Lazard structural theorem. Bull. Iran. Math. Soc. 29(1), 1–45 (2003)MathSciNetzbMATHGoogle Scholar
  23. 23.
    Mou, C., Wang, D., Li, X.: Decomposing polynomial sets into simple sets over finite fields: the positive-dimensional case. Theoret. Comput. Sci. 468, 102–113 (2013)MathSciNetCrossRefGoogle Scholar
  24. 24.
    Ritt, J.F.: Differential Algebra. American Mathematical Society, New York (1950)CrossRefGoogle Scholar
  25. 25.
    Shimoyama, T., Yokoyama, K.: Localization and primary decomposition of polynomial ideals. J. Symbolic Comput. 22(3), 247–277 (1996)MathSciNetCrossRefGoogle Scholar
  26. 26.
    Verschelde, J., Verlinden, P., Cools, R.: Homotopies exploiting Newton polytopes for solving sparse polynomial systems. SIAM J. Numer. Anal. 31(3), 915–930 (1994)MathSciNetCrossRefGoogle Scholar
  27. 27.
    Wang, D.: Computing triangular systems and regular systems. J. Symbolic Comput. 30(2), 221–236 (2000)MathSciNetCrossRefGoogle Scholar
  28. 28.
    Wang, D.: Elimination Methods. Springer-Verlag, Wien (2001).  https://doi.org/10.1007/978-3-7091-6202-6CrossRefzbMATHGoogle Scholar
  29. 29.
    Wang, D.: On the connection between Ritt characteristic sets and Buchberger-Gröbner bases. Math. Comput. Sci. 10, 479–492 (2016)MathSciNetCrossRefGoogle Scholar
  30. 30.
    Wang, D., Dong, R., Mou, C.: Decomposition of polynomial sets into characteristic pairs. arXiv:1702.08664 (2017)
  31. 31.
    Weber, A., Sturm, T., Abdel-Rahman, E.O.: Algorithmic global criteria for excluding oscillations. Bull. Math. Biol. 73(4), 899–917 (2011).  https://doi.org/10.1007/s11538-010-9618-0MathSciNetCrossRefzbMATHGoogle Scholar
  32. 32.
    Weispfenning, V.: Comprehensive Gröbner bases. J. Symbolic Comput. 14(1), 1–29 (1992)MathSciNetCrossRefGoogle Scholar
  33. 33.
    Wu, W.T.: Basic principles of mechanical theorem proving in elementary geometries. J. Automated Reasoning 2(3), 221–252 (1986)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.LMIB–School of Mathematics and Systems Science, Beihang UniversityBeijingChina
  2. 2.Beijing Advanced Innovation Center for Big Data and Brain Computing, Beihang UniversityBeijingChina

Personalised recommendations