[論文レビュー] 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.

研究の動機と目的

• 左および右の交換移動が平面的で連結なストリング図の強正規化可能な書き換え戦略をもたらすことを確立すること。
• これらの書き換え戦略が、頂点数nとしてO(n³)ステップで終了することを証明すること。
• 辺数mとしてO(n·m)時間で正規形を直接構築するアルゴリズムを開発すること。
• 正規形計算を通じて、平面的ストリング図における効率的な同相性検出を可能にすること。

提案手法

• 論文は、平面的ストリング図における隣接する頂点の高さを入れ替える書き換え規則として左および右の交換移動を定義する。
• 各移動（左または右）が個別に強正規化可能な戦略を生じることを証明する。これにより、終了保証が得られる。
• 正規形は、もはや左または右の交換移動を適用できない図として定義される。
• 著者は、明示的な書き換えを伴わずに交換の効果をシミュレートすることで、O(n·m)時間で正規形を計算する直接構成アルゴリズムを設計する。
• アルゴリズムは、連結図の構造を活用して冗長な計算を回避し、効率性を確保する。
• 交換の可能な回数に関する組合せ的境界を分析することで、O(n³)の終了時間境界が導かれる。

実験結果

リサーチクエスチョン

• RQ1 左および右の交換移動を用いて、連結な平面的ストリング図の強正規化可能な書き換え戦略を定義できるか？
• RQ2 これらの移動を用いて、平面的で連結なストリング図を正規形に還元する際の最悪ケース時間計算量は何か？
• RQ3 反復的書き換えを経ずに正規形を直接計算するアルゴリズムは存在するか？ その時間計算量は？
• RQ4 頂点数および辺数が、このような図における正規形計算の効率にどのように影響するか？
• RQ5 正規形を用いて、平面的ストリング図の同相性同値性を判定できるか？

主な発見

• 左および右の交換移動は、連結な平面的ストリング図に対してそれぞれ強正規化可能な書き換え戦略を生じる。
• 各書き換え戦略は、図の頂点数nとしてO(n³)ステップで終了する。
• 直接的なアルゴリズムにより、辺数mとしてO(n·m)時間で正規形が計算可能であり、反復的書き換えよりも顕著に高速である。
• 与えられた書き換え規則のもとで正規形は一意であるため、同相性検出のための正規表現が可能になる。
• アルゴリズムは、明示的な書き換えを回避し、図の構造的性質を直接用いて正規形を構築する。
• これらの結果は、平面的ストリング図計算における効率的な同相性テストおよび正規形計算の基盤を確立する。