[논문 리뷰] On the center of the Hurwitz graph

Yuval Hovannes Khachatryan-Raziel|arXiv (Cornell University)|2015. 08. 11.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 3

한 줄 요약

이 논문은 비교적 교차하지 않는 분할 레이티스의 최대 사슬 위의 카일리 그래프인 허르츠 부 그래프의 중심을 기하 수형 트리 그래프와의 연결을 통해 조사한다. 모든 별형태(중심 정점이 하나인 캐터필러 트리)가 확장된 허르츠 그래프에서 중심 정점임을 증명하며, 반지름은 정확히 $n-2$이며, 확장된 그래프의 지름에 대해 $[\frac{3}{2}n - 5, 2n - 4]$의 범위를 제시한다.

ABSTRACT

For any natural number n, the Hurwitz graph $\mathcal{H}(S_n )$ has vertices corresponding to reduced words of the cycle $(1 . . . n)$ in terms of transpositions in $S_n$, and has edges corresponding to local shifts. This graph is known to be connected, and some of its graph theoretic properties, such as its radius and upper bounds on its diameter, are known. We explore further the structure of the Hurwitz Graph, in particular its center and its connection to the geometric tree graph $G_n$. Finally, the extended Hurwitz Graph is defined and its properties such as the radius, characterization of some central elements and bounds on the diameter are obtained. Part of fulfillment of the requirements for the Master's Degree.

연구 동기 및 목표

• 비교적 교차하지 않는 분할 레이티스 $NC(n)$의 최대 사슬 위의 카일리 그래프로 정의된 허르츠 그래프와 기하 수형 트리 그래프를 연결하여, 확장된 버전 $\mathcal{E}(S_n)$에서 중심 정점을 식별한다.
• 확장된 허르츠 그래프 $\mathcal{E}(S_n)$의 반지름과 지름을 결정하고, 날카로운 범위를 제공한다.
• 기하 수형 트리 맵 $\Gamma$를 통해 $n$-사이클의 인수분해와 비교적 교차하지 않는 기하 수형 트리 사이의 대응 관계를 수립한다.
• 우리가 사용하는 인수분해 방식에 따라, 모든 별형태 구성($\mathcal{S}_1 = (1\,n)\dots(1\,2)$ 등)가 $\mathcal{E}(S_n)$에서 중심 정점임을 증명한다. 이는 단어 거리에 대한 귀납적 추론을 통해 수행된다.
• 기하 수형 트리 그래프의 알려진 결과(지름 범위 등)를 활용하여 확장된 허르츠 그래프의 하한을 유도한다.

제안 방법

• 비교적 교차하지 않는 분할 레이티스 $NC(n)$의 최대 사슬 위에서 정의된 카일리 그래프로 허르츠 그래프 $\mathcal{H}(S_n)$를 정의하며, 오른쪽 및 왼쪽 허르츠 이동 $R_i$와 $L_i$에 의해 유도되는 간선을 포함한다.
• 전치의 단어를 평면상의 비교적 교차하지 않는 기하 수형 트리로 매핑하는 기하 수형 트리 맵 $\Gamma$를 도입하며, 간선의 구조를 유지한다.
• 부분 곱 구성 $\sigma_j = t_j \dots t_{n-1}$를 사용하여 $F_n \to S_{n-1}$로의 사상 $\Phi$를 정의하며, 값의 감소 위치에 따라 각 단어에 순열을 할당한다.
• 중심 정점 $i$를 가진 기하 수형 트리의 간선들에 대해 선형 순서 $<_{i}$를 정의하여, 단어 간 비교와 별형태의 중심성 증명에 사용한다.
• 단어 $w$와 별 $\mathcal{S}_i$ 사이의 다름 전치의 수에 대해 귀납법을 적용하며, Lemma 5.2.3을 활용해 거리를 줄이는 '끌어당김' 연산을 수행한다.
• 확장된 그래프 $\mathcal{E}(S_n)$의 인접 정점들이 기하 수형 트리 그래프 $\mathcal{G}_n$에서 인접하거나 동일한 트리로 매핑됨을 이용하여, $\mathcal{E}(S_n)$의 거리와 $\mathcal{G}_n$의 거리 간 관계를 유도한다.

실험 결과

연구 질문

• RQ1 확장된 허르츠 그래프 $\mathcal{E}(S_n)$에서 중심 정점은 무엇이며, 즉 중심성의 최소화를 이루는 정점은 무엇인가?
• RQ2 확장된 허르츠 그래프 $\mathcal{E}(S_n)$의 정확한 반지름은 얼마인가?
• RQ3 확장된 허르츠 그래프 $\mathcal{E}(S_n)$의 지름은 기하 수형 트리 그래프 $\mathcal{G}_n$의 지름과 어떻게 관련이 있는가?
• RQ4 허르츠 이동을 사용한 거리 감소의 귀납적 방법을 통해 $\mathcal{E}(S_n)$에서 별형태의 중심성은 증명될 수 있는가?
• RQ5 기하 수형 트리 그래프의 성질(예: 지름의 상한 및 하한 등)이 확장된 허르츠 그래프로 얼마나 전이되는가?

주요 결과

• 모든 별형태 구성($\mathcal{S}_1 = (1\,n)\dots(1\,2)$ 등)는 $\mathcal{E}(S_n)$에서 중심 정점이며, 이는 최소 중심성을 가지는 것을 의미한다.
• 확장된 허르츠 그래프 $\mathcal{E}(S_n)$의 반지름은 정확히 $n-2$이며, 이는 모든 단어가 어떤 별형태와의 거리가 $n-2$ 이내임을 증명하고, 이 값이 날카로운 상한임을 보여줌으로써 입증된다.
• 확장된 허르츠 그래프 $\mathcal{E}(S_n)$의 지름은 하한 $\frac{3}{2}n - 5$와 상한 $2n - 4$ 사이로 제한되며, 하한은 $\mathcal{G}_n$의 알려진 지름에서 도출된다.
• 기하 수형 트리 맵 $\Gamma: F_n \to \mathcal{G}_n$는 전사적이다. 즉, 모든 비교적 교차하지 않는 기하 수형 트리는 어떤 $w \in F_n$에 대해 $\Gamma(w)$로 나타난다.
• 확장된 허르츠 그래프 $\mathcal{E}(S_n)$의 인접 정점들은 기하 수형 트리 그래프 $\mathcal{G}_n$에서 인접하거나 동일한 트리로 매핑되며, $\Gamma$에 의해 그래프의 구조가 유지된다.
• 중심성 증명은 Lemma 5.2.3에서 유도된 '끌어당김' 연산을 활용한 단어 거리의 귀납적 감소에 기반한다. 이 연산은 별에 포함되지 않은 전치를 별에 포함된 전치로 대체함으로써, 별에 가까운 상태를 유지한다.