[논문 리뷰] Semi-reflexive polytopes

Tiago Royer|arXiv (Cornell University)|2017. 12. 12.

Advanced Mathematical Identities참고 문헌 1인용 수 3

한 줄 요약

이 논문은 반사적일 수 있는 다면체—즉, 실수 배율 매개변수 $s$로 확장된 Ehrhart 함수 $L_P(s)$가 $L_P(s) = L_P(\lfloor s \rfloor)$를 만족하는 유리 다면체—를 도입하고 그 성질을 규명한다. 다면체가 반사적임과 동치로, 그 초평면 기술에서 법선 벡터가 정수이고 우변이 \{0,1\}에 속함을 증명하며, 다면체가 반사적임은 그것과 그 이중 다면체가 모두 반사적임과 동치임을 규명한다.

ABSTRACT

The Ehrhart function $L_P(t)$ of a polytope $P$ is usually defined only for integer dilation arguments $t$. By allowing arbitrary real numbers as arguments we may also detect integer points entering (or leaving) the polytope in fractional dilations of $P$, thus giving more information about the polytope. Nevertheless, there are some polytopes that only gain new integer points for integer values of $t$; that is, these polytopes satisfy $L_P(t) = L_P(\lfloor t floor)$. We call those polytopes semi-reflexive. In this paper, we give a characterization of these polytopes in terms of their hyperplane description, and we use this characterization to show that a polytope is reflexive if and only if both it and its dual are semi-reflexive.

연구 동기 및 목표

• 실수 배율 매개변수와 정수 배율 매개변수 사이에서 정수 점 수가 변하지 않는 새로운 유리 다면체 클래스—반사적 다면체—를 정의하고 특성화하기.
• 전통적인 정수 값 Ehrhart 함수를 실수 배율 매개변수로 확장하고, 이 함수가 정수 제한과 동일하게 행동하는 조건을 분석하기.
• 다면체와 그 이중체의 반사적 성질을 이용한 반사적 다면체의 이중성 기반 특성화 수립하기.
• 반사적 다면체에 대한 초평면 기반 기준 제공: 이러한 다면체는 정수 법선과 \{0,1\}에 속하는 우변을 가진 최소 표현을 갖는다.

제안 방법

• 실수 $s$에 대해 확장된 Ehrhart 함수 $L_P(s)$를 정의하며, 여기서 $L_P(s) = \#(sP \cap \mathbb{Z}^d)$이며, 기존의 정수 값 함수 $L_P(t)$와 비교한다.
• 다음 조건이 성립함과 동치로, $L_P(s) = L_P(\lfloor s \rfloor)$이 성립하는 것은 다면체 $P$가 $P = \bigcap_{i=1}^n \{x \mid \langle a_i, x \rangle \leq b_i\}$ 형태의 초평면 기술을 가지며, $a_i \in \mathbb{Z}^d$ 이고 $b_i \in \{0,1\}$임을 증명한다.
• 멤버십을 표현하기 위해 Iverson 괄호 기호를 사용하고, $a_i$의 정수성과 $b_i \in \{0,1\}$ 조건이 모든 정수 $x$에 대해 $\langle a_i, x \rangle \leq s b_i$ 조건이 $\langle a_i, x \rangle \leq \lfloor s \rfloor b_i$와 동치임을 보인다.
• 다면체의 상대 내부에 대해 이중 특성화를 수립한다: $L_{P^\circ}(s) = L_{P^\circ}(\lceil s \rceil)$이 성립함과 동치로 동일한 초평면 조건이 성립한다.
• 다면체의 이중성에 기반해, $P$가 반사적임은 $P$와 그 이중체 $P^*$가 모두 반사적임과 동치임을 보이며, 반사적 다면체가 정수 꼭짓점과 이중 포함성의 의미에서 자가 이중임을 이용한다.

실험 결과

연구 질문

• RQ1 유리 다면체의 Ehrhart 함수가 실수 배율 매개변수와 정수 배율 매개변수 사이에서 일정하게 유지되도록 하는 조건은 무엇인가?
• RQ2 반사적 다면체는 초평면 기술을 통해 어떻게 특성화될 수 있는가?
• RQ3 이중성에 의해 반사적 다면체와 반사적 다면체 사이의 관계는 무엇인가?
• RQ4 분수 배율에서의 정수 점 행동은 정수 법선과 \{0,1\}에 속하는 우변을 가진 초평면 기술로 완전히 기술될 수 있는가?
• RQ5 반사적 다면체에 대해 다면체의 상대 내부 기반으로 이중 특성화가 가능한가?

주요 결과

• 유리 다면체 $P$는 다음 조건을 만족할 때이고 그때에만 반사적이다: $P = \bigcap_{i=1}^n \{x \mid \langle a_i, x \rangle \leq b_i\}$ 형태의 초평면 기술을 가지며, $a_i \in \mathbb{Z}^d$ 이고 $b_i \in \{0,1\}$이다.
• 반사적 다면체의 Ehrhart 함수 $L_P(s)$는 모든 실수 $s \geq 0$에 대해 $L_P(s) = L_P(\lfloor s \rfloor)$를 만족한다. 이는 분수 배율에서 새로운 정수 점이 추가되지 않음을 의미한다.
• 이 특성화는 상대 내부로 확장된다: $L_{P^\circ}(s) = L_{P^\circ}(\lceil s \rceil)$이 성립함과 동치로 동일한 초평면 조건이 성립한다.
• 모든 반사적 다면체는 반사적이다. 이는 모든 $b_i = 1$이고 정수 $a_i$를 갖는 초평면 조건을 만족하기 때문이다.
• 다면체 $P$가 반사적임은 $P$와 그 이중체 $P^*$가 모두 반사적임과 동치이며, 이는 이중성 기반 특성화를 수립한다.
• 반사적 다면체의 꼭짓점이 정수임은 그것의 이중체도 동일한 반사적 조건을 만족함과 동치이다. 이는 꼭짓점과 면의 기술 간의 이중성 때문이다.