[论文解读] Constructing subsets of a given packing index in Abelian groups

N. Lyaskovska|ArXiv.org|Jan 8, 2009

Limits and Structures in Graph Theory参考文献 2被引用 3

一句话总结

本文刻画了无限阿贝尔群中子集可能的精确打包指数，证明了对于任意无限阿贝尔群 $G$，存在子集 $A \subset G$ 使得其精确打包指数为 $\kappa$ 当且仅当 $\kappa$ 满足特定的群论条件——在某些扭群情形下排除 $\kappa = 3$ 或 $4$。该结果解决了关于阿贝尔群中打包指数可实现性的问题，基于群的结构与基数提供了完整的分类。

ABSTRACT

By definition, the sharp packing index $\ind_P^\sharp(A)$ of a subset $A$ of an abelian group $G$ is the smallest cardinal $κ$ such that for any subset $B\subset G$ of size $|B|\geκ$ the family $\{b+A:b\in B\}$ is not disjoint. We prove that an infinite Abelian group $G$ contains a subset $A$ with given index $\ind_P^\sharp(A)=κ$ if and only if one of the following conditions holds: (1) $2\le κ\le|G|^+$ and $k otin \{3,4\}$; (2) $κ=3$ and $G$ is not isomorphic to $\oplus_{i\in I} \mathbb{Z}_3$; (3) $κ=4$ and $G$ is not isomorphic to $\oplus_{i\in I} \mathbb{Z}_2$ or to $\mathbb{Z}_4\oplus(\oplus_{i\in I} \mathbb{Z}_2)$.

研究动机与目标

• 确定对于哪些基数 $\kappa$，在无限阿贝尔群 $G$ 中存在子集 $A \subset G$ 使得其精确打包指数 $\mathrm{ind}_P^\sharp(A) = \kappa$。
• 解决 I. Protasov 提出的问题：是否每个满足 $\kappa \leq |G|$ 的非零基数 $\kappa$ 都可作为 $G$ 中某个子集的打包指数实现。
• 阐明打包配置中上确界与最大值之间的区别，表明精确打包指数捕捉了不相交平移必然相交的临界点。
• 提供具有给定精确打包指数的子集存在的群的完整结构刻画，包括对小 $\kappa$ 的例外情况。

提出的方法

• 将精确打包指数 $\mathrm{ind}_P^\sharp(A)$ 定义为最小的 $\kappa$，使得任意满足 $|B| \geq \kappa$ 的子集 $B \subset G$ 都有 $ (B-B) \cap (A-A) \neq \{0\} $，从而确保不存在 $\kappa$ 个不相交的 $A$ 的平移。
• 使用关于从二元子集到二元子集的分别单射且保持交集的映射的组合引理，以图像集的大小来界定集合的大小。
• 通过超限归纳法构造超限序列的群元素与集合 $\mathbb{B}_\kappa$，确保避开某些和集与差集。
• 运用群的结构理论：每个无限阿贝尔群都包含一个同构于 $\mathbb{Z}$、$\mathbb{Z}(p^\infty)$ 或有限循环群直和的子群。
• 通过 $\kappa$ 的归纳法证明主要结果，构造子集 $A$ 使得在指定的群论约束下 $\mathrm{ind}_P^\sharp(A) = \kappa$。
• 通过关系 $\mathrm{ind}_P(A) = \sup\{\kappa : \kappa < \mathrm{ind}_P^\sharp(A)\}$ 从精确指数推导出标准打包指数的刻画。

实验结果

研究问题

• RQ1 对于哪些基数 $\kappa$，在无限阿贝尔群 $G$ 中存在子集 $A \subset G$ 使得 $\mathrm{ind}_P^\sharp(A) = \kappa$？
• RQ2 是否每个满足 $\kappa \leq |G|$ 的非零基数 $\kappa$ 都可作为某个 $A \subset G$ 的打包指数 $\mathrm{ind}_P(A)$ 实现？
• RQ3 哪些群的结构条件会阻止存在精确打包指数 $\kappa = 3$ 或 $\kappa = 4$ 的子集？
• RQ4 精确打包指数如何与 $A$ 的两两不相交平移族的最大大小的上确界相关联？
• RQ5 是否存在某些群，其中没有任何子集能实现 $\mathrm{ind}_P^\sharp(A) = 3$ 或 $4$？若是，其结构特征是什么？

主要发现

• 无限阿贝尔群 $G$ 包含子集 $A$ 满足 $\mathrm{ind}_P^\sharp(A) = \kappa$ 当且仅当 $2 \leq \kappa \leq |G|^+$ 且 $\kappa \notin \{3,4\}$，或 $\kappa = 3$ 且 $G$ 不同构于 $\oplus_{i \in I} \mathbb{Z}_3$，或 $\kappa = 4$ 且 $G$ 不同构于 $\oplus_{i \in I} \mathbb{Z}_2$ 或 $\mathbb{Z}_4 \oplus (\oplus_{i \in I} \mathbb{Z}_2)$。
• 打包指数 $\mathrm{ind}_P(A)$ 等于 $\kappa$ 当且仅当 $1 \leq \kappa \leq |G|$ 且 $\kappa \notin \{2,3\}$，或 $\kappa = 2$ 且 $G$ 不同构于 $\oplus_{i \in I} \mathbb{Z}_3$，或 $\kappa = 3$ 且 $G$ 不同构于 $\oplus_{i \in I} \mathbb{Z}_2$ 或 $\mathbb{Z}_4 \oplus (\oplus_{i \in I} \mathbb{Z}_2)$。
• 当 $G \cong \oplus_{i \in I} \mathbb{Z}_3$ 时，由于群的 3-挠结构障碍，不存在满足 $\kappa = 3$ 的此类子集。
• 当 $G \cong \oplus_{i \in I} \mathbb{Z}_2$ 或 $\mathbb{Z}_4 \oplus (\oplus_{i \in I} \mathbb{Z}_2)$ 时，由于 2-主分量的约束，不存在满足 $\kappa = 4$ 的此类子集。
• 精确打包指数通过关系 $\mathrm{ind}_P(A) = \sup\{\kappa : \kappa < \mathrm{ind}_P^\sharp(A)\}$ 完全决定了打包指数，表明上确界可能无法实现。
• 此类子集的构造依赖于超限归纳法，并通过仔细避开和集与差集实现，其中关键的组合引理用于保持交集。