[논문 리뷰] Lattice Path Matroid Polytopes

Hoda Bidkhori|arXiv (Cornell University)|2012. 12. 22.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 5

한 줄 요약

이 논문은 경로가 두 격자 경로 사이에 봉인된 경로를 표현하는 격자 경로 매트로이드의 기저의 입사 벡터들로 생성된 볼록 hull로 이루어진 다면체, 즉 격자 경로 매트로이드 다면체를 조사한다. 이 다면체의 에흐라흐트 다항식과 부피에 대한 공식을 정수 배열과 표준 양탁표를 이용하여 유도하며, 이는 부피가 경로의 경계에 관련된 특정 형상의 표준 양탁표의 수와 일치함을 드러낸다.

ABSTRACT

Fix two lattice paths $P$ and $Q$ from $(0,0)$ to $(m,r)$ that use East and North steps with $P $ never going above $Q$. Bonin et al. show that the lattice paths that go from $(0,0)$ to $(m,r)$ and remain bounded by $P$ and $Q$ can be identified with the bases of a particular type of transversal matroid, which we call it a lattice path matroid. In this paper, we consider properties of lattice path matroid polytopes. These are the polytopes associated to the lattice path matroids. We investigate their face structure, decomposition, triangulation, Ehrhart polynomial and volume.

연구 동기 및 목표

• 경로가 두 격자 경로로 봉인된 특수한 매트로이드 다면체인 격자 경로 매트로이드 다면체의 조합적 및 기하적 성질을 연구한다.
• 이 다면체의 면의 구조, 분해 및 삼등분을 규명한다.
• 경로의 경계에서 유래한 조합적 불변량을 이용해 격자 경로 매트로이드 다면체의 에흐라흐트 다항식과 부피를 계산한다.
• 다면체의 부피와 주어진 형상의 표준 양탁표의 수 사이의 관계를 설정한다.
• 특정 부등식을 만족하는 배열을 이용해 다면체의 확대에서 정수 점의 수를 공식화한다.

제안 방법

• 두 격자 경로 $P$와 $Q$를 통해 격자 경로 매트로이드를 정의하며, $(0,0)$에서 $(m,r)$으로 가는 경로로, $P$는 항상 $Q$ 위에 있지 않다. 기저는 이 영역 내에서 유지되는 경로로 식별된다.
• 이 매트로이드 다면체 $\mathcal{P}(\mathcal{M}[P,Q])$를 이러한 기저의 입사 벡터들의 볼록 hull로 표현한다.
• 경로 경계 조건을 만족하는 정수 배열 $\alpha = (\alpha_1, \dots, \alpha_r)$의 집합 $\Gamma(P,Q)$를 도입하며, 조건은 $\alpha_i \geq 1$, $\sum \alpha_i = m+r$, 그리고 누적 합 제약 조건이다.
• 변수를 $c_i = x_1 + \cdots + x_i$로 바꾸어 다면체를 부등식 $p_i \leq c_i \leq q_i$로 정의된 영역으로 변환한다.
• 정수 점 $t\mathcal{P}(\mathcal{M}[P,Q])$와 $t$-스케일된 간격에 제약을 받는 비감소하는 $c_i$ 값의 수열 사이의 전단사 관계를 설정한다.
• 각 블록 내에서 유효한 수열의 수를 세는 이항계수를 포함한, $\alpha \in \Gamma(P,Q)$와 $s \in S_r(t)$에 대한 합으로 에흐라흐트 다항식을 유도한다.

실험 결과

연구 질문

• RQ1 격자 경로 매트로이드 다면체의 면의 구조는 어떻게 되며, 이들은 더 작은 성분들로 어떻게 분해되는가?
• RQ2 경로의 경계에서 유래한 조합적 자료를 바탕으로 격자 경로 매트로이드 다면체의 에흐라흐트 다항식은 어떻게 계산할 수 있는가?
• RQ3 격자 경로 매트로이드 다면체의 부피는 무엇이며, 표준 양탁표와 어떤 관련이 있는가?
• RQ4 다면체의 확대된 형태에서의 정수 점들은 어떻게 조합적 배열과 수열과 대응되는가?
• RQ5 이 다면체의 삼등분과 분해는 경로 기반 불변량을 통해 어떻게 특성화할 수 있는가?

주요 결과

• 다면체 $\mathcal{P}(\mathcal{M}[P,Q])$의 $t$-번째 확대에서의 정수 점의 수는 경로 경계 제약 조건을 만족하는 유효한 정수 배열의 수인 $|\Gamma(P,Q)|$와 같다.
• 다면체 $\mathcal{P}(\mathcal{M}[P,Q])$의 에흐라흐트 다항식은 $\alpha \in \Gamma(P,Q)$와 $s \in S_r(t)$에 대한 합으로 주어지며, 각 항은 이항계수 $\binom{t+1-s_1}{\alpha_1}$, $\binom{t-s_{2i-1}-s_{2i-2}}{\alpha_i}$, $=\binom{t-s_{2r-2}}{\alpha_r}$를 포함한다.
• 다면체 $\mathcal{P}(\mathcal{M}[P,Q])$의 부피는 경로 경계 영역 내의 모든 경로 $p$에 대해 $S(p)$의 형상과 관련된 표준 양탁표의 수와 같다.
• 다면체 $\mathcal{P}(\mathcal{M}[P,Q])$는 초평면 분할을 통해 연결된 성분들로 분해되며, 각 성분은 경로 경계 영역 내의 경로 $p$에 대응한다.
• 다면체의 삼등분은 이 분해와 호환되며, 각 성분 $\mathcal{P}(S(p))$의 부피는 형상 $S(p)$의 표준 양탁표의 수와 같다.
• 에흐라흐트 다항식은 경로 경계 $P$와 $Q$의 조합적 성질에 의해 완전히 결정되며, 이는 배열 $\Gamma(P,Q)$와 집합 $S_r(t)$에 의해 표현된다.