[논문 리뷰] Quadratic Gröbner bases of twinned order polytopes

Takayuki Hibi, Kazunori Matsuda|arXiv (Cornell University)|2015. 05. 16.

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

한 줄 요약

이 논문은 두 유한한 부분순서집합 P와 Q가 공통의 선형 확장을 공유할 경우, 이에 대응하는 쌍둥이 순서다면체 Δ(P,−Q)의 대수적 이차 기저를 갖는 그뢰브너 기저를 갖는다고 규명한다. 핵심 결과는 이 경우 Δ(P,−Q)가 정규 Gorenstein Fano 다면체임을 보여주며, 이는 이전의 순서다면체의 중심대칭 구성에 대한 일반화이다.

ABSTRACT

Let $P$ and $Q$ be finite partially ordered sets on $[d] = \{1, \ldots, d\}$, and $\mathcal{O}(P) \subset \mathbb{R}^{d}$ and $\mathcal{O}(Q) \subset \mathbb{R}^{d}$ their order polytopes. The twinned order polytope of $P$ and $Q$ is the convex polytope $Δ(P,-Q) \subset \mathbb{R}^{d}$ which is the convex hull of $\mathcal{O}(P) \cup (- \mathcal{O}(Q))$. It follows that the origin of $\mathbb{R}^{d}$ belongs to the interior of $Δ(P,-Q)$ if and only if $P$ and $Q$ possess a common linear extension. It will be proved that, when the origin of $\mathbb{R}^{d}$ belongs to the interior of $Δ(P,-Q)$, the toric ideal of $Δ(P,-Q)$ possesses a quadratic Gröbner basis with respect to a reverse lexicographic order for which the variable corresponding to the origin is smallest. Thus in particular if $P$ and $Q$ possess a common linear extension, then the twinned order polytope $Δ(P,-Q)$ is a normal Gorenstein Fano polytope.

연구 동기 및 목표

• 이전의 중심대칭 구성의 순서다면체에 대한 그뢰브너 기저 결과를 일반화하기 위해.
• 쌍둥이 순서다면체 Δ(P,−Q)의 내부에 원점이 포함되는 조건을 규명하기 위해.
• P와 Q가 공통의 선형 확장을 공유할 경우, Δ(P,−Q)의 대수적 이데알이 역사전순서에서 이차 그뢰브너 기저를 갖는다는 것을 확립하기 위해.
• 이 조건 하에서 Δ(P,−Q)가 정규 Gorenstein Fano 다면체임을 증명하기 위해.
• 부분순서집합의 이데알과 선형 확장들을 통해 대수적·조합적 성질을 분석하기 위해.

제안 방법

• 쌍둥이 순서다면체 Δ(P,−Q)를 순서다면체 O(P)와 음의 순서다면체 −O(Q)의 볼록결합으로 정의한다.
• P와 Q의 부분순서집합 이데알을 사용하여 Ω(P,−Q)를 정의하며, 이는 원점, P의 비공백 부분순서집합 이데알, Q의 비공백 부분순서집합 이데알의 음을 포함한다.
• 원점에 대응하는 변수가 가장 작은 역사전순서를 도입한다.
• P와 Q가 공통의 선형 확장을 공유할 경우, 이 순서에서 토닉 이데알 IΩ(P,−Q)가 이차 그뢰브너 기저를 갖는다는 것을 증명한다.
• 요소들을 재표기하여 P와 Q가 모두 인덱스에 따라 자연스럽게 순서가 지정되어 있다고 가정함으로써, 단항식 비교 분석을 단순화한다.
• 두 단항식의 계수 벡터가 다름을 보이는 최대 인덱스 j*를 기반으로 한 감소 추론을 적용하여, π(u) ≠ π(v)이면 주도항이 서로 다름을 보인다.

실험 결과

연구 질문

• RQ1 원점이 쌍둥이 순서다면체 Δ(P,−Q)의 내부에 속하는 조건은 무엇인가?
• RQ2 어떤 조건에서 Δ(P,−Q)의 토닉 이데알이 역사전순서에서 이차 그뢰브너 기저를 갖는가?
• RQ3 P와 Q가 공통의 선형 확장을 공유할 경우, Δ(P,−Q)는 어떤 대수적·기하적 성질을 갖는가?
• RQ4 항상 P와 Q가 주어진다고 해도, 토닉 이데알 IΩ(P,−Q)는 이차 이원다항식으로 생성되는가?
• RQ5 P와 Q가 공통의 선형 확장을 공유할 경우, Δ(P,−Q)의 δ-벡터는 어떤 구조를 갖는가?

주요 결과

• ℝ^d의 원점이 Δ(P,−Q)의 내부에 속하는 것은 P와 Q가 공통의 선형 확장을 갖는 것과 동치이다.
• P와 Q가 공통의 선형 확장을 공유할 경우, 원점의 변수가 가장 작은 역사전순서에서 Δ(P,−Q)의 토닉 이데알은 이차 그뢰브너 기저를 갖는다.
• 결과적으로, P와 Q가 공통의 선형 확장을 공유할 경우 Δ(P,−Q)는 정규 Gorenstein Fano 다면체이다.
• P와 Q가 공통의 선형 확장을 공유할 경우, Δ(P,−Q)의 δ-벡터는 대칭적이며 단조증가성을 갖는다.
• 사슬 P와 반사슬 Q에 대해, Δ(P,−Q)의 δ-벡터는 r=1인 파스칼 유사 삼각형과 일치하며, d=2부터 d=6까지의 예시에서 이를 확인하였다.
• 논문은 특정 순서에서 이데알이 이차로 생성되더라도 항상 이차 그뢰브너 기저를 갖지 않는다는 반례를 제시한다.