The main mathematical focus of this chapter is a class of parametrised polynomial systems that we refer to as being tropically transverse. We show how their generic number of solutions can be expressed as the mixed volume of a modified system. We then provide an alternate proof of a recent result by Borovik et al., on the number of equilibria of coupled nonlinear oscillators using elementary tropical geometry. The proof draws upon a wide range of concepts across tropical geometry, which we will use as an opportunity to give an overview of various tropical features in OSCAR.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Generic Root Counts of Tropically Transverse Systems an Invitation to Tropical Geometry in OSCAR

  • Isaac Holt,
  • Yue Ren

摘要

The main mathematical focus of this chapter is a class of parametrised polynomial systems that we refer to as being tropically transverse. We show how their generic number of solutions can be expressed as the mixed volume of a modified system. We then provide an alternate proof of a recent result by Borovik et al., on the number of equilibria of coupled nonlinear oscillators using elementary tropical geometry. The proof draws upon a wide range of concepts across tropical geometry, which we will use as an opportunity to give an overview of various tropical features in OSCAR.