[논문 리뷰] Shellability, Ehrhart Theory, and $r$-stable Hypersimplices

Benjamin Braun, Liam Solus|arXiv (Cornell University)|2014. 08. 20.

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

한 줄 요약

이 논문은 고전적 히퍼심플렉스 $\Delta_{n,k}$ 내부의 하위다각형인 $r$-안정 히퍼심플렉스의 중첩된 가족을 도입하고, $\Delta_{n,k}$의 잘 알려진 회로 삼등분이 각 $r$-안정 히퍼심플렉스로 제한되었을 때 단순삼등분이 유지됨을 증명한다. 두 번째 히퍼심플렉스($k=2$)에 대해 저자는 이 삼등분의 셸링을 구성하여 독립 다항식을 통한 에르하르트 $h^*$-다항식 계산을 가능하게 하며, 에르하르트-맥도널드 역성질을 통해 렌즈 공간의 CR 사상과의 연결 고리를 드러낸다.

ABSTRACT

Hypersimplices are well-studied objects in combinatorics, optimization, and representation theory. For each hypersimplex, we define a new family of subpolytopes, called r-stable hypersimplices, and show that a well-known regular unimodular triangulation of the hypersimplex restricts to a triangulation of each r-stable hypersimplex. For the case of the second hypersimplex defined by the two-element subsets of an n-set, we provide a shelling of this triangulation that sequentially shells each r-stable sub-hypersimplex. In this case, we utilize the shelling to compute the Ehrhart h*-polynomials of these polytopes, and the hypersimplex, via independence polynomials of graphs. For one such r-stable hypersimplex, this computation yields a connection to CR mappings of Lens spaces via Ehrhart-MacDonald reciprocity.

연구 동기 및 목표

• 고전적 히퍼심플렉스 $\Delta_{n,k}$ 내부에 새로운 하위다각형 가족인 $r$-안정 히퍼심플렉스를 정의하고, 안정성 증가에 따라 중첩된 사슬을 형성한다.
• $\Delta_{n,k}$의 회로 삼등분이 각 $r$-안정 히퍼심플렉스로 제한되었을 때도 단순삼등분이 유지됨을 보인다. 이는 주요 기하학적 및 조합적 구조를 유지한다.
• 두 번째 히퍼심플렉스($k=2$)의 삼등분에 대해 각 $r$-안정 하위-히퍼심플렉스를 순차적으로 셸링하는 셸링을 구성하여, 에르하르트 $h^*$-다항식의 효과적인 계산을 가능하게 한다.
• $r$-안정 히퍼심플렉스의 에르하르트 이론을 그래프의 독립 다항식과 연결하고, 에르하르트-맥도널드 역성질을 통해 렌즈 공간의 CR 사상과의 연결 고리를 드러낸다.

제안 방법

• $r$-안정 히퍼심플렉스를 특성 벡터에서 $r$-인접한 정점에 대한 제약 조건을 통해 $\Delta_{n,k}$의 하위다각형으로 정의한다.
• $\Delta_{n,k}$의 회로 삼등분, 즉 잘 알려진 정규 단순삼등분을 활용하고, 이 삼등분이 $r$-안정 히퍼심플렉스로 제한되었을 때도 여전히 단순삼등분임을 증명한다.
• $k=2$인 두 번째 히퍼심플렉스의 삼등분 최대 세포에 대해, 회로 단어에서 유도된 순열에 대한 계층적 역거품순서를 이용한 셸링 순서를 구성한다.
• 회로 단어에서의 $r$-인접한 확장 내림차순에 대응하는 부분단어의 역거품순서 비교를 통해 셸링 순서를 정밀화한다.
• 셸링을 활용하여 관련 그래프의 독립 다항식으로 $r$-안정 히퍼심플렉스의 에르하르트 $h^*$-다항식을 계산한다.
• 에르하르트-맥도널드 역성질을 $h^*$-다항식에 적용하여 렌즈 공간의 CR 사상과의 연결 고리를 드러낸다.

실험 결과

연구 질문

• RQ1 고전적 히퍼심플렉스 $\Delta_{n,k}$ 내부에 $r$-안정 히퍼심플렉스의 새로운 가족을 어떻게 정의할 수 있을까? 이 가족은 중첩된 사슬을 형성해야 한다.
• RQ2 $\Delta_{n,k}$의 회로 삼등분이 각 $r$-안정 히퍼심플렉스로 제한되었을 때도 단순삼등분이 유지되는가?
• RQ3 $k=2$인 두 번째 히퍼심플렉스의 삼등분에 대해 각 $r$-안정 하위-히퍼심플렉스를 순차적으로 셸링할 수 있는 셸링을 구성할 수 있는가?
• RQ4 $r$-안정 히퍼심플렉스의 에르하르트 $h^*$-다항식을 그래프의 독립 다항식을 사용해 계산할 수 있는가?
• RQ5 에르하르트-맥도널드 역성질을 통해 $r$-안정 히퍼심플렉스의 $h^*$-다항식과 렌즈 공간의 CR 사상 간의 연결 고리가 드러나는가?

주요 결과

• $\Delta_{n,k}$의 회로 삼등분은 각 $r$-안정 $(n,k)$-히퍼심플렉스로 제한되었을 때도 단순삼등분을 유지하며, 정규성과 단순삼등분성 구조를 그대로 유지한다.
• $k=2$인 두 번째 히퍼심플렉스에 대해, 각 $r$-안정 하위-히퍼심플렉스를 순차적으로 셸링하는 셸링 순서를 구성하여, 효과적인 에르하르트 다항식 계산이 가능해진다.
• $k=2$인 $r$-안정 히퍼심플렉스의 에르하르트 $h^*$-다항식은 회로 단어에서 유도된 특정 그래프의 독립 다항식으로 계산된다.
• 특정 $r$-안정 히퍼심플렉스의 $h^*$-다항식은 에르하르트-맥도널드 역성질을 통해 렌즈 공간의 CR 사상과 연결된다.
• $h^*$-벡터가 독립 다항식 해석을 통해 단조증가함을 보여, 더 넓은 단조성 추측을 지지한다.
• $k=2$인 두 번째 히퍼심플렉스의 삼등분 최대 세포에 대한 총순서를 정의하고, 이 순서가 셸링 순서임을 추측한다. 이는 회로 단어의 부분단어에 대한 정밀화된 역거품순서 비교를 통해 고차원 $k$로 일반화될 수 있다.