[논문 리뷰] Homotopy equivalence of isospectral graphs

Terrence Bisson, Aristide Tsemo|ArXiv.org|2009. 06. 22.

Topological and Geometric Data Analysis참고 문헌 14인용 수 4

한 줄 요약

이 논문은 유향 그래프의 범주(Gph)에 Quillen 모델 구조를 수립하여, 호모토피 범주 Ho(Gph)가 주기적 Z-집합(cZSet)의 범주와 동치임을 보여준다. 이 모델 구조에서 두 유한 유향 그래프가 호모토피 동치일 조건은 거의 등스펙트럴(Almost-isospectral)임을 증명하며, 이는 반전 특성다항식과 제타 급수를 공유한다는 뜻이다. 이는 유도된 함자와 Quillen 동치를 통해 그래프 스펙트럼 불변량을 호모토피 이론과 연결한다.

ABSTRACT

In this paper, we investigate the Quillen model structure defined by Bisson and Tsemo in the category of directed graphs Gph. In particular, we give a precise description of the homotopy category of graphs associated to this model structure. We endow the categories of N-sets and Z-sets with related model structures, and show that their homotopy categories are Quillen equivalent to the homotopy category Ho(Gph). This enables us to show that Ho(Gph) is equivalent to the category cZSet of periodic Z-sets, and to show that two finite directed graphs are almost-isospectral if and only if they are homotopy-equivalent in our sense.

연구 동기 및 목표

• 유향 그래프의 범주(Gph)에 Quillen 모델 구조를 정의하고 분석함으로써 그래프 이론에 호모토피 이론적 방법을 적용한다.
• 유도된 함자와 Quillen 동치를 통해 호모토피 범주 Ho(Gph)가 주기적 Z-집합의 범주 cZSet와 동치임을 보인다.
• 스펙트럼 불변량(반전 특성다항식, 제타 급수)과 Gph에서의 호모토피 동치 사이의 정확한 대응 관계를 수립한다.
• 이 모델 구조에서 두 유한 그래프가 정확히 거의 등스펙트럴일 때만 호모토피 동치임을 보인다.
• 수반 함자와 코프ibrantly 생성된 모델 구조 이행을 통해 Gph에서 관련 범주(NSet, ZSet)로 모델 구조를 확장한다.

제안 방법

• Gph를 순서 없는 다중 간선과 순환을 허용하는 유향 그래프의 프레샤프 토포스로 정의하고, 수반 함자들을 통해 NGph 및 ZGph의 부분범주를 각각 NSet 및 ZSet과 동치로 식별한다.
• 사이클를 유지하는 약한 동형사상(acyclic morphisms), 나무를 붙이는 변환(whiskerings), 그리고 코프ibrantly 생성된 공리계를 사용하여 Gph에 Quillen 모델 구조를 구성한다.
• 수반 삼중함자(F, G, H)를 사용하여 Gph에서 NSet 및 ZSet로 모델 구조를 이행함으로써, 코프ibrant 및 프ibrant 대상이 유지되도록 보장한다.
• 각 그래프에 대해 이중 무한 경로의 집합을 할당하는 함자 H: Gph → ZSet를 사용하여 호모토피 함자를 정의하고 총 왼쪽 유도 함자(derived functor)를 도출한다.
• cZSet(단순 모델 구조를 가진)와 Ho(Gph) 사이의 Quillen 동치를 확립함으로써 Ho(Gph) ≅ cZSet임을 증명한다. 이는 유도된 함자 H''를 통해 이루어진다.
• 거의 유한 그래프 X에 대해 제타 급수 Z_X(u)를 H(X)의 제타 급수로 정의함으로써 스펙트럼 자료와 호모토피 불변량을 연결한다.

실험 결과

연구 질문

• RQ1 어떻게 호모토피 이론이 Gph에 대한 Quillen 모델 구조를 통해 유향 그래프의 범주에 적용될 수 있는가?
• RQ2 Gph에 대한 Quillen 모델 구조와 관련된 호모토피 범주 Ho(Gph)의 정확한 구조는 무엇인가?
• RQ3 반전 특성다항식과 제타 급수와 같은 스펙트럼 불변량이 Gph에서의 호모토피 동치를 얼마나 정밀하게 분류하는가?
• RQ4 N-집합과 Z-집합의 범주들은 Quillen 동치와 유도된 함자들을 통해 Gph와 어떻게 관련되어 있는가?
• RQ5 거의 등스펙트럴성과 유한 유향 그래프에서의 호모토피 동치 사이의 관계는 무엇인가?

주요 결과

• 호모토피 범주 Ho(Gph)는 경로 함자 H의 유도 함자를 통해 cZSet(주기적 Z-집합의 범주)와 동치이며, Quillen 동치를 통해 확립된다.
• 이 모델 구조에서 두 유한 유향 그래프는 정확히 거의 등스펙트럴일 때만 호모토피 동치이며, 이는 반전 특성다항식이 동일함을 의미한다.
• 유한 그래프 X의 제타 급수 Z_X(u)는 그에 대응하는 Z-집합 H(X)의 제타 급수와 같으며, 두 그래프가 거의 등스펙트럴임은 Z_X(u) = Z_Y(u)일 조건이다.
• 크로스 그래프(Cross graph)와 무방향 4순환 그래프 U C₄는 서로 다른 스펙트럼을 지니지만, 반전 특성다항식 1 - 4u²을 공유하므로 호모토피 동치이다.
• 사이클 C_{2n}에서 크로스 그래프 또는 U C₄로의 그래프 사상의 수는 정확히 2^{2n+1}이며, 이는 제타 급수 Z(u) = (1 - 4u²)^{-1}에 의해 예측된 바와 일치한다.
• 호모토피 범주 Ho(Gph)는 Ho(NSet) 및 Ho(ZSet)와 모두 동치이며, 이들 모두 Ho(cZSet)와 Quillen 동치이므로 그래프 불변량에 대한 일관된 호모토피 이론적 프레임워크를 확립한다.