[論文レビュー] Reconstruction of rational polytopes from the real-parameter Ehrhart function of its translates

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

Advanced Combinatorial Mathematics参考文献 1被引用数 3

ひとこと要約

この論文は、有理的多面体が、そのすべての整数平行移動における実数パラメータ付きEhrhart関数によって一意に決定されることを確立している。これらの関数の増加および不連続性の挙動を分析することで、二つの有理的多面体がすべての整数平行移動において同一のEhrhart関数を持つならば、それらは単にユニモジュラー同値であるだけでなく、同一でなければならないことが示された。これは、拡張されたEhrhart関数から有理的多面体を完全に再構成する手法を提供する。

ABSTRACT

When extending the Ehrhart lattice point enumerator $L_P(t)$ to allow real dilation parameters $t$, we lose the invariance under integer translations that exists when $t$ is restricted to be an integer. This paper studies this phenomenon; in particular, it is shown that, for full-dimensional $P$, not only there are infinitely many different functions $L_{P + w}(t)$ (for integer $w$), but that for rational $P$ the collection of these functions identifies $P$ uniquely.

研究の動機と目的

• 有理的多面体の整数平行移動における実数パラメータ付きEhrhart関数が、多面体を一意に決定するかを調査すること。
• 整数倍の拡大に対して不変である古典的Ehrhart理論を、その不変性が崩れる実数倍パラメータへの拡張すること。
• すべての整数ベクトル $ w $ に対して、Ehrhart関数 $ L_{P+w}(s) $ の集合が有理的多面体 $ P $ を一意に特定するかを同定すること。
• 再構成のための有限のワーニング集合の可能性を検討し、結果を半有理的および一般の実数多面体へと拡張すること。

提案手法

• 実数 $ s > 0 $ における関数 $ L_{P+w}(s) $ の挙動、特に不連続性および増加率の分析。
• $ L_{P}(s) $ が非減少であるための必要十分条件が $ 0 \in P $ であることを利用し、平行移動による多面体の区別を可能にする。
• 擬ピラミッド $ \operatorname{ppyr}(P+kw) $ の体積増加解析を用いて、平行移動による多面体構造の差を検出する。
• ユニモジュラー変換を用いて多面体を低次元部分空間に射影し、次元を低下させて帰納法を適用する。
• 稠密な有理数 $ s $-値集合（例：$ s = m/(b + w_d) $）を用い、射影において関数の等価性を保持する。
• 背理法による一意性の証明：$ P \neq Q $ を仮定し、ある $ w $ に対してそれらのEhrhart関数が異なることを示す。

実験結果

リサーチクエスチョン

• RQ1 有理的多面体は、すべての整数平行移動における実数パラメータ付きEhrhart関数から一意に再構成可能か？
• RQ2 実数パラメータ付きEhrhart関数において整数平行移動による不変性の喪失が、異なる多面体を区別可能かどうか？
• RQ3 Ehrhart関数 $ L_{P+w}(s) $ が多面体 $ P $ を一意に特定するような有限個の整数平行移動ベクトル $ w $ の集合が存在するか？
• RQ4 再構成結果は、半有理的多面体や一般の実数多面体へと拡張可能か？

主な発見

• 任意の有理的多面体 $ P $ に対して、すべての $ k \geq 0 $ に対して関数 $ L_{P+kw}(s) $ が互いに異なるような整数ベクトル $ w $ が存在する。これは、実数パラメータ付きEhrhart関数における平行移動による不変性の破壊を示している。
• 二つの有理的多面体 $ P $ と $ Q $ が、すべての整数ベクトル $ w $ およびすべての実数 $ s > 0 $ に対して $ L_{P+w}(s) = L_{Q+w}(s) $ を満たすならば、$ P = Q $ である。これは一意再構成を証明する。
• 同じ関数の等価性条件の下で、整数法線ベクトルと実数オフセットで定義される半有理的多面体（フル次元または余次元1）に対してもこの結果が拡張可能である。
• フル次元の実数多面体に対しても、同じ関数の等価性条件の下で同様の結論が成り立つが、証明には余次元の仮定が必要となる。
• 証明は、不連続性の位置と、平行移動下での擬ピラミッドの相対体積増加を用いて、構造的差を検出することに依拠している。
• 著者らは、有理的多面体に対して、全整数格子 $ \mathbb{Z}^d $ を有限のワーニング集合に置き換え可能であると予想しているが、これは未解決のままである。