Related papers: Tropical totally positive matrices
We investigate the properties of positive definite and positive semi-definite symmetric matrices within the framework of symmetrized tropical algebra, an extension of tropical algebra adapted to ordered valued fields. We focus on the…
We establish general weak majorization inequalities, relating the leading exponents of the eigenvalues of matrices or matrix polynomials over the field of Puiseux series with the tropical analogues of eigenvalues. We also show that these…
We study the tropical analogue of the notion of polar of a cone, working over the semiring of tropical numbers with signs. We characterize the cones which arise as polars of sets of tropically nonnegative vectors by an invariance property…
It is known that for a totally positive (TP) matrix, the eigenvalues are positive and distinct and the eigenvector associated with the smallest eigenvalue is totally nonzero and has an alternating sign pattern. Here, a certain weakening of…
We study the subgroup structure of the semigroup of finitary tropical matrices under multiplication. We show that every maximal subgroup is isomorphic to the full linear automorphism group of a related tropical polytope, and that each of…
We study the tropicalization of the cone of positive semidefinite matrices over the ordered field of real Puiseux series. The tropical PSD matrices form the normal cone of the Newton polytope of the symmetric determinant at the vertex…
We show that every tropical totally positive matrix can be uniquely represented as the transfer matrix of a canonical totally connected weighted planar network. We deduce a uniqueness theorem for the factorization of a tropical totally…
The set of infinite upper-triangular totally positive Toeplitz matrices has a classical parametrisation proved by Edrei et al and originally conjectured by Schoenberg, that involves pairs of sequences of positive real parameters. These…
We introduce tropical spectrahedra, defined as the images by the nonarchimedean valuation of spectrahedra over the field of real Puiseux series. We provide an explicit polyhedral characterization of generic tropical spectrahedra, involving…
We study the tropicalization of the image of the cone of positive definite matrices under the principal minors map. It is a polyhedral subset of the set of $M$-concave functions on the discrete $n$-dimensional cube. We show it coincides…
We study the totally non-negative part of the complete flag variety and of its tropicalization. We start by showing that Lusztig's notion of non-negative complete flag variety coincides with the flags in the complete flag variety which have…
We study the totally nonnegative part of the complete flag variety and of its tropicalization. We show that Lusztig's notion of nonnegative complete flag variety coincides with the flags in the complete flag variety which have nonnegative…
We initiate the study of positive-tropical generators as positive analogues of the concept of tropical bases. Applying this to the tropicalization of determinantal varieties, we develop criteria for characterizing their positive part. We…
We study the relation between the integer tropical points of a cluster variety (satisfying the full Fock-Goncharov conjecture) and the totally positive part of the tropicalization of an ideal presenting the corresponding cluster algebra.…
We establish a factorisation theorem for invertible, cross-symmetric, totally nonnegative matrices, and illustrate the theory by verifying that certain cases of Holte's Amazing Matrix are totally nonnegative.
Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). The theory of total positivity is a natural generalization of the study of matrices with all minors positive. In this paper we introduce the totally positive…
The tropicalization of a linear space over a non-archimedean field is a tropical linear space. In this paper, we present a method for computing the tropicalization of any lattice over a valuation ring. The resulting tropical semimodule is…
We show that the sequence of moduli of the eigenvalues of a matrix polynomial is log-majorized, up to universal constants, by a sequence of "tropical roots" depending only on the norms of the matrix coefficients. These tropical roots are…
In this paper we give a first study of perfect copositive $n \times n$ matrices. They can be used to find rational certificates for completely positive matrices. We describe similarities and differences to classical perfect, positive…
We prove the conjecture that, for any $n$, the monoid of all $n \times n$ tropical matrices satisfies nontrivial semigroup identities. To this end, we prove that the factor rank of a large enough power of a tropical matrix does not exceed…