Extension of a derivation on a universally reversible JC-algebra A⊆B(H)_{sa} to the C*-algebra [A] generated by A in B(H) was studied by Upmier [20, Theorem 2.5]. In this article we study the extension of a Jordan derivation on a universally JC-algebra A to its universal enveloping real and complex C*-algebras R and U, respectively. Also, we establish the relationship between local derivations (resp., 2-local derivations, weak local derivations, weak-2-local derivations) of a universally JC-algebra A and the corresponding maps on its universal enveloping real and complex C*-algebras R and A, respectively.

This paper is based on a talk given at the 14-th International Workshop on Differential Geometry and Its Applications, hosted by the Petroleum Gas University from Ploiesti, between July 9-th and July 11-th, 2019. After presenting some historical facts, we will consider some geometry problems related to unification approaches. Jordan algebras and Lie algebras are the main non-associative structures. Attempts to unify non-associative algebras and associative algebras led to UJLA structures. Another algebraic structure which unifies non-associative algebras and associative algebras is the Yang-Baxter equation. We will review topics relared to the Yang-Baxter equation and Yang-Baxter systems, with the goal to unify constructions from Differential Geometry.

We consider several unification problems in mathematics. We refer to transcendental numbers. Also, we present some ways to unify the main non-associative algebras (Lie algebras and Jordan algebras) and associative algebras.

We introduce a new class of Vertex Operator Algebras Y+ and their duals, which generalize the standard W-algebras WN of type sl(N). These algebras can be defined in terms of junctions of boundary conditions and interfaces in the GL-twisted N = 4 Super Yang Mills gauge theory. The aim of these technical calculations is to find the relation of these ortho-symplectic Y-algebras to truncations of even W\infinity.

It is shown that for any integers k≥2, q≥2k and N≥k+q+2 there exists a real solvable Lie algebra of rank one with a maximal torus of derivations t possessing the eigenvalue spectrum spec(t)=1,2,⋯,k,q,q+1⋯,N and a nilradical of nilpotence index N−k and characteristic sequence (N−k,1k).

Abstract—In this paper, decidability of the structures of real, rational, integer and natural numbers will be studied in different languages. Decidability or undecidability of mathematical structures is one of the fundamental and sometimes very difficult problems of mathematical logic, where several examples of problems in this field are still open and unresolved even after decades. One of the goals of Mathematical Logic is the axiomatization of mathematical theoriesTarski has proved the decidability of the theory of real and complex numbers in the language of addition and multiplication, and it is proved that theories of natural, integer, and rational numbers, in the language of addition and multiplication, are undecidable (Theorems of Gödel and Robinson). We will review The following problemes: The Main Problem 1: ⟨Q; ⊑⟩ is decidable? Problem 2: an explicit axiomatization for ⟨Z; \times⟩? and we will study boolean algebras. Boolean algebras are famous mathematical structures.Tarski showed the decidability of the elementary theory of Boolean algebras.In this paper, we study the different kinds of Boolean algebras and their properties. And we present for the first-order theory of atomic Boolean algebras a quantifier elimination algorithm. The subset relation is a partial order and indeed a lattice order,And I will prove that the theory of atomic Boolean lattice orders is decidable, and furthermore admits elimination of quantifiers. So the theory of the subset relation is decidable. And we will study decidability of atomlss boolean algebra.

In this paper, we scrutinize the axiomatic system of effect algebras which is given by D. J. Foulis and M.K. Bennett in the paper Effect Algebras and Unsharp Quantum Logics. We prove that this axiomatic system consists of independent axioms. To do this, we construct some models to indicate the indepence of each axiom. Therefore none of these axioms can be reduced when constructing any effect algebra. As a result, any algebra is an effect algebra if and only if it verifies (E1)-(E4) axioms.

Scator set, introduced by Fernández-Guasti and Zaldívar, is endowed with a very peculiar non-distributive product. In this paper we consider the scator space of dimension $1+2$ and the so called fundamental embedding which maps the subset of scators with non-zero scalar component into 4-dimensional space endowed with a natural distributive product. The original definition of the scator product is induced in a straightforward way. Moreove, we propose an extension of the scator product on the whole scator space, including scators with vanishing scalar component.

