Related papers: Geometry and algorithms for upper triangular tropi…

We establish necessary and sufficient conditions for a semigroup identity to hold in the monoid of $n\times n$ upper triangular tropical matrices, in terms of equivalence of certain tropical polynomials. This leads to an algorithm for…

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…

We study semigroup varieties generated by full and upper triangular tropical matrix semigroups and the plactic monoid of rank 4. We prove that the upper triangular tropical matrix semigroup $UT_n(\mathbb{T})$ generates a different semigroup…

We give a combinatorial characterization of the identities holding in the semiring of all upper triangular Boolean $n\times n$-matrices and apply the characterization to computational complexity of identity checking, finite axiomatizability…

We give an alternative description of the grammic monoid in terms of weakly increasing subsequences. Specifically, we show that words $u,v$ in the generators $\{1,\ldots, n\}$ determine the same element of the grammic monoid of rank $n$ if…

The main result of the paper proves that the monoid of all 2 x 2 tropical matrices satisfies a non-trivial semigroup identity, unlike the case of matrices over infinite fields. We exploit a strong connection between the monoid of all 2 x 2…

We study the semigroup identities satisfied by finite rank plactic monoids. We find a new set of semigroup identities of the plactic monoid of rank $n$ for $n \geq 4$, which are shorter than those previously known when $n \geq 6$. Using…

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…

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…

We prove that, for any $n$, the monoid of all $n \times n$ supertropical matrices extending tropical matrices satisfies nontrivial semigroup identities. These identities are carried over to walks on labeled-weighted digraphs with double…

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…

We construct a nontrivial identity which holds in the semigroup of tropical 3-by-3 matrices.

The main result of this paper is the decidability of the membership problem for $2\times 2$ nonsingular integer matrices. Namely, we will construct the first algorithm that for any nonsingular $2\times 2$ integer matrices $M_1,\dots,M_n$…

We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to…

We construct minimal and irredundant generating sets for a family of submonoids of the monoid of $n \times n$ upper triangular matrices over a commutative semiring. We show that the monoid of $n \times n$ matrices over the tropical…

We develop a combinatorial approach to the study of semigroups and monoids with finite presentations satisfying small overlap conditions. In contrast to existing geometric methods, our approach facilitates a sequential left-right analysis…

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…

Ulam words are binary words defined recursively as follows: the length-$1$ Ulam words are $0$ and $1$, and a binary word of length $n$ is Ulam if and only if it is expressible uniquely as a concatenation of two shorter, distinct Ulam words.…

Let $n$ be a positive integer and $\mathcal M$ a set of rational $n \times n$-matrices such that $\mathcal M$ generates a finite multiplicative semigroup. We show that any matrix in the semigroup is a product of matrices in $\mathcal M$…

A new tropical plactic algebra is introduced in which the Knuth relations are inferred from the underlying semiring arithmetics, encapsulating the ubiquitous plactic monoid $\mathcal{P}_n$. This algebra manifests a natural framework for…