Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks

Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks
复制标题

正交矩阵的图重写:临界峰的研究

DOI:
--
复制
发表时间:
2008
期刊:
International Conference on Rewriting Techniques and Applications
影响因子:
--
通讯作者:
Pierre Rannou
Pierre Rannou
中科院分区:
--
文献类型:
--
作者:
Y. Lafont;Pierre Rannou

文献摘要

被引文献

相似文献

正交图表示将 fin 的等距分解为对称性和旋转。第一作者介绍了该结构的一些收敛(即诺特和汇合)重写系统。其中规则之一类似于 Yang-Baxter 方程。它涉及到一个映射 h: ]0, ?[3?]0, ?[3。 为了获得 h 的代数性质,我们研究了重写系统的关键峰(或关键对)的汇合。为此,我们引入参数图来描述通过重写生成的旋转角度的计算。特别是,这些属性之一与四面体方程(也称为 Zamolodchikov 方程)有关。
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).