Related papers: Identities in plactic, hypoplactic, sylvester, Bax…
Stable spin Hall-Littlewood symmetric polynomials labeled by partitions were recently introduced by Borodin and Wheeler in the context of higher spin six vertex models, which are one-parameter deformation of the Hall-Littlewood polynomials.…
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial-time tractable if the model-complete core of the template…
We provide geometric methods and algorithms to verify, construct and enumerate pairs of words (of specified length over a fixed $m$-letter alphabet) that form identities in the semigroup $\ut{n}$ of $n\times n$ upper triangular tropical…
We give necessary and sufficient conditions, in the form of matrix identities, for a polynomial f in C[X,Y] to be a component of a polynomial automorphism of C^2 and to be a component of a Keller polynomial mapping of C^2, respectively…
We consider certain functional identities on the matrix algebra $M_n$ that are defined similarly as the trace identities, except that the "coefficients" are arbitrary polynomials, not necessarily those expressible by the traces. The main…
The syntactic monoid of a language is generalized to the level of a symmetric monoidal closed category $\mathcal D$. This allows for a uniform treatment of several notions of syntactic algebras known in the literature, including the…
This paper continues an earlier research of the authors on universal quadratic identities (QIs) on minors of quantum matrices. We demonstrate situations when the universal QIs are provided, in a sense, by the ones of four special types…
The Thompson-Higman groups G_{k,i} have a natural generalization to monoids M_{k,i}, and inverse monoids Inv_{k,i}. We study some structural features of M_{k,i} and Inv_{k,i} and investigate the computational complexity of decision…
In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Plo\v{s}\v{c}ica. The standard representations of complete ortholattices and complete perfect Heyting…
Let $M$ be a cancellative and commutative monoid (written additively). The monoid $M$ is atomic if every non-invertible element can be written as a sum of irreducible elements (often called atoms in the literature). Weaker versions of…
Stability and attractor property of free-floating axisymmetric magnetic bubbles in high-conductivity plasmas is (tentatively, numerically) demonstrated. The existence of compact non-singular axisymmetric magnetic equilibria is proved. Being…
We show that a relation among minimal non-faces of a fillable complex $K$ yields an identity of iterated (higher) Whitehead products in a polyhedral product over $K$. In particular, for the $(n-1)$-skeleton of a simplicial $n$-sphere, we…
We study polynomial identities satisfied by the mutation product $xpy - yqx$ on the underlying vector space of an associative algebra $A$, where $p, q$ are fixed elements of $A$. We simplify known results for identities in degree $4$,…
Arithmetical invariants---such as sets of lengths, catenary and tame degrees---describe the non-uniqueness of factorizations in atomic monoids. We study these arithmetical invariants by the monoid of relations and by presentations of the…
We prove that a monoid is sofic, in the sense recently introduced by Ceccherini-Silberstein and Coornaert, whenever the J-class of the identity is a sofic group, and the quotients of this group by orbit stabilisers in the rest of the monoid…
Graph products of monoids provide a common framework for direct and free products, and graph monoids (also known as free partially commutative monoids). If the monoids in question are groups, then any graph product is, of course, a group.…
For every one-relator monoid $M = \langle A \mid u=v \rangle$ with $u, v \in A^*$ we construct a contractible $M$-CW complex and use it to build a projective resolution of the trivial module which is finitely generated in all dimensions.…
New integral identities satisfied by topological solitons in a range of classical field theories are presented. They are derived by considering independent length rescalings in orthogonal directions, or equivalently, from the conservation…
We construct the analogue of the plactic monoid for the super semistandard Young tableaux over a signed alphabet. This is done by developing a generalization of the Knuth's relations. Moreover we get generalizations of Greene's invariants…
In this paper we study properties of left (right) division (cancellative) groupoids with associative-like identities, namely, with cyclic associative identity (x (y z) = (z x) y) and Tarki (x (z y) = (x y) z) identities.