그래프 범주와 상징역학 보행과 동형성

초록

이 논문은 방향 그래프의 범주에 Quillen 모델 구조를 부여하여, 보행(비음이 정수 모노이드의 Cayley 그래프에서의 사상) 집합을 보존하는 사상들을 약한 동등성으로 정의한다. 그 결과 얻어지는 호모토피 범주와, 보행 공간에 자연스러운 위상 구조를 반영한 유한‑레벨 호모토피 범주를 분석한다. 또한 각 그래프에 대해 동형 불변량인 ‘기저 그래프’를 정의하고, 이것이 유한 그래프의 제타 함수보다 미세한 분류자를 제공함을 보인다. 마지막으로, 유한하고 보행 가능한 그래프에 대해 기저 그래프가 분리된 경우, 보행 공간의 위상 동형과 모델 구조상의 호모토피 동등이 동치임을 증명한다.

상세 분석

본 연구는 그래프 이론과 동역학을 연결하는 새로운 범주론적 틀을 제시한다. 먼저, 저자는 비음이 정수 모노이드 ℕ의 Cayley 그래프를 이용해 ‘보행’이라는 개념을 정의한다. 이는 전통적인 심볼릭 다이내믹스에서의 시프트 스페이스와 유사하지만, 여기서는 그래프에 대한 사상으로서 일반화된다. 보행 집합을 보존하는 그래프 사상들을 약한 동등성(weak equivalence)으로 채택함으로써, 방향 그래프의 범주에 Quillen 모델 구조를 부여한다는 점이 핵심이다. 이 모델 구조는 코페이스와 피보이스( cofibration, fibration )를 각각 전사와 단사 사상으로 잡으며, 모든 객체가 fibrant 그리고 cofibrant인 ‘모든 사상이 좋은’ 상황을 만든다.

그 결과 호모토피 범주 Ho(Graph) 를 구체적으로 기술한다. 저자는 두 그래프 X, Y 가 호모토피 동등이면, 그들의 보행 집합 Walk(X) 와 Walk(Y) 가 동형임을 보이며, 반대로 보행 집합이 동형이면 모델 구조상 호모토피 동등임을 증명한다. 이는 보행 집합이 완전한 불변량임을 의미한다.

다음으로 저자는 ‘유한‑레벨’ 호모토피 범주를 도입한다. 보행 공간에 자연스럽게 부여되는 프로덕트 위상( product topology )을 고려해, 보행 길이 n 이하의 부분집합에 대한 동등관계를 정의한다. 이 구조는 무한 보행을 다루는 전통적 모델보다 미세한 위상 정보를 보존한다.

핵심적인 새로운 개념은 ‘기저 그래프(basal graph)’이다. 각 그래프 X 에 대해, 보행 동등성을 보존하면서 가장 단순한 형태로 압축한 그래프 B 를 구성한다. B 는 동형 불변량이며, 특히 유한 그래프의 경우 제타 함수(zeta series)보다 더 세밀한 분류자를 제공한다. 제타 함수는 주기적 보행의 수를 기록하지만, 기저 그래프는 보행 구조 자체를 보존하므로 동형성 검증에 더 강력하다.

마지막으로, 저자는 유한하고 ‘walkable’(즉, 모든 정점에서 최소 하나의 보행이 존재)한 그래프에 대해, 기저 그래프가 ‘분리(separated)’—즉, 서로 다른 정점 사이에 중복된 보행이 없—조건을 만족하면, 두 그래프 X 와 B 의 보행 공간이 위상 동형(conjugate)일 경우와 모델 구조상의 호모토피 동등일 경우가 동치임을 증명한다. 이는 동역학적 시스템의 위상적 동등성과 범주론적 호모토피 이론을 연결하는 중요한 결과이다.

이 논문은 그래프 이론, 심볼릭 다이내믹스, 그리고 동형론적 모델 구조를 통합함으로써, 보행 기반의 불변량을 새로운 범주론적 시각에서 재해석한다. 특히 기저 그래프라는 구체적이고 계산 가능한 불변량을 도입함으로써, 기존의 스펙트럼(예: 제타 함수)보다 더 정밀한 그래프 분류가 가능함을 보여준다. 또한 유한‑레벨 호모토피 범주의 도입은 위상적 세부 정보를 보존하면서도 범주론적 계산을 가능하게 하여, 향후 동역학적 시스템의 위상적 분석과 그래프 기반 모델링에 폭넓은 응용 가능성을 제시한다.