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 |
Externí odkaz: |