[논문 리뷰] Graph Cohomologies from Arbitrary Algebras

Laure Helme-Guizon, Yongwu Rong|ArXiv.org|2005. 06. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 15

한 줄 요약

이 논문은 유한 차원, 가환, 군집된 $$\mathbb{Z}$$-대수에서 차수를 유지하는 곱셈을 갖는 임의의 대수를 사용하여 그래프의 군집 코homology를 구축함으로써 그래프 코homology 이론을 확장한다. 이 구성은 그 대수의 군집 차원에서 평가된 색칠 다항식과 일치하는 군집 오일러 특성수를 갖는 코homology를 생성하며, 이는 이전에 $$\mathbb{Z}[x]/(x^2)$$를 기반으로 한 연구를 일반화한다. 주요 결과는 이 코homology가 색칠 다항식만으로는 감지할 수 없는 더 세밀한 그래프 불변량을 감지할 수 있다는 것이다. 특히 일부 경우에서 기존 구성에서는 나타나지 않았던 홀수 토르션을 감지할 수 있다.

ABSTRACT

For each commutative, graded algebra with finite dimension in each degree, we construct a graded cohomology theory for graphs whose graded Euler characteristic is the chromatic polynomial of the graph. This extends our previous work which was based on the algebra $\mathbb {Z}[x]/(x^2)$.

연구 동기 및 목표

• 이전 연구에서 사용된 특수한 대수 $$\mathbb{Z}[x]/(x^2)$$를 초월하여 그래프 코hom로의 구성 방식을 일반화하는 것.
• 임의의 유한 차원, 가환, 군집된 $$\mathbb{Z}$$-대수의 군집 차원에서 평가된 색칠 다항식과 일치하는 군집 오일러 특성수를 갖는 그래프에 대한 코homology 이론을 수립하는 것.
• 이 코homology 이론이 동일한 색칠 다항식을 갖는 비동형 그래프를 구별할 수 있음을 보여주어, 색칠 다항식 자체보다 더 강력한 것을 입증하는 것.
• 코homology 군 내의 토르션, 특히 이전 구성에서 나타나지 않았던 홀수 토르션의 존재를 탐색하는 것.

제안 방법

• 그래프의 각 변에 대해 대수의 텐서곱을 사용하여 부분집합으로 인덱싱된 체인 복합체를 정의한다.
• 대수의 곱셈 및 단위원 맵을 사용하여 미분을 구성하며, 그림의 호환성과 차수 유지 보장을 확보한다.
• 코homology 구성의 기초로 상태합 공식 $$P_G(\lambda) = \sum_{s \subseteq E(G)} (-1)^{|s|} \lambda^{k(s)}$$ 을 사용한다.
• 코homology 군을 체인 복합체의 호모로지로 정의하며, 대수의 군집화에 의해 유도된 차수를 갖는다.
• 그래프를 더 잘 구별할 수 있도록 하기 위해 코homology의 왜곡된 버전을 도입한다.
• 덧셈군이 $$\mathbb{Z} \oplus \mathbb{Z}$$ 인 모든 가환 $$\mathbb{Z}$$-대수를 분류하여 계산 예제를 지원한다.

실험 결과

연구 질문

• RQ1 임의의 유한 차원, 가환, 군집된 $$\mathbb{Z}$$-대수에서 차수를 유지하는 곱셈을 갖는 경우, 그래프에 대한 군집 코homology 이론을 구성할 수 있는가?
• RQ2 이 코homology의 군집 오일러 특성수는 대수의 군집 차원에서 평가된 색칠 다항식과 일치하는가?
• RQ3 이 코homology 이론은 색칠 다항식을 초월하여 그래프 불변량을 감지할 수 있는가, 예를 들어 동일한 색칠 다항식을 갖는 비동형 그래프를 감지할 수 있는가?
• RQ4 이 코homology는 토르션, 특히 이전 구성에서 나타나지 않았던 홀수 토르션을 보이는가?
• RQ5 이 코homology와 Eastwood 및 Huggett가 $$P_G(\lambda)$$를 오일러 특성수로 실현하는 위상수학적 구성 간의 관계는 무엇인가?

주요 결과

• 이 코homology 이론은 차수를 유지하는 곱셈을 갖는 임의의 유한 차원, 가환, 군집된 $$\mathbb{Z}$$-대수에 대해 정의되며, 이는 이전 결과를 일반화한다.
• 코homology 군의 군집 오일러 특성수는 대수의 군집 차원 $$\lambda = q\dim\mathcal{A}$$ 에서 평가된 색칠 다항식 $$P_G(\lambda)$$ 와 일치한다.
• 색칠 다항식의 삭제-수축 관계를 분류화하는 장점 긴 수열이 구성된다.
• 대수가 $$\mathbb{Z}[x]/(x^3)$$ 인 경우, 코homology 군은 3차 토르션을 포함할 수 있으며, 이는 홀수 토르션의 존재를 보여준다.
• 동일한 색칠 다항식 $$\lambda(\lambda-1)^2(\lambda-2)^2$$ 을 갖는 그래프 $$G_1$$ 과 $$G_2$$ 에 대해 코homology 군은 비동형이므로, 이 이론이 색칠 다항식보다 더 강력함을 보여준다.
• 덧셈군이 $$\mathbb{Z} \oplus \mathbb{Z}$$ 인 링의 분류는 이소모피즘 유형이 $$b^2 + 4a$$ 와 $$b \mod 2$$ 에 의해 결정됨을 보여주며, 이는 비자명한 예제의 구성에 기여한다.