[논문 리뷰] Hopf algebras and Tutte polynomials

Thomas Krajewski, Iain Moffatt외 1명|arXiv (Cornell University)|2015. 08. 04.

Advanced Combinatorial Mathematics참고 문헌 38인용 수 4

한 줄 요약

이 논문은 삭제 및 수축 연산을 갖는 조합적 구조물에 대해 Tutte 유사 다항식을 정규적으로 구성하는 통합 호프 대수 프레임워크를 제안한다. 호프 대수 준동형사상과 쌍대성을 통한 정규 Tutte 다항식 정의를 통해, 고전적 및 위상수학적 그래프 다항식—예를 들어 Bollobás-Riordan, Krushkal, Penrose, Las Vergnas 다항식—이 특수한 경우로 나타남을 보여준다. 주요 기여는 이러한 다항식들을 동일한 대수적 형식으로 통합하는 유니버설이고 구조를 유지하는 구성법이며, 이는 삭제-수축 재귀, 쌍대성, 콘볼루션 공식 등 공통된 성질을 공유한다.

ABSTRACT

By considering Tutte polynomials of Hopf algebras, we show how a Tutte polynomial can be canonically associated with combinatorial objects that have some notions of deletion and contraction. We show that several graph polynomials from the literature arise from this framework. These polynomials include the classical Tutte polynomial of graphs and matroids, Las Vergnas' Tutte polynomial of the morphism of matroids and his Tutte polynomial for embedded graphs, Bollobas and Riordan's ribbon graph polynomial, the Krushkal polynomial, and the Penrose polynomial. We show that our Tutte polynomials of Hopf algebras share common properties with the classical Tutte polynomial, including deletion-contraction definitions, universality properties, convolution formulas, and duality relations. New results for graph polynomials from the literature are then obtained as examples of the general results. Our results offer a framework for the study of the Tutte polynomial and its analogues in other settings, offering the means to determine the properties and connections between a wide class of polynomial invariants.

연구 동기 및 목표

• 삭제 및 수축 연산을 갖는 다양한 조합적 구조물에서 'Tutte 다항식'의 정의 기준을 규명하는 기본 문제를 해결하기 위해.
• 호프 대수 구조를 이용하여 Tutte 유사 다항식의 정규적이고 유니버설한 구성법을 제공하기 위해.
• 고전 Tutte 다항식, Bollobás-Riordan, Krushkal, Penrose, Las Vergnas 다항식 등 기존의 그래프 다항식들을 하나의 대수적 프레임워크 아래 통합하기 위해.
• 호프 대수 접근법을 통해 이러한 다항식들 간의 공통된 구조적 성질(예: 삭제-수축, 쌍대성, 콘볼루션)을 확립하기 위해.
• 위상수학적 Tutte 다항식의 모호함을 제거하기 위해, 그것들이 정규 구성의 제한된 경우로 나타남을 보여주기 위해.

제안 방법

• 삭제, 수축, 직접 합 연산을 갖는 조합적 구조물(예: 그래프, 델타-매트로이드, 리ibbon 그래프)에 대해 소수계를 정의하기 위해.
• 구조물의 동형류 클래스로 생성된 자유 벡터 공간에서 호프 대수 H를 구성하며, 코프로덕트 Δ는 삭제 및 수축을 통해 정의된다.
• 삭제-수축 행동을 코딩하는 선형 함수형들(선택자) δa, δb, δc 를 H 위에 도입하고, 이는 보편 성질을 통해 Tutte 다항식을 정의하는 데 사용된다.
• 델타-매트로이드에서의 쌍대성과 외부 쌍대성( twisted duality )을 이용해 쌍대 객체의 코프로덕트 간의 관계를 설정하고, 호프 대수 구조와의 호환성을 확립하기 위해.
• 코프로덕트와 선택자들을 포함한 콘볼루션 방정식의 보편적 해로서 정규 Tutte 다항식이 유도됨을 증명하기 위해.
• 특수한 경우들(예: 리ibbon 그래프, 매트로이드, 매트로이드의 사상 등)에 이 프레임워크를 적용하여 기존의 다항식들이 특수한 경우로 복원됨을 보여주기 위해.

실험 결과

연구 질문

• RQ1 삭제 및 수축 연산을 갖는 조합적 구조물이 호프 대수 구성에 의해 정규 Tutte 다항식을 갖기 위해 만족해야 할 조건은 무엇인가?
• RQ2 고전 Tutte 다항식과 그 위상수학적 유사체(예: Bollobás-Riordan, Krushkal, Penrose)를 어떻게 하나의 대수적 프레임워크 아래 통합할 수 있는가?
• RQ3 임베딩된 그래프에 대해 다양한 위상수학적 Tutte 다항식(예: Las Vergnas, Bollobás-Riordan, Krushkal)이 존재하는 이유는 무엇이며, 이들 간의 관계는 어떻게 되는가?
• RQ4 호프 대수 형식론 하에서 이러한 다항식들이 공유하는 구조적 성질(예: 쌍대성, 콘볼루션, 삭제-수축)은 무엇인가?
• RQ5 이 프레임워크에서 Penrose 다항식이 정규 Tutte 다항식으로 유도될 수 있는가? 만약 가능하면 어떤 조건에서 가능한가?

주요 결과

• 리ibbon 그래프의 2변수 Penrose 다항식은 호프 대수 Hper의 정규 Tutte 다항식으로서 실현되며, α(a,b)(G) = x₁^ξ(D) y₂^{|E|−ξ(D)} ˜PD(y₁/x₁ + 1, x₂/y₂ + 1) 이다. 여기서 a = (√(x₁x₂), x₁, x₂), b = (√(y₁y₂), y₁, y₂).
• 델타-매트로이드를 위한 호프 대수 Hpe의 정규 Tutte 다항식은 2변수 Bollobás-Riordan 다항식이며, α(a,b)(D) = x₁^ξ(D) y₂^{|E|−ξ(D)} ˜PD(y₁/x₁ + 1, x₂/y₂ + 1) 이다.
• 이 프레임워크는 델타-매트로이드에서의 세 가지 소수 연산(삭제, 수축, 외부 수축)이 오직 두 개의 서로 다른 Tutte 다항식—Bollobás-Riordan 다항식과 Penrose 다항식—만을 생성함을 보여준다.
• Hper의 정규 Tutte 다항식은 호프 대수 쌍대성 ∗를 통해 duality 관계 ˆα(ˆa,ˆb)(D) = α(a,b)(D*) 를 만족하며, 이는 Penrose 다항식이 이 구성에서 자기 쌍대임을 증명한다.
• 선택자 δa 가 조건 a₁ = √(a₂a₃) 하에서 균일할 경우, Krushkal 다항식은 정규 Tutte 다항식의 제한된 경우로 복원된다.
• Penrose 다항식 PG(λ) 가 δa-매트로이드 다항식과 비례하며 PG(λ) = λ^{c(G)} PD(G)(λ) 로 표현됨을 보이고, 2변수 형태 ˜PG(x,y) 는 Hper 프레임워크 하에서 정규 Tutte 다항식으로 유도된다.