arXiv Science⌕ 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

On the (LC) conjecture

We prove the (LC) conjecture of Hochster and Huneke in some non-trivial cases. This has several applications. Recently, Brenner and Caminata answered a numerical evidence due to Dao and Smirnov on the shape of generalized Hilbert-Kunz functions of smooth curves. As applications, we first reprove this by a short argument. Then we give a proof of second numerical evidence predicted by Dao and Smirnov on the shape of generalized Hilbert-Kunz functions of nodal curves. Thirdly, we answer a question posted by Vraciu on the (LC) property of a proposed ring. Inspiring with the (LC) property, we present a connection to the stability theory. This leads us to investigate the stability and the strong semistability of the sheaf of relations on $\{x^2,y^2,z^2\}$ over the Klein's quartic curve. This answers questions of Brenner. After presenting a connection from (LC) to the $F$-threshold, we answer a question posted by Huneke et al. Additional applications and examples are given.

math.AC↗

Huneke's degree-computing problem

In this short note, we deal with a problem posted by Huneke on a numerical invariant attached to symbolic powers of homogenous ideals.

math.AC↗

Bounded powers of edge ideals: Nearly Gorenstein polytopes

A lattice polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called nearly Gorenstein if $\mathcal{P}$ is normal and if its Ehrhart ring is a nearly Gorenstein ring. We study nearly Gorenstein polytopes arising from discrete polymatroids of bounded powers of edge ideals. Especially, it is shown that every nearly Gorenstein polytope coming from either a complete graph or a complete bipartite graph is level.

math.AC↗