Yang-Baxter Equations, Computational Methods and Applications

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 proved.


Introduction
The current paper is an extension of [21], a paper based on a presentation at the INASE 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 [11,12], where the authors used Grobner basis.
The discovery of the Yang-Baxter equation ( [41]) in theoretical physics and statistical mechanics (see [44,4,5]) has led to many applications in these fields and in quantum groups, quantum computing, knot theory, braided categories, analysis of integrable systems, quantum mechanics, etc (see [31]). The interest in this equation is growing, as new properties of it are found, and its solutions are not classified yet (see also [39,13]).
One of the striking properties of this equation is its unifying feature (see, for example, [36,23,24]). Another unification of non-associative structures, was recently obtained using the so-called UJLA structures ( [21,19,20]), which could be seen as structures which 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 in 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 play an important role in recent fundamental physical theories namely, in the theory of super-strings (see [15]). 1 The quantum computer can be used to solve large computational problems from number theory and optimization. An example is the 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 the Shor's algorithm to break algorithms encryption used today.
The organization of our paper is the following. 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 settheoretical 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 about 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.

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 [21,39,31,1,34,38,7,40,35]).
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 [40] defined the following Yang-Baxter operator: This construction could lead to interesting "bozonisation" constructions, a technique often used in constructing (super) quantum groups. For example, the FRT algebras associated to φ L α for a Lie algebra and a Lie super-algebra might be related via such a construction.

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 There are many examples of solutions for the equation (7): from "brace" structures, from relations on sets, etc, and they are related to other interesting structures (see, for example, [3,14,38]). However, this equation is not completely solved yet.
Next, we present some explicit solutions for (7), we extend some constructions from [21], and then we give new constructions of solutions for (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: The symmetries of the point P (a, b, c) about the axes OX, OY, OZ are defined as follows: The symmetries of the point P (a, b, c) about the planes XOY, XOZ, Y OZ are defined as follows: The above symmetries with the identity map form a group: which contains a subgroup isomorphic with Klein's group: {I, S OX , S OY , S OZ }. One could check the following instances of the Yang-Baxter equation: Theorem 3.2. The following is a two-parameter family of solutions for the settheoretical Yang-Baxter equation: Proof. We observe that the map (x, y) → (x m y n , x p y q ) is a solution for (7) if and only if the following relations hold: 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 [10].
Theorem 3.3. The following is a two-parameter family of solutions for the settheoretical Yang-Baxter equation: Proof. One way to prove this theorem is to follow the steps of the above proof.
Remark 3.4. Another way to prove Theorem 3.3 is to relate it to Theorem 3.2. Thus, in some cases, the exponetial function, f : C → C, z → e z , is a morphism of the above solutions for (7): Further, approaches could be by using computational methods, and extended results for Dieudonne modules (see [42]) are expected.
Theorem 3.5. The following is a solution for the set-theoretical Yang-Baxter equation: Other examples of solutions for (7) will be given in the Section 5, and they will be related to informatics.

Transcendental numbers and applications
The following identity, containing the transcendental numbers e and π is wellknown (see more details about transcendental numbers in [26]): (8) e iπ + 1 = 0.
Let J be the following matrix (for α ∈ R * ): then, similarly to (8), the following formula holds: R(x) = cos xI 2 + sin xJ = e xJ : V ⊗2 → V ⊗2 satisfies the colored Yang-Baxter equation: Also, R(x) = e xJ is a solution for the following differential matrix equation: which is related, for example, to [8]. The combination of the properties (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 [9] was related to the following formula with transcendental numbers: Thus, the experimental results presented at that time were related to the Gauss bell function.
Next we solve an open problem proposed in [21]. This theorem, which is related to the transcendental numbers e and π, was solved, using computational methods, thanks to an observation of Dr. Mihai Cipu. The inequality is true in these cases, and we will use the following inequality: n 1 1 k 2 < π 2 6 < 1.645 ∀n ≥ 4, in order to finish our proof. The above inequality is a consequence of the Basel problem: 6 . (A proof for this identity was recently given in [28].) Note also that the sequence in the right hand side is increasing. The last step of the proof is shown bellow. Other recent problems relating e and π are listed below. Numerical and experimental results are very important in studying them.
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 > 4e 2 .
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 (12) x 2 − L 2 x + A = 0 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 (12). We consider two functions with second order derivatives, such that Graphics for arbitrary closed convex curves related to the above openproblems 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 [29]. The equation x i = i x for x ∈ R * + , has no solutions (see [21]). At this moment we do not have convincing numerical / experimental results for solving the following generalization of the above equation: z i = i z z ∈ C * .

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) → (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) → (p ∨ q, p ∧ q) is a solution for (7).
The sorting of numbers (see, for example, [2,21]) 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 (1). int m, aux; m=L; The mai part of another sorting algorithm, related to the left hand side of (2), is given below (see [21] Ordering three numbers is related to a common solution of (1) and (2): R(a, b) = (min(a, b), max(a, b)). In a similar manner, one can finding the greatest common divisor and the least common multiple of three numbers, using another common solution of (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 [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 [15,17,18]).
The formulas (3) and (4) lead to the unification of associative algebras and Lie (super)algebras in the framework of Yang-Baxter structures (see [16,33]). 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 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 which satisfies: 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.
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: Next, we prove the associativity of " · ": It follows that (x · y) · z = x · (y · z).
(ii) In this case The Jacobi identity is verified.
We leave the cases (iii) and (iv) to be proved 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.
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 : is a sub-UJLA structure of the structure defined at (i). In other words, f * g ∈ W, ∀f, g ∈ W .

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, 3.5, 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 which 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 the Shor's algorithm to break 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.