We present set-theoretical solutions of the Yang-Baxter equation in BCK–algebras. Some solutions in BCK−algebras are not solutions in other structures (such as MV −algebras). Related to our investigations we also consider some new structures: Boolean coalgebras and a unified braid condition – quantum Yang-Baxter equation. Finally, we will see how poetry has accompanied the development / history of the Yang–Baxter equation.

We report a theoretical derivation of the Cabibbo-Kobayashi-Maskawa (CKM) matrix parameters and the accompanying mixing angles. These results are arrived at from the exceptional Jordan algebra applied to quark states, and from expressing flavor eigenstates (i.e. left-chiral states) as superposition of mass eigenstates (i.e. the right-chiral states) weighted by square-root of mass. Flavor mixing for quarks is mediated by the square-root mass eigenstates, and the mass ratios used have been derived in earlier work from a left-right symmetric extension of the standard model. This permits a construction of the CKM matrix from first principles. There exist only four normed division algebras, they can be listed as follows - the real numbers $\mathbb{R}$, the complex numbers $\mathbb{C}$, the quaternions $\mathbb{H}$ and the octonions $\mathbb{O}$. The first three algebras are fairly well known; however, octonions as algebra are less studied. Recent research has pointed towards the importance of octonions in the study of high energy physics. Clifford algebras and the standard model are being studied closely. The main advantage of this approach is that the spinor representations of the fundamental fermions can be constructed easily here as the left ideals of the algebra. Also the action of various Spin Groups on these representations too can be studied easily. In this work, we build on some recent advances in the field and try to determine the CKM angles from an algebraic framework. We obtain the mixing angle values as $\theta_{12}=11.093^o, \theta_{13}=0.172^o, \theta_{23}=4.054^o$. In comparison, the corresponding experimentally measured values for these angles are $13.04^o \pm 0.05^o, 0.201^o \pm 0.011^o, 2.38^o \pm 0.06^o $. The agreement of theory with experiment is likely to improve when running of quark masses is taken into account.

We apply a well known technique of theoretical physics, known as Geometric Algebra or Clifford algebra, to linear electrical circuits with non-sinusoidal voltages and currents. We rederive from the first principles the Geometric Algebra approach to the apparent power decomposition. The important new point consists in a choice of a natural convenient basis in the Clifford vector space which simplifies considerably the presentation. Thus we are able to derive a number of general results which are missing in the former papers. In particular, a natural correspondence with the Current Physical Components approach is shown.

Robotic decision-support systems must facilitate a robots interactions with their environment, this demands adaptability. Adaptability relates to awareness of the environment and `self-awareness', human behaviour exemplifies the concept of awareness to arrive at an optimal choice of action or decision based on reasoning and inference with learned preferences. A similar conceptual approach is required to implement awareness in autonomous robotic systems which must adapt to the current dynamic environment (the context of use). By incorporating `self-awareness' with knowledge of a Robot's preferences (in decision making) the decision maker interface should adapt to the current context of use. This paper proposes a novel approach to enable an autonomous robotics which implements path planning combining adaptation with knowledge reasoning techniques and hedge algebra to enable an autonomous robot to realise optimal coverage path planning under dynamic uncertainty. The results for a cleaning robot show that using our proposed approach demonstrated the capability to avoid both static and dynamic obstacles while achieving optimal path planning with increased efficiency. The proposed approach achieves the multiple decision-making objectives (path planning) with a high-coverage and low repetition rates. Compared to other current approaches, the proposed approach has demonstrated improved performance over the conventional robot control algorithms.

This paper is a continuation of previous papers on unification theories publishes in AXIOMS. We present results about the (modified) Yang-Baxter equation, Euler’s formula, dual numbers, coalgebra structures, non-associative structures, differential geometry, and (mean) inequalities. We will also attempt to relate our discussion to some Brain Studies and Machine Learnig.

