Related papers: Mal'cev conditions corresponding to identities for…
We introduce reflexive polytopes of index l as a natural generalisation of the notion of a reflexive polytope of index 1. These l-reflexive polytopes also appear as dual pairs. In dimension two we show that they arise from reflexive…
Motivated by set estimation problems, we consider three closely related shape conditions for compact sets: positive reach, r-convexity and rolling condition. First, the relations between these shape conditions are analyzed. Second, we…
In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a fixed (strong) Maltsev condition $\Sigma$. Our goal in this paper is to show that $\Sigma$-testing can be accomplished…
This paper develops the structure theory of a Malcev algebra via the consideration of its most important and largest Lie (sub-) algebra. We introduce the notion of a Lie algebra which uniquely corresponds to a Malcev algebra and use this…
Modal probabilistic logics provide a framework for reasoning about probability in modal contexts, involving notions such as knowledge, belief, time, and action. In this paper, we study a particular family of these logics, extending the…
Given a variety of algebras V, we study categories of algebras in V with a compatible structure of uniform space. The lattice of compatible uniformities of an algebra, Unif A, can be considered a generalization of the lattice of congruences…
In this study, a pairwise comparison matrix is generalized to the case when coefficients create Lie group $G$, non necessarily abelian. A necessary and sufficient criterion for pairwise comparisons matrices to be consistent is provided.…
The general solutions of the reflection equation associated with Temperley-Lieb $R$-matrices are constructed. Their parametrization is defined and the Hamiltonians of corresponding integrable spin systems are given.
We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…
A system of q-Painlev\'e type equations with multi-time variables t_1,...,t_M is obtained as a similarity reduction of the N-reduced q-KP hierarchy. This system has affine Weyl group symmetry of type A^{(1)}_{M-1} \times A^{(1)}_{N-1}. Its…
A Riemann-Hilbert problem for a $q$-difference Painlev\'e equation, known as $q\textrm{P}_{\textrm{IV}}$, is shown to be solvable. This yields a bijective correspondence between the transcendental solutions of $q\textrm{P}_{\textrm{IV}}$…
In this paper, we study free algebras in subvarieties of the variety of associative algebras singled out by Mal'cev's classification. For each subvariety, we construct the bases for the corresponding free algebras and describe the space of…
We study the problem of maximum likelihood (ML) estimation for statistical models defined by reflexive polytopes. Our focus is on the maximum likelihood degree of these models as an algebraic measure of complexity of the corresponding…
We prove that the excedance relation on permutations defined by N. Bergeron and L. Gagnon actually extends to a congruence of the lattice on alternating sign matrices. Motivated by this example, we study all lattice congruences of the…
We introduce the notion of Mal'tsev reflection which allows us to set up a partial notion of Mal'tsevness with respect to a class $\Sigma$ of split epimorphisms stable under pullback and containing the isomorphisms, and we investigate what…
An alternative proof of the completeness of relational algebra with respect to allowed formulas of first-order logic is presented. The proof relies on the well-known embedding of relational algebra into cylindric algebra, which makes it…
Answering conjunctive queries (CQs) over $\mathcal{EL}$ knowledge bases (KBs) with complex role inclusions is PSPACE-hard and in PSPACE in certain cases; however, if complex role inclusions are restricted to role transitivity, the tight…
We describe all finite orbits of an action of the extended modular group $\bar{\Lambda}$ on conjugacy classes of SL(2,C)-triples. The result is used to classify all algebraic solutions of the general Painleve VI equation up to parameter…
A variety V has Boolean factor congruences (BFC) if the set of factor congruences of every algebra in V is a distributive sublattice of its congruence lattice; this property holds in rings with unit and in every variety which has a…
We study vertex algebras and their modules associated with possibly degenerate even lattices, using an approach somewhat different from others. Several known results are recovered and a number of new results are obtained. We also study…