[논문 리뷰] A Vertex-Weighted Tutte Symmetric Function, and Constructing Graphs with Equal Chromatic Symmetric Function

Logan Crew, Sophie Spirkl|arXiv (Cornell University)|2020. 07. 21.

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

한 줄 요약

이 논문은 색칠 대칭 함수를 일반화하고 삭제-수축 관계를 만족하는 정점 가중치를 부여한 Tutte 대칭 함수 XB를 도입한다. 이를 통해 스패닝 트리 및 스패닝 포레스트 전개를 제공하며, 동일한 색칠 대칭 함수를 가진 비이sov머피즘 그래프의 새로운 구성법을 제시한다. 이는 Tutte 대칭 함수로 구분되지 않는 첫 번째 예시를 제공한다.

ABSTRACT

This paper has two main parts. First, we consider the Tutte symmetric function $XB$, a generalization of the chromatic symmetric function. We introduce a vertex-weighted version of $XB$ and show that this function admits a deletion-contraction relation. We also demonstrate that the vertex-weighted $XB$ admits spanning-tree and spanning-forest expansions generalizing those of the Tutte polynomial by connecting $XB$ to other graph functions. Second, we give several new methods for constructing nonisomorphic graphs with equal chromatic symmetric function, and provide the first examples of nonisomorphic graphs that are not distinguished by the Tutte symmetric function.

연구 동기 및 목표

• 정점 가중치를 부여한 Tutte 대칭 함수 XB를 통해 색칠 대칭 함수를 일반화하고, 그 대수적 및 조합적 성질을 확장한다.
• 정점 가중치를 부여한 XB에 대한 삭제-수축 관계를 확립하여 재귀적 계산과 더 깊은 구조 분석을 가능하게 한다.
• XB에 대한 스패닝 트리 및 스패닝 포레스트 전개를 유도하여 고전적 Tutte 다항식 항등식을 일반화한다.
• 동일한 색칠 대칭 함수를 가진 비이sov머피즘 그래프를 생성하는 새로운 조합적 방법을 개발한다.
• Tutte 대칭 함수에 의해 구분되지 않는 비이sov머피즘 그래프의 첫 번째 명시적 예를 제공한다.

제안 방법

• 정점 가중치를 추가한 표준 Tutte 대칭 함수를 확장하여 정점 가중치를 부여한 Tutte 대칭 함수 XB를 정의한다.
• 정점 가중치를 부여한 그래프 분해를 이용하여, Tutte 다항식과 유사한 삭제-수축 관계가 XB에 성립함을 증명한다.
• 가중치가 부여된 그래프 불변량과 생성 함수를 활용하여 XB에 대한 스패닝 트리 및 스패닝 포레스트 전개를 도출한다.
• 대칭성과 가중치 할당을 이용하여 동일한 색칠 대칭 함수를 가진 비이sov머피즘 그래프의 새로운 가족을 구성한다.
• XB의 구조를 활용하여, 비이sov머피즘임에도 불구하고 Tutte 대칭 함수에 의해 구분되지 않는 그래프 쌍을 식별한다.

실험 결과

연구 질문

• RQ1 Tutte 대칭 함수는 어떻게 정점 가중치를 포함하면서도 핵심 대수적 성질을 유지할 수 있는가?
• RQ2 정점 가중치를 부여한 Tutte 대칭 함수에 대해 어떤 삭제-수축 항등식이 성립하는가?
• RQ3 정점 가중치를 부여한 XB에 대해 스패닝 트리 및 스패닝 포레스트 전개를 일반화할 수 있으며, 이는 기존의 그래프 다항식과 어떻게 관련되는가?
• RQ4 어떤 새로운 조합적 구성법이 동일한 색칠 대칭 함수를 가진 비이sov머피즘 그래프를 도출하는가?
• RQ5 Tutte 대칭 함수에 의해 구분되지 않는 비이sov머피즘 그래프가 존재하는가? 만약 그렇다면, 어떻게 구성할 수 있는가?

주요 결과

• 정점 가중치를 부여한 Tutte 대칭 함수 XB는 삭제-수축 관계를 만족하여 재귀적 평가와 구조 분석이 가능하다.
• XB는 고전적 Tutte 다항식 항등식을 일반화하는 스패닝 트리 및 스패닝 포레스트 전개를 갖는다.
• 논문은 동일한 색칠 대칭 함수를 가진 비이sov머피즘 그래프의 새로운 가족을 구성하여 기존의 구성 기법을 확장한다.
• Tutte 대칭 함수에 의해 구분되지 않는 비이sov머피즘 그래프의 첫 번째 명시적 예를 제공한다.
• 정점 가중치를 부여한 XB 함수는 가중치가 부여된 그래프 분해를 통해 색칠 대칭 함수, Tutte 다항식, 그래프 불변량을 통합하는 프레임워크로 기능한다.