K. H. Kim, F. W. Roush
We show that determining Kapranov rank of tropical matrices is not only NP-hard over any infinite field but also if solving Diophantine equations over the rational numbers is undecidable, then determining Kapranov rank over the rational numbers is undecidable. We prove that Kapranov rank of tropical matrices is not bounded in terms of tropical rank, answering a question of Develin, Santos, and Sturmfels.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We provide an example of a 6-by-6 matrix with tropical rank equal to 4 and Kapranov rank equal to 5. This answers a question asked by M. Chan, A. Jensen, and E. Rubei.
In this note, we generalize the technique developed in [13] and prove that every 5xn matrix of tropical rank at most 3 has Kapranov rank at most 3, for the ground field that contains at least 4 elements. For the ground field either F_2 or F_3, we construct an example of a 5x5 matrix with tropical rank 3 and Kapranov rank 4.
We prove that, for any g greater or equal than 3, a matrix g x 5 with tropical rank 3 has Kapranov rank 3.
This paper proves the $r \times r$ minors of an $n \times n$ symmetric matrix of indeterminates are a tropical basis when $r = 2$, $r = 3$, or $r = n$, and are not when $4 < r < n$ or $r = 4, n > 12$. In the process, it introduces two new notions of rank for symmetric matrices coming from tropical geometry, the symmetric tropical and the symmetric Kapranov rank, which are the symmetric versions of their standard counterparts defined by Develin, Santos, and Sturmfels.
We compute the space of 5x5 matrices of tropical rank at most 3 and show that it coincides with the space of 5x5 matrices of Kapranov rank at most 3, that is, the space of five labeled coplanar points in TP4. We then prove that the Kapranov rank of every 5xn matrix equals its tropical rank; equivalently, that the 4x4 minors of a 5xn matrix of variables form a tropical basis. This answers a question asked by Develin, Santos, and Sturmfels.
We continue to study the rank functions of tropical matrices. In this paper, we explain how to reduce the computation of ranks for matrices over the `supertropical semifield' to the standard tropical case. Using a counting approach, we prove the existence of a $01$-matrix with many ones and without large all-one submatrices, and we put our results together and construct an $n\times n$ matrix with tropical rank $o(n^{0.5+\varepsilon})$ and Kapranov rank $n-o(n)$.
This is a foundational paper in tropical linear algebra, which is linear algebra over the min-plus semiring. We introduce and compare three natural definitions of the rank of a matrix, called the Barvinok rank, the Kapranov rank and the tropical rank. We demonstrate how these notions arise naturally in polyhedral and algebraic geometry, and we show that they differ in general. Realizability of matroids plays a crucial role here. Connections to optimization are also discussed.
We introduce and study three different notions of tropical rank for symmetric and dissimilarity matrices in terms of minimal decompositions into rank 1 symmetric matrices, star tree matrices, and tree matrices. Our results provide a close study of the tropical secant sets of certain nice tropical varieties, including the tropical Grassmannian. In particular, we determine the dimension of each secant set, the convex hull of the variety, and in most cases, the smallest secant set which is equal to the convex hull.
A tropical matrix is a matrix defined over the max-plus semiring. For such matrices, there exist several non-coinciding notions of rank: the row rank, the column rank, the Schein/Barvinok rank, the Kapranov rank, or the tropical rank, among others. In the present paper, we show that there exists a natural notion of ultimate rank for the powers of a tropical matrix, which does not depend on the underlying notion of rank. Furthermore, we provide a simple formula for the ultimate rank of a matrix which can therefore be computed in polynomial time. Then we turn our attention to finitely generated …
Matrix factorization problems over various semirings naturally arise in different contexts of modern pure and applied mathematics. These problems are very hard in general and cause computational difficulties in applications. We give a survey of what is known on the algorithmic complexity of Boolean, fuzzy, tropical, nonnegative, and positive semidefinite factorizations, and we examine the behavior of the corresponding rank functions on matrices of bounded bandwidth. We show that the Boolean, fuzzy, and tropical versions of matrix factorization become polynomial time solvable when restricted to…
Higher rank Gelfand-Kapranov-Zelevinsky fans
本文研究高阶GKZ扇形，通过点配置构造高阶拟估值，将相关紧致簇平坦退化为减少的紧致簇联合体，编码点配置的多面体细分。
The space T_{d,n} of n tropically collinear points in a fixed tropical projective space TP^{d-1} is equivalent to the tropicalization of the determinantal variety of matrices of rank at most 2, which consists of real d x n matrices of tropical or Kapranov rank at most 2, modulo projective equivalence of columns. We show that it is equal to the image of the moduli space M_{0,n}(TP^{d-1},1) of n-marked tropical lines in TP^{d-1} under the evaluation map. Thus we derive a natural simplicial fan structure for T_{d,n} using a simplicial fan structure of M_{0,n}(TP^{d-1},1) which coincides with that…
In this paper we further develop the theory of matrices over the extended tropical semiring. Introducing a notion of tropical linear dependence allows for a natural definition of matrix rank in a sense that coincides with the notions of tropical regularity and invertibility.
Let $A$ be a real matrix. The term rank of $A$ is the smallest number $t$ of lines (that is, rows or columns) needed to cover all the nonzero entries of $A$. We prove a conjecture of Li et al. stating that, if the rank of $A$ exceeds $t-3$, there is a rational matrix with the same sign pattern and rank as those of $A$. We point out a connection of the problem discussed with the Kapranov rank function of tropical matrices, and we show that the statement fails to hold in general if the rank of $A$ does not exceed $t-3$.
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 the tropical rank of the original matrix.
Equality of tropical rank and dimension for semimodules of tropical rational functions, and computational aspects
本文证明了热带有理函数semimodule的热带秩等于其拓扑维数，并探讨了计算热带秩的复杂性。
Proto-Exact Categories of Matroids over Idylls and Tropical Toric Reflexive Sheaves
本文证明idyll上拟阵范畴是proto-exact和proto-abelian，并由此推出热带环面自反层范畴也具有这些性质，进而研究其稳定性与Harder-Narasimhan滤过。
We construct a space classifying divisor classes of a fixed degree on all tropical curves of a fixed combinatorial type and show that the function taking a divisor class to its rank is upper semicontinuous. We extend the definition of the Brill-Noether rank of a metric graph to tropical curves and use the upper semicontinuity of the rank function on divisors to show that the Brill-Noether rank varies upper semicontinuously in families of tropical curves. Furthermore, we present a specialization lemma relating the Brill-Noether rank of a tropical curve with the dimension of the Brill-Noether lo…
The tropical semiring (R, min, +) has enjoyed a recent renaissance, owing to its connections to mathematical biology as well as optimization and algebraic geometry. In this paper, we investigate the space of labeled n-point configurations lying on a tropical line in d-space, which is interpretable as the space of n-species phylogenetic trees. This is equivalent to the space of d by n matrices of tropical rank two, a simplicial complex. We prove that this simplicial complex is shellable for dimension d=3 and compute its homology in this case, conjecturing that this complex is shellable in gener…
Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lov{á}sz and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of bounded tree-width. We introduce join matrices, a generalization of connection matrices, and allow graph parameters to take values in the tropical rings (max-plus algebras) over the real numbers. We show that rank-finiteness of join matrices implies that these graph parameters can be computed in polynomial time on graph classes of bounded clique-wi…
Asymptotic Behavior of Tropical Rank Functions
本文研究了热带曲线上的两个主要秩概念的渐进行为，引入了与除子和热带模相关的热带体积概念，并证明了每种情况下的最优渐进行果，同时展示了热带体积与曲线的热带化相容性。
We investigate, using purely combinatorial methods, structural and algorithmic properties of linear equivalence classes of divisors on tropical curves. In particular, an elementary proof of the Riemann-Roch theorem for tropical curves, similar to the recent proof of the Riemann-Roch theorem for graphs by Baker and Norine, is presented. In addition, a conjecture of Baker asserting that the rank of a divisor D on a (non-metric) graph is equal to the rank of D on the corresponding metric graph is confirmed, and an algorithm for computing the rank of a divisor on a tropical curve is constructed.
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 corresponding to the product of diagonal entries. We find generators and defining inequalities of the cone. The PSD tropical quadratic forms are those that induce the trivial subdivision on the standard simplex dilated by two. We also show that the tropical PSD cone is the tropical convex hull of the set of symmetric matrices of tropical rank one and that every t…
The Tropical Variety of Symmetric Rank 2 Matrices
研究对称秩2矩阵簇的热带化，证明其具有对称双色树空间的可剥壳单纯复形结构，讨论相关拟阵结构并给出对称双色树数量的生成函数。
Real and Positive Tropicalizations of Symmetric Determinantal Varieties
本文研究了Puiseux级数上低秩对称矩阵簇的实与正热带化，证明了实与复热带化在秩二和余秩一情形下一致，并揭示了Speyer和Williams提出的两种正热带化概念在相同条件下的异同。
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 focus on the study of low-rank matrices, in particular matrices of rank 2 and 3. Moreover, in the case square-matrices of corank 1, we fully classify the signed tropicalization of the determinantal variety, even beyond the positive part.
We show factorization of polynomials in one variable over the tropical semiring is in general NP-complete, either if all coefficients are finite, or if all are either 0 or infinity (Boolean case). We give algorithms for the factorization problem which are not polynomial time in the degree, but are polynomial time for polynomials of fixed degree. For two-variable polynomials we derive an irreducibility criterion which is almost always satisfied, even for fixed degree, and is polynomial time in the degree. We prove there are unique least common multiples of tropical polynomials, but not unique g…
We investigate different notions of linear independence and of matrix rank that are relevant for max-plus or tropical semirings. The factor rank and tropical rank have already received attention, we compare them with the ranks defined in terms of signed tropical determinants or arising from a notion of linear independence introduced by Gondran and Minoux. To do this, we revisit the symmetrization of the max-plus algebra, establishing properties of linear spaces, linear systems, and matrices over the symmetrized max-plus algebra. In parallel we develop some general technique to prove combinator…
This paper uses the combinatorics of Young tableaux to prove the plactic monoid of infinite rank does not satisfy a non-trivial identity, by showing that the plactic monoid of rank $n$ cannot satisfy a non-trivial identity of length less than or equal to $n$. A new identity is then proven to hold for the monoid of $n \times n$ upper-triangular tropical matrices. Finally, a straightforward embedding is exhibited of the plactic monoid of rank $3$ into the direct product of two copies of the monoid of $3\times 3$ upper-triangular tropical matrices, giving a new proof that the plactic monoid of ra…
We consider a variant of metrised graphs where the edge lengths take values in a commutative monoid, as a higher-rank generalisation of the notion of a tropical curve. Divisorial gonality, which Baker and Norine defined on combinatorial graphs in terms of a chip firing game, is extended to these monoid-metrised graphs. We define geometric gonality of a monoid-metrised graph as the minimal degree of a horizontally conformal, non-degenerate morphism onto an monoid-metrised tree, and prove that geometric gonality is an upper bound for divisorial gonality in the monoid-metrised case. We also show …
Building on the weak CSR approach developed in a previous paper by Merlet, Nowak and Sergeev, we establish new bounds for the periodicity threshold of the powers of a tropical matrix. According to that approach, bounds on the ultimate periodicity threshold take the form of T=max(T_1,T_2), where T_1 is a bound on the time after which the weak CSR expansion starts to hold and T_2 is a bound on the time after which the first CSR term starts to dominate. The new bounds on T_1 and T_2 established in this paper make use of the cyclicity of the associated graph and the (tropical) factor rank of the m…
We exhibit a faithful representation of the plactic monoid of every finite rank as a monoid of upper triangular matrices over the tropical semiring. This answers a question first posed by Izhakian and subsequently studied by several authors. A consequence is a proof of a conjecture of Kubat and Okniński that every plactic monoid of finite rank satisfies a non-trivial semigroup identity. In the converse direction, we show that every identity satisfied by the plactic monoid of rank $n$ is satisfied by the monoid of $n \times n$ upper triangular tropical matrices. In particular this implies that …
A topological space associated to corank 1 tropical phased matroids
本文通过证明无环秩为n-1的热带相化拟阵的拓扑序复形同胚于(2n-3)-球面，将Folkman-Lawrence拓扑表示定理推广至热带相化拟阵。
Universality for tropical and logarithmic maps
本文证明每个环面幺半群都出现在从热带曲线到卦限的映射空间中，从而得出对数映射到Artin扇的空间展示任意环面奇点，即对数映射到配对的一个虚拟普适性定理。
A tropical version of Martens' theorem for metric graphs
本文研究了度量图中Martens定理的热带版本，通过Brill-Noether秩探讨猜想的成立条件，并提出新的反例类别及严格限制下的证明。
Sign-coherence and tropical sign pattern for rank $3$ real cluster-cyclic exchange matrices
本文研究了秩3实簇循环交换矩阵的c向量符号一致性，证明了其与二次方程根的关系，并展示了对应的交换图结构及二面体群的簇实现。
The aim of this paper is to introduce a certain number of tools and results suitable for the study of valuations of higher rank on function fields of algebraic varieties. This will be based on a study of higher rank quasi-monomial valuations taking values in the lexicographically ordered group R^k. We prove a duality theorem that gives a geometric realization of higher rank quasi-monomial valuations as tangent cones of dual cone complexes. Using this duality, we provide an analytic description of quasi-monomial valuations as multi-directional derivative operators on tropical functions. We cons…
We introduce and study polystable divisors on a tropical curve, which are the tropical analogue of polystable torsion-free rank-1 sheaves on a nodal curve. We construct a universal tropical Jacobian over the moduli space of tropical curves of genus $g$. This space parametrizes equivalence classes of tropical curves of genus $g$ together with a $μ$-polystable divisor, and can be seen as a tropical counterpart of Caporaso universal Picard scheme. We describe polyhedral decompositions of the Jacobian of a tropical curve via polystable divisors, relating them with other known polyhedral decomposit…
We exhibit a faithful representation of the stylic monoid of every finite rank as a monoid of upper unitriangular matrices over the tropical semiring. Thus, we show that the stylic monoid of finite rank $n$ generates the pseudovariety $\boldsymbol{\mathcal{J}}_n$, which corresponds to the class of all piecewise testable languages of height $n$, in the framework of Eilenberg's correspondence. From this, we obtain the equational theory of the stylic monoids of finite rank, show that they are finitely based if and only if $n \leq 3$, and that their identity checking problem is decidable in linear…
A tropical framework for using Porteous formula
本文提出一种热带框架，利用分裂原理证明了Porteous公式在热带几何中的应用，通过研究特征类和退化领域的基本类来建立其理论基础。
A transversal matroid $M$ of rank $r$ on $[n]$ can be associated to a family of binary matrices corresponding to different presentations of $M$. We describe those matrices which arise from unique maximal presentations of size $r$- giving a complete characterization when $r=2$-, give an algorithm for producing such a matrix, and show that determining whether a matrix corresponds to a maximal presentation is related to determining the tropical rank of arbitrary matrices.
We present an unexpected application of tropical convexity to the determination of invariants for linear systems of differential equations. We show that the classical Gérard-Levelt lattice saturation procedure can be geometrically understood in terms of a projection on the tropical linear space attached to a subset of the local affine Bruhat-Tits building, that we call the Gérard-Levelt membrane. This provides a way to compute the true Poincaré rank, but also the Katz rank of a meromorphic connection without having to perform gauge transforms nor ramifications of the variable. We finally prese…
Every tropical ideal in the sense of Maclagan-Rincón has an associated tropical variety, a finite polyhedral complex equipped with positive integral weights on its maximal cells. This leads to the realisability question, ubiquitous in tropical geometry, of which weighted polyhedral complexes arise in this manner. Using work of Las Vergnas on the non-existence of tensor products of matroids, we prove that there is no tropical ideal whose variety is the Bergman fan of the direct sum of the Vámos matroid and the uniform matroid of rank two on three elements, and in which all maximal cones have we…
Matroidal representations of low rank
本文研究有限群布尔正则表示的热带子表示（等价于具特定自同构的拟阵），完全分类了秩3时的此类子表示，阿贝尔群情形推广了戈隆尺，还引入了由有限集等价关系得到的拟阵类。
We introduce a notion of dimension of max-min convex sets, following the approach of tropical convexity. We introduce a max-min analogue of the tropical rank of a matrix and show that it is equal to the dimension of the associated polytope. We describe the relation between this rank and the notion of strong regularity in max-min algebra, which is traditionally defined in terms of unique solvability of linear systems and trapezoidal property.
Motivated by applications to low-rank matrix completion, we give a combinatorial characterization of the independent sets in the algebraic matroid associated to the collection of $m\times n$ rank-2 matrices and $n\times n$ skew-symmetric rank-2 matrices. Our approach is to use tropical geometry to reduce this to a problem about phylogenetic trees which we then solve. In particular, we give a combinatorial description of the collections of pairwise distances between several taxa that may be arbitrarily prescribed while still allowing the resulting dissimilarity map to be completed to a tree met…
A metric graph is a geometric realization of a finite graph by identifying each edge with a real interval. A divisor on a metric graph $Γ$ is an element of the free abelian group on $Γ$. The rank of a divisor on a metric graph is a concept appearing in the Riemann-Roch theorem for metric graphs (or tropical curves) due to Gathmann and Kerber, and Mikhalkin and Zharkov. We define a \emph{rank-determining set} of a metric graph $Γ$ to be a subset $A$ of $Γ$ such that the rank of a divisor $D$ on $Γ$ is always equal to the rank of $D$ restricted on $A$. We show constructively in this paper that t…
Residue Constraints in the Rank-Three Lifting Problem for Projective-Plane Incidence Matrices
研究有限射影平面的秩三提升问题，通过余数级行列式约束揭示隐含结构，证明在余数特征不等于3时，任何秩≤3的提升必须包含大量非平凡余数交叉比的2×2零矩形，且对于q≥6，不存在单项秩≤3的提升。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。