[论文解读] 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

一句话总结

本文为 Z^d 中具有 d+2 个元素的集合 A 的 h 重和集 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 个元素时 h 重和集 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 如何对所有 Z^d 中具有 d+2 个元素的子集 A 统一确定 hA 的基数，无论 A−A 是否生成 Z^d？
• RQ2 能否用单一、更简明的证明取代先前针对 d+2 个元素集合所采用的分类讨论方法？
• RQ3 当 A 具有 d+3 个元素时，什么决定了 hA 的大小？为何其不仅取决于凸包？
• RQ4 在 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 的集合，此时公式依赖于某些子矩阵行列式最大公因数。
• 对于具有 d+3 个元素的集合，|hA| 并非仅由凸包决定；不同的内部构型会产生不同的和集大小。
• 通过利用提升向量 (w,1) 模格 Λ 的阶，推导出 |hA| 的上界，从而对生成函数实现系数层面的界定。
• 该上界以分段形式的二项式系数之和表示，具体取决于 h 相对于 ow（(w,1) 的阶）和 NΛ = vol(∆A)·d! 的关系。