This article is devoted to the results of in-depth analysis of the system of binary-oppositional structures in DNA n-plet alphabets and their algebraic-matrix representations. These results show that the molecular complementary replication of DNA strands is accompanied by the presence of an algebraic version of the principle "like begets like" in matrix representations of DNA alphabets having internal structures. This algebraic version is based on binary-oppositional structures in the genetic molecular system, which can be represented by binary numbers and corresponding matrices of DNA alphabets. The received results allow thinking that the phenomenon "like begets like" (or a complementary replication in a wide sense) is systemic in the genetic organization and is connected with algebraic features of biological organization. Correspondingly, the biological principle "like begets like" can be additionally modeled by algebraic-matrix methods and approaches. Such algebra-matrix modeling of the genetic coding system gives new ways for studying and understanding the key role of the named principle in genetic and other inherited physiological complexes. On this way, the author discovered general rules of stochastic organization of information binary sequences of genomic DNAs of eukaryotes and prokaryotes. The presented rules are connected with information dichotomies of probabilities and corresponding fractal-like trees of probabilities, which fundamentally differ from constructional dichotomies in biological bodies. The received phenomenological data and rules lead to new biological ideas.

The authors previously found a model of universal quantum computation by making use of the coset structure of subgroups of a free group $G$ with relations. A valid subgroup $H$ of index $d$ in $G$ leads to a \lq magic' state $\left|\psi\right\rangle$ in $d$-dimensional Hilbert space that encodes a minimal informationally complete quantum measurement (or MIC), possibly carrying a finite \lq contextual' geometry. In the present work, we choose $G$ as the fundamental group $\pi_1(V)$ of an exotic $4$-manifold $V$, more precisely a \lq small exotic' (space-time) $R^4$ (that is homeomorphic and isometric, but not diffeomorphic to the Euclidean $\mathbb{R}^4$). Our selected example, due to to S. Akbulut and R.~E. Gompf, has two remarkable properties: (a) it shows the occurence of standard contextual geometries such as the Fano plane (at index $7$), Mermin's pentagram (at index $10$), the two-qubit commutation picture $GQ(2,2)$ (at index $15$) as well as the combinatorial Grassmannian Gr$(2,8)$ (at index $28$) , (b) it allows the interpretation of MICs measurements as arising from such exotic (space-time) $R^4$'s. Our new picture relating a topological quantum computing and exotic space-time is also intended to become an approach of \lq quantum gravity'.

When gravity is quantum, the point structure of space-time should be replaced by a non-commutative geometry. This is true even for quantum gravity in the infra-red. Using the octonions as space-time coordinates, we construct a pre-spacetime, pre-quantum Lagrangian dynamics. We show that the symmetries of this non-commutative space unify the standard model of particle physics with $SU(2)_R$ chiral gravity. The algebra of the octonionic space yields spinor states which can be identified with three generations of quarks and leptons. The geometry of the space implies quantisation of electric charge, and leads to a theoretical derivation of the mysterious mass ratios of quarks and the charged leptons. Quantum gravity is quantisation not only of the gravitational field, but also of the point structure of space-time.

In the paper we show that the general relativity in recent Einstein-Palatini formulation is equivalent to a gauge field. We begin with a bit of information of the Einstein-Palatini formulation and derive Einstein field equations from it. In the next section, we consider general relativity with a positive cosmological constant in terms of the corrected curvature. We show that in terms of the corrected curvature general relativity takes the form typical for a gauge field. Finally, we give a geometrical interpretation of the corrected curvature.

The paper briefly reviews the Clifford algebras of space Cl(3,0) and anti-space Cl(0,3) with a particular focus on the paravector representation, emphasizing the fact that both algebras have an isomorphic center represented just by two coordinates. Since the paravector representation allows assigning the scalar element of grade 0 to the time coordinate, we consider the relativity in such two-dimensional spacetime for a uniformly accelerated frame with the constant acceleration 3Hc. Using the Rindler coordinate transformations in two-dimensional spacetime and then applying it to Minkowski coordinates, we obtain the FLRW metric, which in the case of the Clifford algebra of space Cl(3,0) corresponds to the anti-de Sitter (AdS) flat (k=0) case, the negative cosmological term and an oscillating model of the universe. The approach with anti-Euclidean Clifford algebra Cl(0,3) leads to the de Sitter model with the positive cosmological term and the exact form of the scale factor used in modern cosmology.