Computing of the dimensions of the components of tropical prevarieties described by linear tropical recurrent relations

  • Farid Mikhailov Saint Petersburg Electrotechnical University, 5, building 3, st. Professora Popova, 197022, Saint Petersburg, Russia
Keywords: tropical semiring, tropicalization, tropical prevariety, tropical recurrent sequence, tropical entropy, gfan package

Abstract

The main goal of this paper is the study of tropical recurrent sequences determined by various relations. Tropical mathematics is a recent field of modern mathematics. It has many applications in algebra, geometry, computer science, biology, economics and engineering. At the same time, many topical issues of tropical mathematics are not sufficiently studied up to now. For a set of tropical recurrent sequences described by tropical relations, D. Grigoriev put forward a hypothesis of stabilization of the maximum dimensions of the components of tropical prevarieties. This hypothesis has not yet been proven. As a part of this work, for various linear tropical recurrent sequences, the appropriate tropical prevarieties were examined using the gfan package in order to check Grigoriev’s hypothesis. The validity of such a hypothesis would make it possible to calculate the corresponding dimension for a recurrent sequence for an arbitrary length.

Author Biography

Farid Mikhailov, Saint Petersburg Electrotechnical University, 5, building 3, st. Professora Popova, 197022, Saint Petersburg, Russia

Postgraduate, Assistant of the Algorithmic Mathematics Department, Saint Petersburg Electrotechnical University, mifa_98@mail.ru

References

B. Sturmfels, Algebraic statistics for Computational Biology, Cambridge, England: Cambridge University Press, 2005.

E. A. Baldwin and P. D. Klemperer, Tropical Geometry to Analyse Damand, London: Grantham Research Institute, 2014.

L. Zhang, G. Naitzat, and L. Lim, “Tropical Geometry of Deep Neural Networks,” in Proc. of the 35th International Conference on Machine Learnin, vol. 80, pp. 5824–5832, 2018.

A. N. Jensen, Algorithmic Aspects of Grobner Fans and Tropical Varieties, [PhD Theses], Department of Mathematical Sciences, University of Aarhus, Denmark, 2007.

D. Grigoriev, “On a tropical dual Nullstellensatz,” Advances in Applied Mathematics, vol. 48, pp. 457–464, 2012.

D. Grigoriev and V. Podolsii, “Tropical effective primary and dual Nullstellensaetze,” Disct. Comput. Geom., vol. 30, pp. 1–51, 2018.

D. Maclagan and B. Sturmfels, Introduction to Tropical Geometry, Providence, USA: American Mathematical Society, 2015.

D. Grigoriev, “Tropical recurrent sequences,” Advances in Applied Mathematics, vol. 116, p. 102012, 2020; doi:10.1016/j.aam.2020.102012

N. Elizarov and D. Grigoriev, “A tropical version of Hilbert polynomial (in dimension one),” in in arXiv, [Online], arXiv:2111.14742, 2022.

A. N. Jensen, Gfan version 0.6: A User’s Manual, Department of Mathematical Science, University of Aarhus, Denmark, 2017.

Published
2023-03-28
How to Cite
Mikhailov, F. (2023). Computing of the dimensions of the components of tropical prevarieties described by linear tropical recurrent relations. Computer Tools in Education, (1), 40-54. https://doi.org/10.32603/2071-2340-2023-1-40-54
Section
Algorithmic mathematics and mathematical modelling