A computer algebra algoritm for solving the quantum Yang-Baxter equation is presented. It is based on the Taylor expansion of R-matrix which is developed up to the order λ^6. As an example the classification of 4x4 R-matrices is given.
A bootstrap program is presented for algebraically solving the univariate R R -matrix of a generic integrable quantum spin chain from its Hamiltonian. The Yang-Baxter equation contains an infinite number of seemingly independent constraints on the operator valued coefficients in the expansion of the R R -matrices with respect to their spectral parameters, with the lowest order one being the Reshetikhin condition. These coefficients can be solved iteratively in a self consistent way using a lemma due to Kennedy, which reconstructs the R R -matrix after an infinite number of steps. For a generic Hamiltonian, the procedure could fail at any step, making the conditions useful as an integrability test. However, at least for the most common examples, they always turn out to be satisfied whenever the lowest order condition is. It remains to be understood whether they are indeed implied by the Reshetikhin condition.
A crash course on the Yang–Baxter equation and its applications in the statistical mechanics of lattice vertex models is presented. Using the simple example of a one-dimensional lattice gas, the basic terminology and standard mathematical procedures of statistical mechanics are illustrated. The coproduct notation is introduced via a discussion of the two-dimensional dimer model, and the transfer matrix formulation is elaborated further. The algebraic Bethe Ansatz (ABA) is introduced in the context of the ice model, leading to the Yang–Baxter equations. The motivation for introducing the ABA is developed, emphasizing the similarity to the quantum oscillator problem, in features such as the generation of “excited states”, and the determination of the eigenvalue spectrum. Finally, these methods from the theory of lattice models are applied to the case of a quantum many-body problem, the Heisenberg chain. From the condition that the monodromy matrices satisfy the Yang–Baxter equation, a complete set of mutually commuting operators is derived, and the Heisenberg chain problem is completely solved.PACS Nos.: 02.20.Uw, 24.10.Cn, 87.10.Hk, 05.20.–y
Multiple equations in math, physics, quantum information, and elsewhere are referred to as "the" Yang-Baxter equation, in spite of being a broad family of equations. Most of the equations are nonlinear matrix equations, where the unknown variable is a matrix. This is the case for the so called braided, algebraic, and generalized forms of "the" equation, which are the primary focus of this dissertation. Finding solutions to the various forms of these equations has been the subject of much research. The equations in all their forms are largely considered intractable in high dimensions, and only in dimension 2 have the solutions been fully classified. We begin with an introduction to quantum computation, with a focus on the topological model and its connection to the braid group. Next, we introduce the braided, algebraic, and generalized forms of "the" Yang-Baxter equation. We provide a full classification of diagonal solutions to each form. In particular, we show that any diagonal matrix is a solution to the algebraic form in any dimension, and each instance of the braided and generalized forms only have diagonal solutions that are scalar multiples of the identity. We exploit the relationship between the algebraic and braided forms to construct a solution in any dimension that is applicable to topological quantum computation as a universal gate. The generalized form of the equation is parameterized by three natural numbers, (d,m,l), and we show that the only invertible solutions when l ≥ m are scalar multiples of the identity. We completely classify all solutions arising from an X-shaped ansatz for five different choices of (d,m,l), and provide a complete classification of X-shaped solutions to every odd dimensional braided equation, where there are no X-shaped solutions in any dimension. We fully classify permutation solutions to each instance of the braided and algebraic equations that can be written as a product of 3 or fewer transpositions. We show that the problem of classifying all invertible upper triangular solutions to the 4-dimensional algebraic Yang-Baxter equation can be split into 48 cases, and fully classify one of the cases.