[논문 리뷰] Normal forms for planar connected string diagrams

Antonin Delpeuch|arXiv (Cornell University)|2018. 04. 20.

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) 시간 내에 정규형을 계산하며, 반복적 재작성에 비해 크게 향상된다.
• 주어진 리라이팅 규칙 하에 정규형은 유일하므로, 동형성 검출을 위한 표준 표현이 가능하다.
• 알고리즘은 명시적 재작성 없이도 다이어그램의 구조적 특성을 활용하여 정규형을 직접 구성한다.
• 결과적으로 이는 평면 문자열 다이어그램 계산 체계에서 효율적 동형성 테스트 및 정규형 계산의 기초를 마련한다.