Tropical totally positive matrices

Abstract

We investigate the tropical analogues of totally positive and totally nonnegative matrices. These arise when considering the images by the nonarchimedean valuation of the corresponding classes of matrices over a real nonarchimedean valued field, like the field of real Puiseux series. We show that the nonarchimedean valuation sends the totally positive matrices precisely to the Monge matrices. This leads to explicit polyhedral representations of the tropical analogues of totally positive and totally nonnegative matrices. We also show that tropical totally nonnegative matrices with a finite permanent can be factorized in terms of elementary matrices. We finally determine the eigenvalues of tropical totally nonnegative matrices, and relate them with the eigenvalues of totally nonnegative matrices over nonarchimedean fields.

The first author has been partially supported by the PGMO Program of FMJH and EDF, and by the MALTHY Project of the ANR Program. The second author is sported by the French Chateaubriand grant and INRIA postdoctoral fellowship

References in corpus (6)

• Total positivity, Grassmannians, and networks
• A Field of Generalised Puiseux Series for Tropical Geometry
• Tropical spectrahedra
• Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
• Totally nonnegative Grassmannian and Grassmann polytopes
• Non-archimedean valuations of eigenvalues of matrix polynomials

Cited by in corpus (1)

• Supertropical ${\mathrm{SL}}_n$