Yang–Baxter Equations, Computational Methods and Applications Axioms 2015, 4, 423-435; doi:10.3390/axioms4040423 OPEN ACCESS axioms ISSN 2075-1680 www.mdpi.com/journal/axioms Article Yang–Baxter Equations, Computational Methods and Applications Florin F. Nichita Simion Stoilow Institute of Mathematics of the Romanian Academy, 21 Calea Grivitei Street, 010702 Bucharest, Romania; E-Mail: florin.nichita@imar.ro; Tel.: +40-21-319-6506; Fax: +40-21-319-6505 Academic Editor: Angel Garrido Received: 31 August 2015 / Accepted: 28 September 2015 / Published: 9 October 2015 Abstract: Computational methods are an important tool for solving the Yang–Baxter equations (in small dimensions), for classifying (unifying) structures and for solving related problems. This paper is an account of some of the latest developments on the Yang–Baxter equation, its set-theoretical version and its applications. We construct new set-theoretical solutions for the Yang–Baxter equation. Unification theories and other results are proposed or proven. Keywords: Yang–Baxter equation; computational methods; universal gate; non-associative structures; associative algebras; Jordan algebras; Lie algebras MSC classifications: 6T10; 16T25; 17B01; 17B60; 17C05; 17C50; 17D99; 65D20; 65L09; 68R99; 97M10; 97M80; 97N50; 97N80; 97P20; 97R20 1. Introduction The current paper is an extension of [1], a paper based on a presentation at the INASE (Institute for Natural Sciences and Engineering) conference in Barcelona. Our interaction with the participants and some earlier proceedings of INASE influenced the development of it. Computational methods were an important tool for solving the Yang–Baxter equation and Yang–Baxter system, in dimension two, in the papers [2,3], where the authors used the Grobner basis. The discovery of the Yang–Baxter Equation ([4]) in theoretical physics and statistical mechanics (see [5–7]) has led to many applications in these fields and in quantum groups, quantum computing, Axioms 2015, 4 424 knot theory, braided categories, the analysis of integrable systems, quantum mechanics, etc. (see [8]). The interest in this equation is growing, as new properties of it are found and its solutions are not classified yet (see also [9,10]). One of the striking properties of this equation is its unifying feature (see, for example, [11–13]). Another unification of non-associative structures was recently obtained using the so-called UJLA structures ([1,14,15]), which could be seen as structures that comprise the information encapsulated in associative algebras, Lie algebras and Jordan algebras. These unifications have similarities with the properties of quantum computers, whose quantum gates can execute many operations at the same time (a classical gate executes just one operation at a time). Several Jordan structures have applications in quantum group theory, and exceptional Jordan algebras have played an important role in recent fundamental physical theories, namely in the theory of super-strings (see [16]). The quantum computer can be used to solve large computational problems from number theory and optimization. An example is Shor’s algorithm, a quantum algorithm that determines quickly and effectively the prime factors of a big number. With enough qubii, such a computer could use Shor’s algorithm to break the algorithms’ encryption used today. The organization of our paper is as follows. In the next section, we give some preliminaries on the Yang–Baxter equation, and we explain its importance for constructing quantum gates and obtaining link invariants. Section 3 deals with the set-theoretical Yang–Baxter equation. New solutions for it are presented. Section 4 deals with transcendental numbers, computational methods and some applications. In Section 5, we discuss algorithms and interpretations of the Yang–Baxter equation in computer science. Section 6 is about unification theories for non-associative algebras and their connections with the previous sections. A conclusions section ends our paper. 2. Yang–Baxter Equations The Yang–Baxter equation first appeared in theoretical physics, in a paper by the Nobel laureate C.N. Yang and in statistical mechanics in R.J. Baxter’s work. It has applications in many areas of physics, informatics and mathematics. Many scientists have used computer calculations or the axioms of various algebraic structures in order to solve this equation, but the full classification of its solutions remains an open problem (see [1,8,10,17–22]). In this paper, tensor products are defined over the field k. For V a k-space, we denote by τ : V ⊗V → V ⊗V the twist map defined by τ(v ⊗w) = w ⊗ v and by I : V → V the identity map of the space V ; for R : V ⊗ V → V ⊗ V a k-linear map, let R12 = R⊗ I, R23 = I ⊗R, R13 = (I ⊗ τ)(R⊗ I)(I ⊗ τ). Definition 2.1. A Yang–Baxter operator is k-linear map R : V ⊗V → V ⊗V , which is invertible, and it satisfies the braid condition (sometimes called the Yang–Baxter equation): R12 ◦R23 ◦R12 = R23 ◦R12 ◦R23 (1) If R satisfies Equation (1), then both R◦τ and τ◦R satisfy the quantum Yang–Baxter equation (QYBE): R12 ◦R13 ◦R23 = R23 ◦R13 ◦R12 (2) Axioms 2015, 4 425 Therefore, Equations (1) and (2) are equivalent. For A to be a (unitary) associative k-algebra and α,β,γ ∈ k, the authors of [18] defined the k-linear map RAα,β,γ : A⊗A → A⊗A, a⊗ b 7→ αab⊗ 1 + β1 ⊗ab−γa⊗ b (3) which is a Yang–Baxter operator if and only if one of the following cases holds: (i) α = γ 6= 0, β 6= 0; (ii) β = γ 6= 0, α 6= 0; (iii) α = β = 0, γ 6= 0. An interesting property of Equation (3) can be visualized in knot theory, where the link invariant associated with RAα,β,γ is the Alexander polynomial (cf. [23,24]). For (L, [, ]) a Lie super-algebra over k, z ∈ Z(L) = {z ∈ L : [z,x] = 0 ∀ x ∈ L}, |z| = 0 and α ∈ k, the authors of the papers [25] and [22] defined the following Yang–Baxter operator: φLα : L⊗L −→ L⊗L, x⊗y 7→ α[x,y] ⊗z + (−1)|x||y|y ⊗x (4) This construction could lead to interesting “bozonization” constructions, a technique often used in constructing (super) quantum groups. For example, the FRT (Faddeev-Reshetikhin-Takhtajan) algebras associated with φLα for a Lie algebra and a Lie super-algebra might be related via such a construction. Remark 2.2. In dimension two, RAα,β,α gives a universal quantum gate (see [1]):  1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 −1   (5) which, according to [26], is related to the CNOT (controlled NOT) gate: CNOT =   1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0   (6) Remark 2.3. The author of the paper [27] obtains the abstract controlled-not by a composition of a comonoid and a monoid. That formula could be related to the well-known Yang–Baxter operator a⊗ b 7→ ∑ a1 ⊗a2b and leads us to the open problem of comparing this operator to Equation (3). Remark 2.4. The matrix Equation (5) can be interpreted as a sum of the Yang–Baxter operators I and −I, using the techniques of [28]. 3. The Set-Theoretical Yang–Baxter Equation Definition 3.1. For an arbitrary set X, the map S : X×X → X×X, is a solution for the set-theoretical Yang–Baxter equation if: S12 ◦S13 ◦S23 = S23 ◦S13 ◦S12 (7) (Here S12 = S × I, S23 = I ×S, etc.) Axioms 2015, 4 426 There are many examples of solutions for Equation (7): from “brace” structures, from relations on sets, etc., and they are related to other interesting structures (see, for example, [21,29–34]). However, this equation is not completely solved yet. Next, we present some explicit solutions for Equation (7); we extend some constructions from [1], and then, we give new constructions of solutions for Equation (7). We consider a three-dimensional Euclidean space and a point P(a,b,c) of it. The symmetry of the point P(a,b,c) about the origin is defined as follows: SO(a,b,c) = (−a, −b, −c). The symmetries of the point P(a,b,c) about the axes OX, OY, OZ are defined as follows: SOX(a,b,c) = (a, −b, −c), SOY (a,b,c) = ( −a, b, −c), SOZ(a,b,c) = ( −a, −b, c). The symmetries of the point P(a,b,c) about the planes XOY, XOZ, Y OZ are defined as follows: SXOY (a,b,c) = (a, b, −c), SXOZ(a,b,c) = (a, −b, c), SY OZ(a,b,c) = ( −a, b, c). The above symmetries with the identity map form a group: {I,SOX,SOY ,SOZ,SXOY ,SXOZ,SY OZ,SO}, which contains a subgroup isomorphic with Klein’s group: {I,SOX,SOY ,SOZ}. One could check the following instances of the Yang–Baxter equation: SXOY ◦SXOZ ◦SY OZ = SY OZ ◦SXOZ ◦SXOY , SOX ◦SOY ◦SOZ = SOZ ◦SOY ◦SOX. Theorem 3.2. The following is a two-parameter family of solutions for the set-theoretical braid condition: S : R×R → R×R, (x,y) 7→ (yα, xβy1−αβ) ∀α,β ∈ N∗ Proof. We observe that the map (x,y) 7→ (xmyn,xpyq) is a solution for the set-theoretical braid condition if and only if the following relations hold: mnq = 0, mpq = 0, mq2 = m2q, m2 + mnp = m, q2 + npq = q. We leave the analysis of this system of non-linear equations as a computational problem, and we pick just the above solution of this system. Another approach to study this theorem might be by using the properties of generalized means from [35]. � Theorem 3.3. The following is a two-parameter family of solutions for the set-theoretical braid condition: R : C×C → C×C, (z,w) 7→ (αw, βz + (1 −αβ)w) ∀α,β ∈ C Proof. One way to prove this theorem is to follow the steps of the above proof. � Axioms 2015, 4 427 Remark 3.4. Another way to prove Theorem 3.3 is to relate it to Theorem 3.2. Thus, in some cases, the exponential function, f : C → C, z 7→ ez, is a morphism of the above solutions for (7): (f×f)◦R = S ◦ (f ×f) . Further approaches could be by using computational methods, and extended results for Dieudonne modules (see [36]) are expected. Other examples of solutions for Equation (7) will be given in the Section 5, and they will be related to informatics. 4. Transcendental Numbers and Applications The following identity, containing the transcendental numbers e and π, is well known (see more details about transcendental numbers in [37]): eiπ + 1 = 0. (8) Let J be the following matrix (for α ∈ R∗):  0 0 0 1 α i 0 0 i 0 0 i 0 0 αi 0 0 0   (9) then, similar to Equation (8), the following formula holds: eπ J + I2 = 04 J, I2, 04 ∈M4(C) For x ∈ C, let R(x) = cos xI2 + sin xJ = exJ : (C × C)⊗2 → (C × C)⊗2. It satisfies the colored Yang–Baxter equation: R12(x) ◦R23(x + y) ◦R12(y) = R23(y) ◦R12(x + y) ◦R23(x) ∀ x,y ∈ C . (10) Furthermore, R(x) = exJ is a solution for the following differential matrix equation: Y ′ = JY (11) which is related, for example, to [38]. The combination of the properties Equations (10) and (11), has applications in computing the Hamiltonian of many body systems in physics. Computational methods could be employed for finding matrices J with these properties in higher dimensions. The presentation [39] was related to the following formula with transcendental numbers:∫ +∞ −∞ e −x2dx = √ π . Thus, the experimental results presented at that time were related to the Gauss bell function. Next, we solve an open problem proposed in [1]. This theorem, which is related to the transcendental numbers e and π, was solved, using computational methods, thanks to an observation of Dr. Mihai Cipu. Axioms 2015, 4 428 Theorem 4.1. ∑n 1 1 k2 < 2 3 (n+1 n )n ∀n ∈ N∗. Proof. We evaluate the first three values for the above expressions: n=1 1 1.(3) n=2 1.25 1.5 n=3 1.36(1) 1.58... The inequality is true in these cases, and we will use the following inequality: ∑n 1 1 k2 < π 2 6 < 1.645 ∀n ≥ 4, in order to finish our proof. The above inequality is a consequence of the Basel problem: ∑∞ 1 1 k2 = π 2 6 . (A new proof for this identity was recently given in [40].) Note also that the sequence in the right-hand side is increasing. The last step of the proof is shown below. n= 4 1.4236(1) 1.6276... n= 5 ... 1.65(8) ∞ 1.644934067... 1.812187886... � Other recent problems relating e and π are listed below. Numerical and experimental results are very important for studying them. | e1−z + ez̄ |> π ∀z ∈ C ,∫ b a e−x 2 dx < ee π ( 1 eπa − 1 eπb ) , ∀ a,b ∈ R, a ≤ b, x2 + e > πx ∀x ∈ R; the last inequality holds because ∆ = π2 − 4e = −1, 003522913... < 0 . We conjecture that 4e−π2 = 1, 003522913... is a transcendental number. Theorem 4.1 and numerical results could give a partial answer for this problem. The geometrical interpretation of the formula π2 < 4e could be stated as: “The length of the circle with diameter π is almost equal (and less) to the perimeter of a square with edges of length e”. �� �� �� �� The area of the above circle is greater than the area of the square, because π3 > 4e2. Open problems: For an arbitrary convex closed curve, we consider the largest diameter (D). (It can be found by considering the center of mass of a body, which corresponds to the domain inside the given curve.) (i) The equation: x2 − L 2 x + A = 0 (12) Axioms 2015, 4 429 and its implications are not completely understood. For example, if the given curve is an ellipse, solving this equation in terms of the semi-axes of the ellipse is an unsolved problem. (ii) We conjecture that the following system of equations is an inverse of Equation (12). We consider two functions with second order derivatives, such that: f : [0,D] → R, f ≥ 0, f ′′ ≤ 0, g : [0,D] → R, g ≤ 0, g′′ ≥ 0,∫ D 0 √ 1 + (f ′(x))2 + √ 1 + (g(x)′)2 dx = L , ∫ D 0 f(x) −g(x) dx = A . Remark 4.2. Graphics for arbitrary closed convex curves related to the above open problems could be represented using graphing calculators and computers. Thus, some numerical (experimental) results can be obtained. This direction seems to be a challenging one for computer scientists, and it has applications for representations similar to those from [41]. Remark 4.3. The equation xi = ix for x ∈ R∗+ , has no solutions (see [1]). At this moment, we do not have convincing numerical/experimental results for solving the following generalization of the above equation: zi = iz z ∈ C∗ . 5. The Yang–Baxter Equations in Informatics The Yang–Baxter equation represents some kind of compatibility condition in logic. More explicitly, let us consider three logical sentences p, q, r, and let us suppose that if all of them are true, then the conclusion A could be drawn, and if p, q, r are all false, then the conclusion C can be drawn. Modeling this situation by the map R, defined by (p, q) 7→ (p′ = p ∨ q, q′ = p ∧ q), helps us to comprise our analysis: we can apply R to the pair (p, q), then to (q′, r) and, finally, to (p′, q′′). The Yang–Baxter equation guarantees that the order in which we start this analysis is not important; more explicitly, in this case, it states that ( (p′)′, q′′′, r′) = ( p′, q′′′, (r′)′) . In other words, the map (p, q) 7→ (p∨ q, p∧ q) is a solution for Equation (7). The sorting of numbers (see, for example, [1,42]) is an important problem in informatics, and the Yang–Baxter equation is related to it. The following “bubble sort” algorithm is related to the right-hand side of Equation (1). int m, aux; m=L; while (m) { for (int i=1; i≤L-1; i++) if (s[L-i] ≥ s[L+1-i]) { aux = s[L+1-i]; s[L+1-i] = s[L-i]; s[L-i] = aux; } m - -; Axioms 2015, 4 430 } The maipart of another sorting algorithm, related to the left-hand side of (2), is given below (see [1]). if (s[i]≥s[j]) { aux=s[i]; s[i]=s[j]; s[j]=aux; } Ordering three numbers is related to a common solution of Equations (1) and (2): R(a,b) = (min(a,b),max(a,b)). In a similar manner, one can find the greatest common divisor and the least common multiple of three numbers, using another common solution of Equations (1) and (2): R′(a,b) = (gcd(a,b), lcm(a,b)). Since R and R′ can be extended to braidings in certain monoidal categories, we obtain interpretations for the cases when we deal with more numbers. The “divide et impera” algorithm for finding the maximum/minimum (or the greatest common divisor/least common multiple) of a sequence of numbers could be related to Yang–Baxter systems and to the gluing procedure from [28]. 6. Non-Associative Algebras and Their Unifications The main non-associative structures are Lie algebras and Jordan algebras. Arguable less known, Jordan algebras have applications in physics, differential geometry, ring geometries, quantum groups, analysis, biology, etc. (see [16,43,44]). Formulas (3) and (4) lead to the unification of associative algebras and Lie (super-)algebras in the framework of Yang–Baxter structures (see [45,46]). For the invertible elements of a Jordan algebra, one can associate a symmetric space and, after that, a Yang–Baxter operator. Thus, the Yang–Baxter equation can be thought of as a unifying equation. Another unification for these structures will be presented below. Definition 6.1. For the vector space V, let η : V ⊗V → V, η(a⊗b) = ab, be a linear map that satisfies: (ab)c + (bc)a + (ca)b = a(bc) + b(ca) + c(ab), (13) (a2b)a = a2(ba), (ab)a2 = a(ba2), (ba2)a = (ba)a2, a2(ab) = a(a2b) (14) ∀ a,b,c ∈ V . Then, (V,η) is called a “UJLA structure”. Remark 6.2. The UJLA structures unify Jordan algebras, Lie algebras and (non-unital) associative algebras; results for UJLA structures could be “decoded” in the properties of Jordan algebras, Lie algebras or (non-unital) associative algebras. This unification resembles the properties of quantum computers. Axioms 2015, 4 431 Remark 6.3. The UJLA structures unify in a natural manner the above-mentioned non-associative structures. Thus, if (A, θ), where θ : A ⊗ A → A, θ(a ⊗ b) = ab, is a (non-unital) associative algebra, then we define (A, θ′), where θ′(a⊗ b) = αab + βba, for α, β ∈ k. If α = 1 2 and β = 1 2 , then (A, θ′) is a Jordan algebra. If α = 1 and β = −1, then (A, θ′) is a Lie algebra. If α = 0 and β = 1, then (A, θ′) is the opposite algebra of (A, θ), and if α = 1 and β = 0, then (A, θ′) is the algebra (A, θ). If we put no restrictions on α and β, then (V, θ) is a UJLA structure. Theorem 6.4. For V a k-space, f : V → k a k-map, α, β ∈ k, and e ∈ V , such that f(e) = 1, the following structures can be associated: (i) (V,M,e), a unital associative algebra, where M(v ⊗w) = f(v)w + vf(w) −f(v)f(w)e; (ii) (V, [, ]), a Lie algebra, where [v, w] = f(v)w −vf(w); (iii) (V, µ), a Jordan algebra, where µ(v ⊗w) = f(v)w + vf(w); (iv) (V,Mα,β), a UJLA structure, where Mα,β(v ⊗w) = αf(v)w + βvf(w). Proof. (i) The proof is direct. We denote by “ · ” the operation M, in order to simplify our presentation. We observe that “ · ” is commutative. We first prove that e is the unity of our algebra: x · e = f(x)e + f(e)x−f(e)f(x)e = x = e ·x. Next, we prove the associativity of “ · ”: (x · y) · z = f(x)f(y)z + f(x)f(z)y − f(x)f(y)f(z)e + f(x)f(y)z + xf(y)f(z) −f(x)f(y)f(z)e−f(x)f(y)z; x · (y ·z) = f(x)f(y)z + f(x)yf(z) −f(x)f(y)f(z)e + xf(y)f(z) −f(x)f(y)f(z)e. It follows that (x ·y) ·z = x · (y ·z). (ii) In this case (x ·y) ·z = f(x)f(z)y −f(y)f(z)x; (y ·z) ·x = f(y)f(x)z −f(z)f(x)y; (z ·x) ·y = f(z)f(y)x−f(x)f(y)z. The Jacobi identity is verified. We leave Cases (iii) and (iv) to be proven by the reader. � Remark 6.5. The above theorem produces new examples of non-associative structures, and it finds common information encapsulated in these non-associative structures. Theorem 6.6. Let (V,η) be a UJLA structure, and α, β ∈ k. Then, (V,η′), η′(a⊗ b) = αab + βba is a UJLA structure. Remark 6.7. The classification of UJLA structures is an open problem, and it is more difficult than the problem of classifying associative algebras (which is an open problem for higher dimensions). Theorem 6.8. Let V be a vector space over the field k, and p,q ∈ k. For f,g : V → V , we define M(f ⊗g) = f ∗g = f ∗p,q g = pf ◦g + qg ◦f : V → V . Then: (i) (Endk(V ), ∗p,q) is a UJLA structure ∀p,q ∈ k. (ii) For φ : Endk(V ) → Endk(V ⊗V ) a morphism of UJLA structures (i.e., φ(f∗g) = φ(f)∗φ(g) ), W = {f : V → V |f ◦M = M ◦φ(f)} is a sub-UJLA structure of the structure defined in (i). In other words, f ∗g ∈ W, ∀f,g ∈ W . Axioms 2015, 4 432 7. Conclusions and Further Implications Surveying topics from abstract algebra to computational methods and from computer science to number theory, the current paper relates these subjects by unifying theories and the celebrated Yang–Baxter equation. We present new results (Theorems 3.2, 3.3, 4.1, 6.4, 6.6 and 6.8), and we propose several open problems and new interpretations. Unifying the main non-associative structures, the UJLA structures are structures that resemble the properties of quantum computers. Quantum computers could help in solving hard problems in number theory and optimization theory, because they have large computational power. For example, such a computer could use Shor’s algorithm to break the algorithms’ encryption. From some solutions of the Yang–Baxter equation, one could construct abstract universal gates from quantum computing. We explained how this equation is related to computer programming; we studied problems about transcendental numbers; and we used computational methods in order to solve problems related to these topics. Related to Equation (10), there is a long-standing open problem. The following system of equations, obtained in [10] and extended in [9], is not completely classified: (β(v,w) −γ(v,w))(α(u,v)β(u,w) −α(u,w)β(u,v)) +(α(u,v) −γ(u,v))(α(v,w)β(u,w) −α(u,w)β(v,w)) = 0 (15) β(v,w)(β(u,v) −γ(u,v))(α(u,w) −γ(u,w)) +(α(v,w) −γ(v,w))(β(u,w)γ(u,v) −β(u,v)γ(u,w)) = 0 (16) α(u,v)β(v,w)(α(u,w) −γ(u,w)) + α(v,w)γ(u,w)(γ(u,v) −α(u,v)) +γ(v,w)(α(u,v)γ(u,w) −α(u,w)γ(u,v)) = 0 (17) α(u,v)β(v,w)(β(u,w) −γ(u,w)) + β(v,w)γ(u,w)(γ(u,v) −β(u,v)) +γ(v,w)(β(u,v)γ(u,w) −β(u,w)γ(u,v)) = 0 (18) α(u,v)(α(v,w) −γ(v,w))(β(u,w) −γ(u,w)) +(β(u,v) −γ(u,v))(α(u,w)γ(v,w) −α(v,w)γ(u,w)) = 0 (19) From the transdisciplinary (see [47,48]) point of view and attempting to relate art and science, Equation (12) could be called the “cubism equation”. In the same manner, the inverse system could be related to Art Nouveau (for example, recall the architecture of Casa Mila by Gaudi). Conflicts of Interest The author declares no conflict of interest. Axioms 2015, 4 433 References 1. Iordanescu, R.; Nichita, F.F.; Nichita, I.M. Yang–Baxter Equations, Informatics and Unifying Theories, lecture notes. In Proceedings of the International Conference on Systems, Control, Signal Processing and Informatics, Recent Advances on Electroscince and Computers, Barcelona, Spain, 7–9 April 2015; pp. 218–227. 2. Hietarinta, J. Solving the two-dimensional constant quantum Yang–Baxter equation. J. Math. Phys. 1993, 34, 1725–1756. 3. Hlavaty, L.; Snobl, L. Solution of the Yang–Baxter system for quantum doubles. Int. J. Mod. Phys. 1999, A14, 3029–3058. 4. Perk, J.H.H.; Au, Y.H. Yang–Baxter Equations. In Encyclopedia of Mathematical Physics; Françoise, J.-P., Naber, G.L., Tsou S.T., Eds.; Elsevier: Oxford, UK, 2006; Volume 5, pp. 465–473. 5. Baxter, R.J. Exactly Solved Models in Statistical Mechanics; Academy Press: London, UK, 1982. 6. Baxter, R.J. Partition function for the eight-vertex lattice model. Ann. Phys. 1972, 70, 193–228. 7. Yang, C.N. Some exact results for the many-body problem in one dimension with repulsive delta- function interaction. Phys. Rev. Lett. 1967, 19, 1312–1315. 8. Nichita, F.F. Special Issue “Hopf Algebras, Quantum Groups and Yang–Baxter Equations 2014”. Available online: http://www.mdpi.com/journal/axioms/special_issues/hopf_algebras_2014 (accessed on 30 September 2015). 9. Hobby, D.; Iantovics, B.L.; Nichita, F.F. On Computational Methods and the Yang–Baxter Equations. In Advanced Computational Technologies; Enachescu, C., Filip, F.G., Iantovics, B., Eds.; Romanian Academy Publishing House: Bucharest, Romania, 2012; pp.193–200. 10. Nichita, F.F.; Parashar, D. Spectral-parameter dependent Yang–Baxter operators and Yang–Baxter systems from algebra structures. Commun. Algebra 2013, 34, 2713–2726. 11. Lebed, V. R-Matrices, Yetter-Drinfel′d modules and Yang–Baxter equation. Axioms 2013, 2, 443–476. 12. Lebed, V. Homologies of algebraic structures via braidings and quantum shuffles. J. Algebra 2013, 391, 152–192. 13. Nichita, F.F. Self-Inverse Yang–Baxter Operators from (Co)Algebra structures. J. Algebra 1999, 218, 738–759. 14. Iordanescu, R.; Nichita, F.F.; Nichita, I.M. Non-associative algebras, Yang–Baxter equations and quantum computers. Bulgarian J. Phys. 2014, 41, 71–76. 15. Iordanescu, R.; Nichita, F.F.; Nichita, I.M. The Yang–Baxter equation, (quantum) computers and unifying theories. Axioms 2014, 3, 360–368. 16. Iordanescu, R. Jordan structures in mathematics and physics. Mathematics 2011, arXiv:1106.4415. 17. Abdesselam, B.; Chakrabarti, A.; Dobrev, V. K.; Mihov, S.G. Exotic Bialgebras from 9 × 9 Unitary Braid Matrices. Phys. At. Nuclei 2011, 74, 824–831. 18. Dăscălescu, S.; Nichita, F. F. Yang–Baxter operators arising from (co)algebra structures. Comm. Algebra 1999, 27, 5833–5845. 19. Nichita, F.F. Yang–Baxter systems, algebra factorizations and braided categories. Axioms 2013, 2, 437–442. Axioms 2015, 4 434 20. Nichita, F.F. Non-linear Equations, Quantum Groups and Duality Theorems; VDM Verlag: Saarbrucken, Germany, 2009. 21. Nichita, F.F. Introduction to the Yang–Baxter equation with open problems. Axioms 2012, 1, 33–37. 22. Nichita, F.F.; Popovici, B.P. Yang–Baxter operators from (G,θ)-Lie algebras. Romanian Rep. Phys. 2011, 63, 641–650. 23. Massuyeau, G.; Nichita, F.F. Yang–Baxter operators arising from algebra structures and the Alexander polynomial of knots. Comm. Algebra 2005, 33 2375–2385. 24. Turaev, V. The Yang–Baxter equation and invariants of links. Invent. Math. 1988, 92, 527–553. 25. Majid, S. Solutions of the Yang–Baxter equation from braided-Lie algebras and braided groups. J. Knot Theory Ramif. 1995, 4, 673–697. 26. Kauffman,L.H.; Lomonaco, S.J. Braiding operators are universal quantum gates. N. J. Phys. 2004, 6, 134. 27. Zeng, W. Models of Quantum Algorithms in Sets and Relations. 2015, arXiv:1503.05857. 28. Brzezinski, T.; Nichita, F.F. Yang–Baxter systems and entwined structures. Commun. Algebra 2005, 33, 1083–1093. 29. Ablowitz, M.J.; Prinari, B.; Trubatch, A.D. Soliton Interactions in the Vector NLS Equation. Inverse Probl. 2004, 20, 1217. 30. Bachiller, D.; Cedo, F.; Jespers, E. Solutions of the Yang–Baxter equation associated with a left brace. 2015, arXiv:1503.02814. 31. Caudrelier, V.; Zhang, Q.C. Yang–Baxter and reflection maps from vector solitons with a boundary. 2012, arXiv:1205.1133v3. 32. Dolcini, F.; Montorsi, A. Results on the symmetries of integrable fermionic models on chains. Nucl. Phys. B 2001, 592, 563–596. 33. Goncharenko, V.M.; Veselov, A.P. Yang–Baxter maps and matrix solitons. 2003, arXiv:math-ph/0303032v1. 34. Gateva-Ivanova, T. Quadratic Algebras, Yang–Baxter Equation, and Artin-Schelter Regularity. Advances Mathematics 2012, 230, 2152–2175. 35. Greene, N. Generalized Least-Squares Regressions IV: Theory and Classification Using Generalized Means. In Mathematics and Computers in Science and Industry, Mathematics and Computers in Science and Engineering Series-31; Department of Mathematics and Computer Science Kingsborough Community Colleg: Brooklyn, NY, USA, 2014; pp. 19–35. 36. Saramago, R.M. Generalized yang–baxter operators for dieudonne modules. Axioms 2015, 4, 177–193. 37. Marcus, S.; Nichita, F.F. On transcendental numbers: New results and a little history. 2015, arXiv:1502.05637. 38. Matore, M.E.E.M.; Khairani, A.Z. Psychometric Assessment on Adversity Quotient Instrument (IKBAR) Among Polytechnic Students Using Rasch Model, lecture notes. In Proceedings of the International Conference on Education and Educational Technologies (EET 2015), Recent Advances on Education and Educational Technologies, Barcelona, Spain, 7–9 April 2015; pp. 52–57. Axioms 2015, 4 435 39. Frajkorova, F.; Bodisova, K.; Bohac, M.; Bartonickova, E.; Sedlacek, J. Porous Composite Biomaterials Based on Silicon Nitride and Bioglass, lecture notes, INASE. In Proceedings of the International Conference on Mechanics, Materials, Mechanical Engineering and Chemical Engineering (MMMCE 2015), Recent Advances on Mechanics, Materials, Mechanical Engineering and Chemical Engineering, Barcelona, Spain, 7–9 April 2015; pp. 33–42. 40. Moreno, S.G. A One-Sentence and Truly Elementary Proof of the Basel Problem. 2015, arXiv:1502.07667. 41. Muftah, M.A.; Albagul, A.M.; Faraj, A.M. Automatic Paint Mixing Process using LabView. Available online: http://inase.org/library/2014/books/bypaper/MCSI/MCSI-39.pdf (accessed on 8 October 2015). 42. Adjeroh, D.; Nan, F. Suffix-Sorting via Shannon-Fano-Elias Codes. Algorithms, 2010, 3, 145–167. 43. Iordanescu, R. Jordan Structures in Geometry and Physics with an Appendix on Jordan Structures in Analysis; Editura Academiei Publishing House: Bucharest, Romania, 2003. 44. Iordanescu, R. Romanian contributions to the study of Jordan structures and their applications. Mitt. Humboldt Clubs Rum. 2004, 2005, 8–9. 45. Iordanescu, R. The Associativity in Present Mathematics and Present Physics. In On Form And Patern; Vasilescu, C., Ed.; Editura Academiei Publishing House: Bucharest, Romania, 2015; pp. 67–76. 46. Nichita, F.F. Lie algebras and Yang–Baxter equations. Bull. Transilvania Univ. Brasov. Ser. III Math. Infor. Phys. 2012, 5, 195–208. 47. Nicolescu, B. Manifesto of Transdisciplinarity; State University of New York (SUNY) Press: New York, NY, USA, 2002. 48. Nichita, F.F. On models for transdisciplinarity. Transdiscipl. J. Eng. Sci. 2011, 2, 4246. c© 2015 by the author; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/4.0/). Introduction Yang–Baxter Equations The Set-Theoretical Yang–Baxter Equation Transcendental Numbers and Applications The Yang–Baxter Equations in Informatics Non-Associative Algebras and Their Unifications Conclusions and Further Implications