[논문 리뷰] Chromatic symmetric functions via the group algebra of $S_n$

Brendan Pawlowski|arXiv (Cornell University)|2018. 02. 15.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 9

한 줄 요약

이 논문은 대칭군 $S_n$의 군 대수와 색상 대칭 함수 사이의 새로운 연결 고리를 설정하며, 에르미트 프로젝터의 곱의 고유값을 사용하여 (초)삼각형 및 순환 그래프에 대한 슈어 양성 증명을 한다. 타일러의 경로 유사 초그래프에 대한 슈어 양성에 대한 추측을 증명하고, 루트가 있는 색상 대칭 함수 $X_{G,v}$를 도입하여, $X_{G,v}$와 $X_{H,w}$의 슈어 양성이 $G \vee H$의 슈어 양성으로 이어짐을 보이며, 스탠리-스템브릿지 추측을 발전시킨다.

ABSTRACT

We prove some Schur positivity results for the chromatic symmetric function $X_G$ of a (hyper)graph $G$, using connections to the group algebra of the symmetric group. The first such connection works for (hyper)forests $F$: we describe the Schur coefficients of $X_F$ in terms of eigenvalues of a product of Hermitian idempotents in the group algebra, one factor for each edge (a more general formula of similar shape holds for all chordal graphs). Our main application of this technique is to prove a conjecture of Taylor on the Schur positivity of certain $X_F$, which implies Schur positivity of the formal group laws associated to various combinatorial generating functions. We also introduce the pointed chromatic symmetric function $X_{G,v}$ associated to a rooted graph $(G,v)$. We prove that if $X_{G,v}$ and $X_{H,w}$ are positive in the generalized Schur basis of Strahov, then the chromatic symmetric function of the wedge sum of $(G,v)$ and $(H,w)$ is Schur positive.

연구 동기 및 목표

• 색상 대칭 함수의 슈어 양성을 증명하기 위한 표현 이론적 프레임워크를 $S_n$의 군 대수를 사용하여 수립하기 위해.
• 타일러가 제기한 특정 경로 유사 초그래프에 대한 슈어 양성에 대한 추측을 증명하고, 이로부터 조합적 생성 함수로부터 유도되는 형식적 군 법칙의 양성성을 이끌어내기 위해.
• 루트가 있는 그래프에 대한 확장된 색상 대칭 함수인 루트가 있는 색상 대칭 함수 $X_{G,v}$를 도입하고 연구하기 위해.
• 루트가 있는 $e$-양성의 개념을 도입하여 $X_G$의 $e$-양성과 관련지어, 스탠리-스템브릿지 추측에 대한 새로운 접근법을 제공하기 위해.
• 표현 이론적 도구와 고유값 분석을 사용하여 가샤로프의 $(\mathbf{3}+\mathbf{1})$-자유 포스에 대한 결과를 일반화하기 위해.

제안 방법

• 군 대수 $\mathbb{C}[S_n]$와 대칭 함수 공간 $\Lambda$ 사이의 프로베니우스 특성 사상 $\operatorname{ch}: \mathbb{C}[S_n] \to \Lambda$를 사용하여 군 대수의 원소와 대칭 함수를 연결하기 위해.
• 삼각형 $F$에 대해 $\alpha_F = n! \prod_{(i,j)\in E}(1 - (i\,j))$ 라는 연산자를 $\mathbb{C}[S_n]$에서 정의하며, 이 연산자의 $\operatorname{ch}$에 의한 상은 간선 순서에 관계없이 $X_F$가 된다.
• 만약 $\alpha_F$의 고유값이 모두 음이 아닌 경우, 레마 1.3(기약 모듈러에서 추적의 음이 아닌 성질)을 사용하여 $X_F$가 슈어 양성임을 증명하기 위해.
• 간선들을 $E_1, \dots, E_q$로 분할하여 순환 그래프에 대해 일반화한 바, $\alpha_G = n! \prod_{p=1}^q \left(1 - \sum_{(i,j)\in E_p}(i\,j)\right)$ 라는 연산자를 정의하며, 이에 대해 $\operatorname{ch}(\alpha_G) = X_G$임을 보임.
• 루트가 있는 그래프 $(G,v)$에 대해 루트가 있는 색상 대칭 함수 $X_{G,v} \in \Lambda[t]$를 도입하며, 이는 삭제-수축 재귀관계를 만족하고 $X_{G,v}X_{H,w} = X_{G\vee H,v}$임을 만족함.
• 스트라호프의 일반화된 슈어 기저를 사용하여 루트가 있는 슈어 양성을 정의하고, 만약 $X_{G,v}$와 $X_{H,w}$가 루트가 있는 슈어 양성이라면 $G\vee H$가 슈어 양성임을 증명함.

실험 결과

연구 질문

• RQ1 색상 대칭 함수의 슈어 양성은 $S_n$의 표현 이론을 사용하여 (초)삼각형에 대해 증명될 수 있는가?
• RQ2 타일러의 경로 유사 초그래프에 대한 슈어 양성에 대한 추측은 참인가? 그리고 이는 형식적 군 법칙의 양성성을 이끌어내는가?
• RQ3 루트가 있는 색상 대칭 함수 $X_{G,v}$는 그래프의 접합합에 대한 슈어 양성을 증명하는 데 사용될 수 있는가?
• RQ4 단위 간격 그래프 $G(m)$에 대해 $X_{G(m),1}$은 루트가 있는 $e$-양성인가? 그리고 이는 스탠리-스템브릿지 추측에 어떤 함의를 갖는가?
• RQ5 에르미트 프로젝터의 고유값 방법은 삼각형을 초월하여 순환 그래프로 일반화될 수 있는가?

주요 결과

• 군 대수 $\mathbb{C}[S_n]$ 내에서 $\alpha_F = n! \prod_{(i,j)\in E}(1 - (i\,j))$ 라는 연산자는 간선 순서에 관계없이 어떤 삼각형 $F$에 대해서도 $\operatorname{ch}(\alpha_F) = X_F$를 만족한다.
• 이 연산자의 고유값은 음이 아닌데, 이는 음이 아닌 자기수반 연산자의 곱이기 때문이다. 따라서 레마 1.3에 의해 $X_F$는 슈어 양성이다.
• 타일러의 경로 유사 초그래프에 대한 슈어 양성에 대한 추측은 이 방법을 사용하여 증명되었으며, 이는 관련된 형식적 군 법칙의 슈어 양성을 암시한다.
• 루트가 있는 색상 대칭 함수 $X_{G,v}$는 $X_{G,v}X_{H,w} = X_{G\vee H,v}$를 만족하며, 만약 $X_{G,v}$와 $X_{H,w}$가 루트가 있는 슈어 양성이라면 $G\vee H$는 슈어 양성이다.
• 루트가 있는 순환 그래프 $C_n$에 대해 $X_{C_n,n} = X_{P_n,n} - tX_{C_{n-1},n-1}$임이 밝혀졌으며, 이에 대한 $e$-전개의 계수가 음이 아닌 것으로 나타나, 순환 그래프에 대해 루트가 있는 $e$-양성이 증명된다.
• 단위 간격 그래프 $G(m)$에 대해 $X_{G(m),1}$이 루트가 있는 $e$-양성임을 증명하는 추측은 $n \leq 7$까지는 참이며, 만약 이 추측이 참이라면 스탠리-스템브릿지 추측이 성립함을 암시한다.