[論文レビュー] Semi-reflexive polytopes

Tiago Royer|arXiv (Cornell University)|Dec 12, 2017

Advanced Mathematical Identities参考文献 1被引用数 3

ひとこと要約

この論文は、Ehrhart関数 $L_P(s)$ が実数倍率パラメータ $s$ に拡張された場合に $L_P(s) = L_P(\lfloor s \rfloor)$ を満たすような、半自己双対的多面体—有理多面体の新しいクラスを導入し、その特徴を明らかにする。多面体が半自己双対的であるための必要十分条件は、その超平面記述において法ベクトル $a_i$ が整数であり、右辺 $b_i$ が \{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$ に対して、$L_P(s) = \#(sP \cap \mathbb{Z}^d)$ と定義される拡張されたEhrhart関数 $L_P(s)$ を定義し、古典的な整数値関数 $L_P(t)$ と比較する。
• 多面体 $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\}$ であるとき、かつそのときにのみ $L_P(s) = L_P(\lfloor s \rfloor)$ が成り立つことを証明する。
• 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^*$ が両方とも半自己双対的であることである。これは双対性に基づく特徴付けを確立する。
• 半自己双対的多面体の頂点が整数であるための必要十分条件は、その双対多面体も半自己双対的条件を満たすことである。これは頂点と面の双対性による。