Related papers: Word problems in Elliott monoids
Let G be any abelian group and {a_sG_s}_{s=1}^k be a finite system of cosets of subgroups G_1,...,G_k. We show that if {a_sG_s}_{s=1}^k covers all the elements of G at least m times with the coset a_tG_t irredundant then [G:G_t]\le 2^{k-m}…
This paper revisits the solution of the word problem for $\omega$-terms interpreted over finite aperiodic semigroups, obtained by J. McCammond. The original proof of correctness of McCammond's algorithm, based on normal forms for such…
Rota--Baxter operators $R$ of weight $1$ on $\mathfrak{n}$ are in bijective correspondence to post-Lie algebra structures on pairs $(\mathfrak{g},\mathfrak{n})$, where $\mathfrak{n}$ is complete. We use such Rota--Baxter operators to study…
In this article, we study the elements with disconnected centralizer in the Brauer complex associated to a simple algebraic group G defined over a finite field with corresponding Frobenius map F and derive the number of F-stable semisimple…
The arithmetic complexity counts the number of algebraically independent entries in the periodic continued fraction $\theta=[b_1,\dots, b_N, \overline{a_1,\dots,a_k}]$. If $\mathscr{A}_{\theta}$ is a noncommutative torus corresponding to…
We introduce the task of out-of-order membership to a formal language L, where the letters of a word w are revealed one by one in an adversarial order. The length |w| is known in advance, but the content of w is streamed as pairs (i, w[i]),…
We study numerically the ODE/IM correspondence for untwisted affine Lie algebras associated with simple Lie algebras including exceptional type. We consider the linear problem obtained from the massless limit of that of the modified affine…
We give a new construction of a Hopf subalgebra of the Hopf algebra of Free quasi-symmetric functions whose bases are indexed by objects belonging to the Baxter combinatorial family (i.e. Baxter permutations, pairs of twin binary trees,…
To any fixed, finite relational structure, $\mathbb{D}$, there is an associated decision problem, CSP$(\mathbb{D})$, which is a restricted version of the constraint satisfaction problem. In [8], the so called "algebraic approach" to the…
We study the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}}$, which is introduced in [O. Gutik and M. Mykhalenych, \emph{On some generalization of the bicyclic monoid}, Visnyk Lviv. Univ. Ser. Mech.-Mat. \textbf{90} (2020), 5--19], in the…
We refine the statement of the denominator and evaluation conjectures for affine Macdonald polynomials proposed by Etingof-Kirillov Jr. and prove the first non-trivial cases of these conjectures. Our results provide a q-deformation of the…
We exhibit explicit and easily realisable bijections between Hecke--Kiselman monoids of type $A_n$/$\widetilde{A}_n$; certain braid diagrams on the plane/cylinder; and couples of integer sequences of particular types. This yields a fast…
We prove a new Elekes-Szab\'o type estimate on the size of the intersection of a Cartesian product $A\times B\times C$ with an algebraic surface $\{f=0\}$ over the reals. In particular, if $A,B,C$ are sets of $N$ real numbers and $f$ is a…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
Recently, E.Feigin introduced a very interesting contraction $\mathfrak q$ of a semisimple Lie algebra $\mathfrak g$ (see arXiv:1007.0646 and arXiv:1101.1898). We prove that these non-reductive Lie algebras retain good invariant-theoretic…
In this work, we establish some abstract results on the perspective of the fractional Musielak-Sobolev spaces, such as: uniform convexity, Radon-Riesz property with respect to the modular function, $(S_{+})$-property, Brezis-Lieb type Lemma…
A common tool in the theory of numerical semigroups is to interpret a desired class of semigroups as the integer lattice points in a rational polyhedron in order to leverage computational and enumerative techniques from polyhedral geometry.…
We give an elementary characterization of those (abelian) semigroups $M$ that are direct limits of countable sequences of finite direct products of monoids of the form $C\cup\{0\}$ for monogenic groups $C$. This characterization involves…
We construct a genus one analogue of the theory of associators and the Grothendieck-Teichmueller group. The analogue of the Galois action on the profinite braid groups is an action of the arithmetic fundamental group of a moduli space of…
We introduce an algebraic extension $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ of the bicyclic monoid for an arbitrary $\omega$-closed family $\mathscr{F}$ subsets of $\omega$ which generalizes the bicyclic monoid, the countable semigroup of…