[논문 리뷰] A Shelling of the Odd Second Hypersimplex

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

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

한 줄 요약

이 논문은 홀수인 n에 대해 두 번째 하이퍼시매플렉스의 부분다면체로 r-안정 하이퍼시매플렉스를 도입하며, 기존에 알려진 단순형 삼등분이 이러한 부분다면체로 제한됨을 보여준다. 이 삼등분에 대해 셸링을 구성하고, 이를 통해 그래프의 독립 다항식을 이용해 에르하르트 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 with n odd, 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.

연구 동기 및 목표

• 홀수인 n일 때 두 번째 하이퍼시매플렉스의 부분다면체로 r-안정 하이퍼시매플렉스를 정의하고 연구하기.
• 기존에 알려진 하이퍼시매플렉스의 정규 단순형 삼등분이 각 r-안정 하이퍼시매플렉스로 제한됨을 보여주기.
• 각 r-안정 부분다면체를 순차적으로 셸링하는 삼등분의 셸링을 구성하기.
• 관련된 그래프의 독립 다항식을 사용하여 r-안정 하이퍼시매플렉스와 전체 하이퍼시매플렉스의 에르하르트 h*-다항식을 계산하기.
• 에르하르트-맥도널드 역행성을 통해 h*-다항식과 렌즈 공간의 CR 매핑 간의 연결 고리를 설정하기.

제안 방법

• 홀수인 n에 대해 n-집합의 2원소 부분집합들 중 r-안정 부분집합에 대응하는 두 번째 하이퍼시매플렉스의 부분다면체로 r-안정 하이퍼시매플렉스를 정의하기.
• 두 번째 하이퍼시매플렉스의 기존 정규 단순형 삼등분을 활용하고, 각 r-안정 하이퍼시매플렉스로의 제한이 삼등분임을 증명하기.
• 각 새로운 단체가 이전의 합집합과 면들의 합집합에서만 교차하도록 단체들을 순서화함으로써 삼등분의 셸링을 구성하기.
• r-안정 부분집합으로부터 유도된 특정 그래프의 독립 다항식으로 r-안정 하이퍼시매플렉스의 에르하르트 h*-다항식을 표현하기.
• 에르하르트-맥도널드 역행성을 h*-다항식에 적용하여 렌즈 공간의 CR 매핑과의 연결 고리를 드러내기.

실험 결과

연구 질문

• RQ1 홀수인 n에 대해 r-안정 하이퍼시매플렉스는 두 번째 하이퍼시매플렉스의 부분다면체로 어떻게 정의할 수 있는가?
• RQ2 두 번째 하이퍼시매플렉스의 표준 단순형 삼등분은 각 r-안정 하이퍼시매플렉스로 제한되는가?
• RQ3 r-안정 하이퍼시매플렉스의 삼등분에 대해 계층적 구조를 존중하는 셸링을 구성할 수 있는가?
• RQ4 r-안정 하이퍼시매플렉스의 에르하르트 h*-다항식과 관련된 그래프의 독립 다항식 간의 관계는 무엇인가?
• RQ5 에르하르트-맥도널드 역행성을 통해 이러한 다면체의 h*-다항식은 렌즈 공간의 CR 매핑과 연결되는가?

주요 결과

• 두 번째 하이퍼시매플렉스의 표준 단순형 삼등분은 각 r-안정 하이퍼시매플렉스로 제한된다.
• 각 r-안정 부분다면체를 순차적으로 셸링하는 삼등분의 셸링이 구성된다.
• r-안정 하이퍼시매플렉스의 에르하르트 h*-다항식은 특정 그래프의 독립 다항식으로 계산된다.
• 전체 두 번째 하이퍼시매플렉스의 h*-다항식 역시 동일한 그래프 이론적 방법으로 계산된다.
• 에르하르트-맥도널드 역행성을 통해 한 r-안정 하이퍼시매플렉스의 h*-다항식이 렌즈 공간의 CR 매핑과 연결된다.