Unlike classical computation, quantum computation [7] allows one to encode two atomic information bits in parallel. Here, in fact, the appropriate counterpart of a classical bit is the qubit, de…ned as a unit vector in C, i.e. j i = a j0i + b j1i, where a; b are complex numbers s.t. jaj + jbj = 1, and fj0i ; j1ig is the canonical base. Supposing that, in analogy with the classical case, j0i and...

We describe the structure of those locally finite varieties whose first order theory is decidable. A variety is a class of universal algebras defined by a set of equations. Such a class is said to be locally finite if every finitely generated member of the class is finite. It turns out that in order for such a variety to have a decidable theory it must decompose into the varietal product of thr...

We introduce an adversarial learning framework, which we named KBGAN, to improve the performances of a wide range of existing knowledge graph embedding models. Because knowledge graph datasets typically only contain positive facts, sampling useful negative training examples is a non-trivial task. Replacing the head or tail entity of a fact with a uniformly randomly selected entity is a conventi...

In this paper we construct a finitely based variety, whose equational theory is undecidable, yet whose word problems are recursively solvable, which solves a problem stated by G. McNulty (1992). The construction produces a discriminator variety with the aforementioned properties starting from a class of structures in some multisorted language (which may include relations), axiomatized by a fini...

The theory of discriminator algebras and varieties has been investigated extensively, and provides us with a wealth of information and techniques applicable to specific examples of such algebras and varieties. Here we give several such examples for Boolean algebras with a residuated binary operator, abbreviated as r-algebras. More specifically, we show that all finite r-algebras, all integral r...