[논문 리뷰] A new Tutte polynomial for signed graphs

Andrew Goodall, Bart Litjens외 2명|arXiv (Cornell University)|2019. 03. 18.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 정점 스위칭 불변성을 포함하고 색칠과 전류를 통합함으로써 고전적 투트 토다 다항식을 일반화하는 서명 그래프에 대한 삼변수 투트 다항식을 제안한다. 이는 동일한 기초 집합 위의 매트로이드 쌍으로의 자연스러운 확장이며, 기존의 이변수 이색 다항식과는 달리 서명 그래프에서의 전류 수를 정확히 포착한다.

ABSTRACT

We introduce the ``trivariate Tutte of a signed graph as an invariant of signed graphs up to vertex switching that contains among its evaluations the number of proper colorings and the number of nowhere-zero flows. In this, it parallels the Tutte polynomial of a graph, which contains the chromatic polynomial and flow polynomial as specializations. The number of nowhere-zero tensions (for signed graphs they are not simply related to proper colorings as they are for graphs) is given in terms of evaluations of the trivariate Tutte polynomial at two distinct points. Interestingly, the bivariate dichromatic polynomial of a biased graph, shown by Zaslavsky to share many similar properties with the Tutte polynomial of a graph, does not in general yield the number of nowhere-zero flows of a signed graph. Therefore the ``dichromate for signed graphs (our trivariate Tutte polynomial) differs from the dichromatic polynomial (the rank-size generating function). The trivariate Tutte polynomial of a signed graph can be extended to an invariant of ordered pairs of matroids on a common ground set -- for a signed graph, the cycle matroid of its underlying graph and its frame matroid form the relevant pair of matroids. This invariant is the canonically defined Tutte polynomial of matroid pairs on a common ground set in the sense of a recent paper of Krajewski, Moffatt and Tanasa, and was first studied by Welsh and Kayibi as a four-variable linking polynomial of a matroid pair on a common ground set.

연구 동기 및 목표

• 정점 스위칭에 대해 불변이면서 고전적 투트 다항식을 일반화하는 서명 그래프의 불변량을 개발하기 위해.
• 서명 그래프에서의 적절한 색칠과 영이 아닌 유량의 수를 단일 다항식 프레임워크 내에서 통합하기 위해.
• 이변수 이색 다항식이 서명 그래프에서 영이 아닌 유량의 수를 포착하지 못하는 한계를 해결하기 위해.
• 삼변수 투트 다항식을 동일한 기초 집합 위의 매트로이드 쌍으로 확장하여 정준 형태를 수립하기 위해.

제안 방법

• 서명 그래프의 삼변수 투트 다항식을 간선 부분집합 위의 생성함수로 정의하며, 균형, 방향성, 스위칭 불변성을 포함한다.
• 기초 그래프의 사이클 매트로이드와 서명 그래프의 프레임 매트로이드를 동일한 기초 집합 위의 매트로이드 쌍으로 사용한다.
• 서명 그래프의 대칭성과 매트로이드의 쌍대성에 기반하여 정점 스위칭에 대한 다항식의 불변성을 확립한다.
• 특정 매개변수 설정을 통해 적절한 색칠 수와 영이 아닌 유량 수를 도출하는 다항식의 평가를 유도한다.
• Welsh와 Kayibi가 정의한 매트로이드 쌍의 네변수 연결 다항식과의 연결을 설정하며, 이후 Krajewski, Moffatt, Tanasa에 의해 체계화되었다.
• 이색 다항식과 달리 삼변수 투트 다항식은 서명 그래프에서 영이 아닌 긴장과 유량의 수를 정확히 계산함을 보여준다.

실험 결과

연구 질문

• RQ1 정점 스위칭에 대해 불변이면서 색칠과 전류를 모두 포착할 수 있는 서명 그래프에 대한 투트 유형 다항식은 어떻게 구성할 수 있는가?
• RQ2 이변수 이색 다항식은 왜 서명 그래프에서 영이 아닌 유량의 수를 세는 데 실패하는가? 그리고 이는 어떻게 수정할 수 있는가?
• RQ3 동일한 기초 집합 위의 매트로이드 쌍으로의 투트 다항식의 정준 확장은 무엇이며, 서명 그래프와의 관계는 어떠한가?
• RQ4 Welsh와 Kayibi가 정의한 매트로이드 쌍의 연결 다항식과 서명 그래프의 삼변수 투트 다항식은 어떤 관계가 있는가?
• RQ5 삼변수 투트 다항식을 사용하여 서명 그래프에서 영이 아닌 긴장의 수를 계산할 수 있는가? 만약 가능하다면, 어떤 매개변수 값에서 이루어지는가?

주요 결과

• 서명 그래프의 삼변수 투트 다항식은 정점 스위칭에 대해 불변이며 고전적 투트 다항식을 일반화한다.
• 서명 그래프의 적절한 색칠 수는 삼변수 투트 다항식의 특정 매개변수 값에서의 전문화를 통해 도출된다.
• 영이 아닌 유량의 수는 다항식의 두 개의 서로 다른 점에서의 평가를 통해 포착되며, 이는 다항식이 유량 수의 세기에서의 역할을 보여준다.
• 삼변수 투트 다항식은 이변수 이색 다항식과 근본적으로 다름을 보이며, 이는 서명 그래프에서 영이 아닌 유량의 수를 정확히 산출하지 못한다는 점에서 다르다.
• 다항식은 기초 집합이 동일한 매트로이드 쌍의 불변량으로 정준적으로 확장되며, Krajewski, Moffatt, Tanasa의 네변수 연결 다항식과 일치한다.
• 삼변수 투트 다항식은 특정 평가를 통해 서명 그래프에서 영이 아닌 긴장의 수를 정확히 계산할 수 있으며, 이는 이전 접근 방식의 핵심 한계를 해결한다.