[논문 리뷰] Rule Algebras for Adhesive Categories

Nicolas Behr, Vincent Danos외 2명|arXiv (Cornell University)|2016. 12. 19.

Bayesian Modeling and Causal Inference참고 문헌 9인용 수 10

한 줄 요약

이 논문은 도표적 합성의 재귀 규칙으로부터 유도된 비가환적이고 단위 원소를 갖는 결합 법칙을 만족하는 대수인 규칙 다이어그램 대수를 구성함으로써 그래프 재작성 시스템에 대한 새로운 프레임워크를 제안한다. 이 대수에 대해 네 가지의 서로 다른 축소 준동형을 적용함으로써 저자들은 네 가지의 새로운 유형의 규칙 대수를 정의하며, 기존에 알려지지 않은 두 가지 형태의 그래프 재작성 구조를 드러낸다. 이 작업은 조합적 호프 대수 구조를 수립하고, 피카르-비르호프-워드 유사 정리를 증명하며, 그래프 재작성 이론을 조합론 및 수학적 물리학의 영역에 견고히 뿌리내린다.

ABSTRACT

The concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in~\cite{blasiak2010combinatorial} is extended to the case of so-called rule diagrams that present graph rewriting rules and their composites. The resulting rule diagram algebra may then be suitably restricted in four different ways to what we call the rule algebras, which are non-commutative, unital associative algebras that implement the algebra of compositions of graph rewriting rules. Notably, our framework reveals that there exist two more types of graph rewriting systems than previously known in the literature, and we present an analysis of the structure of the rule algebras as well as a form of Poincaré-Birkhoff-Witt theorem for the rule diagram algebra. Our work lays the foundation for a fundamentally new way of analyzing graph transformation systems, and embeds this very important concept from theoretical computer science firmly into the realm of mathematical combinatorics and statistical physics.

연구 동기 및 목표

• 조합론, 컴퓨터 과학, 물리학의 시각에서 그래프 재작성 시스템을 분석하기 위한 통합적인 대수적 프레임워크를 개발하기 위해.
• 도표적 조합적 호프 대수 개념을 확장하여 네 가지의 서로 다른 그래프 재작성 유형을 식별하고 형식화하기 위해.
• 기존의 DPO 및 SPO 모델을 초월하여 이전에 알려지지 않은 두 가지 형태의 그래프 재작성 구조를 드러내기 위해.
• 규칙 다이어그램 대수와 그 제한된 규칙 대수를 구성함으로써 그래프 재작성에 대한 엄밀한 대수적 기초를 마련하기 위해.
• 그래프 재작성 이론을 조합적 호프 대수와 통계역학의 영역에 통합함으로써 새로운 구조적 및 표현 이론적 분석이 가능하도록 하기 위해.

제안 방법

• 각각의 재작성 규칙과 그 합성을 표현하는 기저 원소로 불가약한 규칙 다이어그램을 사용하여 규칙 다이어그램 대수를 구성하기.
• 규칙 다이어그램 대수에서 네 가지의 서로 다른 축소 준동형을 정의하여, 각각 다른 재작성 철학에 대응하는 네 가지의 서로 다른 규칙 대수로 사상하기.
• 규칙 다이어그램 대수에 필터링과 코알제브라 구조를 도입함으로써 연결된 필터링된 비알제브라로 이어지고, 최종적으로 쌍대원소 구성법을 통해 호프 대수로 이어지게 하기.
• 코너볼루션 곱과 기하급수 급수 형식을 사용하여 쌍대원소를 정의하고, 연결된 필터링된 비알제브라가 항상 호프 대수임을 증명하기.
• 불가분 부분다이어그램에 의해 인덱싱되는 기저를 식별하고, 불가분 부분다이어그램의 대수적 구조를 분석함으로써 규칙 다이어그램 대수에 대해 피카르-비르호프-워드 유사 정리를 유도하기.
• 규칙 다이어그램 대수의 보편 포괄 대수와 리 대수의 구조를 분석하여 더 깊은 대수적 성질과 대칭성을 밝혀내기.

실험 결과

연구 질문

• RQ1 그래프 재작성 규칙의 순차적 합성의 배경이 되는 대수적 구조는 무엇이며, 이를 보편적이고 도표적 방식으로 어떻게 형식화할 수 있는가?
• RQ2 규칙 다이어그램에 적용되는 다양한 축소 전략은 어떻게 서로 다른 유형의 그래프 재작성 시스템을 만들어내며, 각각의 대수적 성질은 무엇인가?
• RQ3 규칙 다이어그램 대수는 조합적 호프 대수 구조를 지닐 수 있는가, 그리고 이것이 그래프 재작성의 표현 이론에 어떤 함의를 갖는가?
• RQ4 규칙 다이어그램 대수와 관련된 대수적 구조—예를 들어 리 대수 또는 보편 포괄 대수—는 더 깊은 대칭성을 드러내는가?
• RQ5 규칙 대수 RT와 하이젠베르크-바일 대수 사이의 관계는 무엇이며, 이 연결은 일반화된 조합적 물리학 프레임워크를 어떻게 뒷받침하는가?

주요 결과

• 규칙 다이어그램 대수는 연결된 필터링된 비알제브라이므로, 고유한 쌍대원소를 지니며, 따라서 호프 대수이다.
• 네 가지의 서로 다른 축소 준동형을 통해 네 가지의 서로 다른 규칙 대수를 구성하였으며, 그 중 두 가지는 기존의 재작성 철학(DPO 및 SPO)에 대응하지만, 나머지 두 가지는 이전에 알려지지 않은 그래프 재작성 유형을 나타낸다.
• 규칙 다이어그램 대수에 대해 피카르-비르호프-워드 유사 정리를 확립하였으며, 이는 대수가 불가분 부분다이어그램에 의해 인덱싱되는 기저를 지닌다는 것을 보여준다.
• 규칙 다이어그램 대수의 원소 중에서 원소가 아니며 더 작은 구성요소로 분해될 수 없는 불가약한 규칙 다이어그램들이 정확히 기초 원소가 된다.
• 규칙 다이어그램 대수와 관련된 리 대수의 보편 포괄 대수는 그 자체의 규칙 다이어그램 대수와 동형임을 확인하였으며, 이는 이 대수적 구조의 풍부한 대수적 성질을 뒷받침한다.
• 규칙 대수 RT는 호프 대수 구조를 지니지 않으며, 이는 규칙 다이어그램 대수와 그 제한된 몫 대수 사이의 근본적인 차이를 나타낸다.