[논문 리뷰] A note on a Cayley graph of S_n

Guillaume Chapuy, Valentin Féray|arXiv (Cornell University)|2012. 02. 22.

Graph theory and applications참고 문헌 11인용 수 9

한 줄 요약

이 노트는 대칭군 $\mathfrak{S}_n$ 위의 카일리 그래프 스펙트럼이 전치치 $(1,i)$ ($2 \leq i \leq n$) 에 의해 생성될 때, 그 스펙트럼이 $\mathfrak{S}_n$ 의 표현 이론을 통해 완전히 결정됨을 밝힌다. 특히 주로 줌시스-머피 요소의 고유값을 통해 설명된다. 주요 결과는 모든 고유값이 정수이며, 표준 양의 표준 표기(content statistics)를 통해 다중도가 유도된다는 것이다. 스펙트럼 측도는 $n \to \infty$ 일 때 점점 세미원형 법칙(semicircle law)을 따르게 된다.

ABSTRACT

Recently in graph theory several authors have studied the spectrum of the Cayley graph of the symmetric group S_n generated by the transpositions (1, i) for 2 <= i <= n. Several conjectures were made and partial results were obtained. The purpose of this note is to point out that, as mentioned also by P. Renteln, this problem is actually already solved in another context. Indeed it is equivalent to studying the spectrum of so-called Jucys-Murphy elements in the algebra of the symmetric group, which is well understood. The aforementioned conjectures are direct consequences of the existing theory. We also present a related result from P. Biane, giving an asymptotic description of this spectrum. We insist on the fact that this note does not contain any new results, but has only been written to convey the information from the algebraic combinatorics community to graph theorists.

연구 동기 및 목표

• 전치치 $(1,i)$ 에 의해 생성된 $\\mathfrak{S}_n$ 위의 카일리 그래프 스펙트럼을 결정하는 열린 문제를 다루며, 이 스펙트럼이 정수 고유값을 가진다는 추측이 있었음을 확인한다.
• 이 스펙트럼 문제는 $\mathbb{C}[\mathfrak{S}_n]$ 내의 줄리스-머피 요소의 고유값을 분석하는 것과 동치임을 명확히 한다. 이는 대수적 조합론 분야에서 잘 알려진 프레임워크이다.
• 표준 양의 표준 표기(content statistics)와 표준 양의 표준 표기(content statistics)를 사용하여 스펙트럼의 정수 고유값 성질과 다중도의 구조를 직접 유도한다.
• 무작위 행렬 이론에서의 모멘트 수렴 기법을 기반으로, 스펙트럼의 점근적 기술을 세미원형 법칙을 통해 제시한다.
• 알려진 대수적 조합론 결과를 그래프 이론 공동체에 환원하여 공유하며, 새로운 결과를 주장하는 것이 아니라 오직 통합과 명확화에 초점을 맞춘다.

제안 방법

• 카일리 그래프의 스펙트럼이 $\mathbb{C}[\mathfrak{S}_n]$ 내의 줄리스-머피 요소 $J_n$ 의 스펙트럼과 일치함을 밝히며, 인접 행렬 곱셈이 $J_n$ 에 의한 좌측 곱셈에 해당함을 이용한다.
• $J_n$ 의 고유값은 $V_\lambda$ 인 불가약 표현 위에서의 작용을 통해 계산되며, 표준 양의 표준 표기(content statistics)로 인덱싱된 기저 $T$ 에 대해 $J_n v_T = c_T(n) v_T$ 를 만족한다.
• 고유값 $k$ 의 다중도는 $\mathrm{mul}(k) = \sum_{\lambda \vdash n} f_\lambda \cdot I_\lambda(k)$ 로 계산되며, 여기서 $I_\lambda(k)$ 는 형상 $\lambda$ 의 표준 양의 표준 표기(content statistics)에서 $n$ 이 내용 값 $k$ 를 가진 상자에 위치한 표준 양의 표준 표기(content statistics)의 수를 의미한다.
• 스케일링된 고유값 $k / (2\sqrt{n})$ 을 통해 점근적 스펙트럼 측도를 분석하며, 비틀림이 없는 쌍정렬(pairings)의 조합적 수를 통해 세미원형 법칙의 모멘트로의 수렴을 증명한다.
• 스케일링된 스펙트럼 측도의 모멘트가 세미원형 법칙의 모멘트로 수렴함을 보이며, 전치치 $(i_n)$ 로서 항등원의 분해 수를 세는 것으로 증명한다. 이 경우 분해의 수는 $k=2p$ 일 때 점점 $n^p \cdot \mathrm{Cat}(p)$ 비례하게 된다.
• 곱 $J_n^k$ 내의 인덱스 비틀림이 없는 쌍정렬을 사용하여 기여하는 항을 수량화하며, 각 쌍정렬은 $\mathrm{Cat}(p)$ 개의 구성과 $n$-의존적인 가중치를 기여한다.

실험 결과

연구 질문

• RQ1 전치치 $(1,i)$ ($2 \leq i \leq n$) 에 의해 생성된 $\mathfrak{S}_n$ 위의 카일리 그래프의 완전한 스펙트럼은 무엇인가?
• RQ2 고유값과 그들의 다중도는 $\mathfrak{S}_n$ 의 표현 이론과 어떻게 관련이 있는가?
• RQ3 $n \to \infty$ 일 때 고유값의 점근적 분포는 무엇인가?
• RQ4 줄리스-머피 요소에 대한 알려진 결과를 활용하여 이전의 스펙트럼 추측을 해결할 수 있는가?
• RQ5 이 카일리 그래프의 스펙트럼 측도는 점점 세미원형 법칙으로 수렴하는가?

주요 결과

• 전치치 $(1,i)$ 에 의해 생성된 $\mathfrak{S}_n$ 위의 카일리 그래프의 모든 고유값은 정수이며, [1, 추측 2.14]에서 제기된 추측을 확인한다.
• 고유값 $k$ 의 다중도는 $\mathrm{mul}(k) = \sum_{\lambda \vdash n} f_\lambda \cdot \mathrm{card}\{T \in \mathcal{T}(\lambda) \mid c_T(n) = k\}$ 로 주어지며, 여기서 $f_\lambda$ 는 형상 $\lambda$ 의 표준 양의 표준 표기(content statistics)의 수이다.
• 스펙트럼은 $\{-(n-1), \dots, n-1\}$ 내에 존재하며, $\mathrm{mul}(-n+1) = \mathrm{mul}(n-1) = 1$ 이고, $n > 3$ 일 때 $\mathrm{mul}(0) \neq 0$ 이다.
• $n > 3$ 일 때 스펙트럼은 전체 구간 $\{-(n-1), \dots, n-1\}$ 을 포함하지만, $n=2$ 또는 $n=3$ 일 때는 0 이 제외된다.
• 스케일링된 고유값 $k / (2\sqrt{n})$ 의 스펙트럼 측도는 $n \to \infty$ 일 때 세미원형 법칙으로 수렴하며, 모멘트가 세미원형 분포의 모멘트와 일치한다.
• 고유값 $l$ 의 다중도에 대한 개선된 하한은 $\mathrm{mul}(l) \geq \binom{n-2}{l-1} \binom{n-1}{l}$ 이며, 이는 후크 모양의 표준 양의 표준 표기(content statistics)에서 유도되며 이전의 하한보다 향상된다.