[논문 리뷰] Orthogonal Systems in Finite Graphs

Andrew J. Duncan, Ilya Kazachkov외 1명|ArXiv.org|2007. 07. 01.

Graph theory and applications참고 문헌 6인용 수 4

한 줄 요약

이 논문은 유한 그래프와 자유 부분적으로 교환 가능한 군에 대한 수직성 이론을 개발하며, 그래프의 닫힌 집합과 군 내의 파라보릭 중심화자 간의 격자 동형사상을 수립한다. 주요 기여는 새로운 정점 추가 시 격자 구조가 유지되는 조건을 규명한 것이다: 확장된 격자가 원래 격자와 동형이 되는 것은 정점 t가 단체 S의 수직보완집합에 연결되어 있을 때이며, 이 경우 높이가 0, 1, 또는 2만큼 증가한다.

ABSTRACT

Given a finite graph G there is a corresponding group given by the presentation with generators the vertices of G and a relation [x,y]=1 for generators x and y precisely when (x,y) is an edge of G. Such groups are known as partially commutative groups (or right-angled Artin groups). In this paper we construct orthogonality theory for graphs with the study of partially commutative groups in mind. The theory developed here provides tools for the study of the structure of the centraliser lattice of partially commutative groups and for their automorphism groups.

연구 동기 및 목표

• 유한 그래프와 자유 부분적으로 교환 가능한 군에 대한 수직성 이론을 체계화하기 위해.
• 그래프에 정점을 추가할 때 닫힌 집합의 격자가 어떻게 변하는지 분석하기 위해.
• 닫힌 집합의 격자가 정점 확장 후에도 동형으로 유지되는 조건을 규명하기 위해.
• 확장된 격자의 높이 및 닫힘 연산의 행동과 관련된 구조적 결과를 수립하기 위해.
• 부분적으로 교환 가능한 군의 자기동형사상군을 분해하는 도구로 그래프의 압축을 개발하기 위해.

제안 방법

• 집합 $ Y \subseteq X $의 수직보완집합 $ Y^\perp $ 는 $ Y $의 모든 원소들과 모두 인접한 정점들의 집합으로 정의하고, 닫힘 $ \operatorname{cl}(Y) = Y^{\perp\perp} $ 를 정의한다.
• 닫힌 집합의 격자 $ L(\Gamma) $ 를 도입하며, 이는 군 $ G(\Gamma) $ 내의 파라보릭 중심화자 격자와 동형임을 보인다.
• 정점 확장을 $ \overline{\Gamma} = \Gamma \cup \{t\} $ 로 고려하며, $ t $ 가 부분집합 $ J_t \subseteq X $ 와 간선을 가짐을 가정하고, 유도된 격자 $ \overline{L} $ 를 분석한다.
• 그래프의 구조적 수정에 따른 격자 행동을 연구하기 위해 아벨형 및 자유형 팽창/수축 연산을 도입한다.
• 정점들이 $ \sim_\perp $ 와 $ \sim_o $ 동치관계로 묶인 그래프 $ \Gamma^\texttt{c} $ 의 압축을 정의하고, $ \operatorname{Aut}(\Gamma) \cong \operatorname{Aut}(\Gamma^\texttt{c}) \ltimes \prod_{[v] \in X^\texttt{c}} \operatorname{Sym}(\mu(v)) $ 를 증명한다.
• 전이자와 동형사상 $ \tau_{i,k} $ 를 사용하여 임베딩 $ \iota: \operatorname{Aut}(\Gamma^\texttt{c}) \to \operatorname{Aut}(\Gamma) $ 를 구성하고, 자기동형사상군의 수열이 분해됨을 증명한다.

실험 결과

연구 질문

• RQ1 유한 그래프에 정점을 추가할 때, 그 닫힌 집합의 격자 동형형태가 유지되는가?
• RQ2 새로운 정점을 추가한 후 닫힌 집합의 격자 높이가 얼마나 증가할 수 있는가?
• RQ3 아벨형 및 자유형 팽창/수축 연산은 그래프의 닫힌 집합 격자에 어떤 영향을 미치는가?
• RQ4 그래프 압축은 부분적으로 교환 가능한 군의 자기동형사상군 분해에 어떤 역할을 하는가?
• RQ5 군 $ G(\Gamma) $ 의 자기동형사상군은 그 압축된 그래프 $ \Gamma^\texttt{c} $ 의 자기동형사상군과 어떻게 관련이 있는가?

주요 결과

• 확장된 그래프 $ \overline{\Gamma} $ 의 닫힌 집합 격자 $ \overline{L} $ 는 정점 t가 단체 $ S \subset X $ 의 수직보완집합에 연결되어 있을 때, 그리고 그 때에만 $ L(\Gamma) $ 와 동형이 된다. 이는 정리 2.38에 명시되어 있다.
• 확장된 격자의 높이에 대해 $ h(\overline{L}) = h(L) + m $ 이며, 여기서 $ m \in \{0,1,2\} $ 이다. 이는 정리 2.28에서 증명되었다.
• 군 $ G(\Gamma) $ 의 자기동형사상군은 $ \operatorname{Aut}(\Gamma) \cong \operatorname{Aut}(\Gamma^\texttt{c}) \ltimes \prod_{[v] \in X^\texttt{c}} \operatorname{Sym}(\mu(v)) $ 의 반직접곱 분해를 갖는다. 여기서 $ \mu(v) $ 는 $ v $ 의 $ \sim_\perp $-동치류의 크기이다.
• 자연사상 $ \operatorname{Aut}(\Gamma) \to \operatorname{Aut}(\Gamma^\texttt{c}) $ 의 핵은 $ \prod_{[v] \in X^\texttt{c}} \operatorname{Sym}(\mu(v)) $ 와 동형이며, 수열이 분해되므로 분해는 반직접곱이다.
• 압축 $ \Gamma^\texttt{c} $ 는 $ G(\Gamma) $ 를 압축된 정점 클래스에 따라 부분적으로 교환 가능한 자유 아벨군 또는 자유군의 곱으로 자연스럽게 분해한다.
• 격자 $ L(\Gamma) $ 는 군 $ G(\Gamma) $ 내의 파라보릭 중심화자 격자와 동형이며, 이는 그래프의 구조와 군론적 성질 간의 기초적 연결을 확립한다.