[논문 리뷰] The Tutte Polynomial of a Morphism of Matroids 6. A Multi-Faceted Counting Formula for Hyperplane Regions and Acyclic Orientations

Michel Las Vergnas|arXiv (Cornell University)|2012. 05. 24.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 6

한 줄 요약

이 논문은 방향성 있는 매트로이드 관점에서 방향 관련 매개변수를 위한 4변수 생성함수를 제안하며, 이는 (x+u, y+v)에서 평가한 Tutte 다항식과 동일하다는 것을 보여준다. 주요 기여는 Tutte 다항식 평가를 통한 초평면 영역과 순환적이지 않은 방향의 수를 통합하는 다면적 수식과, 방향 활성도 및 활성 분할을 사용하여 부분 도함수에 대한 새로운 전개를 유도하는 것이다.

ABSTRACT

We show that the 4-variable generating function of certain orientation related parameters of an ordered oriented matroid is the evaluation at (x + u, y+v) of its Tutte polynomial. This evaluation contains as special cases the counting of regions in hyperplane arrangements and of acyclic orientations in graphs. Several new 2-variable expansions of the Tutte polynomial of an oriented matroid follow as corollaries. This result hold more generally for oriented matroid perspectives, with specific special cases the counting of bounded regions in hyperplane arrangements or of bipolar acyclic orientations in graphs. In corollary, we obtain expressions for the partial derivatives of the Tutte polynomial as generating functions of the same orientation parameters.

연구 동기 및 목표

• 방향성 있는 매트로이드 관점에서 초평면 영역과 순환적이지 않은 방향을 세는 통합 생성함수를 개발한다.
• 방향 활성도를 기반으로 한 Tutte 다항식의 4변수 전개를 수립하여 이전의 2변수 공식을 일반화한다.
• 방향 기반 상태 모델을 사용하여 Tutte 다항식의 부분 도함수에 대한 새로운 전개를 도출한다.
• 이론을 활성 분할과 활성 대응 관계와 연결하여 기존의 기저에서 방향으로 결과를 확장한다.
• 초평면 배열의 유계 영역과 그래프에서의 이중 순환적이지 않은 방향으로 수식을 일반화한다.

제안 방법

• 방향성 있는 매트로이드 관점 M→M′에서 부분집합 A⊆E에 대한 방향 활성도 θ∗ 및 θ를 사용하여 4변수 생성함수를 정의한다.
• t(M, M′; x+u, y+v, 1)이 모든 부분집합 A⊆E에 대해 (x/2)^θ∗(A) * (y/2)^θ(A) * (u/2)^θ∗(A) * (v/2)^θ(A)의 합과 같음을 증명하며, [20]에서 제시한 2변수 공식을 일반화한다.
• 변수 u와 v에 대한 타일러 전개를 적용하여, 고정된 방향 활성도를 가진 부분집합의 생성함수로서 Tutte 다항식의 부분 도함수를 도출한다.
• 활성 대응 프레임워크를 적용하여 방향 활성도를 기저의 Tutte 활성도와 연결함으로써 조합적 해석을 가능하게 한다.
• 쌍대 및 원시 활성 클래스로부터 활성 분할을 구성하여, 주어진 θ∗ 및 θ 값과 일치하는 부분집합을 체계적으로 세는 데 사용한다.
• 활성 분할 내의 클래스를 뒤집을 경우 방향 활성도가 ±1로 변하는 점을 활용하여 도함수 전개에서 단항식 생성을 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떻게 방향성 있는 매트로이드 관점에서 초평면 영역과 순환적이지 않은 방향을 세는 4변수 생성함수를 구성할 수 있는가?
• RQ2 Tutte 다항식의 부분 도함수와 방향 기반 매개변수 사이의 정확한 관계는 무엇인가?
• RQ3 활성 분할은 어떤 방식으로 고정된 방향 활성도를 가진 부분집합의 세기 가능성을 보장하는가?
• RQ4 방향 활성도는 매트로이드 관점의 맥락에서 Tutte 활성도를 어떻게 일반화하는가?
• RQ5 활성 대응은 도함수 전개에서 방향 활성도를 Tutte 활성도와 연결할 수 있도록 확장될 수 있는가?

주요 결과

• 4변수 생성함수 t(M, M′; x+u, y+v, 1)은 모든 부분집합 A⊆E에 대해 (x/2)^θ∗(A) * (y/2)^θ(A) * (u/2)^θ∗(A) * (v/2)^θ(A)의 합과 동일하며, 다면적 수식을 제공한다.
• Tutte 다항식의 부분 도함수 ∂^{p+q}t / ∂x^p∂y^q at (x,y,1)는 θ∗(A)=p 및 θ(A)=q를 만족하는 모든 A⊆E에 대해 x^{θ∗(A)} y^{θ(A)}의 합에 p!q!를 곱한 값과 같다.
• 정리 4.2는 p차 도함수 d^p t / dx^p at (x,x,1)가 p!배의 합으로 표현되며, θ∗(A)+θ(A)=p를 만족하는 모든 A⊆E에 대해 x^{θ∗(A)+θ(A)}의 합과 같다.
• θ∗(A)=p 및 θ(A)=q를 만족하는 부분집합 A는 활성 분할 내의 쌍대 및 원시 활성 클래스의 합집합을 뒤집음으로써 얻어지는 방향과 대응된다.
• 활성 분할의 구조는 방향 활성도에 따라 방향을 체계적으로 세는 데 유용하며, 기저에서의 Dawson 분할을 방향으로 일반화한다.
• 활성 대응을 통해 방향 활성도 θ∗ 및 θ는 Tutte 활성도와 관련이 있다: θ∗(A) = cr(A′), θ∗(A) = ι(A′), θ(A) = nl(A′), θ(A) = ϵ(A′)이며, 이는 활성 대응 하에서 이중 기저 A′에 대해 성립한다.