[论文解读] Normal forms for planar connected string diagrams

Antonin Delpeuch|arXiv (Cornell University)|Apr 20, 2018

Algorithms and Data Compression参考文献 19被引用 7

一句话总结

本文提出了一种使用左移和右移交换操作的强归约重写策略，将平面连通弦图转换为唯一的规范形。该方法证明了在 O(n³) 步内终止，并提供了一种 O(n·m) 的直接算法来计算规范形，从而实现了平面弦图中同伦等价关系的高效检测。

ABSTRACT

In the graphical calculus of planar string diagrams, equality is generated by the left and right exchange moves, which swaps the heights of adjacent vertices. We show that for connected diagrams the left- and right-handed exchanges each give strongly normalizing rewrite strategies. We show that these strategies terminate in $O(n^3)$ steps where $n$ is the number of vertices. We also give an algorithm to directly construct the normal form, and hence determine isotopy, in $O(n \cdot m)$ time, where $m$ is the number of edges.

研究动机与目标

• 建立左移与右移交换操作可为平面连通弦图定义强归约重写策略。
• 证明这些重写策略在 O(n³) 步内终止，其中 n 为顶点数。
• 设计一种直接算法，在 O(n·m) 时间内构造规范形，其中 m 为边数。
• 通过规范形计算实现平面弦图中同伦等价关系的高效检测。

提出的方法

• 本文将左移与右移交换操作定义为重写规则，通过交换平面弦图中相邻顶点的高度来实现。
• 证明了每种移动（左移或右移）单独作用时均能产生强归约策略，从而保证终止性。
• 规范形被定义为无法再应用任何左移或右移交换操作的图。
• 作者设计了一种直接构造算法，通过模拟交换操作的影响而非显式重写，实现 O(n·m) 时间内计算规范形。
• 该算法利用连通图的结构特性，避免冗余计算，从而确保效率。
• 分析基于交换操作可能发生的次数的组合界，从而得出 O(n³) 的终止时间界。

实验结果

研究问题

• RQ1 左移与右移交换操作能否用于为连通平面弦图定义强归约重写策略？
• RQ2 使用这些操作将平面连通弦图归约至规范形的最坏时间复杂度是多少？
• RQ3 是否存在一种无需迭代重写的直接算法来计算规范形？其时间复杂度如何？
• RQ4 顶点数与边数如何影响此类图中规范形计算的效率？
• RQ5 规范形能否用于判断平面弦图的同伦等价性？

主要发现

• 左移与右移交换操作各自为连通平面弦图生成强归约重写策略。
• 每种重写策略均在 O(n³) 步内终止，其中 n 为图中顶点数。
• 一种直接算法可在 O(n·m) 时间内计算规范形，其中 m 为边数，显著优于迭代重写方法。
• 在给定重写规则下，规范形是唯一的，从而支持同伦等价检测的规范表示。
• 该算法通过直接利用图的结构特性构造规范形，避免了显式重写过程。
• 研究结果为平面弦图演算中的高效同伦测试与规范形计算奠定了基础。