Source author record

Zur Izhakian

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.AC math.AG math.CO math.RT math.CT math.AT math.GR math.MG math.PR

Catalog footprint

Research overview

33works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Stratifications of the ray space of a tropical quadratic form by Cauchy-Schwartz functions

Classes of an equivalence relation on a module V over a supertropical semiring, called rays, carry the underlaying structure of "supertropical trigonometry" and thereby a version of convex geometry which is compatible with quasilinearity. In this theory the traditional Cauchy-Schwarz inequality is replaced by the CS-ratio which gives rise to special characteristic functions, called CS-functions. These functions partite the ray space Ray(V) into convex sets and establish a main tool for analyzing varieties of quasilinear stars in Ray(V). They provide stratifications of Ray(V) and therefore a finer convex analysis that helps for a better geometric understanding.

preprint2022arXiv

Subordinate quadratic forms and isometric maps over semirings

The paper expands the theory of quadratic forms on modules over a semiring R, introduced in [12]-[14], especially in the setup of tropical and supertropical algebra. Isometric linear maps induce subordination on quadratic forms, and provide a main tool in our current study. These maps allow lifts and pushdowns of quadratic forms on different modules, preserving basic characteristic properties.

preprint2020arXiv

Amalgamation and extensions of summand absorbing modules over a semiring

A submodule $W$ of $V$ is summand absorbing, if $x + y \in W$ implies $x \in W, \; y \in W$ for any $x, y \in V$ . Such submodules often appear in modules over (additively) idempotent semirings, particularly in tropical algebra. This paper studies amalgamation and extensions of these submodules, and more generally of upper bound modules.

preprint2020arXiv

Tropical linear representations of the Chinese monoid

We introduce a faithful tropical linear representation of the Chinese monoid, and thus prove that this monoid admits all the semigroup identities satisfied by tropical triangular matrices.

preprint2016arXiv

Pure Dimension and Projectivity of Tropical Polytopes

We study how geometric properties of tropical convex sets and polytopes, which are of interest in many application areas, manifest themselves in their algebraic structure as modules over the tropical semiring. Our main results establish a close connection between pure dimension of tropical convex sets, and projectivity (in the sense of ring theory). These results lead to a geometric understanding of idempotency for tropical matrices. As well as their direct interest, our results suggest that there is substantial scope to apply ideas and techniques from abstract algebra (in particular, ring theory) in tropical geometry.

preprint2015arXiv

Decompositions of modules lacking zero sums

A direct sum decomposition theory is developed for direct summands (and complements) of modules over a semiring $R$ , having the property that $v+w = 0$ implies $v = 0$ and $w = 0$ . Although this never occurs when $R$ is a ring, it always does holds for free modules over the max-plus semiring and related semirings. In such situations, the direct complement is unique, and the decomposition is unique up to refinement. Thus, every finitely generated projective module is a finite direct sum of summands of $R$ (assuming the mild assumption that $1$ is a finite sum of orthogonal primitive idempotents of $R$ ). Some of the results are presented more generally for weak complements and semidirect complements. We conclude by examining the obstruction to the "upper bound" property in this context.

preprint2015arXiv

Quadratic and Symmetric Bilinear Forms on Modules with Unique Base Over a Semiring

We study quadratic forms on free modules with unique base, the situation that arises in tropical algebra, and prove the analog of Witt's Cancellation Theorem. Also, the tensor product of an indecomposable bilinear module $(U, γ)$ with an indecomposable quadratic module $(V,q)$ is indecomposable, with the exception of one case, where two indecomposable components arise.

preprint2015arXiv

Supertropical Quadratic Forms I

We initiate the theory of a quadratic form $q$ over a semiring $R$ . As customary, one can write $q(x+y) = q(x) + q(y)+ b(x,y),$ where $b$ is a companion bilinear form. But in contrast to the ring-theoretic case, the companion bilinear form need not be uniquely defined. Nevertheless, $q$ can always be written as a sum of quadratic forms $q = κ+ ρ,$ where $κ$ is quasilinear in the sense that $κ(x+y) = κ(x) + κ(y),$ and $ρ$ is rigid in the sense that it has a unique companion. In case that $R$ is a supersemifield (cf. Definition 4.1 below) and $q$ is defined on a free $R$ -module, we obtain an explicit classification of these decompositions $q = κ+ ρ$ and of all companions $b$ of $q$ . As an application to tropical geometry, given a quadratic form $q: V \to R$ on a free module $V$ over a commutative ring $R$ and a supervaluation $φ:R \to U$ with values in a supertropical semiring [5], we define - after choosing a base $L=(v_i | i\in I)$ of $V$ - a quadratic form $q^φ: U^{(I)} \to U$ on the free module $U^{(I)}$ over the semiring $U$ . The analysis of quadratic forms over a supertropical semiring enables one to measure the "position" of $q$ with respect to $L$ via $φ$ .

