Related papers: On EMV-algebras with square roots
Recently, in [DvZa], we have introduced $EMV$-algebras which resemble $MV$-algebras but the top element is not guaranteed for them. For $\sigma$-complete $EMV$-algebras, we prove an analogue of the Loomis--Sikorski Theorem showing that…
An algorithm is proposed that solves two decision problems for pseudo-Anosov elements in the mapping class group of a surface with at least one marked fixed point. The first problem is the root problem: decide if the element is a power and…
As a main result, we characterize prime spectra of abelian lattice ordered groups. Further we introduce some categories based on spectral spaces, lattices and Priestley spaces, and we relate these categories with each other and with the…
A commutative order in a quaternion algebra is called selective if it is embeds into some, but not all, the maximal orders in the algebra. It is known that a given quadratic order over a number field can be selective in at most one…
We study $\mathbb H$-perfect pseudo MV-algebras, that is, algebras which can be split into a system of ordered slices indexed by the elements of an subgroup $\mathbb H$ of the group of the real numbers. We show when they can be represented…
The square root velocity transformation provides a convenient and numerically efficient approach to functional and shape data analysis of curves. We study fundamental geometric properties of curves under this transformation. Moreover,…
Root systems are sets with remarkable symmetries and therefore they appear in many situations in mathematics. Among others, denominator formulae of root systems are very beautiful and mysterious equations which have several meanings from a…
A synaptic algebra is a common generalization of several ordered algebraic structures based on algebras of self-adjoint operators, including the self-adjoint part of an AW*-algebra. In this paper we prove that a synaptic algebra A has the…
In this paper, we study functions of the roots of a univariate polynomial in which the roots have a given multiplicity structure $\mu$. Traditionally, root functions are studied via the theory of symmetric polynomials; we extend this theory…
We show that the following two problems are fixed-parameter tractable with parameter k: testing whether a connected n-vertex graph with m edges has a square root with at most n-1+k edges and testing whether such a graph has a square root…
We introduce the concept of fuzzy sheaf as a natural generalisation of a sheaf over a topological space in the context of fuzzy topologies. Then we prove a representation for a class of MV-algebras in which the representing object is an…
MV-monoids are algebras $\langle A,\vee,\wedge, \oplus,\odot, 0,1\rangle$ where $\langle A, \vee, \wedge, 0, 1\rangle$ is a bounded distributive lattice, both $\langle A, \oplus, 0 \rangle$ and $\langle A, \odot, 1\rangle$ are commutative…
We consider the nonlinear equation $-\frac{1}{m}=z+Sm$ with a parameter $z$ in the complex upper half plane $\mathbb{H} $, where $S$ is a positivity preserving symmetric linear operator acting on bounded functions. The solution with values…
In this paper we develop a general representation theory for mv-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra…
The geometric mean of two matrices is considered and analyzed from a computational viewpoint. Some useful theoretical properties are derived and an analysis of the conditioning is performed. Several numerical algorithms based on different…
In this article, we introduce and study the concept of $\textit{spherical-vectors}$, which can be perceived as a natural extension of the arguments of complex numbers in the context of quaternions. We initially establish foundational…
A graph H is a square root of a graph G if G can be obtained from H by the addition of edges between any two vertices in H that are of distance 2 from each other. The Square Root problem is that of deciding whether a given graph admits a…
As is well known, the common elementary functions defined over the real numbers can be generalized to act not only over the complex number field but also over the skew (non-commuting) field of the quaternions. In this paper, we detail a…
In this paper, we give one possible definition for functions of several variables applied to endomorphisms of finite dimensional C-vector spaces. This definition is consistent with the usual notion of a function of a square matrix. Some…
In this paper, a new algebraic structure is defined, which is a new MV-algebra that has a product operation, we will call it MVW-rig (Multivalued-weak rig). This structure is defined with universal algebra axioms, it is presented with a…