Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks

Autor: Pierre Rannou, Yves Lafont
Rok vydání: 2008
Předmět:
Zdroj: Rewriting Techniques and Applications ISBN: 9783540705888
RTA
Popis: Orthogonal diagramsrepresent decompositions of isometries of ?ninto symmetries and rotations. Some convergent (that is noetherian and confluent) rewrite system for this structure was introduced by the first author. One of the rules is similar to Yang-Baxter equation. It involves a map h: ]0, ?[3?]0, ?[3. In order to obtain the algebraic properties of h, we study the confluence of critical peaks (or critical pairs) for our rewrite system. For that purpose, we introduce parametric diagramsdescribing the calculation of angles of rotations generated by rewriting. In particular, one of those properties is related to the tetrahedron equation(also called Zamolodchikov equation).
Databáze: OpenAIRE