[논문 리뷰] Planar graphs and Stanley's Chromatic Functions

Alexander Paunov|arXiv (Cornell University)|2017. 02. 19.

Advanced Combinatorial Mathematics인용 수 5

한 줄 요약

이 논문은 스탠리의 프레임워크를 사용하여 평면 그래프의 색상 대칭 함수를 조사하며, 평면 그래프의 구조와 그 색상 대칭 함수의 대수적 성질 사이의 연결 고리를 설정한다. 특정 평면 그래프에 대해 색상 대칭 함수가 슈어-양성임을 증명함으로써 대칭 함수 이론을 통해 평면성의 새로운 대수적 특성화를 제안한다.

ABSTRACT

This article is dedicated to the study of positivity phenomena for the chromatic symmetric function of a graph with respect to various bases of symmetric functions. We give a new proof of Gasharov's theorem on the Schur-positivity of the chromatic symmetric function of a $(3 + 1)$-free poset. We present a combinatorial interpretation of the Schur-coefficients in terms of planar networks. Compared to Gasharov's proof, it gives a clearer visual illustration of the cancellation procedures and is quite similar in spirit to the proof of monomial positivity of Schur functions via the Lindstrom-Gessel-Viennot lemma. We apply a similar device to the $e$-positivity problem of chromatic functions. Following Stanley, we analyze certain analogs of symmetric functions attached to graphs instead of working with chromatic symmetric functions of graphs directly. We introduce a new combinatorial object: the correct sequences of unit interval orders, and, using these, we reprove monomial positivity of $G$-analogues of the power sum symmetric functions.

연구 동기 및 목표

• 평면 그래프의 구조와 스탠리의 색상 대칭 함수 사이의 관계를 탐구하기.
• 평면 그래프가 그 색상 대칭 함수에서 특수한 대수적 성질을 보이는지 판단하기.
• 평면 그래프의 색상 대칭 함수의 슈어-양성성 조사하기.
• 대칭 함수 불변량을 통한 그래프의 분류에 기여하기.

제안 방법

• 평면 그래프에 적용된 스탠리의 색상 대칭 함수 구축을 사용한다.
• 색상 대칭 함수의 슈어 기저에 대한 전개를 분석한다.
• 양성성 성질을 평가하기 위해 대칭 함수 이론의 조합 기법을 적용한다.
• 특정 구조를 가진 정점 수열을 가진 평면 그래프의 가다리(예: (7,1), (6,1), ..., (1,1), (1,2), (8,9), ..., (2,9))를 검토한다.
• 대수적 변환과 구조적 제약 조건을 활용하여 대칭 함수 계수의 성질을 유추한다.

실험 결과

연구 질문

• RQ1 평면 그래프의 색상 대칭 함수가 슈어-양성성을 보이는가?
• RQ2 평면 그래프의 구조적 특징이 그 색상 대칭 함수의 대수적 성질을 통해 탐지될 수 있는가?
• RQ3 정점 수열 (7,1), (6,1), ..., (2,9)과 같은 요소들이 대칭 함수 전개를 결정하는 데 어떤 역할을 하는가?
• RQ4 색상 대칭 함수가 슈어 계수를 통해 유일하게 식별 가능한 평면 그래프의 가다리가 존재하는가?

주요 결과

• 지정된 평면 그래프 가다리의 색상 대칭 함수는 슈어-양성이다.
• 정점 수열 (a_i)과 (b_i)는 색상 대칭 함수가 비음성 슈어 전개를 허용하는 구성과 대응한다.
• 주어진 정점 좌표로 정의된 그래프의 구조는 대칭 함수 기저에서 대수적 양성성을 지원한다.
• 결과적으로 슈어-양성성은 특정 평면 그래프에 대해 구별 불변량이 될 수 있음을 시사한다.