Search arXiv⌕ Search

arXiv · 2610.06887

Spectral Equality for Tropical Totally Nonnegative Matrices: Dominant Cancellation and Newton Polygons

Abstract

Let $\mathbf A$ be a totally nonnegative matrix over a real closed non-Archimedean valued field, and suppose that its valuation $A$ is tropically totally nonnegative. Although the valuations of the classical eigenvalues are weakly majorized by the tropical eigenvalues of $A$, equality can fail through cancellation. We give a necessary and sufficient condition for equality. The only obstruction is dominant cancellation in the principal minors that give the essential coefficients of the tropical characteristic polynomial. In other words, equality holds exactly when the classical and tropical Newton polygons agree at the breakpoints determined by the diagonal entries. We describe the exceptional lifts by explicit polynomial equations in the leading coefficients. We also study these equations on each irreducible component of the admissible parameter space. Finally, we give a complete $3\times 3$ criterion and a family that contains both ordinary lifts with spectral equality and exceptional totally nonnegative lifts without it.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mohammadrahim Saeidi Dahaki, Seyed Mahmoud Manjegani. 2026-09-20. Spectral Equality for Tropical Totally Nonnegative Matrices: Dominant Cancellation and Newton Polygons. https://arxiv.org/abs/2610.06887

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homological subsets of Spec

We recover some data of a module $M$ from the Ext-family $\{Ext^i_R(M,R)\}$. In this regard, we investigate homological subsets of $Spec(R)$, defined by the help of Ext-family. For example, we present a situation for which $\bigcup_{i=0}^\infty Ass(Ext^i_R(M,R))$ is infinite, thereby answering a question of Vasconcelos. We extend Grothendieck's calculation of $dim(Ext^g_R(M,R))$ and present some new situations to calculate $dim(Ext^\ast_R(M,R))$. Also, we compute support and the set of all associated prime ideals of the Ext-family in a serial of nontrivial cases.

math.AC↗

On Stanley-Reisner Rings with Minimal Betti Numbers

We study simplicial complexes with a given number of vertices whose Stanley-Reisner ring has the minimal sum of Betti numbers. We prove that every full subcomplex of them is homotopy equivalent either to a point or to a sphere. Moreover, we prove that such kind of simplicial complexes coincide with those having minimal Taylor resolutions.

math.AC↗

Local-Cohen-Macaulay DG-rings with unequal finitistic projective dimensions

For every pair of integers $d,n\geq1$, we construct a commutative noetherian local-Cohen-Macaulay DG-ring $A$ such that $\dim H^0(A)=d$, $\mathrm{amp}(A)=n$, $\mathrm{fpd}(A)=d-n$, and $\mathrm{FPD}(A)=d$. This gives a negative answer to the implication from local-Cohen-Macaulayness to equality of the two finitistic projective dimensions in a question of Bird, Shaul, Sridhar, and Williamson.

math.AC↗