本文研究了一类与格筛法（lattice sieving）相关的几何组合问题，具体关注“元组格筛法”（tuple lattice sieving）中的球堆积（sphere packing）界。作者首先定义了“k-不可约”单位向量集：任意二到k个不同元素的带符号和（signed sum）的范数均大于1。设R_k表示此类集合的最大渐近速率（即单位球面上可容纳的向量数量在维度趋于无穷时的指数增长速率），κ(α)表示任意两向量内积不超过α的球代码（spherical code）的最大渐近速率。论文的主要贡献是证明了一个新的上界公式：对于任何整数k≥2，R_k不超过某个关于κ的表达式的最小值，具体为R_k ≤ min_{1≤r≤⌊k/2⌋} (1/r)·κ(1−1/(2r))。将该结果与经典的球堆积上界相结合，作者进一步给出了大k时的渐近界：下界为(1/2−o(1))·(log_2 k)/k（与已知下界匹配），上界为(1+o(1))·(log_2 k)/k，二者仅相差一个因子2，因此该界在k较大时几乎是最优的。该研究本质上是纯数学成果，但其动机直接源于格密码分析——元组格筛法用于求解格中的最短向量问题（SVP），而SVP的复杂度决定了基于格的密码方案的安全参数选择。因此，这一理论结果虽不提供可直接利用的攻击方法，但有助于深入理解格筛类算法的理论边界，从而为安全参数设计提供更严谨的依据。适合研究格密码理论、密码分析以及相关几何组合方向的学者阅读。