Related papers: Mal'cev conditions corresponding to identities for…
We study Polynomial Lawvere logic PL, a logic defined over the Lawvere quantale of extended positive reals with sum as tensor, to which we add multiplication, thereby obtaining a semiring structure. PL is designed for complex quantitative…
We find necessary and sufficient conditions for the validity of weighted Rellich and Calderon-Zygmund inequalities in L^p, 1 \leq p \leq \infty, in the whole space and in the half-space with Dirichlet boundary conditions. General operators…
In the article the necessary and sufficient conditions for a representation of Lipschitz function of more than two variables as a difference of two convex functions are formulated. An algorithm of this representation is given. The outcome…
To a finite quiver equipped with a positive integer on each of its vertices, we associate a holomorphic symplectic manifold having some parameters. This coincides with Nakajima's quiver variety with no stability parameter/framing if the…
This paper concerns upper estimates of the projectional coderivative of implicit mappings and corresponding applications on analyzing the relative Lipschitz-like property. Under different constraint qualifications, we provide upper…
We consider the associated linear problem for a q-analogue of the fifth Painleve equation (qPV). We identify a lattice of connection preserving deformations in the space of the connection data for the linear problem with the lattice of…
We investigate extensions of Malcev algebras and give an explicit example of extended algebras. We present a new algebraic identity, which can be regarded as a generalization of the Jacobi identity or the Malcev identity. As applications to…
We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…
We show that a variety $\mathcal V$ is congruence distributive if and only if there is some $h$ such that the inclusion (1) $\Theta \cap ( \sigma \circ \sigma ) \subseteq ( \Theta \cap \sigma ) \circ ( \Theta \cap \sigma ) \circ \dots $…
The survey is devoted to associative $\Z_{\ge0}$-graded algebras presented by n generators and n(n-1)/2 quadratic relations and satisfying the so-called Poincare-Birkhoff-Witt condition (PBW-algebras). We consider examples of such algebras…
We give examples and counterexamples concerning varieties in which every tolerance is representable as $R \circ R^-$, for some reflexive and admissible relation $R$.
We consider the level 1 solution of quantum Knizhnik-Zamolodchikov equation with reflecting boundary conditions which is relevant to the Temperley--Lieb model of loops on a strip. By use of integral formulae we prove conjectures relating it…
A celebrated theorem of Pimsner states that a covariant representation $T$ of a $C^*$-correspondence $E$ extends to a $C^*$-representation of the Toeplitz algebra of $E$ if and only if $T$ is isometric. This paper is mainly concerned with…
We consider a system of $N$ individuals consisting of $S$ species that interact pairwise: $x_m+x_\ell \rightarrow 2x_m\,\,$ with arbitrary probabilities $p_m^\ell $. With no spatial structure, the master equation yields a simple set of rate…
A problem that is frequently encountered in a variety of mathematical contexts, is to find the common invariant subspaces of a single, or set of matrices. A new method is proposed that gives a definitive answer to this problem. The key idea…
We investigate new generalizations of the Meixner polynomials on the lattice $\mathbb{N}$, on the shifted lattice $\mathbb{N}+1-\beta$ and on the bi-lattice $\mathbb{N}\cup (\mathbb{N}+1-\beta)$. We show that the coefficients of the…
We say that a list of real numbers is "symmetrically realisable" if it is the spectrum of some (entrywise) nonnegative symmetric matrix. The Symmetric Nonnegative Inverse Eigenvalue Problem (SNIEP) is the problem of characterising all…
In this paper, we study three classes of subvarieties inside the variety of left-symmetric algebras. We show that these subvarieties are naturally related to some well-known varieties, such as alternative, assosymmetric and Zinbiel…
Regular expressions with backreferences (regex, for short), as supported by most modern libraries for regular expression matching, have an NP-complete matching problem. We define a complexity parameter of regex, called active variable…
In this paper we examine four-element and five-element digraphs for existence of certain polymorphisms that imply congruence meet-semidistributivity in a locally finite variety. The results presented here occurred as an integral part of my…