Abstract
In this paper, the concept of tropical differential Gröbner basis is introduced, which is a natural generalization of the tropical Gröbner basis to the recently introduced tropical differential algebra. Like the differential Gröbner basis, the tropical differential Gröbner basis generally contains an infinite number of elements. We give a Buchberger style criterion for the tropical differential Gröbner basis. For differential ideals generated by homogeneous linear differential polynomials with constant coefficients, we give a complete algorithm to compute the finite tropical differential Gröbner basis.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aroca, F., Garay, C., Toghani, Z.: The fundamental theorem of tropical differential algebraic geometry. Pac. J. Math. 283(2), 257–270 (2016)
Bogart, T., Jensen, A., Speyer, D., Sturmfels, B., Thomas, R.: Computing tropical varieties. J. Symb. Comput. 42(1), 54–73 (2007)
Cano, J.: On the series defined by differential equations, with an extension of the Puiseux polygon construction to these equations. Analysis 13, 103–120 (1993)
Carra’Ferro, G.: Gröbner bases and differential algebra. In: International Conference on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, pp. 129–140. Springer, Berlin (1987)
Chan, A.J., Maclagan, D.: Gröbner bases over fields with valuations. Math. Comput. 88, 467–483 (2018)
Grigoriev, D.: Tropical differential equations. Adv. Appl. Math. 82, 120–128 (2017)
Grigoriev, D.Y., Singer, M.F.: Solving ordinary differential equations in terms of series with real exponents. Trans. AMS 327(1), 329–351 (1991)
Hu, Y., Gao, X.S.: Ritt-Wu characteristic set method for Laurent partial differential polynomial systems. J. Syst. Sci. Complex. 32, 62–77 (2019)
Li, W., Yuan, C.M., Gao, X.S.: Sparse differential resultant for Laurent differential polynomials. Found. Comput. Math. 15(2), 451–517 (2015)
Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry. American Mathematical Soc, Providence (2015)
Markwig, T., Ren, Y.: Computing tropical varieties over fields with valuation, Preprint
Ollivier, F.: Standard bases of differential ideals. In: International Symposium on Applied Algebra. Algebraic Algorithms and Error-Correcting Codes, pp. 304–321. Springer, Berlin (1990)
Rosenlicht, M.: Differential valuations. Pac. J. Math. 86(1), 301–319 (1980)
Sen, A., Dukkipati, A.: Gröbner basis theory for modules over polynomial rings over fields with valuation, arXiv:1404.7379 (2014)
Vaccon, T.: Matrix-F5 algorithms and tropical Gröbner bases computation. J. Symb. Comput. 89, 227–254 (2018)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Hu, Y., Gao, XS. Tropical Differential Gröbner Bases. Math.Comput.Sci. 15, 255–269 (2021). https://doi.org/10.1007/s11786-020-00481-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11786-020-00481-1