[論文レビュー] A result on the size of iterated sumsets in $\mathbb{Z}^d$

Ilija Vrećica|arXiv (Cornell University)|Sep 9, 2021

Limits and Structures in Graph Theory被引用数 1

ひとこと要約

本稿は、A が d+2 個の要素を持つとき、Z^d における hA の濃度の統一的で簡略化された証明を提示する。これは、以前の結果を拡張し、場合分けを一切用いず、すべてのケースを一様に取り扱う。|hA| は二項係数と凸包の体積を含む、正確な多項式型の公式に従い、h > vol(∆A)·d! のとき |hA| = binom{h+d+1}{d+1} から補正項を差し引いた形になることが示され、さらに d+3 個の要素を持つ集合に対しては上界が得られる。

ABSTRACT

In this paper we give a different approach to determining the cardinality of $h$-fold sumsets $hA$ when $A\subset \mathbb{Z}^d$ has $d+2$ elements. This enables us to provide more general result with a shorter and simpler proof. We also obtain an upper bound for the value of $|hA|$ when $A\subset \mathbb{Z}^d$ is a set of $d+3$ elements with simplicial hull.

研究の動機と目的

• A ⊂ Z^d が d+2 個の要素を持つとき、hA のサイズに関する統一的でより単純な証明を提供すること。
• A−A が Z^d を加法的に生成するという仮定を超えて、結果を一般化すること。
• d+3 個の要素を持つ集合への分析を拡張し、和集合のサイズが凸包に加え、内部点の配置にも依存することを明らかにすること。
• d+3 要素の場合の |hA| に対して上界を導出すること。これは d+2 個の要素の場合と比較して、より複雑であることを踏まえる。

提案手法

• Z^{d+1} における点 (v,1) のリフトされた点の上に作られる錐を用いて、生成関数を介して和集合をモデル化する。
• 格子論および数の幾何学、特に Λ = spanZ(ev1,…,evd+1) の基本領域を応用する。
• Λ に関する剰余類を導入し、各類における最小元を研究することで、和集合のサイズを上界で制御する。
• Radon の定理およびその拡張を用いて、点配置とその凸包の交点を分析する。
• 錐 CA の生成関数を導出し、t^h の係数を用いて |hA| を上界で制御する。
• 和集合の錐を有限個の部分錐の平行移動コピーに分解することで、d+3 要素の場合の |hA| の上界を確立する。

実験結果

リサーチクエスチョン

• RQ1 A ⊂ Z^d が d+2 個の要素を持つ任意の集合に対して、A−A が Z^d を生成するかどうかにかかわらず、hA の濃度を一様に決定することは可能か？
• RQ2 過去の d+2 要素集合に関する研究で用いられた場合分けのアプローチを置き換える、単一でより単純な証明が可能か？
• RQ3 A が d+3 個の要素を持つとき、|hA| の大きさは何かが決定づけるのか？なぜそれが凸包だけではなく、内部配置にも依存するのか？
• RQ4 凸包だけでは |hA| の正確な大きさが決定されない場合に、d+3 要素の場合の |hA| に対してどのような上界を確立できるか？

主な発見

• A ⊂ Z^d が d+2 個の要素を持ち、A−A が Z^d を生成するとき、h < vol(∆A)·d! ならば |hA| = binom{h+d+1}{d+1} であり、h ≥ vol(∆A)·d! ならば |hA| = binom{h+d+1}{d+1} − binom{h−vol(∆A)·d!+d+1}{d+1} である。
• 証明は統一的であり、過去の研究で用いられた二通りのケース分けを回避しており、より短く一般性の高い議論となっている。
• A−A が Z^d を生成しない集合に対しても結果は拡張可能であり、その公式は特定の部分行列の行列式の GCD に依存する。
• d+3 要素集合では、|hA| は凸包にのみ依存するのではなく、異なる内部配置によって異なる和集合のサイズをとる。
• 上界は、リフトされたベクトル (w,1) の格子 Λ における位数を用いて導出され、生成関数の係数ごとの上界が得られる。
• 上界は、h が ow（(w,1) の位数）および NΛ = vol(∆A)·d! に対して相対的にどの位置にあるかに応じて、二項係数の区分的和として表現される。