[논문 리뷰] The critical group of a directed graph

David G. Wagner|ArXiv.org|2000. 10. 25.

Finite Group Theory Research참고 문헌 7인용 수 28

한 줄 요약

이 논문은 정수 위에서 전치 라플라시안 행렬의 코어널을 사용하여 무방향 그래프의 임계군을 유ERIC한 그래프로 일반화한다. 강하게 연결된 유ERIC한 그래프의 경우, 임계군이 칩-팔기 동역학과 안정적 구성의 공등급 수준에 의해 관련지어지며, 감소된 임계군이 무방향 그래프의 경우 그래픽 매트로이드에만 의존한다는 것을 증명한다. 또한, 둘 다의 원소 수가 같음에도 불구하고, 스패닝 트리와 임계군 사이에 자연스러운 전단사 사상이 존재하지 않음을 보여준다.

ABSTRACT

The critical group K(G) of a directed graph G=(V,E) is the cokernel of the transpose of the Laplacian matrix of G acting on the integer lattice Z^V. For undirected graphs G, this has been considered by Bacher, de la Harpe, and Nagnibeda, and by Biggs. We prove several things, among which are: K(G/p) is a subgroup of K(G) when p is an equitable partition and G is strongly connected; for undirected graphs, the torsion subgroup of K(G) depends only on the graphic matroid of G; and, the `dollar game' of Biggs can be generalized to give a combinatorial interpretation for the elements of K(G), when G is strongly connected.

연구 동기 및 목표

• 전치 라플라시안 행렬의 코어널을 사용하여 무방향 그래프에서 유ERIC한 그래프로 임계군 이론을 확장한다.
• 유ERIC한 그래프의 맥락에서 임계군의 구조적 불변성, 특히 랭크와 생성자 수를 조사한다.
• 무방향 그래프의 임계군이 오직 그 그래픽 매트로이드에 의존하는가를 결정한다.
• 무방향 그래프에서 스패닝 트리의 집합과 임계군의 원소 사이에 자연스러운 전단사 사상이 존재하는가를 조사한다.
• 빅스의 달러 게임을 강하게 연결된 유ERIC한 그래프로 일반화하고, 임계군 원소를 조합론적으로 해석한다.

제안 방법

• 전치 라플라시안 행렬이 Z^V에 작용하는 코어널의 토르션 부분군으로서 임계군 K(G)를 정의한다.
• 전치 라플라시안의 스미스 표준형을 사용하여 임계군의 불변 요소를 계산한다.
• 강하게 연결된 그래프의 균형 잡힌 분할을 도입하고, K(G/π)가 K(G)에 임베딩됨을 증명한다.
• 감소된 임계군 K(G)의 원소와 칩-팔기 게임에서 임계 구성의 공등급 수준 사이의 대응관계를 설정한다.
• 무방향 그래프의 경우, K(G)가 매트로이드의 동형에 대해 불변임을 보여주어 K(G)가 그래픽 매트로이드에만 의존함을 증명한다.
• 달러 게임을 강하게 연결된 유ERIC한 그래프로 일반화하고, 임계 구성이 K(G)의 원소와 일대일 대응됨을 보여준다.

실험 결과

연구 질문

• RQ1 무방향 그래프 G에 대해 감소된 임계군 K(G)가 그래픽 매트로이드에만 의존하는가?
• RQ2 무방향 그래프 G의 스패닝 트리 집합과 K(G)의 원소 사이에 자연스러운 전단사 사상이 존재하는가?
• RQ3 무방향 그래프의 달러 게임을 강하게 연결된 유ERIC한 그래프로 일반화할 수 있는가? 이 경우 K(G)의 원소는 임계 구성의 공등급 수준과 대응되는가?
• RQ4 강하게 연결된 유ERIC한 그래프 G와 지정된 은행 정점 $이 있을 때, 크기가 정확히 h($)인 구성의 모든 공등급 수준은 언제 존재하는가?
• RQ5 강하게 연결된 그래프에서 주어진 정점이 공등급 수준 크기의 관점에서 '작은' 또는 '공정한'지 여부를 판별하는 다항식 시간 알고리즘이 존재하는가?

주요 결과

• 임의의 유ERIC한 그래프 G에 대해 이중 임계군 K*(G)는 임계군 K(G)와 동형이지만, 일반적으로 자연스러운 동형이 아니다.
• G가 강하게 연결되어 있고 π가 균형 잡힌 분할이라면, K(G/π)는 K(G)의 부분군과 동형이다.
• 무방향 그래프의 경우 감소된 임계군 K(G)는 G의 그래픽 매트로이드에만 의존하며, 구체적인 간선 집합에는 영향을 받지 않는다.
• 무방향 연결 그래프 G의 스패닝 트리 집합과 K(G)의 원소 사이에는 자연스러운 전단사 사상이 존재하지 않지만, 둘 다 스패닝 트리의 수와 같은 크기를 가진다.
• 강하게 연결된 유ERIC한 그래프에서 일반화된 달러 게임에서는 K(G)의 원소가 임계 구성의 공등급 수준과 일대일 대응된다.
• 은행 정점 $이 있는 순환을 포함하지 않는 강하게 연결된 그래프 G의 임계군 K(G)는 부분군 U / Q†Z^V와 동형이다. 여기서 U는 합이 0인 정수 벡터의 집합이다.