[论文解读] Is the Multiset of $n$ Integers Uniquely Determined by the Multiset of Its $s$-sums?

Dmitri Fomin|arXiv (Cornell University)|Sep 18, 2017

Analytic Number Theory Research参考文献 6被引用 3

一句话总结

本文研究了由 $ n $ 个整数构成的多重集是否能从其 $ s $-和多重集（即所有 $ s $ 个不同元素的可能和）中唯一恢复。通过对称多项式、生成函数和组合构造，作者证明：当 $ s = 2 $ 时，恢复不可能（即存在 $ s $-等价的非平凡多重集）当且仅当 $ n $ 是 2 的幂；并将该结论推广至更高阶的 $ s $，揭示了其与代数数论和组合数学的深刻联系。

ABSTRACT

In 1957 Leo Moser published a problem in American Mathematical Monthly asking whether knowing the set of all pairwise sums of five numbers one could determine the original numbers. Problem was quickly generalized as "Is it always possible to restore a collection of $n$ numbers from the collection of its $s$-sums?"; it turned out to be a very interesting and nontrivial question in additive number theory and combinatorics. On its sixtieth anniversary we present here a survey of all the known research, results and techniques used in various attempts to solve this problem. Some new findings and open questions are presented as well.

研究动机与目标

• 确定由 $ n $ 个整数构成的多重集在何种条件下能从其 $ s $-和多重集唯一恢复。
• 刻画所有恢复失败的配对 $ (n, s) $ —— 即存在不同的多重集 $ A $ 和 $ B $ 满足 $ A^{(s)} = B^{(s)} $ 的情形。
• 统一并综述六十年来关于多重集恢复问题的研究，包括基础成果与未解问题。
• 利用代数与组合工具，提出关于 $ s $-等价性和奇异对的新发现，特别是针对 $ s > 2 $ 的情形。
• 全面概述该问题的历史、关键定理以及数论与组合学中的未决猜想。

提出的方法

• 利用对称多项式与生成函数分析 $ s $-和多重集的代数结构。
• 运用初等对称多项式理论将多重集 $ A $ 与其 $ s $-和多重集 $ A^{(s)} $ 关联，从而在特定条件下实现重构。
• 应用 $ s $-等价性概念：若 $ A^{(s)} = B^{(s)} $，则称两个多重集 $ A $ 和 $ B $ 为 $ s $-等价；分析此类非唯一性发生的情形。
• 借助 Lambek-Moser 定理与互补序列理论，探索多重集恢复中的结构类比。
• 构造 $ n = 2^k $、$ s = 2 $ 时的显式反例，证明当且仅当 $ n $ 是 2 的幂时恢复失败。
• 通过生成函数恒等式与单位根性质，将结果推广至 $ s > 2 $ 的情形。

实验结果

研究问题

• RQ1 对于哪些配对 $ (n, s) $，$ n $ 个整数的多重集能由其 $ s $-和多重集唯一确定？
• RQ2 能否完整刻画奇异配对 $ (n, s) $（其中 $ n > s $ 且 $ A^{(s)} = B^{(s)} $，$ A $ 与 $ B $ 为不同多重集）？
• RQ3 对于 $ s > 2 $，多重集恢复问题是否可解？何种代数或组合不变量控制此类恢复？
• RQ4 对称多项式与生成函数在判断多重集重构唯一性方面起何作用？
• RQ5 是否存在超越 $ s = 2 $ 情形的结构性或数论性障碍？其推广形式为何？

主要发现

• 当 $ s = 2 $ 时，多重集 $ A $ 能从 $ A^{(2)} $ 唯一恢复当且仅当 $ n $ 不是 2 的幂，即 $ \binom{n}{2} $ 个两两和唯一确定 $ A $，除非 $ n = 2^k $ 且 $ k > 1 $。
• 配对 $ (n, 2) $ 为奇异对当且仅当 $ n $ 是 2 的幂，且 $ \binname{M}_2 = \{4, 8, 16, 32, \dots\} $，证实了 Selfridge 与 Straus 在 1958 年的结果。
• 对于 $ s > 2 $，一般情形仍为开放问题，但本文识别出 $ s $-等价可能发生的具体结构条件，尤其通过单位根与对称函数恒等式。
• 本文构造了 $ s = 2 $、$ n = 4 $ 时的显式 $ s $-等价对，表明四个数无法从其六个两两和唯一恢复。
• 利用生成函数与初等对称多项式，可推导出以多项式根表示的多重集恢复的充要条件。
• 本文强调，多重集恢复问题与代数数论密切相关，尤其体现在对称多项式及其在根置换下的不变性研究中。