В настоящей работе исследуются тропические рекуррентные последовательности, ассоциированные с последовательностями Сомоса. Классические последовательности Сомоса имеют приложения в теории эллиптических кривых. Из лорановости классических последовательностей можно вывести закономерность между классическими последовательностями и их тропическими аналогами.
Наибольший интерес представляет рост размерности пространства решений тропических последовательностей в зависимости от длины конечной последовательности. Для множества тропических последовательностей, описываемых тропическими рекуррентными соотношениями, Д. Ю. Григорьевым была высказана гипотеза о стабилизации максимальных размерностей компонент соответствующих тропических предмногообразий. Эта гипотеза доказана для тропических линейных рекуррентных последовательностей. В рамках данной работы для тропических рекуррентных последовательностей, ассоциированных с последовательностями Сомос-4 и Сомос-5, были исследованы соответствующие тропические предмногообразия с помощью пакета Gfan с целью проверки гипотезы Григорьева. С. 18-31.

This paper examines tropical recurrent sequences associated with Somos sequences. The classical Somos sequences have applications in the theory of elliptic curves. Due to the Laurent character of the classical sequences, a pattern can be inferred between the classical sequences and their tropical counterparts. The greatest interest is the increase in the dimension of the solution space of tropical sequences depending on the length of the final sequence. For a set of tropical sequences described by tropical recurrence relations, D.Yu.~Grigoriev put forward a hypothesis about the stabilization of the maximum dimensions of the components of the corresponding tropical prevarieties. This hypothesis has been proven for tropical linear recurrent sequences. As part of this work, for tropical recurrent sequences associated with the sequences Somos-$4$ and Somos-$5$, the corresponding tropical prevarieties were investigated using the Gfan package in order to test Grigoriev's hypothesis.