preprint2015arXiv

Supertropical Quadratic Forms II

This article is a sequel of [4], where we introduced quadratic forms on a module~ $V$ over a supertropical semiring $R$ and analysed the set of bilinear companions of a quadratic form $q: V \to R$ in case that the module $V$ is free, with fairly complete results if $R$ is a supersemifield. Given such a companion $b$ we now classify the pairs of vectors in $V$ in terms of $(q,b).$ This amounts to a kind of tropical trigonometry with a sharp distinction between the cases that a sort of Cauchy-Schwarz inequality holds or fails. We apply this to study the supertropicalizations (cf. [4]) of a quadratic form on a free module $X$ over a field in the simplest cases of interest where $rk(X) = 2$ . In the last part of the paper we start exploiting the fact that the free module $V$ as above has a unique base up to permutations and multiplication by units of $R$ , and moreover~ $V$ carries a so called minimal (partial) ordering. Under mild restriction on~ $R$ we determine all $q$ -minimal vectors in $V$ , i.e., the vectors $x \in V$ for which $q(x') < q(x)$ whenever $x' < x.$

preprint2014arXiv

Congruences and coordinate semirings of tropical varieties

In this paper we present two intrinsic algebraic definitions of tropical variety motivated by the classical Zariski correspondence, one utilizing the algebraic structure of the coordinate semiring of an affine supertropical algebraic set, and the second based on the layered structure. We tie them to tropical geometry, especially in connection with the dimension of an affine variety.

preprint2013arXiv

Algebraic structures of tropical mathematics

Tropical mathematics often is defined over an ordered cancellative monoid $\tM$, usually taken to be $(\RR, +)$ or $(\QQ, +)$. Although a rich theory has arisen from this viewpoint, cf. [L1], idempotent semirings possess a restricted algebraic structure theory, and also do not reflect certain valuation-theoretic properties, thereby forcing researchers to rely often on combinatoric techniques. In this paper we describe an alternative structure, more compatible with valuation theory, studied by the authors over the past few years, that permits fuller use of algebraic theory especially in understanding the underlying tropical geometry. The idempotent max-plus algebra $A$ of an ordered monoid $\tM$ is replaced by $R: = L\times \tM$, where $L$ is a given indexing semiring (not necessarily with 0). In this case we say $R$ layered by $L$ . When $L$ is trivial, i.e, $L=\{1\}$ , $R$ is the usual bipotent max-plus algebra. When $L=\{1,\infty\}$ we recover the "standard" supertropical structure with its "ghost" layer. When $L = \NN $ we can describe multiple roots of polynomials via a "layering function" $s: R \to L$ . Likewise, one can define the layering $s: R^{(n)} \to L^{(n)}$ componentwise; vectors $v_1, \dots, v_m$ are called tropically dependent if each component of some nontrivial linear combination $\sum \a_i v_i$ is a ghost, for "tangible" $\a_i \in R$. Then an $n\times n$ matrix has tropically dependent rows iff its permanent is a ghost. We explain how supertropical algebras, and more generally layered algebras, provide a robust algebraic foundation for tropical linear algebra, in which many classical tools are available. In the process, we provide some new results concerning the rank of d-independent sets (such as the fact that they are semi-additive),put them in the context of supertropical bilinear forms, and lay the matrix theory in the framework of identities of semirings.

preprint2013arXiv

Semigroup identities in the monoid of triangular tropical matrices

We show that the submonoid of all nxn triangular tropical matrices satisfies a nontrivial semigroup identity and provide a generic construction for classes of such identities. The utilization of the Fibonacci number formula gives us an upper bound on the length of these 2-variable semigroup identities.

preprint2013arXiv

The ultimate rank of tropical matrices

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 semigroups of matrices, for which our notion of ultimate rank is generalized naturally. We provide both combinatorial and geometric characterizations of semigroups having maximal ultimate rank. As a byproduct, we obtain a polynomial algorithm to decide if the ultimate rank of a finitely generated semigroup is maximal.

preprint2012arXiv

Boolean Representations of Matroids and Lattices

We introduce a new representation concept for lattices by boolean matrices, and utilize it to prove that any matroid is boolean representable. We show that such a representation can be easily extracted from a representation of the associated lattice of flats of the matroid, leading also to a tighter bound on the representation's size. Consequently, we obtain a linkage of boolean representations with geometry in a very natural way.

preprint2012arXiv

Categorical notions of layered tropical algebra and geometry

This paper supplements [17], showing that categorically the layered theory is the same as the theory of ordered monoids (e.g. the max-plus algebra) used in tropical mathematics. A layered theory is developed in the context of categories, together with a "tropicalization functor" which permits us to pass from usual algebraic geometry to the tropical world. We consider tropical varieties from this categorical viewpoint, with emphasis on polynomial functions and their roots.

preprint2012arXiv

Categories of layered semirings

We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended accordingly, to cover noncancellative monoids.

preprint2012arXiv

Dual Spaces and Bilinear Forms in Supertropical Linear Algebra

Continuing [5], this paper investigates finer points of supertropical vector spaces, including dual bases and bilinear forms, with supertropical versions of standard classical results such as the Gram-Schmidt theorem and Cauchy-Schwarz inequality, and change of base. We also present the supertropical version of quadratic forms, and see how they correspond to symmetric supertropical bilinear forms.

preprint2012arXiv

Tropical matrix groups

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 these groups is the direct product of the real numbers with a finite group. We also show that there is a natural and canonical embedding of each full rank maximal subgroup into the group of units of the semigroup of matrices over the tropical semiring with minus infinity. Our results have numerous corollaries, including the fact that every automorphism of a projective (as a module) tropical polytope of full rank extends to an automorphism of the containing space, and that every full rank subgroup has a common eigenvector.

preprint2011arXiv

C-independence and c-rank of posets and lattices

Continuing with the authors concept (and results) of defining independence for columns of a boolean and superboolean matrix, we apply this theory to finite lattices and finite posets, introducing boolean and superboolean matrix representations for these objects. These representations yield the new concept of c-independent subsets of lattices and posets, for which the notion of c-rank is determined as the cardinality of the largest c-independent subset. We characterize this c-rank and show that c-independent subsets have a very natural interpretation in term of the maximal chains of the Hasse diagram and the associated partitions of the lattice. This realization has direct important connections with chamber systems.

preprint2011arXiv

Dominance and Transmissions in Supertropical Valuation Theory

This paper is a sequel of [IKR1], where we defined supervaluations on a commutative ring $R$ and studied a dominance relation $ϕ\geq ψ$ between supervaluations $ϕ$ and $ψ$ on $R$ , aiming at an enrichment of the algebraic tool box for use in tropical geometry. A supervaluation $ϕ:R \to U$ is a multiplicative map from $R$ to a supertropical semiring $U$ , cf. [IR1], [IR2], [IKR1], with further properties, which mean that $ϕ$ is a sort of refinement, or covering, of an m-valuation (= monoid valuation) $v: R \to M$ . In the most important case, that $R$ is a ring, m-valuations constitute a mild generalization of valuations in the sense of Bourbaki [B], while $ϕ\geq ψ$ means that $ψ: R \to V$ is a sort of coarsening of the supervaluation $ϕ$ . If $ϕ(R)$ generates the semiring $U$ , then $ϕ\geq ψ$ iff there exists a "transmission" $α: U \to V$ with $ψ= α\circ ϕ$ . Transmissions are multiplicative maps with further properties, cf. [IKR1, Sec. 5]. Every semiring homomorphism $α: U \to V$ is a transmission, but there are others which lack additivity, and this causes a major difficulty. In the main body of the paper we study surjective transmissions via equivalence relations on supertropical semirings, often much more complicated than congruences by ideals in usual commutative algebra.

preprint2011arXiv

Ideals of polynomial semirings in tropical mathematics

We describe the ideals, especially the prime ideals, of semirings of polynomials over layered domains, and in particular over supertropical domains. Since there are so many of them, special attention is paid to the ideals arising from layered varieties, for which we prove that every prime ideal is a consequence of finitely many binomials. We also obtain layered tropical versions of the classical Principal Ideal Theorem and Hilbert Basis Theorem.

preprint2011arXiv

Layered Tropical Mathematics

Generalizing supertropical algebras, we present a "layered" structure, "sorted" by a semiring which permits varying ghost layers, and indicate how it is more amenable than the "standard" supertropical construction in factorizations of polynomials, description of varieties, properties of the resultant, and for mathematical analysis and calculus, in particular with respect to multiple roots of polynomials. Explicit examples and comparisons are given for various sorting semirings such as the natural numbers and the positive rational numbers, and we see how this theory relates to some recent developments in the tropical literature such as "characteristic 1," "analytification," and "hyperfields."

preprint2011arXiv

Monoid Valuations and Value Ordered Supervaluations

We complement two papers on supertropical valuation theory ([IKR1],[IKR2]) by providing natural examples of m-valuations (= monoid valuations), after that of supervaluations and transmissions between them. The supervaluations discussed have values in totally ordered supertropical semirings, and the transmissions discussed respect the orderings. Basics of a theory of such semirings and transmissions are developed as far as needed.

preprint2011arXiv

New Representations of Matroids and Generalizations

We extend the notion of matroid representations by matrices over fields and consider new representations of matroids by matrices over finite semirings, more precisely over the boolean and the superboolean semirings. This idea of representations is generalized naturally to include also hereditary collections. We show that a matroid that can be directly decomposed as matroids, each of which is representable over a field, has a boolean representation, and more generally that any arbitrary hereditary collection is superboolean-representable.

preprint2011arXiv

Superboolean rank and the size of the largest triangular submatrix of a random matrix

We explore the size of the largest (permuted) triangular submatrix of a random matrix, and more precisely its asymptotical behavior as the size of the ambient matrix tends to infinity. The importance of such permuted triangular submatrices arises when dealing with certain combinatorial algebraic settings in which these submatrices determine the rank of the ambient matrix, and thus attract a special attention.

preprint2011arXiv

Supertropical Monoids: Basics, Canonical Factorization, and Lifting Ghosts to Tangibles

Supertropical monoids are a structure slightly more general than the supertropical semirings, which have been introduced and used by the first and the third authors for refinements of tropical geometry and matrix theory in [IR1]-[IR3], and then studied by us in a systematic way in [IKR1]-[IKR3] in connection with "supervaluations". In the present paper we establish a category $\STROP_m$ of supertropical monoids by choosing as morphisms the "transmissions", defined in the same way as done in [IKR1] for supertropical semirings. The previously investigated category $STROP$ of supertropical semirings is a full subcategory of $STROP_m.$ Moreover, there is associated to every supertropical monoid $V$ a supertropical semiring $\hat V$ in a canonical way. A central problem in [IKR1]-[IKR3] has been to find for a supertropical semiring $U$ the quotient $U/E$ by a "TE-relation", which is a certain kind of equivalence relation on the set $U$ compatible with multiplication (cf. [IK1, Definition 4.5]). It turns out that this quotient always exists in $\STROP_m$. In the good case, that $U/E$ is a supertropical semiring, this is also the right quotient in $\STROP.$ Otherwise, analyzing $(U/E)^\wedge,$ we obtain a mild modification of $E$ to a TE-relation $E'$ such that $U/E' = (U/E)^\wedge$ in $\STROP.$ In this way we now can solve various problems left open in [IKR1], [IKR2] and gain further insight into the structure of transmissions and supervaluations. Via supertropical monoids we also obtain new results on totally ordered supervaluations and monotone transmissions studied in [IKR3].

preprint2010arXiv

A Glimpse at Supertropical Valuation Theory

We give a short tour through major parts of a recent long paper [IKR1] on supertropical valuation theory, leaving aside nearly all proofs (to be found in [IKR1]). In this way we hope to give easy access to ideas of a new branch of so called "supertropical algebra".

preprint2010arXiv

Representation Theory of Finite Semigroups over Semirings

We develop the representation theory of a finite semigroup over an arbitrary commutative semiring with unit, in particular classifying the irreducible and minimal representations. The results for an arbitrary semiring are as good as the results for a field. Special attention is paid to the boolean semiring, where we also characterize the simple representations and introduce the beginnings of a character theory.

preprint2010arXiv

Supertropical linear algebra

The objective of this paper is to lay out the algebraic theory of supertropical vector spaces and linear algebra, utilizing the key antisymmetric relation of ``ghost surpasses.''Special attention is paid to the various notions of ``base,'' which include d-base and s-base, and these are compared to other treatments in the tropical theory. Whereas the number of elements in a d-base may vary according to the d-base, it is shown that when an s-base exists, it is unique up to permutation and multiplication by scalars, and can be identified with a set of ``critical'' elements. Linear functionals and the dual space are also studied, leading to supertropical bilinear forms and a supertropical version of the Gram matrix, including its connection to linear dependence, as well as a supertropical version of a theorem of Artin.

preprint2010arXiv

Supertropical matrix algebra III: Powers of matrices and generalized eigenspaces

We investigate powers of supertropical matrices, with special attention to the role of the coefficients of the supertropical characteristic polynomial (especially the supertropical trace) in controlling the rank of a power of a matrix. This leads to a Jordan-type decomposition of supertropical matrices, together with a generalized eigenspace decomposition of a power of an arbitrary supertropical matrix.

preprint2010arXiv

Supertropical semirings and supervaluations

We interpret a valuation $v$ on a ring $R$ as a map $v: R \to M$ into a so called bipotent semiring $M$ (the usual max-plus setting), and then define a \textbf{supervaluation} $ϕ$ as a suitable map into a supertropical semiring $U$ with ghost ideal $M$ (cf. [IR1], [IR2]) covering $v$ via the ghost map $U \to M$ . The set $\Cov(v)$ of all supervaluations covering $v$ has a natural ordering which makes it a complete lattice. In the case that $R$ is a field, hence for $v$ a Krull valuation, we give a complete explicit description of $\Cov(v)$. The theory of supertropical semirings and supervaluations aims for an algebra fitting the needs of tropical geometry better than the usual max-plus setting. We illustrate this by giving a supertropical version of Kapranov's lemma.

preprint2008arXiv

Tropical Algebraic Sets, Ideals and An Algebraic Nullstellensatz

This paper introduces the foundations of the polynomial algebra and basic structures for algebraic geometry over the extended tropical semiring. Our development, which includes the tropical version for the fundamental theorem of algebra, leads to the reduced polynomial semiring -- a structure that provides a basis for developing a tropical analogue to the classical theory of commutative algebra. The use of the new notion of tropical algebraic com-sets, built upon the complements of tropical algebraic sets, eventually yields the tropical algebraic Nullstellensatz.

preprint2008arXiv

Tropical Arithmetic and Tropical Matrix Algebra

This paper introduces a new structure of commutative semiring, generalizing the tropical semiring, and having an arithmetic that modifies the standard tropical operations, i.e. summation and maximum. Although our framework is combinatorial, notions of regularity and invertibility arise naturally for matrices over this semiring; we show that a tropical matrix is invertible if and only if it is regular.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Zur Izhakian

Research overview

Is this your work?

33 publications

Stratifications of the ray space of a tropical quadratic form by Cauchy-Schwartz functions

Subordinate quadratic forms and isometric maps over semirings

Amalgamation and extensions of summand absorbing modules over a semiring

Tropical linear representations of the Chinese monoid

Pure Dimension and Projectivity of Tropical Polytopes

Decompositions of modules lacking zero sums

Quadratic and Symmetric Bilinear Forms on Modules with Unique Base Over a Semiring

Supertropical Quadratic Forms I

Supertropical Quadratic Forms II

Congruences and coordinate semirings of tropical varieties

Algebraic structures of tropical mathematics

Semigroup identities in the monoid of triangular tropical matrices

The ultimate rank of tropical matrices

Boolean Representations of Matroids and Lattices

Categorical notions of layered tropical algebra and geometry

Categories of layered semirings

Dual Spaces and Bilinear Forms in Supertropical Linear Algebra

Tropical matrix groups

C-independence and c-rank of posets and lattices

Dominance and Transmissions in Supertropical Valuation Theory

Ideals of polynomial semirings in tropical mathematics

Layered Tropical Mathematics

Monoid Valuations and Value Ordered Supervaluations

New Representations of Matroids and Generalizations

Superboolean rank and the size of the largest triangular submatrix of a random matrix

Supertropical Monoids: Basics, Canonical Factorization, and Lifting Ghosts to Tangibles

A Glimpse at Supertropical Valuation Theory

Representation Theory of Finite Semigroups over Semirings

Supertropical linear algebra

Supertropical matrix algebra III: Powers of matrices and generalized eigenspaces

Supertropical semirings and supervaluations

Tropical Algebraic Sets, Ideals and An Algebraic Nullstellensatz

Tropical Arithmetic and Tropical Matrix Algebra

See the researcher in context

Building this map preview