中文

大小为 $k$ 集合的和集

组合数学 2025-07-02 v2 数论

摘要

集合 RG(h,k)\mathcal{R}_{G}(h,k) 由包含来自加法阿贝尔群 GGkk 个元素的集合的 hh 倍和集的所有可能大小组成。这个集合的具体构成仍未知,但已有进展确定哪些整数存在。我们知道 RG(h,k)[hkh+1,(h+k1h)]\mathcal{R}_{G}(h,k)\subseteq\left[hk-h+1,\binom{h+k-1}{h}\right],其中右侧是一个包含端点的整数区间,这些端点已知被实现。我们将证明,对于包含 k4k\geq 4 个元素的 torsion-free 加法阿贝尔群 GG 中集合的 hh 倍和集大小,不可能是区间 [hkh+2,hk1]\left[hk-h+2,hk-1\right] 中的整数。此外,我们通过展示一个使其 hh 倍和集大小为 hkhk 的子集来确认该区间不能再扩大。

关键词

引用

@article{arxiv.2505.07679,
  title  = {On the Sumset of Sets of Size $k$},
  author = {Vincent Schinina},
  journal= {arXiv preprint arXiv:2505.07679},
  year   = {2025}
}

备注

Generalized the results from the integers to any torsion-free additive abelian group. Added definitions pertaining to groups and a section focused on known facts about ordered additive abelian groups, which relates to torsion-free additive abelian groups. Lastly, a proof of a known fact about sumsets has now been added. Including the references page, there are 11 pages