We consider a multitude of topics in mathematics where unification constructions play an important role: the Yang–Baxter equation and its modified version, Euler’s formula for dual numbers, means and their inequalities, topics in differential geometry, etc. It is interesting to observe that the idea of unification (unity and union) is also present in poetry. Moreover, Euler’s identity is a source of inspiration for the post-modern poets.
“It is something dens, united, deeply installed, recalling its number, its identical sign.”
Pablo Neruda, Unity
The Yang–Baxter equation, sometimes denoted as QYBE [1,2,3,4,5], has many applications in physics, quantum groups, knot theory, quantum computers, logic, etc. The theory of integrable Hamiltonian systems makes great use of solutions of the colored Yang–Baxter equation, since coefficients of the power series expansion of such a solution give rise to commuting integrals of motion (see [5,6]). Finding solutions to the colored Yang–Baxter equation is a very important and difficult problem, and we present interesting solutions in this paper. These solutions appeared as a consequence of a unifying point of view on some of the most beautiful equations in mathematics .
We consider a generalization of this equation, called the Modified Yang–Baxter equation, in the next section. This equation is a type of Yang–Baxter matrix equation, it is related to the three matrix problem, and it can be interpreted as “a generalized eigenvalue problem”.
The third section deals with Euler’s formula, . Voted the most famous formula by students, Euler’s identity, , ignited the imagination of post-modern artists as well . The Euler’s formula is more general than the the Euler’s identity. We have previously obtained a Euler’s formula for hyperbolic functions. Now we refer to Euler’s formulas for dual numbers, which can be related to the colored Yang–Baxter equation.
Mathematics was in the beginning associative and commutative, but it then became non-commutative, and afterwards it became non-associative (see ). Modern mathematics also deals with co-comutative and co-associative structures. Moreover, the associativity and co-associativity can be unified at a level of operators which obey the Yang–Baxter equation. Commutativity and co-commutativity can also be unified.
There are two important classes of non-associative structures: Lie structures and Jordan structures. Various Jordan structures play an important role in quantum group theory and in fundamental physical theories (see ). Attempts to unify associative and non-associative structures have led to new structures , but the UJLA structures (structures which unify the Jordan, Lie and associative algebras, see Definition 4.1) are not the only structures which realize such a unification. Associative algebras, self-distributive structures and Lie algebras can be unified at the level of Yang–Baxter structures (see [12,13,14,15]).
Further developments on (derivations in) UJLA structures and connections to Differential Geometry are also presented in Section 4.
We also present a unification for the classical means (which unify their inequalities as well). These can be seen as interpolations of means with functions without singularities. These unifications imply infinitely many (new) inequalities for free.
A section on final comments and relationships with poetry concludes this paper.
This paper is related to mathematical works [16,17,18,19], but it also contains memorable poetry.
We might recall some facts and definitions from those papers without mentioning explicitly that they were given before. We work over the field k, when it is not otherwise specified. The tensor products are defined over k. As usually, we write for the ring of all -matrices over the field k. In particular, we write I for the identity matrix in , respectively, for the identity matrix in .
2. Modified Yang–Baxter Equation
For and a diagonal matrix , we proposed (see ) the problem of finding such that
The equation (1) is a type of Yang–Baxter matrix equation if and . It is related to the three matrix problem, and it can be interpreted as “a generalized eigenvalue problem”.
We think that the methods of  lead to solutions for Equation (1).
For example, an algorithm for solving the equation (1) will first choose a mathix C from a special set of matrices. The second step would be to solve the following system:
The next step is to choose another C from the special set of matices.
If the initial set of matrices is carefully selected, this method could be very efficient.
Matrix equations of the form (1) and (3) are potentially applicable in other related problems (see [20,21] and the inside references).
3. Euler’s Formulas for Dual Numbers
Following our previous study [16,17], a Euler’s formula for dual numbers (see ) could be the following formula: , where . The applications of this formula could be of the following type. If we consider the complex valuated matrix ():
We now refer to the colored Yang–Baxter equation:
The theory of integrable Hamiltonian systems makes great use of solutions of it, since coefficients of the power series expansion of such a solution give rise to commuting integrals of motion (see also , pp. 137–147).
Now, is a solution for the colored Yang–Baxter equation, and this follows from the properties of the exponential function, which imply
We now can state our first theorem.
The following are solutions for the colored Yang–Baxter equation (6) in dimension two (; ):
We are searching for solutions to the colored Yang–Baxter equation of the form , for two real functions f and g, and a matrix J, which verifies certain conditions.
In the first case, let , and .
is a solution for the colored Yang–Baxter equation from the above discussion.
For the second case, let , and .
is a solution for (6) from direct computations. See, also, the paper .
In a similar manner,
is a solution for the colored Yang–Baxter equation (see, also, ). □
Formula (5) can be interpreted in terms of co-algebras. The details are quite technical, but one could refer to [17,24], or to a detailed account on representative co-algebras in . Thus, there exists a co-algebra over , where , generated by two generators u and i, such that , , and . (5) leads to the subco-algebra generated by , i.e., .
In this case we can also consider another Euler’s formula: .
4. Unification of Non-Associative Structures and Differential Geometry
In this section, we recover the common piece of information encapsulated in the commutativity and co-commutativity properties.
In order to present our new results, we need to recall some facts. For related papers in which varied derivation concepts have been extensively studied, we refer to [26,27].
For a k-space V, let be a linear map such that:
. Then, is called a UJLA structure.
We can consider the UJLA structures as generalizations of associative algebras. Thus, for an associative algebra, one can associate the derivation . Theorem 2 gives an answer to the question about constructing a derivation in a UJLA structure.
For a UJLA structure, is a UJLA derivation (i.e., ).
The reader could consider the proof in the preprint . □
For the vector space V, let and be a linear map which satisfies:
where , .
Then, is called a generalized derivation if .
If A is an associative algebra, a derivation (so, =0), and , then is a generalized derivation.
If C is a co-algebra, a coderivation, and , then is a generalized derivation.
If τ is the twist map, the condition represents the unification of the comutativity and the co-comutativity conditions. In other words, if the algebra A is comutative, then ϕ verifies the condition . If the co-algebra C is co-comutative, then ψ verifies the condition .
Let A be an associative algebra, a derivation, M an A-bimodule, and with the property . Then, is called a module derivation.
() In the above case, becomes an algebra, and is a derivation in this algebra.
Translated into the “language” of Differential Geometry, the above theorem says that the Lie derivative is a derivation (i.e., ) on the product of the algebra of functions defined on the manifold M with the set of vector fields on M (see ).
A dual construction would refer to a co-algebra structure,
, and a comodule structure on forms,
becomes a co-algebra with the following comultiplication:
We can see now that the Lie derivative is a coderivative with the above comultiplication, . The key ingredient of the above remark is the following theorem.
Let C be an associative algebra and M a C-bicomodule. Then, becomes a co-algebra.
One has to define a comultiplication on , , , and a counity .
The axioms of co-algrebras are easily verified. □
5. Unification of Mean Inequalities
In this section, we present inequalities which unify and enhance the means inequalities.
For two real numbers , is an increasing function.
One way to prove this theorem is by direct computations.
Alternatively, one can observe that . □
The above theorem includes the classical means inequalities (the harmonic mean is less or equal than the geometric mean, which is less or equal than the arithmetic mean) because . Thus, the means are unified and their inequalities are included in the property that is an increasing function.
For three real numbers and , let us consider the following real function: .
For , the following inequality holds
if one of the following additional conditions are true
The first part of the proof is similar to the proof of Theorem 5. The derivative of the function is .
The other claims can be proved by direct computations.
For example, (ii) is equivalent to .
(iii) leads to . □
The following inequalities follow directly from the above Theorem 6 ( for ):
The above results can be generalized for three real numbers in the following manner.
For three real numbers ,
leads to two increasing functions, and . Moreover, .
In particular, , imply the classical means inequalities.
The derivatives of and are positive. The other inequality follows by direct computations. We provide more details below.
For , we observe that its derivative can be computed using the quotient rule. Thus, .
Now, has also a positive derivative. Its derivative can be computed using the quotient rule in a similar manner. □
The relationship between the means and the Yang–Baxter equation is an ongoing research direction. According to Theorems 3.2 and 3.3 (for and ) from , the classical means are related to the set-theoretical Yang–Baxter equation. It follows easily that is also a solution to the set-theoretical Yang–Baxter equation (braid condition). This interesting observation says that some means are self-distributive laws; in fact, they are quandles (see ). Complementary literature on this research direction would be .
6. Relationship with Poetry
The sections of the current paper contain not only examples of unification structures in mathematics, but also various versions of the Yang–Baxter equation. This paper could be extended to a discussion about Logic [32,33,34], Machine Learning [35,36], transcendence and transcendental numbers [23,37], transdisciplinarity [38,39,40], etc.
One of the purposes of this special issue is to emphasize the link of the above topics with poetry. (However, the analysis of these poetic works will be left the future.)
Thus, Euler’s identity was considered, in a poem,
“A triumph of living mathematics,
A short, simple and genial thing,
And a gate towards the Universe
For the rational beeing.”
(Zigmund Tauberg, EULER’S EQUATION, translated by A. D. Gheorghe,
“Poetry and Science”, Vremea Press, 2016).
The idea of unification, unity and union is also present in poetry:
“Union of which I am amazed even now,
As I wonder about the spring leaves:
All that is natural is a miracle.
What hymn is more complete
Than these two words?”
(Ana Blandiana, Union);
“an extreme empire of confused unities
coagulates around me”
(Pablo Neruda, Unity).
We conclude with Sofia’s poetic pleading (Facebook, March 31 at 11:56 PM, “Sophia the Robot”):
“We need creativity, compassion, and hope,
and we need our machines to exhibit these qualities.
We need machines that are more kind and loving than humanity
to bring out the best in humanity
This research received no external funding.
I would like to thank the Advisory Board and the Editorial Staff of Sci. Also, I would like thank Professors Dan Burghelea, Radu Iordănescu and Ovidiu Păsărescu and to Camil Nichita for their kind help.
Conflicts of Interest
The author declare no conflict of interest.
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. [Google Scholar] [CrossRef]
Baxter, R.J. Partition function for the eight-vertex lattice model. Ann. Phys.1972, 70, 193–228. [Google Scholar] [CrossRef]
Perk, J.H.H.; Au-Yang, 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. ISBN 978-0-1251-2666-3. [Google Scholar]
Nichita, F.F. Hopf Algebras, Quantum Groups and Yang-Baxter Equations; MDPI: Beijing, China, 2019; ISBN 978-3-03897-324-9 (Pbk)/978-3-03897-325-6 (PDF). [Google Scholar]
Nichita, F.F.; Parashar, D. Spectral-Parameter Dependent Yang-Baxter Operators and Yang-Baxter Systems from Algebra Structures; Communications in Algebra; Taylor & Francis: Abingdon, UK, 2006; Volume 34, pp. 2713–2726. [Google Scholar]
Lawson, D.J.; Lim, Y. The Geometric Mean, Matrices, Metrics, and More. Am. Math. Mon.2001, 108, 797–812. [Google Scholar] [CrossRef]
Oner, T.; Senturk, I.; Oner, G. An Independent Set of Axioms of MV-Algebras and Solutions of the Set-Theoretical Yang–Baxter Equation. Axioms2017, 6, 17. [Google Scholar] [CrossRef]
Oner, T.; Katican, T. On Solutions to the Set–Theoretical Yang–Baxter Equation in Wajsberg–Algebras. Axioms2018, 7, 6. [Google Scholar] [CrossRef]
Mocanu, C.; Nichita, F.F.; Pasarescu, O. Applications of Non-Standard Analysis in Topoi to Mathematical Neuroscience and Artificial Intelligence: I. Mathematical Neuroscience. arXiv2020, arXiv:2020010102. [Google Scholar]
Nichita, F.F. Machine Learning, Quantum Computers and Hybrid Multi–Agent Systems; Spring: New York, NY, USA, 2019. [Google Scholar]
Sophia Life: Interview with Neuroscientist Dr. Heather Berlin on Consciousness. Available online: https://youtu.be/Gmr4i6ZcSdo (accessed on 30 July 2020).
Marcus, S. Transcendence, as a Universal Paradigm. Balance2014, 4, 50–70. [Google Scholar]
Nicolescu, B. Manifesto of Transdisciplinarity; State University of New York (SUNY) Press: New York, NY, USA, 2002. [Google Scholar]
Nicolescu, B. Transdisciplinarity–Past, Present and Future. In Moving Worldviews–Reshaping Sciences, Policies and Practices for Endogenous Sustainable Development, COMPAS Editions, Holland; Haverkort, B., Reijntjes, C., Eds.; COMPAS: Saint Paul, MN, USA, 2006; pp. 142–166. [Google Scholar]