[논문 리뷰] Applications of Rewriting Systems and Groebner Bases to Computing Kan Extensions and Identities Among Relations

Anne Heyworth|ArXiv.org|1998. 12. 17.

semigroups and automata theory참고 문헌 46인용 수 10

한 줄 요약

이 논문은 군 이론에서 관계 간의 항등식과 켄 확장( Kan extensions)을 알고리즘적으로 계산하기 위해 재작성 체계와 그로버 기저(Grobner bases)를 결합한 계산 프레임워크를 개발한다. 이는 쿤스-벤딕스 절차가 부처버거의 알고리즘의 특수한 경우임을 증명하며, 페트리 넷을 통한 오토마타 기반 감소 기계를 가능하게 하고, 군 재작성 체계의 완성(completion)을 이용해 관계 간 항등식을 위한 수축 호모토피(contracting homotopy)를 계산한다. 이 과정의 최종 단계는 그로버 기저 문제로 환원되며, GAP3에 전체 알고리즘이 구현되어 있다.

ABSTRACT

This thesis concentrates on the development and application of rewriting and Groebner basis methods to a range of combinatorial problems. Chapter Two contains the most important result, which is the application of Knuth-Bendix procedures to Kan extensions, showing how rewriting provides a useful method for attempting to solve a variety of combinatorial problems which can be phrased in terms of Kan extensions. Chapter Three shows that the standard Knuth-Bendix algorithm is step-for-step a special case of Buchberger's algorithm. The one-sided cases and higher dimensions are considered. Chapter Four relates rewrite systems, Groebner bases and automata. Automata which only accept irreducibles, and automata which output reduced forms are discussed for presentations of Kan extensions. Reduction machines for rewrite systems are identified with standard output automata and the reduction machines devised for algebras are expressed as Petri nets. Chapter Five uses the completion of a group rewriting system to algorithmically determine a contracting homotopy necessary in order to compute the set of generators for the module of identities among relations using the covering groupoid methods devised by Brown and Razak Salleh. Reducing the resulting set of submodule generators is identified as a Groebner basis problem. Algorithms are implemented in GAP3.

연구 동기 및 목표

• 재작성 체계와 그로버 기저를 사용하여 켄 확장을 알고리즘적으로 계산하는 방법을 개발하는 것.
• 쿤스-벤딕스 완성 절차와 그로버 기저를 위한 부처버거의 알고리즘 사이의 형식적 연결 고리를 확립하는 것.
• 효율적 계산을 위해 감소 과정을 오토마타와 페트리 넷으로 모델링하는 것.
• 재작성 체계의 완성을 이용해 군 표현에 대한 수축 호모토피(contracting homotopy)를 계산하는 것.
• 관계 간 항등식의 계산을 그로버 기저 문제로 환원하여 알고리즘적 구현을 가능하게 하는 것.

제안 방법

• 켄 확장을 나타내는 재작성 체계에 쿤스-벤딕스 완성 절차를 적용하는 것.
• 쿤스-벤딕스 알고리즘이 한쪽 방향 및 고차원 설정에서 부처버거의 알고리즘의 특수한 경우임을 보여주는 것.
• 켄 확장 표현에 적합한 기저가 없는 항들을 수용하고, 기저가 없는 형태로 출력하는 오토마타를 구성하는 것.
• 재작성 체계의 감소 기계를 표준 출력 오토마타로 표현하고, 이를 페트리 넷으로 모델링하는 것.
• 군 재작성 체계의 완성을 통해 관계 간 항등식을 계산하기 위해 필요한 수축 호모토피를 유도하는 것.
• 그로버 기저 기법을 사용하여 최종적으로 유도된 부분모듈 생성자 집합을 최소 형태로 환원하는 것.

실험 결과

연구 질문

• RQ1 재작성 체계는 범주론에서 켄 확장을 체계적으로 어떻게 계산할 수 있는가?
• RQ2 쿤스-벤딕스 완성 과정은 그로버 기저를 위한 부처버거의 알고리즘과 어떤 방식으로 동치인가?
• RQ3 오토마타와 페트리 넷은 재작성 체계의 감소 과정을 어떻게 모델링하고 구현할 수 있는가?
• RQ4 수축 호모토피는 관계 간 항등식을 계산하는 데 어떤 역할을 하는가? 그리고 이를 알고리즘적으로 어떻게 도출할 수 있는가?
• RQ5 군 표현에서 관계 간 항등식의 계산을 그로버 기저 문제로 환원할 수 있는가?

주요 결과

• 쿤스-벤딕스 절차가 부처버거의 알고리즘의 특수한 경우임을 엄밀히 증명함으로써, 용어 재작성과 그로버 기저 계산 간 깊은 이론적 연결 고리를 확립함.
• 기저가 없는 항들을 수용하고 기저 없는 형태로 출력하는 오토마타가 켄 확장 표현에 대해 구성되었으며, 이는 효과적인 계산을 가능하게 함.
• 재작성 체계의 감소 기계가 페트리 넷으로 모델링되어 계산 과정을 형식적이고 실행 가능한 표현으로 제공함.
• 군 재작성 체계의 완성이 수축 호모토피를 도출하며, 이는 관계 간 항등식의 모듈을 계산하는 데 필수적임.
• 관계 간 항등식의 부분모듈 생성자 집합을 최소화하는 최종 단계는 그로버 기저 문제로 환원되며, 알고리즘적으로 해결 가능함.
• 모든 제안된 알고리즘은 GAP3 계산 대수 시스템에 구현되어 실용적 타당성을 입증함.