In
physics
Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...
, the Yang–Baxter equation (or star–triangle relation) is a
consistency equation which was first introduced in the field of
statistical mechanics
In physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. Sometimes called statistical physics or statistical thermodynamics, its applicati ...
. It depends on the idea that in some scattering situations, particles may preserve their momentum while changing their quantum internal states. It states that a matrix
, acting on two out of three objects, satisfies
:
where
is
followed by a swap of the two objects. In one-dimensional quantum systems,
is the scattering matrix and if it satisfies the Yang–Baxter equation then the system is
integrable
In mathematics, integrability is a property of certain dynamical systems. While there are several distinct formal definitions, informally speaking, an integrable system is a dynamical system with sufficiently many conserved quantities, or first ...
. The Yang–Baxter equation also shows up when discussing
knot theory
In topology, knot theory is the study of knot (mathematics), mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are joined so it cannot be und ...
and the
braid group
In mathematics, the braid group on strands (denoted B_n), also known as the Artin braid group, is the group whose elements are equivalence classes of Braid theory, -braids (e.g. under ambient isotopy), and whose group operation is composition of ...
s where
corresponds to swapping two strands. Since one can swap three strands in two different ways, the Yang–Baxter equation enforces that both paths are the same.
History
According to
Michio Jimbo
is a Japanese mathematician working in mathematical physics and is a professor of mathematics at Rikkyo University. He is a grandson of the linguist .
Career
After graduating from the University of Tokyo in 1974, he studied under Mikio Sato a ...
, the Yang–Baxter equation (YBE) manifested itself in the works of J. B. McGuire in 1964 and
C. N. Yang in 1967. They considered a quantum mechanical many-body problem on a line having
as the potential. Using the
Bethe ansatz
In physics, the Bethe ansatz is an ansatz for finding the exact wavefunctions of certain quantum many-body models, most commonly for one-dimensional lattice models. It was first used by Hans Bethe in 1931 to find the exact eigenvalues and eigenv ...
techniques, they found that the scattering matrix factorized to that of the two-body problem, and determined it exactly. Here YBE arises as the consistency condition for the factorization.
In
statistical mechanics
In physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. Sometimes called statistical physics or statistical thermodynamics, its applicati ...
, the source of YBE probably goes back to Onsager's star-triangle relation, briefly mentioned in the introduction to his solution of the Ising model in 1944. The hunt for solvable lattice models has been actively pursued since then, culminating in
Rodney Baxter's solution of the eight vertex model in 1972.
Another line of development was the theory of factorized ''S''-matrix in two dimensional quantum field theory. Alexander B. Zamolodchikov pointed out that the algebraic mechanics working here is the same as that in the Baxter's and others' works.
The YBE has also manifested itself in a study of
Young operators in the
group algebra of the
symmetric group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric grou ...
in the work of
A. A. Jucys in 1966.
General form of the parameter-dependent Yang–Baxter equation
Let
be a
unital associative algebra
In mathematics, an associative algebra ''A'' over a commutative ring (often a field) ''K'' is a ring ''A'' together with a ring homomorphism from ''K'' into the center of ''A''. This is thus an algebraic structure with an addition, a mult ...
. In its most general form, the parameter-dependent Yang–Baxter equation is an equation for
, a parameter-dependent element of the
tensor product
In mathematics, the tensor product V \otimes W of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map V\times W \rightarrow V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of ...
(here,
and
are the parameters, which usually range over the
real number
In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every re ...
s ℝ in the case of an additive parameter, or over
positive real numbers
In mathematics, the set of positive real numbers, \R_ = \left\, is the subset of those real numbers that are greater than zero. The non-negative real numbers, \R_ = \left\, also include zero. Although the symbols \R_ and \R^ are ambiguously used fo ...
ℝ
+ in the case of a multiplicative parameter).
Let
for
, with algebra
homomorphism
In algebra, a homomorphism is a morphism, structure-preserving map (mathematics), map between two algebraic structures of the same type (such as two group (mathematics), groups, two ring (mathematics), rings, or two vector spaces). The word ''homo ...
s
determined by
:
:
:
The general form of the Yang–Baxter equation is
:
for all values of
,
and
.
Parameter-independent form
Let
be a unital associative algebra. The parameter-independent Yang–Baxter equation is an equation for
, an invertible element of the tensor product
. The Yang–Baxter equation is
:
where
,
, and
.
With respect to a basis
Often the unital associative algebra is the
algebra of endomorphisms of a
vector space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
over a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
, that is,
. With respect to a
basis
Basis is a term used in mathematics, finance, science, and other contexts to refer to foundational concepts, valuation measures, or organizational names; here, it may refer to:
Finance and accounting
* Adjusted basis, the net cost of an asse ...
of
, the components of the matrices
are written
, which is the component associated to the map
. Omitting parameter dependence, the component of the Yang–Baxter equation associated to the map
reads
:
Alternate form and representations of the braid group
Let
be a
module of
, and
. Let
be the linear map satisfying
for all
. The Yang–Baxter equation then has the following alternate form in terms of
on
.
:
.
Alternatively, we can express it in the same notation as above, defining
, in which case the alternate form is
:
In the parameter-independent special case where
does not depend on parameters, the equation reduces to
:
,
and (if
is invertible) a
representation
Representation may refer to:
Law and politics
*Representation (politics), political activities undertaken by elected representatives, as well as other theories
** Representative democracy, type of democracy in which elected officials represent a ...
of the
braid group
In mathematics, the braid group on strands (denoted B_n), also known as the Artin braid group, is the group whose elements are equivalence classes of Braid theory, -braids (e.g. under ambient isotopy), and whose group operation is composition of ...
,
, can be constructed on
by
for
. This representation can be used to determine quasi-invariants of
braids
A braid (also referred to as a plait; ) is a complex structure or pattern formed by interlacing three or more strands of flexible material such as textile yarns, wire, or hair.
The simplest and most common version is a flat, solid, three-strand ...
,
knots
A knot is a fastening in rope or interwoven lines.
Knot or knots may also refer to:
Other common meanings
* Knot (unit), of speed
* Knot (wood), a timber imperfection
Arts, entertainment, and media Films
* ''Knots'' (film), a 2004 film
* ''Kn ...
and
links.
Symmetry
Solutions to the Yang–Baxter equation are often constrained by requiring the
matrix to be invariant under the action of a
Lie group
In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.
A manifold is a space that locally resembles Eucli ...
. For example, in the case
and
, the only
-invariant maps in
are the identity
and the permutation map
. The general form of the
-matrix is then
for scalar functions
.
The Yang–Baxter equation is homogeneous in parameter dependence in the sense that if one defines
, where
is a scalar function, then
also satisfies the Yang–Baxter equation.
The argument space itself may have symmetry. For example translation invariance enforces that the dependence on the arguments
must be dependent only on the translation-invariant difference
, while scale invariance enforces that
is a function of the scale-invariant ratio
.
Parametrizations and example solutions
A common ansatz for computing solutions is the difference property,
, where R depends only on a single (additive) parameter. Equivalently, taking logarithms, we may choose the parametrization
, in which case R is said to depend on a multiplicative parameter. In those cases, we may reduce the YBE to two free parameters in a form that facilitates computations:
:
for all values of
and
. For a multiplicative parameter, the Yang–Baxter equation is
:
for all values of
and
.
The braided forms read as:
:
:
In some cases, the determinant of
can vanish at specific values of the spectral parameter
. Some
matrices turn into a one dimensional projector at
. In this case a quantum determinant can be defined .
Example solutions of the parameter-dependent YBE
* A particularly simple class of parameter-dependent solutions can be obtained from solutions of the parameter-independent YBE satisfying
, where the corresponding braid group representation is a permutation group representation. In this case,
(equivalently,
) is a solution of the (additive) parameter-dependent YBE. In the case where
and
, this gives the scattering matrix of the
Heisenberg XXX spin chain.
* The
-matrices of the evaluation modules of the quantum group
are given explicitly by the matrix
:
Then the parametrized Yang-Baxter equation (in braided form) with the multiplicative parameter is satisfied:
:
Classification of solutions
There are broadly speaking three classes of solutions: rational, trigonometric and elliptic. These are related to
quantum group
In mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups (which are quasitriangular Hopf algebra ...
s known as the
Yangian,
affine quantum groups and
elliptic algebras respectively.
Set-theoretic Yang–Baxter equation
Set-theoretic solutions were studied by
Drinfeld.
In this case, there is an
-matrix invariant basis
for the vector space
in the sense that the
-matrix maps the induced basis of
to itself. This then induces a map
given by restriction of the
-matrix to the basis. The set-theoretic Yang–Baxter equation is then defined using the 'twisted' alternate form above, asserting
as maps on
. The equation can then be considered purely as an equation in the
category of sets
In the mathematical field of category theory, the category of sets, denoted by Set, is the category whose objects are sets. The arrows or morphisms between sets ''A'' and ''B'' are the functions from ''A'' to ''B'', and the composition of mor ...
.
Examples
*
.
*
where
, the transposition map.
* If
is a (right)
shelf, then
is a set-theoretic solution to the YBE.
Classical Yang–Baxter equation
Solutions to the classical YBE were studied and to some extent classified by
Belavin and Drinfeld.
Given a 'classical
-matrix'
, which may also depend on a pair of arguments
, the classical YBE is (suppressing parameters)
This is quadratic in the
-matrix, unlike the usual quantum YBE which is cubic in
.
This equation emerges from so called quasi-classical solutions to the quantum YBE, in which the
-matrix admits an asymptotic expansion in terms of an expansion parameter
The classical YBE then comes from reading off the
coefficient of the quantum YBE (and the equation trivially holds at orders
).
See also
*
Lie bialgebra In mathematics, a Lie bialgebra is the Lie-theoretic case of a bialgebra: it is a set with a Lie algebra and a Lie coalgebra structure which are compatible.
It is a bialgebra where the multiplication is skew-symmetric and satisfies a dual Jacobi ...
*
Yangian
*
Reidemeister move
In the mathematical area of knot theory, a Reidemeister move is any of three local moves on a link diagram. and, independently, , demonstrated that two knot diagrams belonging to the same knot, up to planar isotopy, can be related by a seque ...
*
Quasitriangular Hopf algebra
In mathematics, a Hopf algebra, ''H'', is quasitriangularMontgomery & Schneider (2002), p. 72 if there exists an invertible element, ''R'', of H \otimes H such that
:*R \ \Delta(x)R^ = (T \circ \Delta)(x) for all x \in H, where \Delta is the cop ...
*
Yang–Baxter operator
References
* H.-D. Doebner, J.-D. Hennig, eds, ''Quantum groups, Proceedings of the 8th International Workshop on Mathematical Physics, Arnold Sommerfeld Institute, Clausthal, FRG, 1989'', Springer-Verlag Berlin, .
*
Vyjayanthi Chari
Vyjayanthi Chari (born 1958) is an Indian–American Distinguished Professor and the F. Burton Jones Endowed Chair for Pure Mathematics at the University of California, Riverside, known for her research in representation theory and quantum algebr ...
and Andrew Pressley, ''A Guide to Quantum Groups'', (1994), Cambridge University Press, Cambridge .
* Jacques H.H. Perk and Helen Au-Yang, "Yang–Baxter Equations", (2006), .
External links
*
{{DEFAULTSORT:Yang-Baxter equation
Eponymous equations of physics
Yang Chen-Ning
Monoidal categories
Statistical mechanics
Exactly solvable models
Conformal field theory