[논문 리뷰] Colorings and flows on CW complexes, Tutte quasi-polynomials and arithmetic matroids

Emanuele Delucchi, Luca Moci|arXiv (Cornell University)|2016. 02. 13.

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

한 줄 요약

이 논문은 투트의 고전적 정리의 고차원 해석을 제공하며, CW 복합체에 대한 색칠과 플로우의 준다항식이 투트 준다항식의 특수화로 나타남을 보여, 대수적 위상수학과 산술 조합론의 불변량을 통합한다. 또한 세포형 스패닝 트리 수세기에서 토르션 다중도 함수의 제곱이 산술 매트로이드를 정의함을 증명하여 추측을 확인하고, 수정된 투트–크루슈칼–렌하르디 다항식의 계수들이 음이 아닌 것을 보장한다.

ABSTRACT

In this note we provide a higher-dimensional analogue of Tutte's celebrated theorem on colorings and flows of graphs, by showing that the theory of arithmetic Tutte polynomials and quasi-polynomials encompasses invariants defined for CW complexes by Beck-Breuer-Godkin-Martin and Duval-Klivans-Martin. Furthermore, we answer a question by Bajo-Burdick-Chmutov, concerning the modified Tutte-Krushkal-Renhardy polynomials defined by these authors: to this end, we prove that the product of two arithmetic multiplicity functions on a matroid is again an arithmetic multiplicity function.

연구 동기 및 목표

• 투트 준다항식을 통해 고차원 그래프 색칠 및 플로우 불변량의 일반화를 통합한다.
• 바조–버디크–츄모보프가 제기한 수정된 투트–크루슈칼–렌하르디 다항식의 대수적 구조에 관한 질문을 해결한다.
• 세포 매트로이드 위에서 토르션 다중도 함수의 제곱이 타당한 산술 다중도 함수를 정의함을 확립한다.
• 수정된 TKR 다항식이 음이 아닌 계수를 가진 산술 투트 다항식임을 보여준다.
• 고정된 매트로이드 위의 산술 매트로이드 집합이 다중도의 곱에 대해 가환 모노이드를 이룬다.

제안 방법

• 유한한 부분순서집합 위의 곱 함수에 대한 모비우스 변환에 관한 일반 정리를 증명하며, 이는 산술 다중도 함수로 특수화됨을 보인다.
• 부분순서집합 이론 결과를 적용하여, 매트로이드 위의 두 산술 다중도 함수의 곱이 다시 산술 다중도 함수가 됨을 보여준다.
• CW 복합체의 플로우 및 크로마틱 준다항식이 특정 매개변수에서의 평가를 통해 투트 준다항식의 특수화로 나타남을 규명한다.
• CW 복합체의 경계 행렬에 의해 정의되는 ℤ 위의 세포 매트로이드를 사용하여 관련된 산술적 구조를 정의한다.
• 수정된 TKR 다항식이 매트로이드의 다중도 함수 $t_j^2$에 대한 산술 투트 다항식으로 유도됨을 보여준다.
• 다중도 함수 $t_j^2$가 타당한 산술 다중도 함수임을 증명함으로써 수정된 TKR 다항식의 계수가 음이 아님을 확립한다.

실험 결과

연구 질문

• RQ1 CW 복합체에 대한 색칠 및 플로우 준다항식은 그래프의 투트 정리와 유사하게 단일 보편 다항식의 특수화로 표현될 수 있는가?
• RQ2 세포 매트로이드 위에서 토르션 다중도 함수 $t_j$의 제곱은 산술 다중도 함수인가, 이는 수정된 TKR 다항식이 산술 투트 다항식임을 보장하는가?
• RQ3 고정된 기저 매트로이드 위의 산술 매트로이드 집합은 다중도의 곱에 대해 가환 모노이드를 이룬다?
• RQ4 수정된 투트–크루슈칼–렌하르디 다항식의 계수들은 그 구조가 암시하는 바처럼 음이 아닌가?
• RQ5 CW 복합체의 불변량은 산술 매트로이드 이론과 준다항식 이론과 어떻게 관련이 있는가?

주요 결과

• CW 복합체의 크로마틱 및 플로우 준다항식은 투트 준다항식의 특수화이며, 명시적인 매개변수화가 존재한다: $\chi_C(q) = (-1)^{\operatorname{rk} \partial} q^{|C_{d-1}| - \operatorname{rk} \partial} Q_\partial(1-q, 0)$ 및 $\chi^*_C(q) = (-1)^{|C_d| - \operatorname{rk} \partial} Q_\partial(0, 1-q)$.
• 매트로이드 위의 두 산술 다중도 함수의 곱은 다시 산술 다중도 함수가 되며, 이는 고정된 매트로이드 위의 산술 매트로이드 집합에 대해 가환 모노이드를 정의한다.
• 수정된 $j$-번째 투트–크루슈칼–렌하르디 다항식 $M^j_C(x,y)$는 다중도 함수 $t_j^2$를 가진 세포 매트로이드 $\mathcal{M}_j(C)$의 산술 투트 다항식이며, 그 양성과 매트로이드 기원을 확인한다.
• 토르션 다중도 $t_j(S)$는 산술 매트로이드의 다중도 함수이며, 그 제곱 $t_j^2(S)$ 역시 타당한 다중도 함수임을 제품 정리에 의해 증명하였다.
• 수정된 TKR 다항식의 계수들은 음이 아니며, 이는 산술 투트 다항식의 계수이기 때문이다.
• 투트 준다항식 이론은 CW 복합체, 산술 매트로이드, 조노토프 조합론의 불변량을 통합하며, 이들이 모두 하나의 보편적 대상의 특수화임을 보여준다.