2차원 재작성 시스템의 임계쌍 계산 방법

**1. 서론 및 배경** 논문은 단어 재작성 시스템이 모노이드를 효과적으로 기술하고, 수렴성(종료+결합성)으로부터 정규형을 제공한다는 점을 상기한다. 이를 고차원으로 확장하기 위해 ‘폴리그래프(다중 차원 재작성)’를 도입한다. 3‑폴리그래프는 0‑,1‑,2‑,3‑생성자를 순차적으로 정의하고, 3‑생성자를 재작성 규칙으로 해석한다. 예시로 대칭군을 나타내는 ‘Bij’ 카테고리와 모노이드 이론을 제시한다. 특히, 대칭군의 경우 두 규칙이 무한히 겹치는 현상이 발생함을 보여준다(그림 (4) 참조). **2. 2‑카테고리와 폴리그래프의 형식적 정의** 2‑카테고리는 0‑셀, 1‑셀, 2‑셀로 구성되며, 수직·수평 합성, 교환법칙을 만족한다. 폴리그래프는 그래프 이론적 관점에서 정의되며, 자유 2‑카테고리를 생성하는 과정이 상세히 기술된다. 3‑폴리그래프는 (9)식에 따라 0‑,1‑,2‑,3‑생성자를 연결하고, 자유 3‑카테고리를 만든 뒤 2‑카테고리 부분을 추출해 ‘프레젠테이션’으로 사용한다. 이때 3‑생성자는 2‑셀 사이의 동형을 지정한다. **3. 자유 2‑카테고리의 구체적 구현** 자유 2‑카테고리를 직접 기술하려면 복잡한 동등관계(수평·수직 교환, 단위 흡수 등)를 고려해야 한다. 저자는 이를 우회하기 위해 ‘컴팩트 2‑카테고리 전임베딩’ 방식을 제안한다. 컴팩트 카테고리에서는 각 1‑셀에 대한 좌·우 듀얼이 존재하고, ‘컵’·‘캡’ 연산을 통해 와이어를 뒤집을 수 있다. 이 구조를 이용하면 복잡한 교환법칙을 자동으로 만족시키는 그래프 형태의 2‑셀을 만들 수 있다. **4. 컨텍스트와 임계쌍의 정의** 전통적인 term rewriting에서 임계쌍은 두 규칙이 겹치는 최소 부분을 찾는 과정이다. 2‑차원에서는 겹침이 ‘다중 입출력’과 ‘와이어 뒤틀림’ 때문에 무한히 늘어날 수 있다. 논문은 ‘컨텍스트’를 ‘구멍이 있는 2‑셀’로 정의하고, 두 규칙이 이 컨텍스트 안에 동시에 삽입될 수 있는 경우를 모두 탐색한다. 핵심은 컴팩트 전임베딩을 통해 모든 가능한 겹침을 하나의 동형 클래스로 묶어, 실제로는 유한한 컨텍스트 집합만을 고려한다는 점이다. **5. 통일화(유니피케이션) 알고리즘** 2‑셀의 수평·수직 합성을 동시에 고려하는 고차원 통일화 절차를 설계한다. 입력은 두 규칙의 왼쪽 2‑셀과 컨텍스트이며, 목표는 컨텍스트 내부의 포트(와이어) 매핑을 찾는 것이다. 알고리즘은 다음 단계로 진행한다. - (a) 각 규칙을 ‘표준 형태’(모든 1‑셀을 포트에 연결)로 변환. - (b) 컨텍스트에 대한 ‘포트 변수’를 도입하고, 두 규칙의 포트를 변수와 매칭시켜 제약식 생성. - (c) 제약식을 해결해 가장 일반적인 매핑(최소 일반 합성) 도출. - (d) 매핑을 적용해 두 규칙이 동시에 적용 가능한 ‘임계쌍’ 2‑셀을 구성. 이 과정은 전통적인 단일 차원 통일화와 유사하지만, 포트의 방향(입·출)과 듀얼 관계를 동시에 고려한다는 점에서 차별화된다. **6. 임계쌍 계산 알고리즘 전체 흐름** 1) 폴리그래프 → 자유 2‑카테고리 생성. 2) 자유 2‑카테고리를 최소 컴팩트 2‑카테고리로 전임베딩. 3) 모든 3‑생성자(규칙) 쌍에 대해 컨텍스트 후보 생성(가능한 겹침 패턴). 4) 각 후보에 대해 고차원 통일화 수행, 성공 시 임계쌍 기록. 5) 기록된 임계쌍에 대해 ‘joinability’(결합 가능성) 검증을 위해 재작성 시퀀스 탐색. 알고리즘은 ‘유한성 보장’과 ‘완전성(모든 실제 겹침을 포착)’을 동시에 만족한다. 컴팩트 전임베딩 덕분에 후보 컨텍스트 수가 폴리그래프의 규칙 수와 차원에만 의존해 다항적으로 제한된다. **7. 사례 연구 및 구현 논의** 대칭군 프레젠테이션 S와 모노이드 프레젠테이션 M을 대상으로 알고리즘을 적용한다. S의 경우 기존 연구에서 무한히 많은 임계쌍이 보고되었지만, 본 방법은 ‘중심 다이어그램’ 하나만을 컨텍스트로 사용해 모든 겹침을 포괄한다. M의 경우 전통적인 모노이드 재작성과 동일한 결과를 얻으며, 추가적인 2‑출력·듀얼 구조가 없으므로 알고리즘이 단순히 기존 방법을 재현한다는 것을 확인한다. 구현 측면에서는 그래프‑기반 자료구조와 기존의 고차원 패턴 매칭 엔진을 재활용할 수 있음을 제시한다. **8. 결론 및 향후 연구** 논문은 2‑카테고리 수준의 재작성 시스템에 대해 임계쌍을 효율적으로 계산하는 이론적·알고리즘적 프레임워크를 제공한다. 핵심 아이디어는 **컴팩트 2‑카테고리 전임베딩**과 **컨텍스트 기반 통일화**이며, 이를 통해 무한 겹침 문제를 유한화한다. 향후 연구로는 (i) 비컴팩트(예: 일반적인 2‑카테고리)에서의 확장, (ii) 자동화 도구 구현 및 대규모 카테고리(양자 회로, 토포로지컬 양자장 이론 등) 적용, (iii) 고차원(3‑카테고리 이상) 임계쌍 이론 개발을 제시한다.