[논문 리뷰] Quadratic Gröbner bases arising from partially ordered sets

Takayuki Hibi, Kazunori Matsuda외 1명|arXiv (Cornell University)|2015. 06. 02.

Commutative Algebra and Its Applications참고 문헌 5인용 수 5

한 줄 요약

이 논문은 동일한 크기의 부분순서집합 $P$와 $Q$에 대해 순서단체 $Ω(P)$와 음의 체인단체 $-Χ(Q)$의 볼록결합인 다면체 $̺(Ω(P), -Χ(Q))$를 제안한다. 토닉 아이디얼의 역사전형 순서를 갖는 정규 제곱형 초기 아이디얼 이론을 사용하여, 이 다면체가 항상 정규 Gorenstein Fano 다면체임을 증명하며, 부분순서집합 구조로부터 새로운 Gorenstein Fano 다면체의 클래스를 수립한다.

ABSTRACT

The order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ associated to a partially ordered set $P$ are studied. In this paper, we introduce the convex polytope $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ which is the convex hull of $\mathcal{O}(P) \cup (-\mathcal{C}(Q))$, where both $P$ and $Q$ are partially ordered sets with $|P|=|Q|=d$. It will be shown that $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ is a normal and Gorenstein Fano polytope by using the theory of reverse lexicographic squarefree initial ideals of toric ideals.

연구 동기 및 목표

• 순서단체와 체인단체의 음의 볼록결합이 정규 Gorenstein Fano 다면체가 되는지 조사한다.
• 부분순서집합으로부터 생성된 정규 Gorenstein Fano 다면체의 기존 클래스를 확장한다.
• 그로브너 기저를 통한 조합론적 부분순서집합의 구조와 토닉 아이디얼의 대수적 성질 간의 연결 고리를 설정한다.
• 특히 Ehrhart 다항식과 $δ$-벡터를 분석하여 이러한 다면체가 Gorenstein이자 정규일 조건을 규명한다.

제안 방법

• 유한 부분순서집합 $P$와 $Q$가 크기 $d$를 갖는다고 할 때, 다면체 $̺(Ω(P), -Χ(Q))$를 $Ω(P) \cup (-Χ(Q))$의 볼록결합으로 정의한다.
• $̺(Ω(P), -Χ(Q))$의 꼭짓점 집합과 관련된 토닉 아이디얼을 사용하여 그 대수적 구조를 분석한다.
• 토닉 아이디얼의 역사전형 순서를 갖는 정규 제곱형 초기 아이디얼 이론을 적용하여, 초기 아이디얼이 이차 단항식들에 의해 생성됨을 보인다.
• 모든 확대에서의 정수점들이 다면체 내의 격자점들의 합으로 표현됨을 확인하여 다면체가 정규임을 증명한다.
• 그로브너 기저의 구조에서 유도된 $δ$-벡터의 대칭성을 이용하여 쌍대다면체가 정수점을 갖음을 보여, Gorenstein임을 확립한다.
• 기존의 Ehrhart 다항식과 $δ$-벡터에 관한 알려진 결과를 활용하여, 새로운 다면체가 $̺(Χ(P), -Χ(Q))$와 유사한 성질을 갖는지 비교한다.

실험 결과

연구 질문

• RQ1 순서단체와 체인단체의 음의 볼록결합이 정규 Gorenstein Fano 다면체가 되는 조건은 무엇인가?
• RQ2 $̺(Ω(P), -Χ(Q))$의 토닉 아이디얼이 역사전형 순서에서 이차 그로브너 기저를 갖는가?
• RQ3 $̺(Ω(P), -Χ(Q))$의 Ehrhart 다항식과 $δ$-벡터는 $̺(Χ(P), -Χ(Q))$와 어떻게 비교되는가?
• RQ4 $̺(Ω(P), -Χ(Q))$의 $δ$-벡터는 모든 부분순서집합 $P$와 $Q$에 대해 대칭적이며, Gorenstein성을 확인하는가?

주요 결과

• $P$와 $Q$가 동일한 크기의 유한 부분순서집합일 때, 다면체 $̺(Ω(P), -Χ(Q))$는 항상 정규 Gorenstein Fano 다면체이다.
• $̺(Ω(P), -Χ(Q))$의 토닉 아이디얼은 변수 $[0,\ldots,0,1]^t$ 가 가장 작은 값으로 설정된 역사전형 순서에 대해 정규 제곱형 초기 아이디얼을 갖는다.
• $̺(Ω(P), -Χ(Q))$의 Ehrhart 다항식은 $P$와 $Q$가 체인일 경우 $(1+\lambda)^d$ 와 동일하다.
• $P = \{p_1 < p_3, p_2 < p_4\}$ 이고 $Q$가 동일한 하세 다이어그램을 갖는 경우, $̺(Ω(P), -Χ(Q))$의 $δ$-벡터는 $(1,12,28,12,1)$ 이다; $Q$가 두 개의 체인의 분리합집합일 경우, $δ$-벡터는 $(1,12,26,12,1)$ 이다.
• $̺(Ω(P), -Χ(Q))$의 $δ$-벡터는 모든 $P$와 $Q$에 대해 대칭적이며, 이는 Gorenstein성을 확인한다.